Skip to Main content Skip to Navigation
Conference papers

Behavioural descriptions in architecture description languages Application to AADL

Abstract : The development of critical software has put forward architecture description languages. The aim of these languages is to allow a verification process at the early stages of software development. They cover many aspects like real time, information flow, distribution, execution platforms, ...
Document type :
Conference papers
Complete list of metadata

Cited literature [12 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02270356
Contributor : Axelle Pagnier <>
Submitted on : Saturday, August 24, 2019 - 7:20:19 PM
Last modification on : Thursday, March 18, 2021 - 2:34:41 PM
Long-term archiving on: : Friday, January 10, 2020 - 4:10:55 PM

File

1B3_M.Filali_Feria.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-02270356, version 1

Citation

Jean-Paul Bodeveix, P Dissaux, M Filali, P Farail, P Gaufillet, et al.. Behavioural descriptions in architecture description languages Application to AADL. Conference ERTS'06, Jan 2006, Toulouse, France. ⟨hal-02270356⟩

Share

Metrics

Record views

46

Files downloads

52