Testing safety critical ada code using non real time testing

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2655, Issue , 2003, Pages 382-393

  Jeppu, Y V ^a   Karunakar, K ^a   Subramanyam, P S ^a  

^a AERONAUTICAL DEVELOPMENT AGENCY   (India)

Author keywords

[No Author keywords available]

Indexed keywords

ADA (PROGRAMMING LANGUAGE); ALGORITHMS; CONTROL THEORY; FLIGHT CONTROL SYSTEMS; FLIGHT ENVELOPES; LIFE CYCLE; SAFETY ENGINEERING; SAFETY TESTING; TELECOMMUNICATION SERVICES;

AIRCRAFT DEVELOPMENT; FAULT INJECTION; FLIGHT CONTROL LAW; FLY-BY-WIRE CONTROLS; LIGHT COMBAT AIRCRAFTS; NON REAL TIME; SAFETY CRITICAL SOFTWARE; SOFTWARE FAULT;

SOFTWARE TESTING;

EID: 35248888519     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44947-7_29     Document Type: Article

References (8)

1. Roger W Pratt: Flight Control Systems, Progress in Astronautics and Aeronautics, Vol. 184, AIAA and IEE (2000).
2. Shyam Chetty, Girish Deodhare, B.B. Misra: Design, Development and Flight Testing of Control Laws for the Indian Light Combat Aircraft, AIAA Guidance, Navigation and Control Conference, Monterey, CA, August 2002
3. Wg. Cdr. R. Kothiyal, Wg. Cdr. T. Banerjee: First Flight of India's Light Combat Aircraft", 45th SFTE Symposium Proceedings, Sept. 2001, 88-95
4. Steven R Rakitin: Software Verification and Validation - A Practitioner's Guide, Artech House (1997)
5. Richard C. Dorf: The Electrical Engineering Handbook, Boca Raton: CRC Press LLC (2000)
6. Alfred R and Theodor T.: Aspects of Flight Control Software - a Software Engineering Point of View, Control Engineering Practice, Vol. 8, 2000, 675-680
7. Voas J: A Tutorial on Software Fault Injection, Spectrum 2000, http://www.cigital.com/papers/download/spectrum2000.pdf
8. Animesh C et al.: Design of Notch Filters for Structural Responses with Multi-Axis Coupling, AIAA Journal of Guidance, Control and Dynamics, Vol. 22, No. 2, March 1999, 349-357