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 + |
| show properties that link here |
