TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm

  • Hela GuesmiEmail author
  • Belgacem Ben HediaEmail author
  • Simon Bliudze
  • Saddek Bensalem
  • Briag Le Nabec
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10466)


In order to combine advantages of Real-Time Operating Systems (RTOS) implementing the Time-Triggered (TT) execution model and model-based design frameworks, we aim at proposing a correct-by-design methodology that derives correct TT implementations from high-level models. This methodology consists of two main steps; (1) transforming the high-level model into an intermediate which respects the TT communication principles and where all communication between components are simple send/receive interactions, and (2) transforming the obtained intermediate model into the programming language of the target platform.

In this paper, we focus on the presentation of the methodology of the first step of the design flow. This methodology produces a correct-by-construction TT model by starting from a high-level model of the application software in Behaviour, Interaction, Priority (BIP).


Component-based design Time-triggered paradigm Model to model transformation Correct-by-design transformation Formal methods 


  1. 1.
    Abdellatif, T.: Rigourous Implementation of real-time Systems. Ph.D. thesis, UJF (2012)Google Scholar
  2. 2.
    Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications, pp. 229–238, May 2010Google Scholar
  3. 3.
    Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)MathSciNetCrossRefzbMATHGoogle Scholar
  4. 4.
    Aussagues, C., Chabrol, D., David, V., Roux, D., Willey, N., Tournadre, A., Graniou, M.: Pharos, a multicore os ready for safety-related automotive systems: results and future prospects. In: Proceedings of the Embedded Real-Time Software and Systems (ERTS2) (2010)Google Scholar
  5. 5.
    Bagrodia, R.: Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans. Softw. Eng. 15(9), 1053–1065 (1989)CrossRefGoogle Scholar
  6. 6.
    Hedia, B.B., Hamelin, E.: Projet openprod rapport r4.28: Model to embedded real-time transformation. Technical report (2012)Google Scholar
  7. 7.
    Boulanger, J.-L., Fornari, F.-X., Camus, J.-L., Dion, B.: Language and applications. Scade: Language and applications (2015)Google Scholar
  8. 8.
    Bozga, M., Jaber, M., Sifakis, J.: Source-to-source architecture transformation for performance optimization in BIP. IEEE Trans. Industr. Inf. 6(4), 708–718 (2010)CrossRefGoogle Scholar
  9. 9.
    Chandy, K.M., Misra, J.: The drinking philosophers problem. ACM Trans. Program. Lang. Syst. (TOPLAS) 6(4), 632–646 (1984)CrossRefGoogle Scholar
  10. 10.
    Elmqvist, H., Mattsson, S.E.: An introduction to the physical modeling language modelica. In: Proceedings of the 9th European Simulation Symposium, ESS, vol. 97, pp. 19–23. Citeseer (1997)Google Scholar
  11. 11.
    Guesmi, H., Hedia, B.B., Bliudze, S., Bensalem, S., Combaz, J.: Towards time-triggered component-based system models. In: ICSEA 2015, Barcelone, Spain, ThinkMind, pp. 157–169, November 2015Google Scholar
  12. 12.
    Jaber, M.: Centralized and Distributed Implementations of Correct-by-construction Component-based Systems by using Source-to-source Transformations in BIP. Theses, Université Joseph-Fourier - Grenoble I, October 2010Google Scholar
  13. 13.
    Kaiser, R., Wagner, S.: Evolution of the pikeos microkernel. In: Proceedings of the 1st International Workshop on Microkernels for Embedded Systems, pp. 50–57 (2007)Google Scholar
  14. 14.
    Kopetz, H.: The time-triggered approach to real-time system design. In: Randell, B., et al. (eds.) Predictably Dependable Computing Systems. Springer, Luxembourg (1995)Google Scholar
  15. 15.
    Quilbeuf, J.: Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions. Application to the BIP Framework. Ph.D. thesis, Université de Grenoble (2013)Google Scholar
  16. 16.
    Triki, A.: Distributed Implementations of Timed Component-based Systems. Ph.D. thesis, Grenoble Alpes (2015)Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  1. 1.CEA-LIST, PC 172Gif-sur-YvetteFrance
  2. 2.EPFL IC IIF RiSDLausanneSwitzerland
  3. 3.VerimagGieresFrance

Personalised recommendations