Externalisation of Time-Triggered communication system in BIP high level models
| Autor: | Guesmi, Hela, Ben Hedia, Belgacem, Bliudze, Simon, Bensalem, Saddek |
|---|---|
| Přispěvatelé: | Laboratoire d'Intégration des Systèmes et des Technologies (LIST (CEA)), Direction de Recherche Technologique (CEA) (DRT (CEA)), Commissariat à l'énergie atomique et aux énergies alternatives (CEA)-Commissariat à l'énergie atomique et aux énergies alternatives (CEA), Ecole Polytechnique Fédérale de Lausanne (EPFL), VERIMAG (VERIMAG - IMAG), Université Joseph Fourier - Grenoble 1 (UJF)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Institut National Polytechnique de Grenoble (INPG)-Centre National de la Recherche Scientifique (CNRS), Laboratoire d'Intégration des Systèmes et des Technologies (LIST), Centre National de la Recherche Scientifique (CNRS)-Institut National Polytechnique de Grenoble (INPG)-Institut polytechnique de Grenoble - Grenoble Institute of Technology (Grenoble INP )-Université Joseph Fourier - Grenoble 1 (UJF), Guesmi, Hela |
| Jazyk: | angličtina |
| Rok vydání: | 2014 |
| Předmět: |
Source-to-source transformation
correctness-by-construction TT paradigm BIP ACM: D.: Software/D.2: SOFTWARE ENGINEERING interaction expressions [INFO.INFO-ES]Computer Science [cs]/Embedded Systems [INFO.INFO-MO] Computer Science [cs]/Modeling and Simulation ACM: D.: Software ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation [INFO.INFO-ES] Computer Science [cs]/Embedded Systems connectors |
| Zdroj: | Proceedings of the 8th Junior Researcher Workshop on Real-Time Computing JRWRTC 2014 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014) 8th Junior Researcher Workshop on Real-Time Computing (JRWRTC 2014), Oct 2014, Versailles, France. pp.47-50 |
| Popis: | International audience; To target a wider spectrum of Time-Triggered(TT) implementations of hard real-time systems, we consider approaches for building component-based systems that provide a physical model from a high-level model of the system and TT specifications. The obtained physical model is thus suitable for direct transformation into languages of specific TT platforms. In addition, if these approaches provide correctness-by-construction, they can help to avoid the monolithic a posteriori validation. In this paper, we focus on the TT interface concept of the TT paradigm. And we present a method that transforms the interaction in classic BIP (Behavior, Interaction, Priority) Model into a TT interface by source-to-source transformations. The method is based on the successive application of two types of source-to-source transformations; Transfer functions internalisation and n + 1-ary connector to TT interface transformation. The first simplifies the connector transfer functions by modifying components automata. The second transforms connector with simple transfer function into TT interfaces. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|