https://www.mdu.se/

mdu.sePublications
Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
The Gurkh Project: A Framework for Verification and Execution of Mission Critical Applications
Mälardalen University, School of Innovation, Design and Engineering.ORCID iD: 0000-0001-5141-7242
MIT, Cambridge, MA, United States .ORCID iD: 0000-0003-0904-3712
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
Available from: 2010-11-10 Created: 2010-11-10 Last updated: 2017-03-06Bibliographically approved

Open Access in DiVA

No full text in DiVA

Authority records

Asplund, LarsLundqvist, Kristina

Search in DiVA

By author/editor
Asplund, LarsLundqvist, Kristina
By organisation
School of Innovation, Design and Engineering
Computer Systems

Search outside of DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric score

isbn
urn-nbn
Total: 125 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf