Search results for "DO178B"

Found 6 publication records. Showing 6 according to the selection in the facets

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Neil C. Audsley, I. J. Bate, Alan Burns 0001	Putting fixed priority scheduling theory into engineering practice for safety critical applications.	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	aircraft computers, engineering practice, industrial safety-critical hard real-time systems, class A systems, civil aircraft software standard DO178B, evidence gathering, technical benefits, evidence presentation, scheduling, real-time systems, timing, certification, safety-critical software, fixed-priority scheduling, aerospace computing, certification authorities, software standards, timing requirements
33	Peter Amey, Roderick Chapman	Industrial strength exception freedom.	SIGAda	2002	DBLP DOI BibTeX RDF	DO178B, exception freedom, run-time errors, security, Ada, safety, common criteria, SPARK, high-integrity systems
25	Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux	Use of formal methods for building qualified code generator for safer automotive systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	software engineering, formal verification, certification, automatic code generator, automotive systems
25	Nassima Izerrouken, Marc Pantel, Xavier Thirioux	Machine-Checked Sequencer for Critical Embedded Code Generator.	ICFEM	2009	DBLP DOI BibTeX RDF	block sequencing, software engineering, formal verification, automatic code generator, Coq proof assistant
25	David Hairion, S. Emeriau, E. Combot, Michel Sarlotte	New safety critical radio altimeter for airbus and related design flow.	DATE	2007	DBLP DOI BibTeX RDF
25	Uma Maheswar Rao, Suneel Sinha, Naveen Shenoy	Tutorial IND1B: Realtime Operating Systems for Embedded Systems Development.	VLSI Design	2007	DBLP DOI BibTeX RDF

Displaying result #1 - #6 of 6 (100 per page; Change: )