Search results for "RTCA/DO-178B"

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

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
205	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.	MoDELS	2007	DBLP DOI BibTeX RDF	Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
107	Minhyung Kim, Sangkyun Kim, Myungwhan Choi	Practical Design Recovery Techniques for Embedded Operating System on Complying with RTCA/DO-178B and ISO/IEC15408.	KES (3)	2005	DBLP DOI BibTeX RDF
107	Burke Maxey	COTS Integration in Safety Critical Systems Using RTCA/DO-178B Guidelines.	ICCBSS	2003	DBLP DOI BibTeX RDF
107	Günther Zoffmann, Manfred Gingerl, Christian Reumann, Gerald Sonneck	A Classification Scheme for Software Verification Tools with Regard to RTCA/DO-178B.	SAFECOMP	2001	DBLP DOI BibTeX RDF
98	Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano	Airborne Software Concerns in Civil Aviation Certification.	LADC	2005	DBLP DOI BibTeX RDF
77	Jacob Frost	An Ada95 Solution for Certification of Embedded Safety Critical Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
68	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile.	Softw. Syst. Model.	2011	DBLP DOI BibTeX RDF
60	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
59	William G. Tuohey	Benefits and Effective Application of Software Engineering Standards.	Softw. Qual. J.	2002	DBLP DOI BibTeX RDF	software engineering standards, RTCA/DO-178B, comparison of standards, process improvement, quality management system
56	Zeina Awedikian, Kamel Ayari, Giuliano Antoniol	MC/DC automatic test input data generation.	GECCO	2009	DBLP DOI BibTeX RDF	test input data generation, search based testing, mc/dc
39	Andrew Wils, Stefan Van Baelen, Tom Holvoet, Karel De Vlaminck	Agility in the Avionics Software World.	XP	2006	DBLP DOI BibTeX RDF
39	Peter Amey, Roderick Chapman, Neil White	Smart Certification of Mixed Criticality Systems.	Ada-Europe	2005	DBLP DOI BibTeX RDF
39	Andrew J. Kornecki, Janusz Zalewski	Design Tool Assessment for Safety-Critical Software Development.	SEW	2003	DBLP DOI BibTeX RDF
39	V. Santhanam	The anatomy of an FAA-qualifiable Ada subset compiler.	SIGAda	2002	DBLP DOI BibTeX RDF	FAA, Ada, compiler, software certification, DO-178B
39	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	2002	DBLP DOI BibTeX RDF