The assert-project (Automated proof-based System and Software Engineering for Real-Time systems) is an integrated project partially funded by the European Commission within the Information Society Technologies priority of the 6th Framework Programme in the area embedded systems.
The project is coordinated by the European Space Agency (ESA) in the TEC directorate (Technical and Quality management),
Software Systems division. The assert consortium is made of 28 partners representing the space industry, research laboraties, software houses and tool developers. The project started in September 2004 and will end in 2007.
The main objective of assert is to change the way system and software engineering is performed today to adopt a more reliable and scientific approach based on modelling, preservation of system properties and model transformation down to the final code.
The current results includes a process, a set of tool prototypes and case studies demonstrating the validity of the overall approach. The project results will be presented at various events during the coming months and tangible outcomes will be visible at the next major event organised by ESA in the serie of “ASSERTive Days”.