Adaptor Synthesis for Real-Time Components

  • Massimo Tivoli
  • Pascal Fradet
  • Alain Girault
  • Gregor Goessler
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4424)


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 SynthesisRT. We illustrate it through a case study concerning a remote medical care system.


Output Port Label Transition System Periodic Clock Synthesis Algorithm Coverability Graph 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


  1. 1.
    Berthomieu, B., Ribet, P., Vernadat, F.: Construction of abstract state spaces for Petri nets and time Petri nets. International Journal of Production Research, 42(14) (2004), TINA web page
  2. 2.
    Boehm, B., Abts, C.: COTS integration: Plug and pray? IEEE Computer 32(1) (1999)Google Scholar
  3. 3.
    Poizat, P., Canal, C., Salaün, G.: Synchronizing Behavioural Mismatch in Software Composition. In: Gorrieri, R., Wehrheim, H. (eds.) FMOODS 2006. LNCS, vol. 4037, pp. 63–77. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  4. 4.
    Cioffi, M., Corradini, F.: Specification and analysis of timed and functional TRMCS behaviors. In: Proc. of the 10th IWSSD (2000)Google Scholar
  5. 5.
    Cohen, A., et al.: Synchronization of periodic clocks. In: Proc. of the 5th EMSOFT (2005)Google Scholar
  6. 6.
    Cortadella, J., et al.: Quasi-static scheduling of independant tasks for reactive systems. IEEE Trans. on Computer-Aided Design of Integrated Circuits and Systems 24(10), 1492–1514 (2005)CrossRefGoogle Scholar
  7. 7.
    de Alfaro, L., Henzinger, T.: Interface automata. In: Annual Symposium on Foundations of Software Engineering, FSE’01, pp. 109–120. ACM Press, New York (2001)Google Scholar
  8. 8.
    Finkel, A.: The minimal coverability graph for Petri nets. In: Rozenberg, G. (ed.) APN 1993. LNCS, vol. 674, Springer, Heidelberg (1993)Google Scholar
  9. 9.
    Garavel, H., Lang, F., Mateescu, R.: An overview of CADP 2001. EASST Newsletter 4 (2002),
  10. 10.
    Garlan, D., Allen, R., Ockerbloom, J.: Architectural mismatch: Why reuse is so hard. IEEE Software 12(6) (1995)Google Scholar
  11. 11.
    Inverardi, P., Yankelevich, D., Wolf, A.: Static checking of system behaviors using derived component assumptions. ACM TOSEM 9(3) (2000)Google Scholar
  12. 12.
    Kaveh, N., Emmerich, W.: Object system. In: 8th FSE/ESEC (2001)Google Scholar
  13. 13.
    Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)MATHGoogle Scholar
  14. 14.
    Murata, T.: Petri nets: Properties, analysis and applications. Proceedings of the IEEE 77(4) (1989)Google Scholar
  15. 15.
    Passerone, R., et al.: Convertibility verification and converter synthesis: Two faces of the same coin. In: ICCAD (2002)Google Scholar
  16. 16.
    Petri, C.: Kommunikation mit Automaten. PhD thesis, University of Bonn (1962)Google Scholar
  17. 17.
    Ramadge, P., Wonham, W.: The control of discrete event systems. Proceedings of the IEEE 1(77) (1989)Google Scholar
  18. 18.
    Szyperski, C.: Component Software. Beyond Object Oriented Programming. Addison-Wesley, Reading (1998)Google Scholar
  19. 19.
    Tivoli, M., et al.: Adaptor synthesis for real-time components. Research report, INRIA, to appear (2007)Google Scholar

Copyright information

© Springer Berlin Heidelberg 2007

Authors and Affiliations

  • Massimo Tivoli
    • 1
  • Pascal Fradet
    • 2
  • Alain Girault
    • 2
  • Gregor Goessler
    • 2
  1. 1.University of L’Aquila, Dip. Informatica,  via Vetoio 1, 67100 L’AquilaItaly
  2. 2.INRIA Rhône-Alpes - POP ART project, 655 avenue de l’Europe,  38330 MontbonnotFrance

Personalised recommendations