Computer-aided validation and verification of mission critical systems

• Grant number: 10/08173-3
• Support Opportunities: Scholarships abroad - Research
• Start date: September 01, 2010
• End date: August 31, 2011
• Field of knowledge: Physical Sciences and Mathematics - Computer Science - Computing Methodologies and Techniques
• Principal Investigator: Miriam Celia Bergue Alves
• Grantee: Miriam Celia Bergue Alves
• Host Investigator: Doron Drusinsky
• Host Institution: Instituto de Aeronáutica e Espaço (IAE). Departamento de Ciência e Tecnologia Aeroespacial (DCTA). Ministério da Defesa (Brasil). São José dos Campos , SP, Brazil
• Institution abroad: Naval Postgraduate School (NPS), United States

Abstract

The need for superior specification and verification approaches for mission critical software systems and tools has grown exponentially over the last few years. As systems developed by industry and the government grow larger and more complex, the developer and client must have complete confidence that the design produced is correct, and that it meets formal development and verification standards. This need is intensified in the aerospace realm. This research proposes the development of a hybrid Verification and Validation (V&V) approach based on statecharts assertions and concolic testing for mission critical systems. In order to explore the strengths of both techniques, the approach will be applied in real space projects for a comparative analysis. This research will be developed in par with NPS, NASA Independent Verification and Validation Facility (NASA IV&V) e NASA Ames Research Center. The results have an immediate application in the space software projects of IAE's Launch Vehicle Program. (AU)

Scientific publications

(References retrieved automatically from Web of Science and SciELO through information on FAPESP grants and their corresponding numbers as mentioned in the publications by the authors)

BERGUE ALVES, MIRIAM C.; DRUSINSKY, DORON; MICHAEL, JAMES BRET; SHING, MAN-TAK. End-to-End Formal Specification, Validation, and Verification Process: A Case Study of Space Flight Software. IEEE SYSTEMS JOURNAL, v. 7, n. 4, p. 632-641, DEC 2013. (10/08173-3)