Topcased - Combining formal methods with model-driven engineering

Proceedings - 21st IEEE/ACM International Conference on Automated Software Engineering, ASE 2006

Volumn , Issue , 2006, Pages 359-360

  Pontisso, Nadège ^a   Chemouil, David ^a  

^a CNES   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER HARDWARE; COMPUTER SOFTWARE; PROJECT MANAGEMENT; STANDARDS;

CRITICAL SYSTEMS; ECLIPSE PLATFORM; INDUSTRIAL PROJECTS; INDUSTRIALISTS;

FORMAL METHODS;

EID: 34547456911     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASE.2006.68     Document Type: Conference Paper

References (4)

1. B. Berthomieu, P.-O. Ribet, F. Vernadat, J.-L. Bernartt, J.M. Farines, J.-P. Bodeveix, M. Filali, G. Padiou, P. Michel, P. Farail, P. Gaufillet, P. Dissaux, and J.-L. Lambert. Towards the verification of real-time systems in avionics: The Cotre approach. In 8th International workshop on formal methods for industrial critical systems, pages 201-216, 2003.
2. J.-P. Bodeveix, D. Chemouil, M. Filali, N. Lalevee, and M. Strecker. Towards the verification of model transformations. In ERTS2006: Embedded Real Time Software, Toulouse. SIA, SEE, AAAF, January 2006.
3. J.-P. Bodeveix, D. Chemouil, M. Filali, and M. Strecker. Towards formalising AADL in proof assistants. Electr. Notes Theor. Comput. Sci, 141(3):153-169, 2005.
4. P. Farail, P. Gaufillet, A. Canals, C. Le Camus, D. Sciamma, P. Michel, X. Crégut, and M. Pantel. The topcased project: a toolkit in open source for critical aeronautic systems design. In ERTS2006: Embedded Real Time Software, Toulouse. SIA, SEE, AAAF, January7 2006.