Search results for "DO-178C"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
58	Dilara Gizem Pektas, Mehmet Umut Pisken	DO-178C Uyumlu Yazilim Gelistirme Projelerinde Assembly Kodlama Icin Yapisal Kapsama Analizi (Structural Coverage Analysis for Assembly Coding in DO-178C Compliant Software Development Projects).	UYMS	2017	DBLP BibTeX RDF
36	Tobias Schoofs, Eric Jenn, Stéphane Leriche, Kelvin Nilsen, Ludovic Gauthier, Marc Richard-Foy	Use of PERC Pico in the AIDA avionics platform.	JTRES	2009	DBLP DOI BibTeX RDF	ARINC 653, DO-178C, SCJT, aeronautic certification, safety-critical real-time systems, Java, RTSJ
29	J. Eduardo Ferreira Ribeiro, João Gabriel Silva, Ademar Aguiar	Beyond Tradition: Evaluating Agile feasibility in DO-178C for Aerospace Software Development.	CoRR	2023	DBLP DOI BibTeX RDF
29	Purav Panchal, Nina Sorokina, Manuel Kuder, Stephan Myschik, Konstantin Dmitriev, Florian Holzapfel	Application of a Process-Oriented Build Tool for Verification and Validation of a Battery Slave Controller for a Battery Modular Multilevel Management System Along the DO-178C/DO-331 Process.	MODELSWARD	2023	DBLP DOI BibTeX RDF
29	Lijun Shan	Towards DO-178C Compliance of a Secure Product.	SAFECOMP Workshops	2023	DBLP DOI BibTeX RDF
29	V. P. Kozyrev	Structural Coverage Analysis of Entry and Exit Points Required to Achieve the Objectives Defined in DO-178C.	Program. Comput. Softw.	2022	DBLP DOI BibTeX RDF
29	Jinghua Sun 0005, Lei Chen, Fuzhi Cang, Haiwei Li, Fujian Pi	Civil Aircraft Airborne Software Safety and Reliability Study Based on RTCA/DO-178C.	CSSE	2022	DBLP DOI BibTeX RDF
29	Lei Chen, Jinghua Sun 0005, She Jia	Study on the Application of RTCA/DO-178C in IMA Architecture.	AISS	2022	DBLP DOI BibTeX RDF
29	Konstantin Dmitriev, Shanza Ali Zafar, Kevin Schmiechen, Yi Lai, Micheal Saleab, Pranav Nagarajan, Daniel Dollinger, Markus Hochstrasser, Stephan Myschik, Florian Holzapfel	A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331.	CoRR	2020	DBLP BibTeX RDF
29	John Pyrgies	Towards DO-178C certification of adaptive learning UAV agents designed with a cognitive architecture.	ICSE (Companion Volume)	2020	DBLP DOI BibTeX RDF
29	Nicolas Metayer, Andrés Paz, Ghizlane El-Boussaidi	Modelling DO-178C Assurance Needs: A Design Assurance Level-Sensitive DSL.	ISSRE Workshops	2019	DBLP DOI BibTeX RDF
29	V. P. Kozyrev, M. A. Saburov	Satisfying DO-178C Structural Coverage Objectives.	Program. Comput. Softw.	2018	DBLP DOI BibTeX RDF
29	Yunjiao Zhan, Ou Wei, Jun Hu	面向DO-178C的襟缝翼控制系统需求的形式化描述 (Formal Description of Requirement of Slats and Flaps Control System for DO-178C Case).	计算机科学	2018	DBLP DOI BibTeX RDF
29	Markus Hochstrasser, Stephan Myschik, Florian Holzapfel	Application of a Process-Oriented Build Tool for Flight Controller Development Along a DO-178C/DO-331 Process.	MODELSWARD (Revised Selected Papers)	2018	DBLP DOI BibTeX RDF
29	José Andrés Jiménez, José-Amelio Medina-Merodio, Luis Fernández Sanz	Checklists for compliance to DO-178C and DO-278A standards.	Comput. Stand. Interfaces	2017	DBLP DOI BibTeX RDF
29	Andrés Paz, Ghizlane El-Boussaidi	On the Exploration of Model-Based Support for DO-178C-Compliant Avionics Software Development and Certification.	ISSRE Workshops	2016	DBLP DOI BibTeX RDF
29	Frank Dordowsky	An experimental Study using ACSL and Frama-C to formulate and verify Low-Level Requirements from a DO-178C compliant Avionics Project.	F-IDE	2015	DBLP DOI BibTeX RDF
29	Alan Ferreiros, Luiz Alberto Vieira Dias	Evaluation of Accomplishment of DO-178C Objectives by CMMI-DEV 1.3.	ITNG	2015	DBLP DOI BibTeX RDF
29	Vance Hilderman	Understanding DO-178C Software Certification: Benefits Versus Costs.	ISSRE Workshops	2014	DBLP DOI BibTeX RDF
29	André Sarkis, Luiz Alberto Vieira Dias	A Set of Rules for Production of Design Models Compliant with Standards DO-178C and DO-331.	ITNG	2014	DBLP DOI BibTeX RDF
29	Yannick Moy, Emmanuel Ledinot, Hervé Delseny, Virginie Wiels, Benjamin Monate	Testing or Formal Verification: DO-178C Alternatives and Industrial Experience.	IEEE Softw.	2013	DBLP DOI BibTeX RDF
29	Gabriella Gigante, Domenico Pascarella	Formal Methods in Avionic Software Certification: The DO-178C Perspective.	ISoLA (2)	2012	DBLP DOI BibTeX RDF
29	Stephen A. Jacklin	Certification of Safety-Critical Software Under DO-178C and DO-278A.	Infotech@Aerospace	2012	DBLP DOI BibTeX RDF
29	Benjamin M. Brosgol	Do-178c: the next avionics safety standard.	SIGAda	2011	DBLP DOI BibTeX RDF
29	Dewi Daniels	Are we there yet? A Practitioner's View of DO-178C/ED-12C.	SSS	2011	DBLP DOI BibTeX RDF
29	Dewi Daniels	Position Paper: DO-178C/ED-12C and Object-Orientation for Critical Systems.	Ada-Europe	2011	DBLP DOI BibTeX RDF
29	Roderick Chapman, Trevor Jennings	OOT, DO-178C and SPARK.	Ada-Europe	2011	DBLP DOI BibTeX RDF
29	James V. Chelini	Working towards DO-178C/ED-12C, DO-248C/ED-94C, and DO-278A/ED109A.	SIGAda	2009	DBLP DOI BibTeX RDF
26	James J. Hunt	Realtime Java technology in avionics systems.	JTRES	2010	DBLP DOI BibTeX RDF	realtime Java technology, standards, avionics
26	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
26	Benjamin M. Brosgol	SA2: languages for safety-critical software: issues and assessment.	SIGAda	2007	DBLP DOI BibTeX RDF
26	Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano	Airborne Software Concerns in Civil Aviation Certification.	LADC	2005	DBLP DOI BibTeX RDF