Integrating behavioral descriptions into a component model for embedded systems

When component-based development is applied to dis-tributed embedded systems, which are often safety-critical and subject to real-time constraints, it is of significant im-portance that reliable predictions of functional and extra-functional properties can be derived at design-time. Prefer-ably, 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 in-tended for embedded systems can be combined with a lan-guage for high-level formal behavior modeling. This per-mits analysis of system properties, while also supporting reuse of behavioral models when components are reused.