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
Demonstration of a Formal Method for Incremental Qualification of IMA Systems
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology. (Real-time Systems Laboratory)
Linköping University, Department of Computer and Information Science. Linköping University, The Institute of Technology. (Real-time Systems Laboratory)
Saab Avitronics, Jönköping.
Saab Avitronics, Jönköping.
2008 (English)Conference paper, Published paper (Refereed)
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.

Place, publisher, year, edition, pages
IEEE conference proceedings, 2008.
National Category
Engineering and Technology
Identifiers
URN: urn:nbn:se:liu:diva-72606DOI: 10.1109/DASC.2008.4702860ISBN: 978-1-4244-2207-4 (print)OAI: oai:DiVA.org:liu-72606DiVA: diva2:460370
Conference
The 27th International Conference on Digital Avionics Systems, DASC
Available from: 2011-12-16 Created: 2011-11-30 Last updated: 2011-12-16Bibliographically approved

Open Access in DiVA

fulltext(277 kB)419 downloads
File information
File name FULLTEXT02.pdfFile size 277 kBChecksum SHA-512
b7dfee8219590b790d37c0babae30ad6f804e7eb1a35738eac64de892b2848eb760f058646a92bd882e05c35e0e8665b0d570816a3da22a789c67ba5c72341b8
Type fulltextMimetype application/pdf

Other links

Publisher's full text

Search in DiVA

By author/editor
Nadjm-Tehrani, Simin
By organisation
Department of Computer and Information ScienceThe Institute of Technology
Engineering and Technology

Search outside of DiVA

GoogleGoogle Scholar
Total: 419 downloads
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 105 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