Atit Mishra
ABSTRACT
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 of 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) which is qualified for claiming the certification credits. 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.
- RTCA Inc. “Software Considerations in Airborne Systems and Equipment Certification”, RTCA/DO-178B, Washington D.C. 1992.Google Scholar
- Stacy Nelson and Johann Schumann, “What makes a Code Review Trustworthy”, Proceeding of the 37th Annual Hawaii International Conference on System Sciences, 2004. Google ScholarDigital Library
- Justyna Zander, Pieter J. Mosterman, Gregore Hamon, Ben Denckla, “On the Structure of Time in Computational Semantics of a Variable-Step Solver for Hybrid Behavior Analysis”, Proceedings of the 18th World Congress of the International Federation of Automatic Control (IFAC), Milano, Italy, 2011.Google ScholarCross Ref
- Manoranjan Satpathy, Anand Yeolekar, S. Ramesh, “Randomized Directed Testing (REDIRECT) for Simulink/Stateflow Models”, Proceedings of the 8th ACM international conference on Embedded Software (EMSOFT), Page 217-226, 2008. Google ScholarDigital Library
- Mark Utting, Alexander Pretschner, Bruno Legeard, “A Taxonomy of Model-Based Testing”, Journal of Software Testing, Verification and Reliability, Volume 22, Issue 5 August 2012. Google ScholarDigital Library
- Justyna Zander-Nowicka, “Model-based Testing of Embedded Systems in the Automotive Domain”, PhD Thesis, Technical University Berlin, ISBN: 978-3-8167-7974-2. Fraunhofer IRB Verlag, 2009.Google Scholar
- “Model-Based Testing and Validation with Reactis”, Reactive Systems Inc., http://www.reactive-systems.com.Google Scholar
- The MathWorks, Simulink Design verifier, http://www.mathworks.com.Google Scholar
- YV Jeppu, K Karunakar, PS Subramanayam, “Flight Clearence of Safety Critical Software using Non Real Time Testing”, ATIO 2002, AIAA-200205821.Google Scholar
- Chethan CU, Yogananda Jeppu, Selvamurugan Hariram, NN Murthy, Prakash R Apte, “A New Input-Output Based Model Coverage Paradigm for Control Blocks”, IEEE Aerospace Conference, 2011, Page 1-12. Google ScholarDigital Library
- Oscar Slotosch, “Model-Based Tool Qualification, The Roadmap of Eclipse towards Tool Qualification”, Validas AG, Munich, GermanyGoogle Scholar
- Stacy Nelson, “Survey of Software Assurance Techniques for Highly Reliable Systems”, NASA/CR-2004-212805.Google Scholar
- Charles Pechur, Stacy Nelson, “Survey of NASA V&V Processes/Methods””, NASA/CR-2002-211401, April 2002.Google Scholar
Index Terms
- An auto-review tool for model-based testing of safety-critical systems
Recommendations
Towards Agile Testing for Railway Safety-critical Software
XP '16 Workshops: Proceedings of the Scientific Workshop Proceedings of XP2016EN 50128 gives a general guidance for testing railway safety-critical software. However, it does not specify how to test safety-critical software in an agile development environment. Based on our observation, agile software development has not been ...
Assessing model-based testing: an empirical study conducted in industry
ICSE Companion 2014: Companion Proceedings of the 36th International Conference on Software EngineeringWe compare manual testing without any automation performed by a tester at a software company with model-based testing (MBT) performed by a tester at a research center.
The system under test (SUT), of which two different versions were tested by each ...
Optimal transition from hovering to level-flight of a quadrotor tail-sitter UAV
A quadrotor equipped with a fixed-wing (hereinafter referred to as the quadrotor tail-sitter UAV) has been developed by authors. The quadrotor tail-sitter UAV can hover like a quadrotor and can fly like a fixed-wing airplane. The remarkable ...
Comments