Informace o projektu
Critical System Engineering Acceleration
(CRYSTAL (MSMT))
- Kód projektu
- 7H13001
- Období řešení
- 5/2013 - 4/2016
- Investor / Programový rámec / typ projektu
-
Ministerstvo školství, mládeže a tělovýchovy ČR
- Společné technologické iniciativy (7H a 8A)
- Fakulta / Pracoviště MU
- Fakulta informatiky
CRYSTAL aims at fostering Europe’s leading edge position in embedded systems engineering in particular regarding quality and cost effectiveness of safety-critical embedded systems and architecture platforms. Its overall goal is to enable sustainable paths to speed up the maturation, integration, and cross-sectoral reusability of technological and methodological bricks of the factories for safety-critical embedded systems engineering in the areas of transportation (aerospace, automotive, and rail) and healthcare providing a critical mass of European technology providers.
Publikace
Počet publikací: 5
2016
-
Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories
Software Quality Journal, rok: 2016, ročník: 24, vydání: 1, DOI
-
Analysing Sanity of Requirements for Avionics Systems
Formal Aspects of Computing, rok: 2016, ročník: 28, vydání: 1, DOI
-
Finding Boundary Elements in Ordered Sets with Application to Safety and Requirements Analysis
Software Engineering and Formal Methods - 14th International Conference, SEFM 2016, rok: 2016
2015
-
Quo Vadis Explicit-State Model Checking
SOFSEM 2015: Theory and Practice of Computer Science - 41st International Conference on Current Trends in Theory and Practice of Computer Science, rok: 2015
2014
-
LTL Model Checking of LLVM Bitcode with Symbolic Data
Proceedings of MEMICS'14, rok: 2014