Model-integrated development of embedded software

DMCA

Model-integrated development of embedded software (2003)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Gabor Karsai , Janos Sztipanovits , Akos Ledeczi , Ted Bapty

Venue:	Proceedings of the IEEE
Citations:	163 - 33 self

BibTeX

@INPROCEEDINGS{Karsai03model-integrateddevelopment,
    author = {Gabor Karsai and Janos Sztipanovits and Akos Ledeczi and Ted Bapty},
    title = {Model-integrated development of embedded software},
    booktitle = {Proceedings of the IEEE},
    year = {2003},
    pages = {145--164}
}

OpenURL

Abstract

Proceedings of the IEEE January 2003 The paper describes a model-integrated approach for embedded software development that is based on domain-specific, multiple view models used in all phases of the development process. Models explicitly represent the embedded software and the environment it operates in, and capture the requirements and the design 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 using the techniques of program generators. Because of the widely varying nature of embedded systems, a single modeling language may not be suitable for all domains, thus modeling languages are often domain-specific. To decrease the cost of defining and integrating domain-specific modeling languages and corresponding analysis and synthesis tools, the model-integrated approach is applied in a metamodeling architecture, where formal models of domain-specific modeling languages – called metamodels – play a key role in customizing and connecting components of tool chains. The paper will discuss the principles and techniques of model-integrated embedded software development in detail, as well as the capabilities of the tools supporting the process. Examples in terms of real systems will be given that illustrate how the model-integrated approach addresses the physical nature, the assurance issues, and the dynamic structure of embedded software.

Keyphrases

embedded software model-integrated approach model-integrated development domain-specific modeling language embedded system multiple view model formal analysis enough information metamodeling architecture physical nature embedded software development program generator key role ieee january design time formal model assurance issue model-integrated embedded software development real system development process single modeling language synthesis tool tool chain dynamic structure varying nature

DMCA