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

DO-178B
Results: 147

#	Item
81	an AdaCore Publication Fall 2008 www.adacore.com newsflash Ada Expert Stephen Baird on Board Add to Reading List Source URL: www.adacore.com Language: English - Date: 2011-12-16 12:50:31 AdaCore GNAT SPARK Ada A Sharp Robert Dewar Computer programming DO-178B Free software Computing Software Ada programming language
82	newsflash GNAT Pro 7.3 Add to Reading List Source URL: www.adacore.com Language: English - Date: 2015-02-02 18:01:05 Computer programming AdaCore SPARK GNAT Programming Studio Ada GNAT A Sharp DO-178B DO-178C Computing Ada programming language Software engineering
83	m e m b e r parasoft white paper Topic:Satisfying SIL Requirements with Parasoft C++test Increase Functional Safety of E/E/PE safety-related systems Add to Reading List Source URL: www.parasoft.com Language: English - Date: 2014-12-01 04:04:06 Safety Software review Software development process Source code Parasoft IEC 61508 Code coverage DO-178B Reliability engineering Software development Software testing Software
84	Case Study Realities and practicalities of developing software under ISO[removed]for safety-related systems About Protean Electric Add to Reading List Source URL: www.programmingresearch.com Language: English - Date: 2015-01-06 05:52:57 Computer programming Risk C programming language MISRA C Motor Industry Software Reliability Association Protean Electric Coding conventions DO-178B Safety Integrity Level Computing Safety Software engineering
85	aiT Worst-Case Execution Time Analyzer Timing Validation for Real-Time Systems aiT WCET Analyzer computes tight bounds for the worst-case execution time of tasks in safety-critical systems. These bounds are safe, i.e. th Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-11-14 06:34:31 Technology Real-time computing Worst-case execution time Central processing unit CPU cache DO-178B Debugging Cache Pipeline Computing Embedded systems Electronics
86	Oscar Slotosch, Validas AG Enabling Development of Qualifiable Eclipse-based Tools: Vision and Concept Validas AG, 2012 Add to Reading List Source URL: wiki.eclipse.org Language: English - Date: 2012-05-23 11:03:37 Quality Validation Validity Verification Quality assurance Technology Electronics Science DO-178B Systems engineering Pharmaceutical industry Software requirements
87	Vector Software Selects Vance Hilderman to Head Global Services Group Software certification domain expertise offers great value to customers. Providence, RI (PRWEB) January 27, [removed]Vector Software, the world’s lea Add to Reading List Source URL: www.prweb.com Language: English - Date: 2014-01-27 06:53:47 Critical Software Application software Embedded system Computing Electronics Technology Avionics Vector DO-178B
88	Noname manuscript No. (will be inserted by the editor) Deriving Fault-Detection Mechanisms from Safety Requirements Dominik Sojer · Christian Buckl · Alois Knoll Add to Reading List Source URL: www6.in.tum.de Language: English - Date: 2013-05-15 08:23:50 Security Systems engineering Software requirements Design for X Fault injection Safety engineering DO-178B Requirement Fault-tolerant design Reliability engineering Safety Software development
89	Программное обеспечение IBM Rational Аэрокосмическая и оборонная промышленность Соответствие стандарту DO-178B: Add to Reading List Source URL: public.dhe.ibm.com Language: Russian - Date: 2011-07-05 08:33:22
90	Exhibit [ ] Quality Level Agreement Add to Reading List Source URL: www.mccabe.com Language: English - Date: 2010-07-21 10:15:07 Software development Program analysis Cyclomatic complexity Code coverage Reliability engineering Test plan DO-178B Software metrics Software engineering Software testing

UPDATE