ARINC 653 - PDFSEARCH.IO - Document Search Engine

ARINC 653
Results: 10

#	Item
1	Software Model Checking of ARINC-653 Flight Code with MCP Sarah J. Thompson Guillaume Brat SGT Inc., NASA Ames Research Center CMU, NASA Ames Research Center Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2012-09-04 16:57:56
2	Model-Based Testing for the Second Generation of Integrated Modular Avionics Christof Efkemann, Jan Peleska Department of Computer Science and Mathematics University of Bremen Bremen, Germany Email: {chref, jp}@tzi.de Add to Reading List Source URL: www.informatik.uni-bremen.de Language: English - Date: 2011-09-19 11:43:38 Computing TTCN-3 Model-based testing TTCN ARINC 653 Spring Framework Avionics Full-Duplex Switched Ethernet Test suite Test automation Software testing Evaluation Technology
3	PDF Document Add to Reading List Source URL: www.symtavision.com Language: English - Date: 2012-10-31 05:31:39 Transport Technology Avionics ARINC 653 ARINC Integrated modular avionics Airbus A350 EADS Airbus A380 Aircraft instruments Aviation Standards
4	GARLIC : Generic Ada ReusableLibrary for Interpartition Communication Yvon Kermarrec TBlkom Bretagne DCpartement Informatique Technop8le de 1’Iroise Add to Reading List Source URL: www.rfc1149.net Language: English - Date: 2002-11-05 09:18:41 Computer programming Communications protocol Remote procedure call Common Object Request Broker Architecture Ada ARINC 653 Computing Software engineering Inter-process communication
5	WIND RIVER VXWORKS 653 PLATFORM 2.4 AND 2.5 TABLE OF CONTENTS RTCA DO-178C Certification Evidence. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 VxWorks 653 Platform Benefits. . . Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:14 Technology Embedded systems ARINC 653 Computing Electronics Board support package ARINC Operating system Mercury Instruments Real-time operating systems Embedded operating systems VxWorks
6	VXWORKS[removed]MULTI-CORE EDITION To be competitive in the avionics market, device manufacturers must deliver increasingly complex products at or below budget, within constantly shrinking time frames, and often with str Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:12 Aircraft instruments Embedded operating systems Computing Reference VxWorks ARINC 653 Wind River Systems ARINC POSIX Standards Technology Real-time operating systems
7	WIND RIVER VXWORKS 653 PLATFORM To be competitive in the aerospace and defense avionics market, device manufacturers must deliver increasingly complex products at or below budget, within constantly shrinking time frames, Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:12 Embedded systems Aircraft instruments Computing Standards Real-time operating systems VxWorks ARINC 653 Wind River Systems ARINC Technology Electronics Avionics
8	Microsoft PowerPoint[removed]Workshop Presentation on ARINC[removed]Submitted Add to Reading List Source URL: www.nasa.gov Language: English - Date: 2013-12-30 09:27:32 Science ARINC 653 ARINC Integrated modular avionics Avionics Independent Verification and Validation Facility Verification and validation Validation IMA Aircraft instruments Technology Evaluation
9	ARINC AIM® Enterprise Security Platform COTS hardware and software solutions for monitoring and control of security operations Our security systems are trusted and relied on Add to Reading List Source URL: www.arinc.com Language: English - Date: 2014-07-21 14:37:17 Cartography Open Travel Alliance Technology Evaluation Reference Information Technology Infrastructure Library ARINC 825 ARINC 653 Standards Aircraft instruments ARINC
10	Microsoft Word - stephenson-nicholson-mcdermid-2006.doc Add to Reading List Source URL: www-users.cs.york.ac.uk Language: English - Date: 2006-06-12 05:35:02 Software ARINC 653 Configuration management ARINC Allied Standards Avionics Architecture Council DO-178B System configuration Integrity ARINC 825 Standards Computing Technology