DOCSLIB.ORG
Explore
Sign Up
Log In
Upload
Search
Home
» Tags
» ARINC 653
ARINC 653
Software Model Checking of ARINC-653 Flight Code with MCP Sarah J
Communications for Integrated Modular Avionics
Avionics Applications on a Time-Predictable Chip-Multiprocessor
WIND RIVER Vxworks 653 PLATFORM 2.4 and 2.5
Towards a Real-Time Component Framework for Software Health Management
ARINC-653 Inter-Partition Communications and the Ravenscar Profile
High-Assurance Separation Kernels: a Survey on Formal Methods
ARINC-653 Inter-Partition Communications and the Ravenscar Profile∗
And Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics
Model-Based Development of ARINC 653 Using UML and Sysml Andreas Korff, Atego – OMG RT Workshop, Paris, 18.04.2012
Studying on ARINC653 Partition Run-Time Scheduling and Simulation
IVV on Orions ARINC 653 Flight Software Architecture100913
Open Source Implementation of Hierarchical Scheduling for Integrated Modular Avionics ∗
And Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics José Rufino, João Craveiro, Paulo Verissimo
A Framework for Model-Based Testing of Integrated Modular Avionics
Modeling and Verification of ARINC 653 Hierarchical Preemptive
Harmonizing ARINC 653 and Realtime POSIX for Conformance to the FACE Technical Standard
Formal Specification of the ARINC 653 Architecture Using Circus
Top View
A PORTABLE ARINC 653 STANDARD INTERFACE Abstract
AIR – ARINC 653 Interface in RTEMS (Proof of Concept)
Design and Architecture of Real-Time Operating System
CCM with ARINC-653
Model Extraction for ARINC 653 Based Avionics Software*
Real Time Operating Systems in Avionics and Military Systems
The Deos RTOS
Real-Time Operating Systems and Software Architecture for Next Generation’S UAV
Avionics Brochure
Air Technology: a Step Towards Arinc 653 in Space
Institutionen För Datavetenskap Department of Computer and Information Science
Aligning Deos and RTEMS with the FACE Safety Base Operating System Profile
ARINC-653 APEX Based on Xtratum
COTS) Real-Time Operating System (RTOS) Software in Aviation Systems
Space &Time Partitioning with ARINC 653 and Pragma Profile
OPEN653 - an OS Implementation Based on the ARINC 653 Standard
Refinement-Based Specification and Security Analysis of Separation
A Survey of Time and Space Partitioning for Space Avionics