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

DO-178B
Results: 147

#	Item
61	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
62	StackAnalyzer Proving the Absence of Stack Overflows 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 Functional Safety Astrée DO-178C IEC 61508 Software development Safety Software requirements
63	Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:08 Software engineering Code coverage DO-178B Modified condition/decision coverage LDRA Testbed Reliability engineering ISO Test plan Liverpool Data Research Associates Software testing Software development Evaluation
64	Micriµm, Inc. © Copyright 2001, Chip Downing All Rights reserved Software Safety Certification Primer Add to Reading List Source URL: dsp-book.narod.ru Language: English - Date: 2013-05-06 00:56:42 Electronics Security Embedded systems Software requirements Risk DO-178B DO-248B Functional Safety Avionics software Safety Avionics Software development
65	Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:14 Software engineering Code coverage DO-178B Modified condition/decision coverage LDRA Testbed Reliability engineering ISO Test plan Liverpool Data Research Associates Software testing Software development Evaluation
66	Increase Productivity with Automated Unit/ Integration Testing with TBrun ® Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:06 LDRA Testbed Code coverage Unit testing Requirements traceability DO-178B Test harness Test automation Test strategy Linear code sequence and jump Software testing Software development Software
67	Product Overview Software Technology LDRAcover™ Structural coverage analysis for optimal test effectiveness Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:15 Software engineering Code coverage DO-178B Modified condition/decision coverage LDRA Testbed Reliability engineering ISO Test plan Liverpool Data Research Associates Software testing Software development Evaluation
68	Abstract Interpretation Founded in 1998, AbsInt is a privately-held company located in Saarbrücken, Germany. AbsInt provides advanced development tools and tools for validation, verification, and certification of safety Add to Reading List Source URL: www.absint.com Language: English - Date: 2014-05-14 04:39:47 Technology Avionics Safety Software requirements Pharmaceutical industry Astrée DO-178B Worst-case execution time Formal verification Embedded systems Software development Computing
69	Product Overview Software Technology TBreq®/TBmanager® Collaborative, Requirements-Based Development and Verification The key to collaborative development and verification is the co-ordinated sharing of requirements ar Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:06 Software Technology DO-178B Requirements traceability Traceability LDRA Testbed Requirements management Code coverage Requirement Software development Software requirements Software testing
70	Media contacts: Janice Hughes, Hughes Communications, Inc., Media Relations Tel : +[removed], Mobile: +[removed], Email: [removed] Mark James, LDRA, Marketing Manager Tel: +[removed]9300, Em Add to Reading List Source URL: www.ldra.com Language: English - Date: 2015-03-26 09:28:10 Embedded systems Software requirements Technology Electronics Software engineering DO-178B DO-178C Liverpool Data Research Associates DO-254 Software development Safety Avionics