Search results for "DO-178B"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
3	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
2	Bruno Pagano, Olivier Andrieu, Thomas Moniot, Benjamin Canou, Emmanuel Chailloux, Philippe Wang, Pascal Manoury, Jean-Louis Colaço	Experience report: using objective caml to develop safety-critical embedded tools in a certification framework.	ICFP	2009	DBLP DOI BibTeX RDF	SCADE SUITE 6, safety critical, objective caml, DO-178B
2	Praful V. Bhansali	The MCDC paradox.	ACM SIGSOFT Software Engineering Notes	2007	DBLP DOI BibTeX RDF	software verification, software safety, DO-178B
2	Minhyung Kim, Sangkyun Kim, Myungwhan Choi	Practical Design Recovery Techniques for Embedded Operating System on Complying with RTCA/DO-178B and ISO/IEC15408.	KES	2005	DBLP DOI BibTeX RDF
2	Burke Maxey	COTS Integration in Safety Critical Systems Using RTCA/DO-178B Guidelines.	ICCBSS	2003	DBLP DOI BibTeX RDF
2	V. Santhanam	The anatomy of an FAA-qualifiable Ada subset compiler.	SIGAda	2002	DBLP DOI BibTeX RDF	FAA, Ada, compiler, software certification, DO-178B
2	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
1	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	Modeling safety and airworthiness (RTCA DO-178B) information: conceptual model and UML profile.	Software and System Modeling	2011	DBLP DOI BibTeX RDF
1	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
1	Nassima Izerrouken, Marc Pantel, Xavier Thirioux, Olivier Ssi Yan Kai	Integrated Formal Approach for Qualified Critical Embedded Code Generator.	FMICS	2009	DBLP DOI BibTeX RDF	formal verification, automatic code generator, qualification, Coq proof assistant
1	Jean Souyris, Virginie Wiels, David Delmas, Hervé Delseny	Formal Verification of Avionics Software Products.	FM	2009	DBLP DOI BibTeX RDF	avionics software, verification, formal verification, static analysis, Abstract Interpretation, safety, development process
1	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	ISSE	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
1	R. Venky, Ulka Shrotri, Aniket Kulkarni, Prasad Bokil	STATEMATE to SCADE model translation.	ISEC	2008	DBLP DOI BibTeX RDF	SCADE, activity charts, model, translation, statecharts, transitions, state, reaction, STATEMATE
1	Benjamin M. Brosgol	MP1: languages for safety-critical software: issues and assessment.	SIGAda	2008	DBLP DOI BibTeX RDF	do-178, security, software engineering, design, reliability, ada, object-oriented, software, safety, languages, systems, assurance, safety-critical, high integrity
1	Kelvin Nilsen	Improving abstraction, encapsulation, and performance within mixed-mode real-time Java applications.	JTRES	2007	DBLP DOI BibTeX RDF	safety-critical certification, Java, RTSJ, DO-178B
1	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
1	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
1	Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn	A Profile for Safety Critical Java.	ISORC	2007	DBLP DOI BibTeX RDF
1	Martin Svéda, Vladimír Oplustil	Experience with integration and certification of COTS based embedded system into advanced avionics system.	SIES	2007	DBLP DOI BibTeX RDF
1	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
1	Martin Schoeberl	Mission Modes for Safety Critical Java.	SEUS	2007	DBLP DOI BibTeX RDF
1	Andrew Wils, Stefan Van Baelen, Tom Holvoet, Karel De Vlaminck	Agility in the Avionics Software World.	XP	2006	DBLP DOI BibTeX RDF
1	Praful V. Bhansali	Universal software safety standard.	ACM SIGSOFT Software Engineering Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
1	Leticia Dávila-Nicanor, Pedro Mejía-Alvarez	Reliability Evaluation of Web-Based Software Applications.	ENC	2005	DBLP DOI BibTeX RDF
1	Peter Amey, Roderick Chapman, Neil White	Smart Certification of Mixed Criticality Systems.	Ada-Europe	2005	DBLP DOI BibTeX RDF
1	Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano	Airborne Software Concerns in Civil Aviation Certification.	LADC	2005	DBLP DOI BibTeX RDF
1	Philippe A. Palanque, Floor Koornneef, Chris Johnson, Gerd Szwillus, Peter Wright	Safety-critical interaction: usability in incidents and accidents.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	usability, reliability, safety critical systems, human error
1	Leticia Dávila-Nicanor, Pedro Mejía-Alvarez	Reliability Improvement of Web-Based Software Applications.	QSIC	2004	DBLP DOI BibTeX RDF
1	Wen-Kui Chang, Chun-Yuan Chen	Integrity-Enhanced Verification Scheme for Software-Intensive Organizations.	ATVA	2004	DBLP DOI BibTeX RDF	Software Capability Level, Software Integrity Level, ISO 9001:2000, Software Process Improvement (SPI), CMMI, Software Verification and Validation
1	Andrew J. Kornecki, Janusz Zalewski	Design Tool Assessment for Safety-Critical Software Development.	SEW	2003	DBLP DOI BibTeX RDF
1	Chris W. Johnson	Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents.	SAFECOMP	2003	DBLP DOI BibTeX RDF
1	William G. Tuohey	Benefits and Effective Application of Software Engineering Standards.	Software Quality Journal	2002	DBLP DOI BibTeX RDF	software engineering standards, RTCA/DO-178B, comparison of standards, process improvement, quality management system
1	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	2002	DBLP DOI BibTeX RDF
1	Bjørn Axel Gran, Gustav Dahll, Siegfried Eisinger, Eivind J. Lund, Jan Gerhard Norstrøm, Peter Strocka, Britt J. Ystanes	Estimating Dependability of Programmable Systems Using BBNs.	SAFECOMP	2000	DBLP DOI BibTeX RDF
1	Paul B. Carpenter	Verification of requirements for saftey-critical software.	SIGAda	1999	DBLP DOI BibTeX RDF	IEEE/EIA 12207, requirements-based testing, UML, requirements analysis, software verification, DO-178B
1	Jacob Frost	An Ada95 Solution for Certification of Embedded Safety Critical Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
1	Famantanantsoa Randimbivololona, Jean Souyris, Patrick Baudin, Anne Pacalet, Jacques Raguideau, Dominique Schoen	Applying Formal Proof Techniques to Avionics Software: A Pragmatic Approach.	World Congress on Formal Methods	1999	DBLP DOI BibTeX RDF
1	Brian Dobbing, Marc Richard-Foy	T-SMART - Task-Safe, Minimal Ada Realtime Toolset.	Ada-Europe	1997	DBLP DOI BibTeX RDF	Ada83, Software Reliability, Certification, Ada 95