Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL - Formal Techniques for Distributed Objects, Components, and Systems Access content directly
Conference Papers Year : 2021

Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL

Abstract

For the past 50 years, temporal constraints have been a key driver in the development of critical systems, as ensuring their safety requires their behaviour to meet stringent temporal requirements. A well established and promising approach to express and verify such temporal constraints is to rely on formal modelling languages. One such language is CCSL, first introduced as part of the MARTE UML profile, which allows the developer, through entities called clocks, to abstract any system into events on which constraints can be expressed, and then assessed using TimeSquare, a tool which implements its operational semantics. By nature, CCSL handles horizontal separation (component based design at one step in the system development) of concerns through the notion of clocks, but does not yet take into account the other major separation of concerns used in modern system development: vertical separation, also called refinement in the literature (relations between the various steps of the system development). This paper proposes an approach to extend CCSL with a notion of refinement in order to handle temporal models relying on both vertical and horizontal parts. Our proposal relies on the notion of multi-layered time to provide two new CCSL relations expressing two different yet complementary notions of refinement. Their integration with the other CCSL constructs is discussed and their use is illustrated while the relevance and future impacts of this extended version of CCSL is detailed.
Fichier principal
Vignette du fichier
509782_1_En_7_Chapter.pdf (391.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03740259 , version 1 (29-07-2022)

Licence

Attribution

Identifiers

Cite

Mathieu Montin, Marc Pantel. Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL. 41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021), Jun 2021, Valletta, Malta. pp.120-137, ⟨10.1007/978-3-030-78089-0_7⟩. ⟨hal-03740259⟩
54 View
5 Download

Altmetric

Share

Gmail Facebook X LinkedIn More