ARINC 653


ARINC 653

Display Systems SUPERSET OSA 640P
mission systems. KEY FEATURES AND BENEFITS ? Open Architecture Design - Power PC processing and Graphics/Video Processing - Green Hills Real-Time DO-178B Operating System - ARINC 653
http://www.l-3com.com/products-services/docoutput.aspx?id=1171

[PDF] Quantum3D Press Release - Quantum3D and SYSGO Team to Develop ...
Collaborative Effort Combines Quantum3D IData with SYSGO PikeOS to Provide Industry-Leading Visual Computing Framework for Commercial, DO-178B Level-A and ARINC-653 Safety-Critical
http://www.quantum3d.com/press/PDF/2007/PR-04-02-07-FidelityVCF-Announce.pdf

Safety-Critical Software Development for Integrated Modular Avionics
Priority Inversion, Priority Inheritance, and Priority Ceilings .. 5 ARINC 653 Application Development
http://vxworks.ru/safety-critical-sw-dev_wp-1107.pdf

An overview of the XtratuMnanokernel
ARINC 653'sphases. The figure 2shows the services which are offered in each phase of the standard ARINC 653, depending on the criticality of the system and the desired functionality.
http://www.xtratum.org/doc/papers/xtratum_overview_OSPERT2005.pdf

Vector Software Announces Support for the Wind River VxWorks 653
enables joint Vector and Wind River customers to leverage the broad range of capabilities built into the Workbench development environment for the industry's leading ARINC 653
http://www.vectorcast.com/pdf/pr_vxworks_653.pdf

Compositional Schedulability Analysis for Cyber-Physical Systems
this analysis compositionally, i.e., we should be able to check schedulability of the system by composing interfaces that abstract component-level resource demand. ARINC-653
http://www.cs.virginia.edu/sigbed/archives/2008-01/Easwaran.pdf

Safety-critical SW development for integrated modular avionics
toward IMA presents significant challenges for standards organisations, OEMs, and commercial vendors alike. However, it is clear that standards-based architectures, such as ARINC 653
http://www.embedded-control-europe.com/c_ece_knowhow/850/basnov06p34.pdf

Isolating Safety
Bar-nett, Green Hills director of product marketing. The main standard is Arinc-653, which definesstrong partitions between multiple programs running on a single processor.
http://www.ghs.com/download/articles/GHS_isolation_safety.pdf

MOSArt brochure Feb08
Modular open system architecture Barco's MOSArt system is based on an ARINC 653 compliant kernel which allows integration of several applications into the same unit.
http://www.barco.com/barcoview/downloads/MOSArt.pdf

Product summary:
FM FIRST MATRIX Product summary: SCORE/VxWorks Integration The Integrated Workbench Solution for VxWorks Features ? General Purpose or ARINC 653 Platform ? Pragma Profile ARINC
http://www.ftmx.com/scorevxw.pdf

Isolating Safety
The main standard is Arinc-653, which defines strong partitions between multiple programs running on a single processor. And INTEGRITY-178Bworks with modern PowerPC and MIPS
http://www.reprintbuyer.com/mags/aviationweek/1-10968011-eprint.pdf

SYSGO AG PikeOS
It supports multiple additional operating systems (OSs) and runtime environments (RTEs), such as Linux, ARINC 653, and POSIX, together with their associated applications.
http://www.mil-embedded.com/products/pdfs/33227.pdf

George Romanski
AdaUK-2006 12 ? ? ? © Multiple Schedules (ARINC 653 Supplement 2) ? Multiple Partition schedules may be supported ? Each schedule selects: partitions, durations, offsets
http://www.adacore.com/multimedia/aa_videos/lectures/adauk_conf_slides_03_george_romanski.pdf

CsLEOS\(tm\) RTOS Overview
2003 BAE SYSTEMS Conditions Leading to the CsLEOS? RTOS Solution ? The baseline version was derived from OSA IRAD ? ARINC-653 on COTS hardware ? Audited to RTCA/DO-178B Level A
http://platformsolutions.na.baesystems.com:8080/CsLeos/Presentations/CsLEOS-2ndGeneration.pdf

Time- and space-partitioned RTOS with open-standards APIs
The LynxOS ®-SE RTOS is the fi rst and only time- and space-partitioned, hard real-time operating system with the abili ty to run POSIX ®, ARINC 653 and Linux ® applications
http://www.lynuxworks.com/rtos/lynxos-se-rtos.pdf

Product Fact Sheet
EN 50128 DO-178B security Ada ARINC-653 C/C++ partitioning safety critical Product Fact Sheet ? Java Making Ideas a Reality SmartKernel TM SmartKernel?: Safety and Security in
http://www.aonix.com/pdf/smartkernel_factsheet.pdf

