DO-178C

DO-178C
DO-178C / ED-12C
Software Considerations in Airborne Systems and Equipment Certification
Latest Revision
Prepared by RTCA SC-205
EUROCAE WG-12

DO-178C, Software Considerations in Airborne Systems and Equipment Certification is the title of an upcoming document published by RTCA, Incorporated, in a joint effort with EUROCAE. This will replace DO-178B to be the primary document by which the certification authorities such as FAA, EASA and Transport Canada will approve all commercial software-based aerospace systems.

The new document will be called DO-178C/ED-12C and is due to be finalized in 2011.[1][2]

Contents

Committee organization

The committee work is divided into seven Subgroups:

  • SG1: SCWG Document Integration
  • SG2: Issues and Rationale
  • SG3: Tool Qualification
  • SG4: Model Based Design and Verification
  • SG5: Object-Oriented Technology
  • SG6: Formal Methods
  • SG7: Safety Related Considerations

The Model Based Design and Verification subgroup (SG4), is the largest of the working groups. All work is collected and coordinated via a web-site that is a collaborative work management mechanism.[3] Working artifacts and draft documents are held in a restricted area available to group members only.

The work is focused on bringing DO-178B/ED-12B up to date with respect to current software development practices, tools, and technologies.

Differences with DO-178B

SC-205 is responsible for revising DO-178B/ED-12B to bring it up to date with respect to current software development and verification technologies, for example[4]:

  • addressing software modeling and the ability to use modeling to supplant some of the verification techniques required in DO-178B
  • addressing object-oriented software and the conditions under which it can be used
  • addressing formal methods to complement dynamic testing
  • clarifying software tools and avionics tool qualification

Criticisms

There are strong calls by DERs (FAA Designated Engineering Representatives) for clarification/refinement of the definitions and boundaries between the key DO-178B concepts of High Level Requirements, Low Level Requirements, and Derived Requirements and a better definition of the exit/entry criteria between systems requirements and system design (see ARP4754) and that of software requirements and software design (which is the domain of DO-178B). Other topics such as what does verification mean in a model-based development paradigm and can model simulation or formal methods replace some or all software testing activities.

See also

References

  1. ^ Charlotte Adams (2010-09-01). "DO-178C nears finish line, with credit for modern tools and technologies". Avionics Intelligence. http://www.militaryaerospace.com/index/display/avi-article-display/7404622510/articles/avionics-intelligence/features-and-analysis/2010/9/do-178c-nears_finish.html. Retrieved 2010-10-23. "The industry expects the final package —DO-178C— to be released in the first quarter of 2011 and be mandated six to nine months after ratification." 
  2. ^ "Summary of Difference Between DO-178B and DO-178C". FAA Consultants.com. Qualtech Consulting, Inc. http://faaconsultants.com/html/do-178c.html. Retrieved 2010-10-23. "The release of these long anticipated standards will occur in mid 2011 and be recognized by the Certification Authorities in 2012." 
  3. ^ http://forum.pr.erau.edu/SCAS/
  4. ^ "HighRely Synopsis of National FAA Software and Hardware Meeting Includes DO-178C Status". 2006. http://www.mil-embedded.com/news/Industry+News/3247. Retrieved 2009-09-31. "D0-178C will contain more details on software modeling and the potential ability to use modeling to supplant some of the verification techniques normally required in DO-178B. DO-178C will also more fully address OO (Object Oriented) software and the conditions under which it can be used and the certification ramifications of OO in DO-178C." 

External links


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Criticism of Microsoft — has followed various aspects of its products and business practices. Issues with ease of use, stability, and security of the company s software are common targets for critics. In the 2000s, a number of malware attacks have targeted security flaws …   Wikipedia

  • DO-178B — / ED 12B Software Considerations in Airborne Systems and Equipment Certification Latest Revision December 1, 1992 Prepared by RTCA SC 167 EUROCAE WG 12 DO 178B, Software Considerations in Airborne Systems and Equipment Certification is a document …   Wikipedia

  • International Textbook Company — The International Textbook Company was a book publisher in Scranton, PA in the early 1900s. The company published a number of textbooks, most notably the International Library of Technology volumes that provided technical instruction on topics… …   Wikipedia

  • Mount Horeb — For other uses of the names Horeb or Mount Horeb, see Horeb. For the biblical Mount Sinai, see Biblical Mount Sinai. Moses with tablets of the Ten Commandments, painting by Rembrandt, (1659) Mount Horeb, Hebrew: חֹרֵב, Gre …   Wikipedia

  • Amalgam (chemistry) — An amalgam is a substance formed by the reaction of some other substance with mercury.For the alkali metals, amalgamation is distinctly exothermic, and distinct chemical forms can be identified, such as KHg and KHg2. [ cite journal | title=The… …   Wikipedia

  • Bahnstrecke Torgau-Belgern — Torgau–Belgern Streckennummer: 6841 Streckenlänge: 17,11 km Spurweite: 1435 mm (Normalspur) Minimaler Radius: 450 m Legende …   Deutsch Wikipedia

  • Bahnstrecke Torgau–Belgern — Torgau–Belgern Streckennummer: 6841 Streckenlänge: 17,11 km Spurweite: 1435 mm (Normalspur) Minimaler Radius: 450 m Legende …   Deutsch Wikipedia

  • Idealer Staat — Römische Kopie eines griechischen Platonporträts des Silanion, das vermutlich nach dem Tod Platons in der Akademie aufgestellt wurde, Glyptothek München[1] Platon (griechisch  …   Deutsch Wikipedia

  • Platon — Römische Kopie eines griechischen Platonporträts des Silanion, das vermutlich nach dem Tod Platons in der Akademie aufgestellt wurde, Glyptothek München[1] Platon (altgriechisch Πλάτων Plátōn, latinisiert Plato; * 428/ …   Deutsch Wikipedia

  • Unicode-Block Khmer — Der Unicode Block Khmer (1780–17FF) enthält die Zeichen und Ziffern der Khmer Schrift, die in Kambodscha für die Khmer Sprache verwendet wird. Zusätzliche Symbole, die im Mondkalender Verwendung finden, sind im Unicode Block Khmer Symbole… …   Deutsch Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”