Sciweavers

Share
EMSOFT
2006
Springer

Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems

11 years 7 months ago
Reusable models for timing and liveness analysis of middleware for distributed real-time and embedded systems
Distributed real-time and embedded (DRE) systems have stringent constraints on timeliness and other properties whose assurance is crucial to correct system behavior. Formal tools and techniques play a key role in verifying and validating system properties. However, many DRE systems are built using middleware frameworks that have grown increasingly complex to address the diverse requirements of a wide range of applications. How to apply formal tools and techniques effectively to these systems, given the range of middleware configuration options available, is therefore an important research problem. This paper makes three contributions to research on formal verification and validation of middleware-based DRE systems. First, it presents a reusable library of formal models we have developed to capture essential timing and concurrency semantics of foundational middleware building blocks provided by the ACE framework. Second, it describes domain-specific techniques to reduce the cost of che...
Venkita Subramonian, Christopher D. Gill, Cé
Added 14 Oct 2010
Updated 14 Oct 2010
Type Conference
Year 2006
Where EMSOFT
Authors Venkita Subramonian, Christopher D. Gill, César Sánchez, Henny B. Sipma
Comments (0)
books