Adaptor Synthesis for Real-Time Components [chapter]

Massimo Tivoli, Pascal Fradet, Alain Girault, Gregor Goessler
Tools and Algorithms for the Construction and Analysis of Systems  
Building a real-time system from reusable or COTS components introduces several problems, mainly related to compatibility, communication, and QoS issues. We propose an approach to automatically derive adaptors in order to solve black-box integration anomalies, when possible. We consider black-box components equipped with an expressive interface that specifies the interaction behavior with the expected environment, the component clock, as well as latency, duration, and controllability of the
more » ... onent's actions. The principle of adaptor synthesis is to coordinate the interaction behavior of the components in order to avoid possible mismatches, such as deadlocks. Each adaptor models the correct assembly code for a set of components. Our approach is based on labeled transition systems and Petri nets, and is implemented in a tool called SynthesisRT. We illustrate it through a case study concerning a remote medical care system. This work has been partially funded by the Alidecs project and the Artist II European network of excellence. This work has been done while the first author was a postdoctoral fellow in the Pop Art project team at INRIA Rhône-Alpes.
doi:10.1007/978-3-540-71209-1_16 dblp:conf/tacas/TivoliFGG07 fatcat:yqkvtw5ifzhvbnbbdqsdz3jmlm