CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.
Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .
Resultados aprovechables
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.
Buscando datos de OpenAIRE...
Se ha producido un error en la búsqueda de datos de OpenAIRE
No hay resultados disponibles