Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems [chapter]

Gabor Madl, Nikil Dutt
2006 Lecture Notes in Computer Science  
This paper provides two contributions to the research on applying domain-specific modeling languages to distributed real-time embedded (DRE) systems. First, we present the ALDERIS platform-independent visual language for component-based system development. Second, we demonstrate the use of the ALDERIS language on a helicopter autopilot DRE design. The ALDERIS language is based on the concept of platform-based design, and explicitly captures asynchronous event-driven component interactions as
more » ... l as the underlying platform for the computation. Unlike most modeling languages, ALDERIS has formally defined semantics providing a way for the formal verification of dense real-time properties and energy consumption.
doi:10.1007/11796435_8 fatcat:lgsnxy3fgnfkbcqr26cvzkkkiy