Towards the verification of real-time systems in avionics: the Cotre approach

@article{Berthomieu2003TowardsTV,
  title={Towards the verification of real-time systems in avionics: the Cotre approach},
  author={Bernard Berthomieu and Pierre-Olivier Ribet and François Vernadat and J. L. Bernartt and Jean-Marie Farines and Jean-Paul Bodeveix and Mamoun Filali and G{\'e}rard Padiou and Pierre Michel and Patrick Farail and Pierre Gauffilet and Pierre Dissaux and Jean-Luc Lambert},
  journal={Electr. Notes Theor. Comput. Sci.},
  year={2003},
  volume={80},
  pages={203-218}
}
The Cotre Project 1 is aimed at providing a design methodology and an associated software environment for the development of embedded realtime avionic systems. It contributes to bridging the gap between requirements of such systems, typically expressed in Architecture Description Languages, and formal development techniques, relying on system modeling and veri cation. This paper presents the current status of the language and platform adopted in Cotre project. The need for using various… CONTINUE READING