2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) (2006)
Sept. 18, 2006 to Sept. 22, 2006
DOI Bookmark: http://doi.ieeecomputersociety.org/10.1109/ASE.2006.68
David CHEMOUIL , French Space Agency (CNES), France
Nad?ge PONTISSO , French Space Agency (CNES), France
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.
David CHEMOUIL, Nad?ge PONTISSO, "TOPCASED Combining Formal Methods with Model-Driven Engineering", 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011), vol. 00, no. , pp. 359-360, 2006, doi:10.1109/ASE.2006.68