Flight Clearance of Safety Critical Software Using Non Real Time Testing

Jeppu, Yogananda; Karunakar, K.; Subramanyam, P. S.

doi:10.2514/6.2002-5821

Cited by 3 publications

(1 citation statement)

References 3 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…To make the interpolation errors observable and to determine the test case adequacy, we deliberately seeded in a few computational discrepancies in the interpolation routine under test. This is known as the Delta Model as defined in [9]. The interpolation output error for the three test sequences is shown in subplot (2) of the Figure (4 coverage if and only if there is a spread between breakout points in addition to the other SVV criteria.…”

Section: -D Look-up Tablementioning

confidence: 99%

An auto-review tool for model-based testing of safety-critical systems

Mishra¹,

Rao²,

Chethan³

et al. 2013

Proceedings of the 2013 International Workshop on Joining AcadeMiA and Industry Contributions to Testing Automation

Self Cite

View full text Add to dashboard Cite

Verification of Test Procedures and Test Cases (TP, TC) is an important process stage for fulfilling the RTCA/DO-178B/C compliance objective while developing software for safety critical flight control systems. Correctness of these results, their requirement coverage (High/Low level) analysis and justified discrepancies (if any) are the primary objectives that must be satisfied. Manual reviews are the most common methods for achieving these objectives. This paper consolidates some of the past experiences while conducting manual reviews in the flight control software V&V for a commercial aircraft program. Through them a clear need and scope for automating portions of manual review is identified. This led to the development of an Auto-review Tool (ART) as we named it, which is qualified for claiming the certification credits.Since the tool automates portions within the verification process, it satisfies the 2 nd criterion of tool qualification in RTCA/DO-178C standard for determining the tool qualification level. All the necessary documents such as Tool's Operational Requirement (TOR), Tool Qualification Plan (TQP) and Tool Assessment Summary (TAS) are prepared. The paper presents the tool development process beginning with defining a library of Input/Output relation based functions for different control blocks, parser development and qualification activity that were performed by an independent testing team.

show abstract

Section: -D Look-up Tablementioning

confidence: 99%