TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm
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).
KeywordsComponent-based design Time-triggered paradigm Model to model transformation Correct-by-design transformation Formal methods
- 1.Abdellatif, T.: Rigourous Implementation of real-time Systems. Ph.D. thesis, UJF (2012)Google Scholar
- 2.Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications, pp. 229–238, May 2010Google Scholar
- 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
- 6.Hedia, B.B., Hamelin, E.: Projet openprod rapport r4.28: Model to embedded real-time transformation. Technical report (2012)Google Scholar
- 7.Boulanger, J.-L., Fornari, F.-X., Camus, J.-L., Dion, B.: Language and applications. Scade: Language and applications (2015)Google Scholar
- 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.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.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.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.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.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.Triki, A.: Distributed Implementations of Timed Component-based Systems. Ph.D. thesis, Grenoble Alpes (2015)Google Scholar