Recent changes

Home ›› Schedule ›› Embedded

Topcased: a Development Toolkit for Critical Embedded Systems

Article translations :


Speaker(s) :David Chemouil
Nature :Meeting
Level :Confirmed
Date :Wednesday 2 July 2008
Schedule :14h00
Duration :45 minutes
Language :English
Place :BIO/TD1 - IUT

In this presentation, the speaker will give a broad view of the Topcased project.

Topcased is a CASE toolkit dedicated to the development and maintenance of software-intensive critical embedded systems.

Model-driven engineering (UML, AADL, SysML, transformations...) and formal methods (model-checking, OCL) are the main technical axes, but the toolkit also provides development-support tools (configuration management, change management...).

The project gathers industrial companies, ITSP’s and SME’s as well as researchers.