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 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](https://www.pdfsearch.io/img/7fded56506cf764b51f4b40489cc41d9.jpg) | Add to Reading ListSource URL: ti.arc.nasa.govLanguage: 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 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](https://www.pdfsearch.io/img/8c76083d0627412af3d4f8999e0c8e6e.jpg) | Add to Reading ListSource URL: www.informatik.uni-bremen.deLanguage: English - Date: 2011-09-19 11:43:38
|
---|
3![](https://www.pdfsearch.io/img/c2a176c5dfc010180c003934541556eb.jpg) | Add to Reading ListSource URL: www.symtavision.comLanguage: English - Date: 2012-10-31 05:31:39
|
---|
4![GARLIC : Generic Ada ReusableLibrary for Interpartition Communication Yvon Kermarrec TBlkom Bretagne DCpartement Informatique Technop8le de 1’Iroise GARLIC : Generic Ada ReusableLibrary for Interpartition Communication Yvon Kermarrec TBlkom Bretagne DCpartement Informatique Technop8le de 1’Iroise](https://www.pdfsearch.io/img/b50c7bc6ba49f542645a819a56a086ba.jpg) | Add to Reading ListSource URL: www.rfc1149.netLanguage: English - Date: 2002-11-05 09:18:41
|
---|
5![WIND RIVER VXWORKS 653 PLATFORM 2.4 AND 2.5 TABLE OF CONTENTS RTCA DO-178C Certification Evidence. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 VxWorks 653 Platform Benefits. . . WIND RIVER VXWORKS 653 PLATFORM 2.4 AND 2.5 TABLE OF CONTENTS RTCA DO-178C Certification Evidence. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2 VxWorks 653 Platform Benefits. . .](https://www.pdfsearch.io/img/e748767f4e12602794dd275484a2e05a.jpg) | Add to Reading ListSource URL: www.windriver.comLanguage: English - Date: 2015-02-27 13:09:14
|
---|
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 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](https://www.pdfsearch.io/img/a56f96b70bebd56864878534c8aa39c7.jpg) | Add to Reading ListSource URL: www.windriver.comLanguage: English - Date: 2015-02-27 13:09:12
|
---|
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, 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,](https://www.pdfsearch.io/img/2c6221f64547861d41d0df5cb3198e61.jpg) | Add to Reading ListSource URL: www.windriver.comLanguage: English - Date: 2015-02-27 13:09:12
|
---|
8![Microsoft PowerPoint[removed]Workshop Presentation on ARINC[removed]Submitted Microsoft PowerPoint[removed]Workshop Presentation on ARINC[removed]Submitted](https://www.pdfsearch.io/img/10ec2c387411b1991498978370fea81f.jpg) | Add to Reading ListSource URL: www.nasa.govLanguage: English - Date: 2013-12-30 09:27:32
|
---|
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 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](https://www.pdfsearch.io/img/3d80e916e1bfbf7001601e923f12027e.jpg) | Add to Reading ListSource URL: www.arinc.comLanguage: English - Date: 2014-07-21 14:37:17
|
---|
10![Microsoft Word - stephenson-nicholson-mcdermid-2006.doc Microsoft Word - stephenson-nicholson-mcdermid-2006.doc](https://www.pdfsearch.io/img/a9f117fecbc7c8b768351aad945aeb84.jpg) | Add to Reading ListSource URL: www-users.cs.york.ac.ukLanguage: English - Date: 2006-06-12 05:35:02
|
---|