posted by user: mpstew || 4225 views || tracked by 10 users: [display]

Special Issue APGES 2008 : Science of Computer Programming, Special issue on Automatic Program Generation for Embeddedf Systems

FacebookTwitterLinkedInGoogle

Link: http://www.ees.elsevier.com/scico/
 
When N/A
Where N/A
Submission Deadline Mar 31, 2008
Categories    embedded systems   data management   software
 

Call For Papers

Following the successful first workshop on Automatic Program Generation for Embedded Systems (APGES 2007 http://www.gpce.org/07/APGES07), held in Salzburg, Austria in October 2007, as part of Embedded Systems Week (ESWeek 2007), submissions are invited for a special issue of the journal "Science of Computer Programming".

Original papers are invited exploring the problems of program generation in embedded systems, especially in the conceptual and theoretical foundations for software generation tools that can enhance the robustness and productivity of generation-based embedded software engineering. Revised and extended versions of papers that were presented at the workshop are welcomed, and should take advantage of any feedback that
was offered at the workshop. New papers that were not presented at the workshop are also welcome. All papers will be reviewed to normal journal standards by an international panel of referees.

The increase in complexity of embedded systems software has led to greater interest in improved automation of software production. Automatic program generation is widely promoted in embedded systems design in the form of model-driven development, software product lines, automatic design-space exploration and tailor-made data management, as well as more familiar template-based instantiation of software designs. By taking advantage of the opportunities offered by new research, for example in programming languages and compiler techniques, it may be possible to achieve dramatic productivity
gains, with consequently reduced time to market, and yet still offer the necessary strong guarantees of nonfunctional behaviours such as time, space restrictions, power consumption, reliability and other importantsystem metrics. The challenge is to achieve this vision while remaining focused on issues of practicality and generality.

The topics to be covered by this journal special issue include (but are not restricted to):

? Industrial experience of automatic program generation techniques
? Correctness and safety issues in model-driven generators
? Automatic design-space exploration for resource-bounded systems
? New tools and methods for automatic generation of embedded systems
? Models for automatically generating embedded systems, including model-driven design
approaches
? Tailor-made data management and generation of embedded database systems
? New and emerging program generation technology
? Models and analysis of real-time, hard-space and power consumption constraints for reasoning
about automatically generated embedded systems
? Software product lines, languages for architectures andconfigurations of embedded systems
? Optimisation of generated programs for embedded systems

Related Resources

SI PMABD 2023   Special Issue on Programming Models and Algorithms for Big Data
EI/Scopus--DMBDA 2022   2022 5th International Conference on Data Mining and Big Data Analytics (DMBDA 2022)
Recommender systems 2021   SN Computer Science Call for Papers: Topical Issue on Advanced Theories and Algorithms for Next-generation Recommender Systems
BDAI--IEEE, SCI, Ei, Scopus 2022   IEEE--2022 5th International Conference on Big Data and Artificial Intelligence (BDAI 2022)--SCI, EI Compendex, Scopus
EI-CFAIS 2022   2022 International Conference on Frontiers of Artificial Intelligence and Statistics (CFAIS 2022)
EXPRESS/SOS 2022   Combined 29th International Workshop on Expressiveness in Concurrency and 19th Workshop on Structural Operational Semantics
FCSIT 2022   2022 4th Euro-Asia Conference on Frontiers of Computer Science and Information Technology (FCSIT 2022)
IoTE 2022   3rd International Conference on Internet of Things & Embedded Systems
ICSC 2023   IEEE International Conference on Semantic Computing
BDIOT--SCIE, Ei, Scopus 2022   2022 6th International Conference on Big Data and Internet of Things (BDIOT 2022)--SCIE, Ei Compendex, Scopus