Learn More
ASSERT genesis • Software crisis: origin is in fact a lack in system engineering. • Current System design approach is exceedingly empirical. • It is unable to cope with increasing systems complexity. • Use of formal techniques at software level without any formal approach at system level is a nonsense. • Requirements: System Architecture must be proven by(More)
The ASSERT European Integrated Project (Automated proof-based System and Software Engineering for Real-Time systems; EC FP6, IST-004033) has investigated, elaborated and experimented advanced methods based on the AltaRica language and support tool OCAS for architecture and fault approach propagation description analysis, and integrated in the complete(More)
This paper reports the results of an ESA funded project on the use of abstract interpretation to validate critical real-time embedded space software. Abstract interpretation is industrially used since several years, especially for the validation of the Ariane 5 launcher. However, the limitations of the tools used so far prevented a wider deployment. Astrium(More)
  • 1