Paper Info
Title
Integrating Behavioral Descriptions into a Component Model for Embedded Systems
Abstract
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.
Year
DOI
Venue
2010
10.1109/SEAA.2010.48
EUROMICRO-SEAA
Keywords
Field
DocType
component-based development,automation domain,component model,example application,permits analysis,high-level formal behavior modeling,early development phase,integrating behavioral descriptions,behavioral model,extra functional property,embedded system,embedded systems,behavior modeling,history,component based development,unified modeling language,automata
Unified Modeling Language,Systems engineering,Computer science,Reuse,Load modeling,Automaton,Behavioral modeling,Automation,Real-time computing,Component-based software engineering,Embedded system
Conference
ISSN
Citations 
PageRank 
1089-6503
6
0.48
References 
Authors
7
4
Name
Order
Citations
PageRank
Aneta Vulgarakis125213.84
Severine Sentilles21477.93
Jan Carlson341641.20
Cristina Cerschi Seceleanu416231.11