This content is not included in
your SAE MOBILUS subscription, or you are not logged in.
Adopting Model-Based Software Design and Verification for Aerospace Systems
Technical Paper
2017-01-2110
ISSN: 0148-7191, e-ISSN: 2688-3627
This content contains downloadable datasets
Annotation ability available
Sector:
Language:
English
Abstract
The complexity of software development is increasing unprecedentedly with every next generation of aircraft systems. This requires to adopt new techniques of software design and verification that could optimize the time and cost of software development. At the same time these techniques need to ensure high quality of software design and safety compliance to regulatory guidelines like DO-178C [1] and its supplements DO-330[2] and DO-331[3].
To arrive at new technologies one has to evaluate the alternate methods available for software design by developing models, integration of models, auto-code generation, auto test generation and also the performance parameters like time, effort, reuse and presentation needs to be evaluated. We have made an attempt to present summary of alternate design concept study, and edge of MBD over other design techniques.
The new techniques have challenges in managing the software development processes through conventional means and showing their compliance to stringent industry standards and guidelines. We have present process compliance to aerospace software development guideline DO-178C.
This paper has discussed requirements of DO-178C and its associated supplement DO-331 for model based software development and demonstrated means of compliance for models. It has also presented requirements of DO-330 for tool qualification and its applicability to model-based software development and verification.
Citation
Jha, A. and Choudhary, P., "Adopting Model-Based Software Design and Verification for Aerospace Systems," SAE Technical Paper 2017-01-2110, 2017, https://doi.org/10.4271/2017-01-2110.Data Sets - Support Documents
Title | Description | Download |
---|---|---|
Unnamed Dataset 1 | ||
Unnamed Dataset 2 | ||
Unnamed Dataset 3 |
Also In
References
- RTCA DO-178C Software Considerations in Airborne Systems and Equipment Certification
- RTCA DO-330 Software Tool Qualification Considerations
- RTCA DO-331 Model-Based Development and Verification Supplement to DO-178C
- https://in.mathworks.com/help/simulink/examples.html
- Ogata Katsuhiko Fifth Modern Control Engineering PI controller 2 614 15