Meeting DO-178B/C Certification with Visure Requirements

830 views 5 slides Feb 18, 2013
Slide 1
Slide 1 of 5
Slide 1
1
Slide 2
2
Slide 3
3
Slide 4
4
Slide 5
5

About This Presentation

Visure Requirements offers comprehensive and agile artifact management for the development and verification of avionic embedded systems. It provides end-to-end traceability between all the requirements, verification, problem reporting, checklists and project artifacts in one single environment and t...


Slide Content

www.visuresolutions.com 2013 visure solutions, s.l. visure Requirements is a registered brand of visure solutions,s.l. The RTCA DO-178B/C Software Considerations in Airborne Systems and Equipment Certification is the standard
for safety-critical software used in airborne systems. The standard requires a deep and rigorous traceability of the
project artifacts throughout all the stages of the development.
In 2012, the standard was updated and DO-178C was published. This brought advanced techniques such as
modelling, object-oriented programming and formal methods to safety-critical software developments. Furthermore,
the updated standard introduced new concepts like bi-directional traceability for all trace data.
Visure Requirements offers comprehensive and agile artifact management for the development and verification of
avionic embedded systems. It provides end-to-end traceability between all the requirements, verification, problem
reporting, checklists and project artifacts in one single environment and through the integration with other tools of
the lifecycle.
Visure Requirements helps enforce the process to meet the DO-178B/C objectives and create the necessary
deliverables for the design assurance level.
What is RTCA DO-178B/C?
What is RTCA DO-178B/C with visure requirements
MEETING DO-178B/C CERTIFICATION WITH VISURE REQUIREMENTS
benefits
1. One single, process-oriented solution for all requirements, verification, problem reporting,
checklists and project artifacts.
2. Centralized and open repository for all artifacts, including DO-178B/C objectives.
3. End-to-end traceability between the artifacts, for full impact analysis.
4. Requirements Quality enforcement.
Visure Requirements allows you to standardize and streamline your organization processes related to DO-178B/C,
by graphically defining the artifacts and enforcing the traceability policy between them.
Process Representation and Enforcement
Figure 1. Example of DO-178 B/C process diagram

www.visuresolutions.com 2013 visure solutions, s.l. visure Requirements is a registered brand of visure solutions,s.l. Templates for any DO-178B/C requirements (System,
High-Level, Low-Level, Derived, etc.) can be created in
the Visure Requirements repository, help user effectively
capture detailed requirements from the start of project.
The Quality Analyzer automatically identifies poor
requirements early in to process and helps enforce
requirements standards to allow projects to safely
transition into next phases of the lifecycle while minimizing
errors and rework of requirements.
Writing good Requirements
Figure 2. Requirements, attributes and description
Figure 3. Quality Analyzer check
Requirements can be allocated following the defined process, so users can easily work through it.
Straightforward Requirements Allocation
Figure 4. Example of Requirements allocation

www.visuresolutions.com 2013 visure solutions, s.l. visure Requirements is a registered brand of visure solutions,s.l. Requirement based verification plans can be written and traced against requirements in Visure Requirements. Test
case results and artifacts can also be stored in the same repository helping support the software verification process
activities. Users are able to review the requirements coverage, identifying missing links, failed requirements and
impact of changes.
Problem reports can be recorded and traced against artifacts in Visure Requirements to track any anomalous
behavior of software products.
Corrective actions can now be managed and tracked appropriately.
Requirement based Verification
Support for Problem Reporting
Figure 5. Test Case Management for DO-178B/C
Figure 6. Problem report view with attributes
Workflows can be created and enforced for any project activity, representing user-defined states and the transitions
between them.
Each transition can be associated to a group of authorized roles, guaranteeing a correct approval, review and
change processes.
Workflow
Figure 7. Example of a graphical representation of the states and
transitions of a workflow

www.visuresolutions.com 2013 visure solutions, s.l. visure Requirements is a registered brand of visure solutions,s.l. One of the key elements in DO-178B/C is requiring that project artifacts are traceable. Visure Requirements can
create, enforce and manage many-to-many bi-directional traceability links at all level of requirements decomposition,
verification plans and results, source code, problem report and changes.
Traceability matrices and reports can be automatically generated, as well as traceability views across the project
displaying up and downstream links.
Traceability
Figure 8. Traceability view displaying downstream links from system to
low level requirements to test cases
Figure 9. Traceability Matrix displaying links between high and low level requirements.
Figure 10. Sample list of DO-178B/C Objectives
Visure Requirements can display in one single view the full list of DO-178B/C objectives, along with the fulfillment, to save time and effort to the teams, and help in the generation of evidence.
Objectives Fulfillment

www.visuresolutions.com 2013 visure solutions, s.l. visure Requirements is a registered brand of visure solutions,s.l. Review checklists can be created, managed and traced to any project artifacts, helping users conducting their QA
reviews.
Review Checklists
All project artifacts are configuration managed out-of-the-box, keeping track of who modified what and when.
Versions of each individual artifact are kept in the history allowing the review of a previous version, compare
different versions, or restore a previous one.
Artifact baselines can also be created out of single specifications, groups of specifications or the complete project,
allowing to compare, review, approve or roll back to previous baselines.
DO-178B/C deliverables can be generated from any project artifact and its traceability using the Visure Requirements
reporting capabilities.
Visure Solutions
[email protected]
+34 91 806 17 13
+1 415 745 3304
www.visuresolutions.com
Configuration Management
Deliverables Generation
CONTACT
Visure Requirements supports role-based access and permission to the project artifacts to enforce independent
checks. Change audits can be made to ensure that users without permissions haven’t performed any activity
requiring independence.
Independence
Figure 11. Example of a Review Checklist