Integrating Behavioral Descriptions into a Component Model for Embedded Systems

When component-based development is applied to distributed embedded systems, which are often safety-critical and subject to real-time constraints, it is of significant importance that reliable predictions of functional and extra functional properties can be derived at design-time. Preferably, analys...

Full description

Saved in:
Bibliographic Details
Published in2010 36th EUROMICRO Conference on Software Engineering and Advanced Applications pp. 113 - 118
Main Authors Vulgarakis, A, Sentilles, S, Carlson, J, Seceleanu, C
Format Conference Proceeding
LanguageEnglish
Published IEEE 01.09.2010
Subjects
Analytical models
Automata
behavioral model
component-based
Embedded system
embedded systems
formal analysis
History
Load modeling
Timing
Unified modeling language
Online AccessGet full text

Cover

More Information
Summary:When component-based development is applied to distributed embedded systems, which are often safety-critical and subject to real-time constraints, it is of significant importance that reliable predictions of functional and extra functional properties can be derived at design-time. Preferably, analysis should be performed in early development phases, where the cost of modifying the design is lower. Centered on an example application from the automation domain, we show how a component model specifically intended for embedded systems can be combined with a language for high-level formal behavior modeling. This permits analysis of system properties, while also supporting reuse of behavioral models when components are reused.
ISBN:9781424479016
1424479010
ISSN:1089-6503
DOI:10.1109/SEAA.2010.48