DO-178C - PDFSEARCH.IO - Document Search Engine

DO-178C
Results: 51

#	Item
1	RTI Connext® DDS Cert Safety-Certifiable Connectivity Platform Connext® DDS Cert is a safety-certifiable communications infrastructure with an available DO-178C Level A Certification Package. Based on the DDS standard, Add to Reading List Source URL: www.rti.com Language: English - Date: 2016-01-20 16:30:42
2	PDF Document Add to Reading List Source URL: www.isystem.com Language: English - Date: 2016-02-17 06:45:36 Computing Software engineering Embedded systems Avionics Software testing Safety engineering Software requirements DO-178B Code coverage Programming tool DO-178C Profiling
3	NOTES ON AGILE AND SAFETY-CRITICAL DEVELOPMENT Jaana Nyfjord jaananyfjord Add to Reading List Source URL: safety.addalot.se Language: English - Date: 2015-04-14 01:42:25 Swedish Institute of Computer Science Software development process Lean DO-178C Software development Computing Science
4	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST Add to Reading List Source URL: frama-c.com Language: English - Date: 2013-09-24 04:53:57 Software Software requirements Embedded systems Safety DO-178C DO-178B Frama-C Formal verification Verification Software development Avionics Computing
5	Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Software Avionics Embedded systems Software testing DO-178B Astrée Functional Safety DO-178C Software development process Software development Safety Software requirements
6	WHITEPAPER Saving Millions of Dollars in the Development and Certification of Safety-Critical Applications Executive Summary Add to Reading List Source URL: www.rti.com Language: English - Date: 2015-04-10 15:34:04 Data distribution service Message-oriented middleware Software Real-Time Innovations Electronics Safety Software requirements Unmanned aerial vehicle DO-178C Systems engineering Computing Middleware
7	CS-25 Amdt 12 Explanatory Note Add to Reading List Source URL: www.easa.europa.eu Language: English - Date: 2015-05-17 01:42:35 Safety European Organisation for Civil Aviation Equipment ARP4754 European Aviation Safety Agency DO-178C Avionics Electronics Technology
8	Press Contacts: Sriya Kodial MathWorks, Inc Add to Reading List Source URL: www.figes.com.tr Language: English - Date: 2012-05-11 01:35:08 Avionics Embedded systems Safety Software requirements Simulink MathWorks MATLAB Model-based design DO-178C Software Computing Simulation software
9	Civil Certification Services Ensuring FAA Compliant Safety-Critical Software and Hardware ENSCO, a recognized leader in providing DO-178C, DO-254, DO-278A and other safety-critical commercial and military solutions, brin Add to Reading List Source URL: www.ensco.com Language: English - Date: 2015-05-04 16:15:20 Safety Computing Technology Software requirements DO-178C DO-254 ENSCO Inc. Professional certification Verification Avionics Embedded systems Electronics
10	DO-178C and DO-254 Training A robust curriculum of DO-178C and DO-254 training for software engineers, hardware engineers, and project managers tasked with developing Transport Add to Reading List Source URL: www.ensco.com Language: English - Date: 2014-09-25 12:00:36 Technology Safety Computing Software requirements DO-178C DO-254 ENSCO Inc. Software engineering Software engineer Avionics Embedded systems Electronics