Domain-specific modeling of power aware distributed real-time embedded systems

Authors:
Gabor Madl;Nikil Dutt
Affiliations:
Center for Embedded Computer Systems, University of California, Irvine, CA;Center for Embedded Computer Systems, University of California, Irvine, CA
Venue:
SAMOS'06 Proceedings of the 6th international conference on Embedded Computer Systems: architectures, Modeling, and Simulation
Year:
2006

Citing 11
Cited 1

A theory of timed automata

Theoretical Computer Science
Embedded tutorial: essential issues for IP reuse

ASP-DAC '00 Proceedings of the 2000 Asia and South Pacific Design Automation Conference
Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects

Pattern-Oriented Software Architecture: Patterns for Concurrent and Networked Objects
Model-Integrated Computing

Computer
Composing Domain-Specific Design Environments

Computer
Cadena: an integrated development, analysis, and verification environment for component-based systems

Proceedings of the 25th International Conference on Software Engineering
Formal Verification of the MetaH Executive Using Linear Hybrid Automata

RTAS '00 Proceedings of the Sixth IEEE Real Time Technology and Applications Symposium (RTAS 2000)
VEST: An Aspect-Based Composition Tool for Real-Time Systems

RTAS '03 Proceedings of the The 9th IEEE Real-Time and Embedded Technology and Applications Symposium
Guest Editor's Introduction: Model-Driven Engineering

Computer
Model-Based Development of Embedded Systems: The SysWeaver Approach

RTAS '06 Proceedings of the 12th IEEE Real-Time and Embedded Technology and Applications Symposium
Model driven middleware: A new paradigm for developing distributed real-time and embedded systems

Science of Computer Programming

Modeling hard real-time systems considering inter-task relations, dynamic voltage scaling and overheads

Microprocessors & Microsystems

Quantified Score

Hi-index	0.00

Visualization

Abstract

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 well 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.