Search results for "DO-178B"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
97	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
53	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
53	Burke Maxey	COTS Integration in Safety Critical Systems Using RTCA/DO-178B Guidelines.	ICCBSS	2003	DBLP DOI BibTeX RDF
53	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
45	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
45	Praful V. Bhansali	The MCDC paradox.	ACM SIGSOFT Softw. Eng. Notes	2007	DBLP DOI BibTeX RDF	software verification, software safety, DO-178B
45	V. Santhanam	The anatomy of an FAA-qualifiable Ada subset compiler.	SIGAda	2002	DBLP DOI BibTeX RDF	FAA, Ada, compiler, software certification, DO-178B
36	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
36	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
36	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
36	Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano	Airborne Software Concerns in Civil Aviation Certification.	LADC	2005	DBLP DOI BibTeX RDF
36	Jacob Frost	An Ada95 Solution for Certification of Embedded Safety Critical Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
36	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
35	Mehmet Umut Pisken, Burak Ata	Turkiye'de DO-178B Uyumlu Yazilim Sertifikasyon Projelerinde Planlama Surecinde Yasanan Problemler.	UYMS	2016	DBLP BibTeX RDF
35	Dewi Daniels	The Efficacy of DO-178B.	CoRR	2014	DBLP BibTeX RDF
35	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
35	H. H. Hesselink	A comparison of standards for software engineering based on DO-178B for certification of avionics systems.	Microprocess. Microsystems	1995	DBLP DOI BibTeX RDF
27	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
27	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
27	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
18	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
18	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
18	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
18	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
18	Martin Schoeberl, Hans Søndergaard, Bent Thomsen, Anders P. Ravn	A Profile for Safety Critical Java.	ISORC	2007	DBLP DOI BibTeX RDF
18	Gérard Berry	Synchronous Design and Verification of Critical Embedded Systems Using SCADE and Esterel.	FMICS	2007	DBLP DOI BibTeX RDF
18	Martin Schoeberl	Mission Modes for Safety Critical Java.	SEUS	2007	DBLP DOI BibTeX RDF
18	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
18	Benjamin M. Brosgol	Languages for Safety-Critical Software: Issues and Assessment.	ICSE Companion	2007	DBLP DOI BibTeX RDF
18	Andrew Wils, Stefan Van Baelen, Tom Holvoet, Karel De Vlaminck	Agility in the Avionics Software World.	XP	2006	DBLP DOI BibTeX RDF
18	Praful V. Bhansali	Universal software safety standard.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	verification, validation, software safety, system safety
18	Leticia Dávila-Nicanor, Pedro Mejía-Alvarez	Reliability Evaluation of Web-Based Software Applications.	ENC	2005	DBLP DOI BibTeX RDF
18	Peter Amey, Roderick Chapman, Neil White	Smart Certification of Mixed Criticality Systems.	Ada-Europe	2005	DBLP DOI BibTeX RDF
18	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
18	Philippe A. Palanque, Floor Koornneef, Chris W. Johnson 0001, Gerd Szwillus, Peter C. Wright	Safety-critical interaction: usability in incidents and accidents.	CHI Extended Abstracts	2004	DBLP DOI BibTeX RDF	usability, reliability, safety critical systems, human error
18	Leticia Dávila-Nicanor, Pedro Mejía-Alvarez	Reliability Improvement of Web-Based Software Applications.	QSIC	2004	DBLP DOI BibTeX RDF
18	Chris W. Johnson 0001	Using IEC 61508 to Guide the Investigation of Computer-Related Incidents and Accidents.	SAFECOMP	2003	DBLP DOI BibTeX RDF
18	Andrew J. Kornecki, Janusz Zalewski	Design Tool Assessment for Safety-Critical Software Development.	SEW	2003	DBLP DOI BibTeX RDF
18	Paul Parkinson, Franco Gasperoni	High-Integrity Systems Development for Integrated Modular Avionics Using VxWorks and GNAT.	Ada-Europe	2002	DBLP DOI BibTeX RDF
18	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
18	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