CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.
Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .
Résultats exploitables
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.
Recherche de données OpenAIRE...
Une erreur s’est produite lors de la recherche de données OpenAIRE
Aucun résultat disponible