High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT

View Related Documents

Book Chapter
Improved Availability and Reliability Using Re-configuration Algorithm for Task or Process in a Flight Critical Software
Ananda Challaghatta Muniyappa
Lecture Notes in Computer Science, 2007, Volume 4680, Computer Safety, Reliability, and Security, Pages 532-545
- Download PDF (283.6 KB)
Book Chapter
Introduction
2008, Systems of Commercial Turbofan Engines, Pages 1-21
- Download PDF (1.0 MB)
Book Chapter
Scheduling in Time-Triggered Networks
Sebastian Voss
Lecture Notes in Computer Science, 2007, Volume 4806, On the Move to Meaningful Internet Systems 2007: OTM 2007 Workshops, Pages 1081-1090
- Download PDF (613.1 KB)
Book Chapter
Implementation of an Integrated Test Bed for Avionics System Development
Hyeon-Gab Shin, Myeong-Chul Park, Jung-Soo Jun, Yong-Ho Moon and Seok-Wun Ha
Communications in Computer and Information Science, 1, Volume 257, Software Engineering, Business Continuity, and Education, Pages 416-423
- Download PDF (806.0 KB)
Book Chapter
MDA, Meta-Modelling and Model Transformation: Introducing New Technology into the Defence Industry
Tony Bloomfield
Lecture Notes in Computer Science, 2005, Volume 3748, Model Driven Architecture – Foundations and Applications, Pages 9-18
- Download PDF (342.3 KB)
Book Chapter
Safety, Security and Multicore
Paul Parkinson
2011, Advances in Systems Safety, Part 5, Pages 215-232
- Download PDF (248.5 KB)
Book Chapter
Avionics Systems Integration
R. P. G. Collinson
2011, Introduction to Avionics Systems, Pages 459-487
- Download PDF (1.7 MB)
Book Chapter
Dependability-by-Contract
Brian Dobbing and Samantha Lautieri
2007, The Safety of Systems, Part 1, Pages 35-51
- Download PDF (2.0 MB)
Book Chapter
The Arbitrated Real-Time Protocol (AR-TP): A Ravenscar Compliant Communication Protocol for High-Integrity Distributed Systems
Santiago Urueña, Juan Zamorano, Daniel Berjón, José A. Pulido and Juan A. de la Puente
Lecture Notes in Computer Science, 2006, Volume 4006, Reliable Software Technologies – Ada-Europe 2006, Pages 215-226
- Download PDF (400.7 KB)
Book Chapter
Space Weather Effects on Aircraft Operations
An Introductory Overview
Captain Jones
NATO Science Series, 1, Volume 176, Effects of Space Weather on Technology Infrastructure, Pages 215-234
- Download PDF (518.1 KB)

Abstract

This paper presents recent trends in avionics systems development from bespoke systems through to COTS and emerging Integrated Modular Avionics architectures. The advances in Ada and RTOS technologies are explained and the impact of requirements for RTCA/DO-178B and EUROCAE/ED-12B certification and achievements are presented in the context of the GNAT and VxWorks technologies.

Fulltext Preview

Image of the first page of the fulltext document

Frequently asked questions General info on journals and books Send us your feedback Impressum Contact us

SpringerLink

High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT

View Related Documents

Abstract

Fulltext Preview