COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models

(1) , (1)
1
I Perseil
  • Function : Author
Laurent Pautet

Abstract

The design of Distributed Real-time Embedded (DRE) architecture models for complex and critical systems with safety, liveness, timeliness, dependability concerns, forces the use of formal languages. Because of the high level of criticity, proof techniques are required instead of model-checking with limitations relatively to the state space explosion problems. Proofs of these non-functional properties can only be established on the basis of formal languages with high verification capabilities (theorem provers). Therefore, we have concentrated our efforts on the development of a methodology that would better integrate formal aspects into the design of DRE architectures, which is usually based upon the use of (semi-formal) Architecture Design Languages (ADLs). This methodology has both to support the traceability of non-functional property proofs (from the requirements to the deployment of a DRE system) and the integration of formal and non formal modelling languages. The approach is bottom-up when the method states that each realization artifact, even hidden, has to be detected from the capture requirement stage (each possible realization artifact has to be identified during a prototype coding stage) As a consequence, language translations are not based on the MDA process that supposes some projections. These projections would be responsible for the gap between abstractions used to understand and describe the problem and those used for implementation. To bridge those gaps is the major aim of the methodology, so we called it “Continuum” as it would help to restore the development process continuity. The new aspects of this methodology (and its difficulties) are essentially the introduction of low level concepts (needed for the implementation stages) into the modeling language structures, usually more generic. The methodology application is the development of an algorithmic language translator that enable the generation of a safe code.
Fichier principal
Vignette du fichier
ERTS2008_0094_paper.pdf (45.18 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02270295 , version 1 (24-08-2019)

Identifiers

  • HAL Id : hal-02270295 , version 1

Cite

I Perseil, Laurent Pautet. COntinuuM, a CO-modelling Methodology for the Integration of Real-time Architecture Models. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, Toulouse, France. ⟨hal-02270295⟩
10 View
3 Download

Share

Gmail Facebook Twitter LinkedIn More