liu.seSearch for publications in DiVA
Endre søk
RefereraExporteraLink to record
Permanent link

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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
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 (engelsk)Konferansepaper, Publicerat paper (Fagfellevurdert)
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.

sted, utgiver, år, opplag, sider
IEEE conference proceedings, 2008.
HSV kategori
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
Konferanse
The 27th International Conference on Digital Avionics Systems, DASC
Tilgjengelig fra: 2011-12-16 Laget: 2011-11-30 Sist oppdatert: 2018-08-14bibliografisk kontrollert

Open Access i DiVA

fulltext(277 kB)542 nedlastinger
Filinformasjon
Fil FULLTEXT02.pdfFilstørrelse 277 kBChecksum SHA-512
b7dfee8219590b790d37c0babae30ad6f804e7eb1a35738eac64de892b2848eb760f058646a92bd882e05c35e0e8665b0d570816a3da22a789c67ba5c72341b8
Type fulltextMimetype application/pdf

Andre lenker

Forlagets fulltekst

Personposter BETA

Nadjm-Tehrani, Simin

Søk i DiVA

Av forfatter/redaktør
Nadjm-Tehrani, Simin
Av organisasjonen

Søk utenfor DiVA

GoogleGoogle Scholar
Totalt: 542 nedlastinger
Antall nedlastinger er summen av alle nedlastinger av alle fulltekster. Det kan for eksempel være tidligere versjoner som er ikke lenger tilgjengelige

doi
isbn
urn-nbn

Altmetric

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

Direct link
Referera
Referensformat
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • oxford
  • 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