liu.seSök publikationer i DiVA
Driftstörningar
Just nu har vi driftstörningar på sök-portalerna på grund av hög belastning. Vi arbetar på att lösa problemet, ni kan tillfälligt mötas av ett felmeddelande.
EnglishSvenskaNorsk
Ändra sökning
RefereraExporteraLänk till posten
Permanent länk

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
Demonstration of a Formal Method for Incremental Qualification of IMA Systems
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan. (Real-time Systems Laboratory)
Linköpings universitet, Institutionen för datavetenskap. Linköpings universitet, Tekniska högskolan. (Real-time Systems Laboratory)ORCID-id: 0000-0002-1485-0802
Saab Avitronics, Jönköping.
Saab Avitronics, Jönköping.
2008 (Engelska)Konferensbidrag, Publicerat paper (Refereegranskat)
Abstract [en]

In this paper we address the process ofincremental certification/qualification of IntegratedModular Avionic (IMA) systems. The work aims toshow that given a scalable avionics architecture wecan apply a component-based development processand save some safety analysis effort by reusingdesign models for components. This creates aformal framework for IMA system safetyassessment.
Ort, förlag, år, upplaga, sidor
IEEE conference proceedings, 2008.
Nationell ämneskategori
Teknik och teknologier
Identifikatorer
URN: urn:nbn:se:liu:diva-72606DOI: 10.1109/DASC.2008.4702860ISBN: 978-1-4244-2207-4 (tryckt)OAI: oai:DiVA.org:liu-72606DiVA, id: diva2:460370
Konferens
The 27th International Conference on Digital Avionics Systems, DASC
Tillgänglig från: 2011-12-16 Skapad: 2011-11-30 Senast uppdaterad: 2018-08-14Bibliografiskt granskad

Open Access i DiVA

fulltext(277 kB)869 nedladdningar
Filinformation
Filnamn FULLTEXT02.pdfFilstorlek 277 kBChecksumma SHA-512
b7dfee8219590b790d37c0babae30ad6f804e7eb1a35738eac64de892b2848eb760f058646a92bd882e05c35e0e8665b0d570816a3da22a789c67ba5c72341b8
Typ fulltextMimetyp application/pdf

Övriga länkar

Förlagets fulltext

Person

Nadjm-Tehrani, Simin

Sök vidare i DiVA

Av författaren/redaktören
Nadjm-Tehrani, Simin
Av organisationen
Institutionen för datavetenskapTekniska högskolan
Teknik och teknologier

Sök vidare utanför DiVA

GoogleGoogle Scholar
Totalt: 882 nedladdningar
Antalet nedladdningar är summan av nedladdningar för alla fulltexter. Det kan inkludera t.ex tidigare versioner som nu inte längre är tillgängliga.

doi
isbn
urn-nbn

Altmetricpoäng

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

Direktlänk
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
v. 2.45.0
|
Om tillgänglighet
|
DiVA portal
|
DiVA Logga in
|
Kontakta oss
|
LiU universitetbibliotek
|
SwePub
|
Uppsök