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

DO-178B
Results: 147

#	Item
51	WIND RIVER VXWORKS CERT PLATFORM WIND RIVER VXWORKS CERT PLATFORM Wind River VxWorks Cert Platform provides a commercial off-the-shelf (COTS) solution for Add to Reading List Source URL: www.windriver.com Language: English - Date: 2015-02-27 13:09:12 Embedded operating systems Real-time operating systems Technology Safety VxWorks Software requirements DO-178B Wind River Systems Board support package Embedded systems Computing Electronics
52	Technical SafeTy aSSeSSmenT Guide Transients and Design Basis Accident Analyses Add to Reading List Source URL: www.etson.eu Language: English - Date: 2014-10-10 03:27:32 Validity Systems science Systems theory Risk analysis Verification Software development process Validation Probabilistic risk assessment DO-178B Systems engineering Science Pharmaceutical industry
53	Qualification of a Software Development Tool According to ISO26262 Tool Qualification for the New Automotive Standard from a Tool Manufacturer’s Perspective Erol Simsek, iSYSTEM Summary Add to Reading List Source URL: www.isystem.com Language: English - Date: 2012-04-30 12:21:52 Quality Technology Avionics Software testing DO-178B Software development process Validation IEC 61508 Tool Software development Software Safety
54	Seapine_Logo_gradient_0610 Add to Reading List Source URL: downloads.seapine.com Language: English - Date: 2015-01-29 15:54:15 Software project management Computing DO-178B Safety Application lifecycle management Traceability MKS Inc. Software development Technology Avionics
55	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
56	® www.t-vec.com We cover all boundaries of your software Traditional Software Testing is Costly Add to Reading List Source URL: www.t-vec.com Language: English - Date: 2004-12-07 14:39:37 Software Test automation Reliability engineering DO-178B Test engineer Requirement Unit testing Test strategy Test management Software testing Software development Technology
57	ITP[removed]Are we there yet? 20 Years of industrial theorem proving with Spark July 15, 2014 Add to Reading List Source URL: www.spark-2014.org Language: English - Date: 2014-10-29 18:17:58 Ada programming language SPARK Formal methods Avionics Mathematical logic DO-178B Automated theorem proving Ada Type safety Computing Software engineering Programming language theory
58	Aerotech Powers Aviation Software Development with Seapine Solutions Aerotech, a UK-based provider of aviation software solutions, designs, develops, and tests software entirely within a regulatory environment. The compa Add to Reading List Source URL: downloads.seapine.com Language: English - Date: 2011-12-15 09:04:50 Software project management Electronics DO-178B Safety Application lifecycle management Traceability Seapine Software MKS Inc. Technology Computing Avionics
59	U.S. Department of Transportation Federal Aviation Administration Subject: Guidance Material for 14 CFR Add to Reading List Source URL: www.faa.gov Language: English - Date: 2011-10-24 15:27:15 Aviation Technology Electronics Ship construction Safety Constant speed propeller Propeller DO-254 DO-178B Propellers Avionics Embedded systems
60	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