Product Fact Sheet
EN 50128 DO-178B security Ada ARINC-653 C/C++ partitioning safety critical Product Fact Sheet ? Java Making Ideas a Reality SmartKernel TM Ada95 / Embedded SmartKernel? Ada95
http://www.aonix.com/pdf/smartkernel_ada95_factsheet.pdf

Wind River Answers 50 Questions to Ask Your ARINC 653 Vendor
Wind River Answers 50 Questions to Ask Your ARINC 653 Vendor Corporate Q1. How financially stable is your company? Are your books publicly available? A1.
http://vxworks.ru/50QA+12reasons_ENG.pdf

Model Extraction for ARINC 653 based Avionics Software?
Model Extraction for ARINC 653 based Avionics Softwar e? Pedro de la C´amara, Mar´?adel Mar Gallardo, and Pedro Merino 1 University of M´alaga Campus de Teatinoss/n, 29071, M
http://spinroot.com/spin/Workshops/ws07/Camara.pdf

VxWorks 653 Product Overview
2007 Wind River Systems, Inc. 14 The ARINC 653 Configuration Challenge ?? How can I ?-? Change one independent application-? Configure an application's resources-?
http://windriver.emarketing.com.cn/en/privateDownload/AD(PDF)/3-VxWorks_653_Overview_Final.pdf

VxWorks 653 Platform for Application Developers
be able to do the following: ?*Take*a*requirement*specification*to*a*working*application ?*Use*Wind*River*Workbench*to*accelerate*the*development* and*configuration*of*ARINC*653
https://education.windriver.com/content/public/datasheet/AE653/CourseDesc_VE653_2_2.pdf

12 Reasons to Deploy the Wind River VxWorks 653 Solution
12 Reasons to Deploy the Wind River VxWorks 653 Solution 1. We are commercial grade. We have the most powerful implementation of ARINC 653 available, including the operati ng
http://www.windriver.com/products/platforms/safety_critical/12_Reasons_VE653.pdf

An Avionics Standard for Safe, Partitioned Systems
IMA -"Reality" ? These will co-exist for some time - Some functions still preferred on single LRU -Flight Controls for instance ? ARINC 653 Standard evolving to include "federated
http://www.computersociety.it/wp-content/uploads/2008/08/ieee-cc-arinc653_final.pdf

Wind River Customer Education Services
Platform for Safety Critical ARINC 653 for Application Developers in C or Ada Wind River Customer Education Services COURSE DESCRIPTION Wind River Customer Education Services
https://education.windriver.com/content/public/datasheet/AE653/training_overview_psc_arinc653-app_q2fy06.pdf

Wind River Answers 50 Questions to Ask Your ARINC 653 Vendor
Wind River Answers 50 Questions to Ask Your ARINC 653 Vendor Corporate Q1. How financially stable is your company? Are your books publicly available? A1.
http://www.windriver.com/products/platforms/safety_critical/50QA-for-ARINC653.pdf

AADL to ARINC 653
Honeywell Technology Center AADL to ARINC 653 * Honeywell Confidential and Proprietary AADL to ARINC 653 AADL to ARINC 653 Generating configuration details from a model
http://la.sei.cmu.edu/aadlinfosite/LinkedDocuments/AADL%20to%20ARINC%20653.pdf

The evolving ARINC 653 standard and it's application to IMA
3 ©2007 Wind River Systems, Inc. Why Integrated Modular Avionics? ? Allows for consolidation and portability of applications-Lower program lifecycle costs ? Improved software
http://www.artist-embedded.org/docs/Events/2007/IMA/Slides/ARTIST2_IMA_WindRiver_Wilson.pdf

The application of DO-297 to a COTS based ARINC 653 Environment Wind ...
The application of DO-297 to a COTS based ARINC 653 Environment Wind River ARTIST2 meeting on Integrated Modular Avionics, November 12-13, 2007, Rome, historical center ABSTRACT DO
http://www.artist-embedded.org/docs/Events/2007/IMA/Slides/ARTIST2_IMA_WindRiver_Wilson_abstract.pdf

Space &Time Partitioning with ARINC 653 and pragma Profile
1 Space &Time Partitioning with ARINC 653 and pragma Profile Joyce L Tokar, PhD Pyrrhus Software PO Box 1352 Phoenix, AZ 85001-1352 USA tokar@pyrrhusoft.com Abstract The
http://www.sigada.org/ada_letters/dec2003/11_Tokar_final.pdf