Generative Programming for Embedded Systems [chapter]

Janos Sztipanovits, Gabor Karsai
2002 Lecture Notes in Computer Science  
Embedded systems represent fundamentally new challenges for software design, which render conventional approaches to software composition ineffective. Starting with the unique challenges of building embedded systems, this paper discusses key issues of model-based technology for embedded systems. The discussion uses Model-Integrated Computing (MIC) as an example for model-based software development. In MIC, domainspecific, multiple view models are used in all phases of the development process.
more » ... dels explicitly represent the embedded software and the environment it operates in, and capture the requirements of the application, simultaneously. Models are descriptive, in the sense that they allow the formal analysis, verification and validation of the embedded system at design time. Models are also generative, in the sense that they carry enough information for automatically generating embedded systems from them using the techniques of program generators.
doi:10.1007/3-540-45821-2_2 fatcat:pdbh5aiubrevhdsfdhanhhegqi