Sciweavers

Share
EMSOFT
2005
Springer

Model-based run-time monitoring of end-to-end deadlines

11 years 7 months ago
Model-based run-time monitoring of end-to-end deadlines
The correct interplay among components in a distributed, reactive system is a crucial development task, particularly for embedded systems such as those in the automotive domain. Model-based development is a promising means for capturing key structural and behavioral requirements before implementing code. Current development approaches focus on components as the central development entity, leaving component integration as a separate and error-prone task in later stages of the system development process. This approach is particularly problematic in the area of Qualityof-Service properties that are inherently end-to-end. We address this problem by using a model where system functions, not components implementing them, are central from the early phases of requirements capture through implementation. We develop a domain model for system functions (or services) based on interaction patterns; this model captures deadline speciļ¬cations ranging from individual messages to entire services. Us...
Jaswinder Ahluwalia, Ingolf H. Krüger, Walter
Added 27 Jun 2010
Updated 27 Jun 2010
Type Conference
Year 2005
Where EMSOFT
Authors Jaswinder Ahluwalia, Ingolf H. Krüger, Walter Phillips, Michael Meisinger
Comments (0)
books