M. Tivoli, P. Fradet, A. Girault, G. Goessler. Adaptor Synthesis for Real-Time Components. In Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07), Lecture Notes in Computer Science, Volume 4424, Pages 185-200, 2007.
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 component'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 \srt. We illustrate it through a case study concerning a remote medical care system
[ Components ] [ Assembly ] [ Adaptation ] [ Real-time ] [ Petri nets ]
Pascal Fradet http://pop-art.inrialpes.fr/people/fradet/
Alain Girault http://pop-art.inrialpes.fr/people/girault/
Gregor Goessler http://pop-art.inrialpes.fr/people/goessler/Welcome.html
@InProceedings{TivoliFradetGiraultGoessler2007,
Author = {Tivoli, M. and Fradet, P. and Girault, A. and Goessler, G.},
Title = {Adaptor Synthesis for Real-Time Components},
BookTitle = {Tools and Algorithms for the Construction and Analysis of Systems, 13th International Conference (TACAS'07)},
Volume = {4424},
Pages = {185--200},
Series = {Lecture Notes in Computer Science},
Publisher = {Springer},
Year = {2007}
}
Get EndNote Reference (.ref)