Show simple item record

Automating the Assembly of Aviation Safety Cases

contributor authorDenney, Ewen
contributor authorPai, Ganesh
date accessioned2020-03-13T00:15:45Z
date available2020-03-13T00:15:45Z
date issued2014
identifier issn0018-9529
identifier other6866924.pdf
identifier urihttp://libsearch.um.ac.ir:80/fum/handle/fum/1140244?show=full
formatgeneral
languageEnglish
publisherIEEE
titleAutomating the Assembly of Aviation Safety Cases
typeJournal Paper
contenttypeMetadata Only
identifier padid8322572
subject keywordsaerospace computing
subject keywordsair safety
subject keywordsautonomous aerial vehicles
subject keywordsformal verification
subject keywordsprogram assemblers
subject keywordssafety-critical software
subject keywordsSwift unmanned aircraft system
subject keywordsUAS
subject keywordsaircraft-level argument
subject keywordsauto-generated lower-level argument
subject keywordsaviation safety assembly automation
subject keywordsend-to-end fragment
subject keywordsformal method
subject keywordsformal verification method
subject keywordsinterim safety case
subject keywordssafety management mechanisms
subject keywordssafety-relevant information heterogeneity
subject keywordssingle argument structure
subject keywordssoftware autopilot
subject keywordssoftware safety
subject keywordssystem safety
identifier doi10.1109/TR.2014.2335995
journal titleReliability, IEEE Transactions on
journal volume63
journal issue4
filesize2199103
citations0


Files in this item

FilesSizeFormatView

There are no files associated with this item.

This item appears in the following Collection(s)

Show simple item record