'Tool qualification' diaporamas de présentation

Leuven Feb 23, 2010 Robert B K Dewar President AdaCore

781 views • 67 slides

DO178C Overview

1.71k views • 36 slides

Software and Digital Systems Safety (SDSS) Research Program

Software and Digital Systems Safety (SDSS) Research Program. Barbara Lingberg FAA/AIR-120 SDSS Program Sponsor May 6, 2003. Acronym List. AVSI Aerospace Vehicle Systems Institute COTS Commercial-off-the-shelf CSTA Chief Scientific and Technical Advisor FAA Federal Aviation Administration

741 views • 33 slides

Software Tool Qualification

Software Tool Qualification. Varun Khanna FAA Seattle ACO ANM-130S Varun.Khanna@faa.gov. Relevant References.

584 views • 31 slides

DO-178C the future of Avionics Certification

894 views • 27 slides

Tactic-Based Testing

Peter Braun, Benjamin Flach, Reinhard Jeschull, Jan Philipps. Tactic-Based Testing. MBTUC 2011 | Berlin, 18-20 October 2011. Model-Based Testing. Behavior model. Model determines search paths. Model provides reference values. Search criteria. Test case generator.

373 views • 17 slides

Process Modeling Tool (PMT) Very Short Overview

Oscar Slotosch, Validas AG. Process Modeling Tool (PMT) Very Short Overview. Validas AG About Us. We are a technology consultancy for quality assurance of embedded systems Our core competences are model- based development, model-based testing, test automation, tool qualification

220 views • 16 slides