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

DO-178C
Results: 51

#	Item
21	Avionics Solutions Engineering Development, Verification and Certification ENSCO Avionics, Inc. provides safety- and mission-critical engineering solutions for advanced avionics systems. Add to Reading List Source URL: www.ensco.com Language: English - Date: 2014-09-25 15:42:30 Safety Technology Computing Systems engineering Software requirements DO-254 DO-178C Life-critical system Verification Avionics Electronics Embedded systems
22	Frédéric Pothon ACG Solutions DO-330/ED-215 Benefits of the New Tool Qualification Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-01-25 10:45:09 Embedded systems Systems engineering Safety Technology Electronics DO-178C DO-178B Validation Verification and validation Software development Software requirements Avionics
23	The Future of Formal Software Verification in Avionics Yannick Moy Formal Methods 2012 Industry Day Background Add to Reading List Source URL: fm2012.cnam.fr Language: English - Date: 2013-06-18 10:17:21 Formal sciences Mathematical logic Model theory Proof theory Logic in computer science Design by contract Mathematical proof Formal methods DO-178C Mathematics Logic Science
24	Technical Data Sheet SCADE Display KCGDO-178B&C Levels A and B Certification Kit and SCADE Display KCGDO-178B&C Add to Reading List Source URL: www.esterel-technologies.com Language: English - Date: 2015-03-18 06:42:02 Software requirements Computing Safety Esterel Technologies Technology Hardware description languages DO-178B Esterel DO-178C Embedded systems Electronics Avionics
25	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
26	Registration Event Location Web: Add to Reading List Source URL: www.validas.de Language: English - Date: 2014-03-10 08:59:58 Manufacturing Tool CoFFEE DO-178C Technischer Überwachungsverein TÜV SÜD Computing Safety Evaluation Technology
27	FOCUS: Safety-Critical Software Testing or Formal Verification: DO-178C Alternatives and Industrial Experience Add to Reading List Source URL: www.adacore.com Language: English - Date: 2013-05-03 05:26:01 Formal methods Software requirements Software testing Avionics Embedded systems DO-178B DO-178C Verification Formal verification Software development Computing Software
28	SAFE SOFTWARE FOR SPACE APPLICATIONS: BUILDING ON THE DO-178 EXPERIENCE Cheryl A. Dorsey Digital Flight / Solutions Add to Reading List Source URL: iaassconference2013.space-safety.org Language: English - Date: 2013-06-23 13:12:48 Electronics Embedded systems Safety Computing Systems engineering DO-178B DO-178C Requirement Verification Software development Avionics Software requirements
29	Product Overview Software Technology Tool Qualification Support Pack® A compliance data package that is used for the qualification of LDRA verification tools Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:19 Technology Software requirements Evaluation Embedded systems Computing DO-178C Verification and validation Verification Validation Systems engineering Pharmaceutical industry Validity
30	aiT Worst-Case Execution Time Analyzer AbsInt GmbH 2012 Add to Reading List Source URL: www.absint.com Language: English - Date: 2012-04-23 04:44:53 Computing Electronics Avionics Software requirements Formal methods DO-178B Worst-case execution time Astrée DO-178C Software development Embedded systems Safety