The Gurkh Project: A Framework for Verification and Execution of Mission Critical Applications
2003 (English)In: AIAA/IEEE Digital Avionics Systems Conference - Proceedings, vol. 2, 2003, p. 10.B.1/1-10.B.1/9Conference paper, Published paper (Other academic)
Abstract [en]
The paper contributes with three methods that together will make a complete tool-set for verification of mission critical applications. The first method is the transformation of existing Ada or VHDL code into an intermediate form. This form is used for verification by numerous different model checkers. The second method is a predictable runtime kernel that has both a verifiable formal model and is implemented in hardware to achieve full predictability. Finally, a method for transforming the intermediate form of the complete system into a hardware unit, the SafetyChip that performs runtime control of the system. This SafetyChip can catch 'out-of-state' behaviors.
Place, publisher, year, edition, pages
2003. p. 10.B.1/1-10.B.1/9
National Category
Computer Systems
Identifiers
URN: urn:nbn:se:mdh:diva-10828ISBN: 0-7803-7844-X (print)OAI: oai:DiVA.org:mdh-10828DiVA, id: diva2:369132
Conference
The 22nd Digital Avionics Systems Conference - Proceedings; Indianapolis, IN; United States; 12 October 2003 through 16 October 2003
2010-11-102010-11-102017-03-06Bibliographically approved