mdh.sePublikationer
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf
The Gurkh Project: A Framework for Verification and Execution of Mission Critical Applications
Mälardalens högskola, Akademin för innovation, design och teknik.ORCID-id: 0000-0001-5141-7242
MIT, Cambridge, MA, United States .ORCID-id: 0000-0003-0904-3712
2003 (Engelska)Ingår i: AIAA/IEEE Digital Avionics Systems Conference - Proceedings, vol. 2, 2003, s. 10.B.1/1-10.B.1/9Konferensbidrag, Publicerat paper (Övrigt vetenskapligt)
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.

Ort, förlag, år, upplaga, sidor
2003. s. 10.B.1/1-10.B.1/9
Nationell ämneskategori
Datorsystem
Identifikatorer
URN: urn:nbn:se:mdh:diva-10828ISBN: 0-7803-7844-X (tryckt)OAI: oai:DiVA.org:mdh-10828DiVA, id: diva2:369132
Konferens
The 22nd Digital Avionics Systems Conference - Proceedings; Indianapolis, IN; United States; 12 October 2003 through 16 October 2003
Tillgänglig från: 2010-11-10 Skapad: 2010-11-10 Senast uppdaterad: 2017-03-06Bibliografiskt granskad

Open Access i DiVA

Fulltext saknas i DiVA

Personposter BETA

Asplund, LarsLundqvist, Kristina

Sök vidare i DiVA

Av författaren/redaktören
Asplund, LarsLundqvist, Kristina
Av organisationen
Akademin för innovation, design och teknik
Datorsystem

Sök vidare utanför DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetricpoäng

isbn
urn-nbn
Totalt: 107 träffar
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annat format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annat språk
Fler språk
Utmatningsformat
  • html
  • text
  • asciidoc
  • rtf