Do-178c Compliance
DO-178C Compliance is a formal assurance framework within embedded avionics software development that prescribes systematic processes and evidence requirements to demonstrate that software meets the stringent safety, verification, and validation standards established by the Radio Technical Commission for Aeronautics (RTCA) for airborne systems.
34
Publications
813
Citations
87
Authors
43
Institutions
Publications per year
2017–2026
8
Parents
34
Testing or Formal Verification: DO-178C Alternatives and Industrial Experience
Yannick Moy, Emmanuel Ledinot, Hervé Delseny et al. · IEEE Software · 2013 · 120 citations
New challenges in certification for aircraft software
John Rushby · 2011 · 61 citations
The Interpretation and Evaluation of Assurance Cases
John Rushby · 2015 · 50 citations
1–5 of 34
87
5
h-index
4
h-index
3
h-index
2
h-index
2
h-index
1–5 of 87
43
Instituto Tecnológico de Aeronáutica
São José dos Campos, Brazil
5 h-index
9 publications
141 citations
Embraer (Brazil)
São José dos Campos, Brazil
4 h-index
6 publications
97 citations
Technical University of Munich
Munich, Germany
2 h-index
10 publications
259 citations
Rockwell Automation (United States)
Milwaukee, United States
2 h-index
2 publications
38 citations
Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)
Cologne, Germany
2 h-index
4 publications
151 citations
Airbus (India)
Bengaluru, India
2 h-index
2 publications
130 citations
Instituto de Aeronáutica e Espaço
São José dos Campos, Brazil
2 h-index
2 publications
29 citations

University of Minnesota
Minneapolis, United States
1 h-index
3 publications
69 citations
1–8 of 43
Repository · 3 publications · 46 citations
3
h-index
Conference · 2 publications · 36 citations
2
h-index
Conference · 2 publications · 27 citations
2
h-index
1 publications · 38 citations
1
h-index
1 publications · 13 citations
1
h-index
1–5