PRE-BDC: Processo de Especificação de Banco de Dados em Sistemas Críticos

Autores

DOI:

https://doi.org/10.12957/cadinf.2021.67098

Resumo

O software de sistemas críticos em segurança, incluindo banco de dados, requer processos robustos de especificação, desenvolvimento, validação, verificação, gerenciamento de configuração e garantia de qualidade.   A pesquisa reportada neste trabalho, em seu estágio atual, propõe a criação de um processo de especificação e validação de requisitos para bancos de dados em sistemas críticos. A metodologia utilizada envolve a condução de uma Re visão Sistemática da Literatura em processos de especificação de bancos de dados. Adicionalmente, inclui-se um diagrama do processo de especificação e validação de requisitos para bancos de dados em sistemas críticos que inclui a criação dos cenários de validação de requisitos. Espera-se que o processo possa ser utilizado por empresas desenvolvedoras de sistemas críticos e apresentará rastreabilidade para as necessidades regulatórias de alguns domínios selecionados como o aeronáutico, médico e ferroviário. Adicionalmente, o processo também permitirá uma construção organizada de bancos de dados orientados por requisitos, visando a mitigação de erros inseridos em sua construção e mecanismos de garantias desde a especificação até a integração com o software de aplicação.

Downloads

Não há dados estatísticos.

Biografia do Autor

Johnny Marques, Instituto Tecnológico de Aeronáutica (ITA)

Doutor no programa de Doutorado em Engenharia Eletrônica e Computação, Área Informática pelo Instituto Tecnológico de Aeronáutica. Possui graduação em Engenharia Elétrica e Computação pela Universidade do Estado do Rio de Janeiro (2002). É mestre em Engenharia Aeronáutica na área de Sistemas Aeroespaciais e Mecatrônica pelo Instituto Tecnológico de Aeronáutica (2004). É Professor Adjunto na Divisão de Ciência de Computação do Instituto Tecnológico de Aeronáutica (ITA). Foi engenheiro de desenvolvimento de produto da EMBRAER ( Empresa Brasileira de Aeronáutica S/A), atuando principalmente nos seguintes temas: certificação de software embarcado, definição de processos de desenvolvimento de software embarcado, uso de software embarcado em plataformas de aeronaves civis e militares. É especialista em padrões de desenvolvimento de software e dispositivos de lógica programável embarcados voltado para a aviação civil e outros padrões para sistemas safety-critical como a DO-178C, DO-200B, ISO 12207, ISO 62304, IEC 61508, ISO 13485 e DO-254. Pesquisador em Engenharia de Software, Linguagens de Programação e Métodos Ágeis.

Downloads

Publicado

2022-06-28

Como Citar

Yelisetty, S., Marques, J., & Dias, L. A. V. (2022). PRE-BDC: Processo de Especificação de Banco de Dados em Sistemas Críticos. Cadernos Do IME - Série Informática, 46, 8–18. https://doi.org/10.12957/cadinf.2021.67098

Edição

v. 46 (2021)

Seção

Artigos

Artigos mais lidos pelo mesmo(s) autor(es)