Experience of an efficient and actual MDE process : design and verification of ATC onboard systems - INSU - Institut national des sciences de l'Univers Access content directly
Conference Papers Year : 2008

Experience of an efficient and actual MDE process : design and verification of ATC onboard systems

E Bonnafous
  • Function : Author
  • PersonId : 1052657
E Saves
  • Function : Author
  • PersonId : 1052658
E. Gilbert
  • Function : Author
J. Honoré
  • Function : Author

Abstract

Since 2002, CS is involved in the conception and the specification of ATC systems for A320, A340, A380, A400M and A350 aircrafts. The ATC module, a ground/onboard communication system, is designed with SDL, a modelling language normalized by the ITU-T and which is described as a UML2-profile, too. The SDL well defined semantic allows to have homogeneous code generators and model simulators: these two technics are used in the process of the ATC projects, giving to the process a very efficient productivity. The automatic code generator generates the C code of the application. The code generator is qualified in accordance to the DO178B requirements (C level). This very strict qualification (development tool qualification) allows to highly reduce the tests effort of the ATC application. Verifications based on tests are realized on the SDL models, through execution simulation. CS uses RTDS, a SDL Z.100 simulator developed by Pragmadev. As well as providing edition and syntax/semantic checking of SDL models, RTDS provides debugging facilities such as breakpoints and step-by-step execution at the model level and a powerful scenarios language which enables to call some directives of the simulator such as MSC generation, internal signals sending, variables printing and so on...
Fichier principal
Vignette du fichier
ERTS2008_0043_paper.pdf (781.62 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

insu-02270100 , version 1 (23-08-2019)

Identifiers

  • HAL Id : insu-02270100 , version 1

Cite

E Bonnafous, E Saves, E. Gilbert, J. Honoré. Experience of an efficient and actual MDE process : design and verification of ATC onboard systems. Embedded Real Time Software and Systems (ERTS2008), Jan 2008, toulouse, France. ⟨insu-02270100⟩

Collections

INSU ERTS2008
11 View
14 Download

Share

Gmail Mastodon Facebook X LinkedIn More