Treffer: Garantia da segurança crítica em sistemas complexos: uma abordagem orientada a riscos para o gerenciamento de recursos de comunicação em Sistemas de Transporte. Inteligentes Cooperativos (C-ITS). ; Safety critical assurance in complex systems: a risk-oriented approach to communication resources management in Cooperative Intelligent Transport Systems (C-ITS).

Sistemas de engenharia são projetados para atender necessidades específicas, benéficas à sociedade. Contudo, quando não atendem ao comportamento desejado, alguns destes sistemas podem produzir perdas inaceitáveis, como mortes, danos à saúde ao meio-ambiente e à propriedade. Desta forma, para que os benefícios esperados superem os riscos de perdas, estes sistemas críticos devem ser seguros ao longo de todo seu ciclo de vida. Um sistema pode ser considerado seguro se ele não causar danos enquanto opera em condições normais, bem como apresentar um nível aceitável de risco de segurança quando operar em situações anormais previstas. Desta forma, as situações inseguras que possam vir a ocorrer ao longo da vida útil do sistema devem ser sistematicamente identificadas e incorporadas por sua especificação. Assim, quando ocorrerem, o sistema poderá lidar com a situação de forma a manter os riscos de segurança em níveis aceitáveis. Por outro lado, caso alguma situação insegura não tenha sido prevista durante o projeto do sistema, sua manifestação terá potencial de causar danos devido ao sistema não estar preparado para tratá-la, reduzindo a capacidade de garantir a segurança deste sistema. Esse limitação é acentuada pela evolução no paradigma dos sistemas críticos em segurança. Tecnologias de comunicação e informação (ICT), sobretudo comunicação colaborativa e Inteligência Artificial, estão tornando estes sistemas inerentemente complexos. Nestes sistemas complexos de engenharia, as limitações intrínsecas na capacidade de se prever situações que possam ocorrer durante sua operação seja por modificação imprevisíveis no sistema ou no seu contexto de operação, seja por situações latentes não previstas produzem especificações incompletas, o que compromete a garantia da segurança destes sistemas. Portanto, o objetivo deste trabalho é obter uma abordagem que permita lidar, durante a operação, com situações inseguras imprevisíveis ou/e imprevistas no projeto, possibilitando garantir níveis aceitáveis de risco de segurança durante ...