Servizio Comunitario di Informazione in materia di Ricerca e Sviluppo - CORDIS

ARTS: validating safety-critical systems

As software systems become more complex, ensuring their reliability and consistency throughout the product lifecycle poses a major challenge for software developers. Such assurances are particularly important in applications that are safety-critical and/or act in real time. TRIO is a formal specification environment for supporting the development of critical real time systems. It allows developers to apply a rigorous approach to verifying and validating safety-critical systems, while controlling costs. The TRIO framework has been applied successfully in a variety of pilot applications in the avionics and energy industries.

TRIO has been defined to improve the quality of requirement specifications and to strengthen verification and validation activities for complex, real time systems. The descriptive approach helps focus on requirements, forgetting design and implementation aspects, while the formal semantics support the development of clear, unambiguous and understandable requirement definitions. The language and methodology are particularly suited for describing explicitly temporal aspects of real time critical applications and for characterizing test cases in an abstract way. The tools allow the specifier to develop error-free specifications and to easily generate test cases for verification and validation.


Tel.: +39-2-21672482
Fax: +39-2-21672620