6_Model-integrated development of embedded software

6_Model-integrated - Model-Integrated Development of Embedded Software GABOR KARSAI MEMBER IEEE JANOS SZTIPANOVITS FELLOW IEEE AKOS LEDECZI MEMBER

Info iconThis preview shows pages 1–2. Sign up to view the full content.

View Full Document Right Arrow Icon
Model-Integrated Development of Embedded Software GABOR KARSAI, MEMBER, IEEE, JANOS SZTIPANOVITS, FELLOW, IEEE, AKOS LEDECZI, MEMBER, IEEE, AND TED BAPTY, MEMBER, IEEE Invited Paper The paper describes a model-integrated approach for em- bedded 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-spe- cific modeling languages—called metamodels—play a key role in customizing and connecting components of tool chains. This paper discusses the principles and techniques of model-in- tegrated 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. Keywords— Automated software engineering, design-space exploration, embedded systems, model verification, model-based development, model-integrated computing, software generators, system and software engineering. I. INTRODUCTION The development of software for embedded systems is dif- ficult, as these systems are part of a physical environment whose complex dynamics and timing requirements they have Manuscript received December 20, 2001; revised August 31, 2002. This work was supported by the Defense Advanced Research Projects Agency’s Model-Based Integrated of Embedded Software program under Contract F30602–00-1–0580. The authors are with the Institute for Software-Integrated Systems, Van- derbilt University, Nashville, TN 37235, USA. Digital Object Identifier 10.1109/JPROC.2002.805824 to adhere to. Embedded real-time systems should produce not only correct outputs, but should produce them at the right time. Furthermore, a “reasonable” behavior is expected from these systems, even under fault scenarios, when hardware or software components fail. Conventional software devel- opment considers timing, reliability, robustness, power con- sumption as “nonfunctional” requirements, which are typi- cally secondary to the logical (or functional) correctness of
Background image of page 1

Info iconThis preview has intentionally blurred sections. Sign up to view the full version.

View Full DocumentRight Arrow Icon
Image of page 2
This is the end of the preview. Sign up to access the rest of the document.

This note was uploaded on 11/08/2011 for the course CS 11003 taught by Professor Hongweizhao during the Winter '11 term at Tianjin University.

Page1 / 20

6_Model-integrated - Model-Integrated Development of Embedded Software GABOR KARSAI MEMBER IEEE JANOS SZTIPANOVITS FELLOW IEEE AKOS LEDECZI MEMBER

This preview shows document pages 1 - 2. Sign up to view the full document.

View Full Document Right Arrow Icon
Ask a homework question - tutors are online