%0 Conference Proceedings
%T Towards Multi-layered Temporal Models: A Proposal to Integrate Instant Refinement in CCSL
%+ Assistance à la Certification d’Applications DIstribuées et Embarquées (IRIT-ACADIE)
%+ Proof-oriented development of computer-based systems (MOSEL)
%A Montin, Mathieu
%A Pantel, Marc
%Z Part 1: Full Papers ; Part of the book sub series: Programming and Software Engineering (LNPSE)
%< avec comité de lecture
%( Formal Techniques for Distributed Objects, Components, and Systems: 41st IFIP WG 6.1 International Conference, FORTE 2021, Held as Part of the 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021, Proceedings ; ISBN: 978-3-030-78089-0
%B 41th International Conference on Formal Techniques for Distributed Objects, Components, and Systems (FORTE 2021)
%C Valletta, Malta
%Y Kirstin Peters
%Y Tim A.C. Willemse
%I Springer International Publishing
%3 Lecture Notes in Computer Science book series (LNCS)
%V 12719
%P 120-137
%8 2021-06-14
%D 2021
%R 10.1007/978-3-030-78089-0_7
%K CCSL
%K Refinement
%K Temporal constraints
%Z Computer Science [cs]/Networking and Internet Architecture [cs.NI]Conference papers
%X 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.
%G English
%Z TC 6
%Z WG 6.1
%2 https://inria.hal.science/hal-03740259/document
%2 https://inria.hal.science/hal-03740259/file/509782_1_En_7_Chapter.pdf
%L hal-03740259
%U https://inria.hal.science/hal-03740259
%~ UNIV-TLSE2
%~ UNIV-TLSE3
%~ CNRS
%~ INRIA
%~ LORIA2
%~ UT1-CAPITOLE
%~ IFIP-LNCS
%~ IFIP
%~ UNIV-LORRAINE
%~ IFIP-TC
%~ IFIP-WG
%~ IFIP-TC6
%~ IFIP-WG6-1
%~ LORIA
%~ LORIA-FM
%~ IFIP-FORTE
%~ INRIA-AUT
%~ IRIT
%~ IRIT-ACADIE
%~ IRIT-FSL
%~ IRIT-INPT
%~ TOULOUSE-INP
%~ UNIV-UT3
%~ UT3-INP
%~ UT3-TOULOUSEINP
%~ IFIP-LNCS-12719
%~ TEST3-HALCNRS