Browse wiki
From Navigators
Publication:Rufino18B |
Abstract | Unmanned autonomous systems (UAS) avionics … Unmanned autonomous systems (UAS) avionics call for advanced computing system architectures fulfilling strict size, weight and power consumption (SWaP) requisites. The AIR (ARINC 653 in Space Real-Time Operating System) defines a partitioned environment for the development and execution of aerospace applications, preserving application timing and safety requisites. This paper intensively explores the potential of non-intrusive runtime verification (NIRV) mechanisms, currently being included in AIR, to the overall improvement of system safety. the overall improvement of system safety. |
---|---|
Author | José Rufino + |
Document | Document for Publication-Rufino18B.pdf + |
Journal | Ada User Journal + |
Key | Rufino18B + |
Month | dec + |
NumPubDate | 2,018.12 + |
Pages | 300–304 + |
Project | Project:NORTH + , Project:COST Action IC1402 + |
ResearchLine | Timeliness and Adaptation in Dependable Systems (TADS) + |
Title | Non-intrusive Observation and Runtime Verification of Avionic Systems + |
Type | article + |
Volume | 39 + |
Year | 2018 + |
Has improper value forThis property is a special property in this wiki. | Url + |
Categories | Publication + |
Modification dateThis property is a special property in this wiki. | 1 May 2019 12:19:53 + |
NumberThis property is a special property in this wiki. | 4 + |
hide properties that link here |
No properties link to this page. |