Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java
Fecha
2016-03-29Metadatos
Mostrar el registro completo del ítemResumen
Em sistemas críticos de segurança, missão ou negócios o alto custo das falhas faz com
que sejam necessários o uso de métodos e técnicas para garantir a confiabilidade da aplicação.
É neste contexto que foram criadas linguagens formais como o Circus ou versões específicas de
linguagens como o Safety-Critical Java para facilitar a verificação e validação das aplicações
criadas e aumentar consequentemente a confiabilidade geral da aplicação. Apesar de aumentar
a confiabilidade, os sistemas modelados em linguagens formais não podem ser executados e
então precisam ser implementados em uma linguagem de programação tradicional. É nesse processo
de livre tradução do sistema especificado onde ocorrem a maioria dos erros que acabam
por não garantir que o código gerado esteja de acordo com a especificação. Baseando-se nessa
premissa o presente trabalho propõem-se a apresentar uma estratégia de tradução de modelos
escritos na linguagem Circus para programas executáveis na linguagem SCJ. Entre os principais
objetivos e contribuições do trabalho estão a criação das EBNFs das duas linguagens e a
descrição detalhada da tradução de todos os elementos entre as duas linguagens.
Colecciones
El ítem tiene asociados los siguientes ficheros de licencia: