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

DO-178B
Results: 147

#	Item
111	Management Overview › Cantata proves C/C++ code with unit and integration testing, in the most cost effective manner › Cantata provides a complete test development environment, built on Add to Reading List Source URL: www.qa-systems.com Language: English - Date: 2014-02-24 06:52:03 DO-178B Test automation Unit testing Code coverage Test script Regression testing Test harness Integration testing Tessy Software testing Software development Software
112	CG2E GT2 sg2 paper, safety levels, ERTS2 2012 Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:51:12 Technology Software Safety Avionics Software requirements Formal verification Verification Software verification DO-178B Software development Formal methods Software testing
113	Model-based Development and Verification for a Safety-Critical Application: from DO-178B/ED-12B to DO-178C/ED-12Ccompliance. 1 2 Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:50:06 Computing Electronics Embedded systems Safety Software engineering DO-178C DO-178B ARP4754 Software development process Software development Avionics Software requirements
114	Tools Capability Avionics Software and Hardware Engineering Services ¢ DSP-OS Add to Reading List Source URL: www.accord-soft.com Language: English - Date: 2010-09-28 09:47:48 Technology Embedded systems Software requirements Safety Software quality DO-178B DO-254 Integrity Software development process Avionics Software development Electronics
115	FOCUS: Safety-Critical Software Testing or Formal Verification: DO-178C Alternatives and Industrial Experience Add to Reading List Source URL: www.open-do.org Language: English - Date: 2013-04-30 11:48:46 Formal methods Software requirements Software testing Avionics Embedded systems DO-178B DO-178C Verification Formal verification Software development Computing Software
116	Tool Qualification in Multiple Domains: Status and Perspectives Author(s): Jean-Louis CAMUS (Esterel Technologies), Michael P DEWALT, (Federal Aviation Administration) Frédéric POTHON (ACG Solutions), Gérard LADIER, ( Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:50:05 Embedded systems Software requirements Evaluation Computing Systems engineering DO-178B DO-178C IEC 61508 Verification Safety Software development Avionics
117	Circular 8&j&: RTCA, Inc., Document RTCA/DO-I 78B DSCC: l/l l/93 Inilialed by: AIR- 100 Add to Reading List Source URL: rgl.faa.gov Language: English - Date: 2013-08-05 16:41:43 Embedded systems Software requirements Computing Technology DO-178B Radio Technical Commission for Aeronautics ARP4754 DO-248B Avionics Safety Electronics
118	Use of formal methods in embedded software development: stakes, constraints and proposal Anthony Fernandes Pires∗† , Thomas Polacsek† , Virginie Wiels† and St´ephane Duprat∗ ∗ Atos Int´egration SAS, 6 impa Add to Reading List Source URL: www.erts2014.org Language: English - Date: 2014-01-10 03:51:09 Computing Systems engineering Software testing ANSI/ISO C Specification Language C programming language Software quality Frama-C Formal verification DO-178B Software development Formal methods Software
119	AF-4, Flt 59, LtCol Peter "Shay" Vitt, KC-10 AAR Eval, Edwards AFB, Ca., 29 September 2011 Add to Reading List Source URL: www.ldra.com Language: English - Date: 2014-05-29 05:07:58 Electronics Safety Software requirements Computing DO-178B DO-178C DO-254 Software testing Software development process Avionics Embedded systems Software development
120	Training Courses From LDRA Certification Experts Software Technology Venue: LDRA Headquarters, Wirral, UK Add to Reading List Source URL: www.ldra.com Language: English - Date: 2014-05-29 05:07:58 Software Software requirements Avionics Safety Embedded systems Code coverage DO-178B Unit testing Software development process Software development Software testing Computing