Avionics software - PDFSEARCH.IO - Document Search Engine

Avionics software
Results: 266

#	Item
1	Qualification of a Model Checker for Avionics Software Verification Lucas Wagner1 , Alain Mebsout2 , Cesare Tinelli2 , Darren Cofer1 , and Konrad Slind1 1 Add to Reading List Source URL: mebsout.github.io Language: English - Date: 2017-07-21 11:03:15 Software engineering Computing Avionics Engineering Systems engineering Software requirements Embedded systems Safety engineering DO-178C Formal methods Alt-Ergo Model checking
2	aicas technology brief New Standards for Software in Aviation Realtime Java Technology in Avionics Systems Add to Reading List Source URL: d3s.mff.cuni.cz Language: English - Date: 2010-08-21 17:29:07 Computing Software engineering Object-oriented programming Data types Type theory Cross-platform software Java virtual machine Aicas Software development process Polymorphism Subtyping Java
3	Dr. Keith Sevcik Experience Lockheed Martin Space Systems Company Add to Reading List Source URL: carbidelabs.com Language: English - Date: 2013-08-01 21:16:44 Software Mathematical software Application software Cross-platform software Numerical software Avionics Robotics Unmanned aerial vehicle Wireless LabVIEW Piasecki Aircraft Robot competition
4	French-German Research Institute of Saint-Louis The French-German Research Institute of Saint-Louis (ISL), located in the region of the border triangle of France, Germany and Switzerland, is an internationally recognize Add to Reading List Source URL: www.isl.eu Language: English - Date: 2016-07-06 03:37:46 Software Application software Avionics Cross-platform software Numerical software Navigation Aircraft instruments Simulink Magnetometer Satellite navigation MATLAB Institute of Navigation
5	CNS PAR SATELLITE Communication, Navigation & Surveillance par Satellite réf. GNSS-FUTURE Code OACI 179 ENAC - SINA Add to Reading List Source URL: www.formationcontinue-enac.fr Language: English - Date: 2016-07-29 10:24:29 Satellite navigation systems Navigation Global Positioning System Geography Knowledge Technology Avionics Geodesy Satellite navigation GPS signals Galileo GNSS software-defined receiver
6	FsXPand 6.1 Getting started with the FMS/CDU Introduction This FMS implementation is an approximation of the real 737NG software. As is the case with other suites on the market. The original has been simplified to some e Add to Reading List Source URL: www.cockpitsolutions.com Language: English - Date: 2011-11-08 06:32:48 Film Aircraft instruments Avionics Technology Flight management system Computing Cockpit Burroughs MCP Autopilot VNAV Waypoint Tron
7	Generating Qualifiable Avionics Software: An Experience Report Andreas W¨olfl* , Norbert Siegmund* , Sven Apel* , Harald Kosch* , Johann Krautlager† , Guillermo Weber-Urbina† * University of Passau, Germany Add to Reading List Source URL: www.infosun.fim.uni-passau.de Language: English - Date: 2015-08-17 07:28:19 Software engineering Computing Engineering Software development process Software quality Systems engineering NHIndustries NH90 Software development Software testing Software Component-based software engineering Avionics software
8	Architecture Framework for Software Safety Havva Gulay GURBUZ Nagehan PALA ER Bedir TEKINERDOGAN Add to Reading List Source URL: sdl-forum.org Language: English - Date: 2014-10-14 21:18:26 Aircraft instruments Technology Altimeter Avionics Global Positioning System Aviation accidents and incidents Aeronautics Engineering
9	Microsoft Word - AN0028_1.4.39_GL_BD_ephemeris.docx Add to Reading List Source URL: navspark.mybigcommerce.com Language: English - Date: 2016-03-28 21:46:11 Satellite navigation systems Global Positioning System Wireless Geography Technology Navigation Avionics Satellite navigation Real Time Kinematic GLONASS Quasi-Zenith Satellite System GNSS software-defined receiver
10	FOR IMMEDIATE RELEASE Contact: Carole Mackay FltPlan.com Add to Reading List Source URL: flttrack.fltplan.com Language: English - Date: 2016-03-25 11:27:07 Avionics Aircraft instruments Avidyne Corporation Technology Software Computer architecture Glass cockpit Automatic dependent surveillance broadcast Fltplan.com Android Draft:Foreflight Avidyne Entegra