Software Certification: Methods and Tools Dagstuhl-Seminar[removed]Preliminary Program Monday, [removed]Welcome Session

First Page		Document Content
Date: 2013-01-30 03:30:40 Avionics Embedded systems Safety Formal methods Software requirements DO-178C Dagstuhl Software development process Professional certification Software development Computing Science		Software Certification: Methods and Tools Dagstuhl-Seminar[removed]Preliminary Program Monday, [removed]Welcome Session Add to Reading List Source URL: www.dagstuhl.de Download Document from Source Website File Size: 22,43 KB Share Document on Facebook

	RTI Connext® DDS Cert Safety-Certifiable Connectivity Platform Connext® DDS Cert is a safety-certifiable communications infrastructure with an available DO-178C Level A Certification Package. Based on the DDS standard, DocID: 1l5AM - View Document
	PDF Document DocID: 1kU7U - View Document
	NOTES ON AGILE AND SAFETY-CRITICAL DEVELOPMENT Jaana Nyfjord jaananyfjord DocID: 18uk9 - View Document
	Formal Verification in Aeronautics: Current Practice and Upcoming Standard Yannick Moy, AdaCore ACSL Workshop, Fraunhofer FIRST DocID: 18eWB - View Document
	Astrée Proving the Absence of Runtime Errors AbsInt GmbH 2012 DocID: 17Xqw - View Document