Model-Based implementation of parallel real-time systems

Authors:
Ahlem Triki;Jacques Combaz;Saddek Bensalem;Joseph Sifakis
Affiliations:
Verimag/Grenoble University, Gières, France;Verimag/CNRS, Gières, France;Verimag/Grenoble University, Gières, France;EPFL, Lausanne, Switzerland, Verimag/CNRS, Gières, France
Venue:
FASE'13 Proceedings of the 16th international conference on Fundamental Approaches to Software Engineering
Year:
2013

Citing 7
Cited 0

A theory of timed automata

Theoretical Computer Science
Communication and Concurrency

Communication and Concurrency
On the Construction of Live Timed Systems

TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
Modeling Heterogeneous Real-time Components in BIP

SEFM '06 Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods
Distributed Semantics and Implementation for Systems with Interaction and Priority

FORTE '08 Proceedings of the 28th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Model-based implementation of real-time applications

EMSOFT '10 Proceedings of the tenth ACM international conference on Embedded software
Static timing analysis for hard real-time systems

VMCAI'10 Proceedings of the 11th international conference on Verification, Model Checking, and Abstract Interpretation

Quantified Score

Hi-index	0.00

Visualization

Abstract

One of the main challenges in the design of real-time systems is how to derive correct and efficient implementations from platform-independent specifications. We present a general implementation method in which the application is represented by an abstract model consisting of a set of interacting components. The abstract model executes sequentially components interactions atomically and instantaneously. We transform abstract models into physical models representing their execution on a platform. Physical models take into account execution times of interactions and allow their parallel execution. They are obtained by breaking atomicity of interactions using a notion of partial state. We provide safety conditions guaranteeing that the semantics of abstract models is preserved by physical models. These provide bases for implementing a parallel execution engine coordinating the execution of the components. The implementation has been validated on a real robotic application. Benchmarks show net improvement of its performance compared to a sequential implementation.