Abstract
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).
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Abdellatif, T.: Rigourous Implementation of real-time Systems. Ph.D. thesis, UJF (2012)
Abdellatif, T., Combaz, J., Sifakis, J.: Model-based implementation of real-time applications, pp. 229–238, May 2010
Alur, R., Dill, D.L.: A theory of timed automata. Theoret. Comput. Sci. 126(2), 183–235 (1994)
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)
Bagrodia, R.: Process synchronization: design and performance evaluation of distributed algorithms. IEEE Trans. Softw. Eng. 15(9), 1053–1065 (1989)
Hedia, B.B., Hamelin, E.: Projet openprod rapport r4.28: Model to embedded real-time transformation. Technical report (2012)
Boulanger, J.-L., Fornari, F.-X., Camus, J.-L., Dion, B.: Language and applications. Scade: Language and applications (2015)
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)
Chandy, K.M., Misra, J.: The drinking philosophers problem. ACM Trans. Program. Lang. Syst. (TOPLAS) 6(4), 632–646 (1984)
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)
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 2015
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 2010
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)
Kopetz, H.: The time-triggered approach to real-time system design. In: Randell, B., et al. (eds.) Predictably Dependable Computing Systems. Springer, Luxembourg (1995)
Quilbeuf, J.: Distributed Implementations of Component-based Systems with Prioritized Multiparty Interactions. Application to the BIP Framework. Ph.D. thesis, Université de Grenoble (2013)
Triki, A.: Distributed Implementations of Timed Component-based Systems. Ph.D. thesis, Grenoble Alpes (2015)
Author information
Authors and Affiliations
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Guesmi, H., Ben Hedia, B., Bliudze, S., Bensalem, S., Le Nabec, B. (2017). TT-BIP: Using Correct-by-Design BIP Approach for Modelling Real-Time System with Time-Triggered Paradigm. In: Barkaoui, K., Boucheneb, H., Mili, A., Tahar, S. (eds) Verification and Evaluation of Computer and Communication Systems. VECoS 2017. Lecture Notes in Computer Science(), vol 10466. Springer, Cham. https://doi.org/10.1007/978-3-319-66176-6_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-66176-6_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-66175-9
Online ISBN: 978-3-319-66176-6
eBook Packages: Computer ScienceComputer Science (R0)