Testing Safety Critical Ada Code Using Non Real Time Testing

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

doi:10.1007/3-540-44947-7_29

Cited by 6 publications

(1 citation statement)

References 4 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Jeppu et.al [15] discuss the novel non-real time testing of the control law algorithm for the Indian Light Combat Aircraft which resulted in the fault free software performance during its maiden flight. This paper demonstrates the effectiveness of the non-real time testing of the software developed on Ada code and discusses the procedure to generate the non-real time test scenarios.…”

Section: Introductionmentioning

confidence: 99%

An Effective Verification and Validation Strategy for Safety-Critical Embedded Systems

Nanda¹,

Jayanthi²,

Rao³

2013

IJSEA

View full text Add to dashboard Cite

This paper presents the best practices to carry out the verification and validation (V&V) for a safetycritical embedded system, part of a larger system-of-systems. The paper talks about the effectiveness of this strategy from performance and time schedule requirement of a project. The best practices employed for the V &Vis a modification of the conventional V&V approach. The proposed approach is iterative which introduces new testing methodologies apart from the conventional testing methodologies, an effective way of implementing the phases of the V&V and also analyzing the V&V results. The new testing methodologies include the random and non-real time testing apart from the static and dynamic tests. The process phases are logically carried out in parallel and credit of the results of the different phases are taken to ensure that the embedded system that goes for the field testing is bug free. The paper also demonstrates the iterative qualities of the process where the iterations successively find faults in the embedded system and executing the process within a stipulated time frame, thus maintaining the required reliability of the system. This approach is implemented in the most critical applications-aerospace application where safety of the system cannot be compromised. The approach used a fixed number of iterations which is set to4in this application, with each iteration adding to the reliability and safety of the embedded system. Data collected and results observed are compared with a conventional approach for the same application and it is demonstrated that the strategy proposed reduces the time taken by 50% as compared to a conventional process that attains the same reliability as required in the stipulated time.

show abstract

Section: Introductionmentioning

confidence: 99%