|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 17 occurrences of 17 keywords
|
|
|
Results
Found 32 publication records. Showing 32 according to the selection in the facets
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 |
|
Displaying result #1 - #32 of 32 (100 per page; Change: )
|
|