CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.
Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .
Wyniki nadające się do wykorzystania
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.
Wyszukiwanie danych OpenAIRE...
Podczas wyszukiwania danych OpenAIRE wystąpił błąd
Brak wyników