Verification Scenarios for Databases in Safety-Critical Systems

• Sarasuaty Megume Hayashi Yelisetty ITA
• Johnny Marques ITA

DOI: https://doi.org/10.5753/wamps.2024.33369

Resumo

Este artigo apresenta cenários de verificação abrangentes para bancos de dados em sistemas críticos de segurança, abordando os desafios únicos de ambientes regulatórios rigorosos. Ao propor quatro cenários de verificação distintos, este trabalho garante que os bancos de dados utilizados nesses sistemas atendam a padrões rigorosos de completude, correção e rastreabilidade, conforme exigido pela RTCA DO-178C. Os cenários incluem o teste de bancos de dados com software de aplicação, o uso de ferramentas qualificáveis de processamento de dados e detecção de erros, e a aplicação de ferramentas de processamento de dados independentes. A abordagem proposta aprimora a robustez e a confiabilidade dos bancos de dados, contribuindo significativamente para a segurança e integridade dos sistemas críticos, onde a qualidade dos dados é primordial.

Referências

Barros, L., Hirata, C., Marques, J., and Ambrosio, A. M. (2020). Generating test cases to evaluate and improve processes of safety-critical systems development. In 2020 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW), pages 311–318.

Gao, J., Xie, C., and Tao, C. (2016). Big data validation and quality assurance–issues, challenges, and needs. In 2016 IEEE Symposium on Service-Oriented System Engineering (SOSE), pages 433–441.

Hernandes, M. (2013). Database Design for Mere Mortals: A Hands-On Guide to Relational Database Design. Addison-Wesley Professional.

Institute of Electrical and Electronics Engineers (1987). IEEE 610.2 Standard Glossary of Computer Applications Terminology.

Marques, J. and da Cunha, A. M. (2017). Verification scenarios of onboard databases under the rtca do-178c and the rtca do-200b. In 2017 IEEE/AIAA 36th Digital Avionics Systems Conference (DASC).

Marques, J. C. and Cunha, A. M. (2019). Ares: An agile requirements specification process for regulated environment. International Journal of Software Engineering and Knowledge Engineering, 29(10):1403–1438.

Rierson, L. (2013). Developing Safety-Critical Software: A Pratical Guide for Aviation Software and DO-178C Compliance. CRC Press.

RTCA (2011a). Do-178c software considerations in airborne systems and equipment certification.

RTCA (2011b). Do-330 software tool qualification considerations.

Woodall, P., Parlikad, A., and A. Koronios, A. (2015). Classifying Data Quality Problems in Asset Management. Springer International Publishing.

Xie, C., Gao, J., and Tao, C. (2017). Big data validation case study. In 3rd IEEE International Conference on Big Data Computing Service and Applications.