Model-Based Design for DO-178B with Qualified Tools

Erkkinen, Thomas; Potter, Bill

doi:10.2514/6.2009-6233

Cited by 21 publications

(4 citation statements)

References 2 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The Stall Warning/Aircraft Interface Computer System (SWS/AIC) is a safety critical system being designed and developed for the 14-seater civilian aircraft. The software is developed and certified as per RTCA DO-178B level A [16], [17] certification standards. The SWS/AIC system performs two major functionality : Stall computation and warning and computing and announcing various other warnings such as landing, takeoff, over speed, baromistamcth, hydraulic low pressure and pitch trim warning.…”

Section: Stall Warning/aircraft Interface Computer Systemmentioning

confidence: 99%

An Integrated Mutation Analysis Tool (Imat) For Simulink Models and Their Ideal Implementation

Nanda,

Jayanthi,

Madhan

et al. 2023

joast

View full text Add to dashboard Cite

Mutation analysis is proving to be an effective approach in detecting the design flaws for safety system designs such as flight control systems or the stall warning systems. The drawback of these analyses is that they are time-consuming and difficult-to-use. This paper discusses about the mutation tool, IMAT, developed in-house for detecting the design flaws of safety critical systems designed in SIMULINK. The IMAT tool is developed as a plug-in to the SIMULINK tool suite and enhances the performance of the model-based development of safety critical systems. Some of the unique features of the tool are ease-of-use, portable, scalable, userfriendly and easy to analyse the reports.

show abstract

Section: Stall Warning/aircraft Interface Computer Systemmentioning

confidence: 99%

An Integrated Mutation Analysis Tool (Imat) For Simulink Models and Their Ideal Implementation

Nanda,

Jayanthi,

Madhan

et al. 2023

joast

View full text Add to dashboard Cite

show abstract

“…The tool chain for IAP is addressed in major life cycle phases like  Platform,  Requirements,  Design,  Development and  Testing. The use of Model Based Design for DO 178B using qualified tools is very critical for the success of the project [7]. Therefore complete tool chain is required for tool qualification requirements, method and mechanisms.…”

Section: Figure 6 Integrated Mode Of All Three Phasesmentioning

confidence: 99%

“…Majority of the modeling and Code Generation of IAP is handled by Matlab-Simulink [7,8], Rhapsody [9,10], SCADE and SCADE Display [11]. …”

Section: Requirements Dct and Ivandv Tool Chainmentioning

confidence: 99%

Integrated model driven design development (IMDD) for software and system engineering

Ananda

2010

29th Digital Avionics Systems Conference

View full text Add to dashboard Cite

The paper presents the integrated approach of handling system and software engineering issues in an integrated environment with enabling tools, technologies and methods. The proposed Integrated Aircraft Platform (IAP) is used with embedded platform for Simulation, Modeling, Design, Development, Testing, Integration and Certification (SMD2TIC). The basic objective of SMD2TIC is to enable an idea emerged as thought process to produce a product in the same platform using core common resources. An idea is first put into SMD2TIC by a simple low fidelity model using modeling. Then the fidelity of the model is enhanced with iterative design/modeling process. On completing the design by simulation and modeling, the design is then validated on target by porting the code generated from the mode on to the target. SMD2TIC provides a platform for all sub-systems of aircraft like avionics, flight controls, hydraulics, electrical etc, The paper presents in brief, the proposed approach, its components, automation tools, required technologies, adhering standards, certification requirements and data sampling.

show abstract

“…For example, The MathWorks provides a qualification kit for some parts of Simulink for use with DO-178 [8]. However, this covers only a small number of certification objectives (such as measuring test coverage and checking design standards).…”

Section: Validity and Limitationsmentioning

confidence: 99%

A candid industrial evaluation of formal software verification using model checking

Bennion

Habli

2014

Companion Proceedings of the 36th International Conference on Software Engineering

View full text Add to dashboard Cite

Model checking is a powerful formal analytical approach to verifying software and hardware systems. However, general industrial adoption is far from widespread. Some difficulties include the inaccessibility of techniques and tools and the need for further empirical evaluation in industrial contexts. This study considers the use of Simulink Design Verifier, a model checker that forms part of a modelling system already widely used in the safety-critical industry. Model checking is applied to a number of real-world problem reports, associated with aero-engine monitoring functions, to determine whether it can provide a practical route into effective verification, particularly for nonspecialists. The study also considers the extent to which model checking can satisfy the requirements of the extensive DO-178C guidance on formal methods. The study shows that the benefits of model checking can be realised in an industrial setting without specialist skills, particularly when it is targeted at parts of the software that are error-prone, difficult to verify conventionally or critical. Importantly, it shows that model checking can find errors earlier in the design cycle than testing, which potentially saves money, due to reduced scrap and rework.

show abstract

Model-Based Design for DO-178B with Qualified Tools

Cited by 21 publications

References 2 publications

An Integrated Mutation Analysis Tool (Imat) For Simulink Models and Their Ideal Implementation

An Integrated Mutation Analysis Tool (Imat) For Simulink Models and Their Ideal Implementation

Integrated model driven design development (IMDD) for software and system engineering

A candid industrial evaluation of formal software verification using model checking

Contact Info

Product

Resources

About