Project information
Critical System Engineering Acceleration
(CRYSTAL (MSMT))
- Project Identification
- 7H13001
- Project Period
- 5/2013 - 4/2016
- Investor / Pogramme / Project type
-
Ministry of Education, Youth and Sports of the CR
- Joint Technology Initiatives (7H and 8A)
- MU Faculty or unit
- Faculty of Informatics
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.
Publications
Total number of publications: 5
2016
-
Accelerating Temporal Verification of Simulink Diagrams Using Satisfiability Modulo Theories
Software Quality Journal, year: 2016, volume: 24, edition: 1, DOI
-
Analysing Sanity of Requirements for Avionics Systems
Formal Aspects of Computing, year: 2016, volume: 28, edition: 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, year: 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, year: 2015
2014
-
LTL Model Checking of LLVM Bitcode with Symbolic Data
Proceedings of MEMICS'14, year: 2014