TOPCASED Combining Formal Methods with Model-Driven Engineering

Author

Pontisso, Nadège ; Chemouil, David

Author_Institution

French Space Agency, Toulouse

fYear

2006

fDate

18-22 Sept. 2006

Firstpage

359

Lastpage

360

Abstract

This paper briefly presents the TOPCASED project which gathers industrialists, researchers, universities and SMEs, aiming at producing a free/open-source system/software/hardware-engineering toolkit, implemented over the Eclipse platform, using only standard components. An important aspect of TOPCASED is that it enables researchers to plug in their tools easily. TOPCASED is meant to be used on actual industrial projects and may therefore be considered as an important target by researchers working on formal methods and foundations of software engineering for critical systems

Keywords

computer science education; formal specification; formal verification; public domain software; software tools; teaching; Eclipse platform; TOPCASED project; formal methods; hardware engineering toolkit; model-driven engineering; open-source system; software engineering toolkit; Aerospace industry; Automotive engineering; Computer industry; Educational institutions; Model driven engineering; Open source software; Software engineering; Software systems; Software tools; Space technology;

fLanguage

English

Publisher

ieee

Conference_Titel

Automated Software Engineering, 2006. ASE '06. 21st IEEE/ACM International Conference on

Conference_Location

Tokyo

ISSN

1938-4300

Print_ISBN

0-7695-2579-2

Type

conf

DOI

10.1109/ASE.2006.68

Filename

4019608