Software Considerations In Airborne Systems And Equipment Certification PdfBy Licurgo C. In and pdf 01.12.2020 at 16:59 9 min read
File Name: software considerations in airborne systems and equipment certification .zip
DOC Training Crash Course provides the knowledge required to reduce DOC risks and costs, while also enhancing the quality of the software during avionics development.
- RTCA DO-178
- Product Details
- Formal Methods in Avionic Software Certification: The DO-178C Perspective
Active, Most Current. Read more… Read less…. Prices subject to change without notice. About Us. Contact Us.
It became available for sale and use in January The FAA approved AC C  on 19 Jul , making DOC a recognized "acceptable means, but not the only means, for showing compliance with the applicable airworthiness regulations for the software aspects of airborne systems and equipment certification. Other concerns included the meaning of verification in a model-based development paradigm and considerations for replacing some or all software testing activities with model simulation or formal methods. Overall, DOC keeps most of the DOB text, which has raised concerns that issues with DOB, such as the ambiguity about the concept of low-level requirements, may not be fully resolved. All work is collected and coordinated via a web-site that is a collaborative work management mechanism. The failure conditions are categorized by their effects on the aircraft, crew, and passengers. DOC alone is not intended to guarantee software safety aspects.
Skip to search form Skip to main content You are currently offline. Some features of the site may not work correctly. Lougee Published Engineering. Save to Library. Create Alert. Launch Research Feed.
Formal Methods in Avionic Software Certification: The DO-178C Perspective
Applications and Case Studies pp Cite as. The ideal of correct software has always been the goal of research in the field of Information Technologies. For the next years scientific communities hope for a great challenge: a complete strategy in software programming and software engineering supported by a range of analysis tools to design, develop, integrate, verify and maintain software applications with mathematical rigor. In this challenge formal methods shall play a key role.
DOB, Software Considerations in Airborne Systems and Equipment Certification is a guideline dealing with the safety of safety-critical software used in certain airborne systems. Although technically a guideline, it was a de facto standard for developing avionics software systems until it was replaced in by DOC. The FAA applies DOB as the document it uses for guidance to determine if the software will perform reliably in an airborne environment,  when specified by the Technical Standard Order TSO for which certification is sought. The failure conditions are categorized by their effects on the aircraft, crew, and passengers. DOB alone is not intended to guarantee software safety aspects. Safety attributes in the design and implemented as functionality, must receive additional mandatory system safety tasks to drive and show objective evidence of meeting explicit safety requirements.