mdh.sePublikasjoner
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Annet format
Fler format
Språk
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Annet 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 (engelsk)Inngår i: AIAA/IEEE Digital Avionics Systems Conference - Proceedings, vol. 2, 2003, s. 10.B.1/1-10.B.1/9Konferansepaper, Publicerat paper (Annet vitenskapelig)
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.

sted, utgiver, år, opplag, sider
2003. s. 10.B.1/1-10.B.1/9
HSV kategori
Identifikatorer
URN: urn:nbn:se:mdh:diva-10828ISBN: 0-7803-7844-X (tryckt)OAI: oai:DiVA.org:mdh-10828DiVA, id: diva2:369132
Konferanse
The 22nd Digital Avionics Systems Conference - Proceedings; Indianapolis, IN; United States; 12 October 2003 through 16 October 2003
Tilgjengelig fra: 2010-11-10 Laget: 2010-11-10 Sist oppdatert: 2017-03-06bibliografisk kontrollert

Open Access i DiVA

Fulltekst mangler i DiVA

Personposter BETA

Asplund, LarsLundqvist, Kristina

Søk i DiVA

Av forfatter/redaktør
Asplund, LarsLundqvist, Kristina
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar

isbn
urn-nbn

Altmetric

isbn
urn-nbn
Totalt: 116 treff
RefereraExporteraLink to record
Permanent link

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