Adopting Model-Based software design and verification for aerospace systems.

Paper #:
  • 2017-01-2110

Published:
  • 2017-09-19
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 presentability 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 presented process compliance to aerospace software development guideline DO178C. In this paper we have presented a case study on usage of a model based tool and its tool set to generate requirements, software and its test results. This paper has discussed the requirements of DO-178C and its associated supplement DO-331 for model based software development and demonstrated means of compliance of the case study model. The requirements of DO-330 for tool qualification and its applicability to model-based software development and verification are also presented.
Access
Now
SAE MOBILUS Subscriber? You may already have access.
Buy
Attention: This item is not yet published. Pre-Order to be notified, via email, when it becomes available.
Select
Price
List
Download
$27.00
Mail
$27.00
Members save up to 40% off list price.
Share
HTML for Linking to Page
Page URL

Related Items

Training / Education
1997-05-29
Training / Education
2015-03-31
Training / Education
2017-08-14
Standard
1991-05-23
Technical Paper / Journal Article
2011-04-12
Training / Education
1997-05-29