Automating the Assembly of Aviation Safety Cases
Publisher:
Year
: 2014DOI: 10.1109/TR.2014.2335995
Keyword(s): aerospace computing,air safety,autonomous aerial vehicles,formal verification,program assemblers,safety-critical software,Swift unmanned aircraft system,UAS,aircraft-level argument,auto-generated lower-level argument,aviation safety assembly automation,end-to-end fragment,formal method,formal verification method,interim safety case,safety management mechanisms,safety-relevant information heterogeneity,single argument structure,software autopilot,software safety,system safety
Collections
:
-
Statistics
Automating the Assembly of Aviation Safety Cases
Show full item record
| contributor author | Denney, Ewen | |
| contributor author | Pai, Ganesh | |
| date accessioned | 2020-03-13T00:15:45Z | |
| date available | 2020-03-13T00:15:45Z | |
| date issued | 2014 | |
| identifier issn | 0018-9529 | |
| identifier other | 6866924.pdf | |
| identifier uri | https://libsearch.um.ac.ir:443/fum/handle/fum/1140244 | |
| format | general | |
| language | English | |
| publisher | IEEE | |
| title | Automating the Assembly of Aviation Safety Cases | |
| type | Journal Paper | |
| contenttype | Metadata Only | |
| identifier padid | 8322572 | |
| subject keywords | aerospace computing | |
| subject keywords | air safety | |
| subject keywords | autonomous aerial vehicles | |
| subject keywords | formal verification | |
| subject keywords | program assemblers | |
| subject keywords | safety-critical software | |
| subject keywords | Swift unmanned aircraft system | |
| subject keywords | UAS | |
| subject keywords | aircraft-level argument | |
| subject keywords | auto-generated lower-level argument | |
| subject keywords | aviation safety assembly automation | |
| subject keywords | end-to-end fragment | |
| subject keywords | formal method | |
| subject keywords | formal verification method | |
| subject keywords | interim safety case | |
| subject keywords | safety management mechanisms | |
| subject keywords | safety-relevant information heterogeneity | |
| subject keywords | single argument structure | |
| subject keywords | software autopilot | |
| subject keywords | software safety | |
| subject keywords | system safety | |
| identifier doi | 10.1109/TR.2014.2335995 | |
| journal title | Reliability, IEEE Transactions on | |
| journal volume | 63 | |
| journal issue | 4 | |
| filesize | 2199103 | |
| citations | 0 |