Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java
Autor(a) principal: | |
---|---|
Data de Publicação: | 2016 |
Tipo de documento: | Dissertação |
Idioma: | por |
Título da fonte: | Manancial - Repositório Digital da UFSM |
Texto Completo: | http://repositorio.ufsm.br/handle/1/12039 |
Resumo: | At safety-critical, mission-critical and business-critical systems the high cost of failure makes required the use of methods and techniques to ensure application reliability. In this context, formal languages, as Circus or specific languages versions like Safety-Critical Java, were created to facilitate the verification and validation of applications so consequently assisting to increase the overall reliability. Despite of the reliability increase, the modeled systems in formal languages can not be executed subsequently has to be implemented in a traditional programming language. It is in this process of free translation where occur most mistakes that end up not ensuring that the generated code conforms to the specification. Based on that premise, this paper propose to expound a strategy of translation from models written in Circus language to executable programs in SCJ language. Among the main objectives and contributions include the creation of EBNFs of the two languages and the detailed description of the translation of all elements between the two languages. |
id |
UFSM_37de3cdac259530af213b65ad6382260 |
---|---|
oai_identifier_str |
oai:repositorio.ufsm.br:1/12039 |
network_acronym_str |
UFSM |
network_name_str |
Manancial - Repositório Digital da UFSM |
repository_id_str |
|
spelling |
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical JavaTranslation scheme for applications between the languages Circus and Safety Critical JavaSistemas críticosLinguagens formaisCircusSafety critical javaEsquema de traduçãoCritical systemsFormal languagesCircusSafety critical JavaTranslation schemeCNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAOAt safety-critical, mission-critical and business-critical systems the high cost of failure makes required the use of methods and techniques to ensure application reliability. In this context, formal languages, as Circus or specific languages versions like Safety-Critical Java, were created to facilitate the verification and validation of applications so consequently assisting to increase the overall reliability. Despite of the reliability increase, the modeled systems in formal languages can not be executed subsequently has to be implemented in a traditional programming language. It is in this process of free translation where occur most mistakes that end up not ensuring that the generated code conforms to the specification. Based on that premise, this paper propose to expound a strategy of translation from models written in Circus language to executable programs in SCJ language. Among the main objectives and contributions include the creation of EBNFs of the two languages and the detailed description of the translation of all elements between the two languages.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.Universidade Federal de Santa MariaBrasilCiência da ComputaçãoUFSMPrograma de Pós-Graduação em InformáticaCentro de TecnologiaSantos, Osmar Marchi doshttp://lattes.cnpq.br/3867718775277531Legg, Andrei Piccininihttp://lattes.cnpq.br/9873333807426188Perozzo, Reiner Franthescohttp://lattes.cnpq.br/0623222241801764Leidemer, Nathan2017-11-16T11:31:14Z2017-11-16T11:31:14Z2016-03-29info:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/masterThesisapplication/pdfhttp://repositorio.ufsm.br/handle/1/12039porAttribution-NonCommercial-NoDerivatives 4.0 Internationalhttp://creativecommons.org/licenses/by-nc-nd/4.0/info:eu-repo/semantics/openAccessreponame:Manancial - Repositório Digital da UFSMinstname:Universidade Federal de Santa Maria (UFSM)instacron:UFSM2022-06-27T11:50:53Zoai:repositorio.ufsm.br:1/12039Biblioteca Digital de Teses e Dissertaçõeshttps://repositorio.ufsm.br/ONGhttps://repositorio.ufsm.br/oai/requestatendimento.sib@ufsm.br||tedebc@gmail.comopendoar:2022-06-27T11:50:53Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM)false |
dc.title.none.fl_str_mv |
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java Translation scheme for applications between the languages Circus and Safety Critical Java |
title |
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java |
spellingShingle |
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java Leidemer, Nathan Sistemas críticos Linguagens formais Circus Safety critical java Esquema de tradução Critical systems Formal languages Circus Safety critical Java Translation scheme CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
title_short |
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java |
title_full |
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java |
title_fullStr |
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java |
title_full_unstemmed |
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java |
title_sort |
Esquema para a tradução de aplicações entre as linguagens Circus e Safety Critical Java |
author |
Leidemer, Nathan |
author_facet |
Leidemer, Nathan |
author_role |
author |
dc.contributor.none.fl_str_mv |
Santos, Osmar Marchi dos http://lattes.cnpq.br/3867718775277531 Legg, Andrei Piccinini http://lattes.cnpq.br/9873333807426188 Perozzo, Reiner Franthesco http://lattes.cnpq.br/0623222241801764 |
dc.contributor.author.fl_str_mv |
Leidemer, Nathan |
dc.subject.por.fl_str_mv |
Sistemas críticos Linguagens formais Circus Safety critical java Esquema de tradução Critical systems Formal languages Circus Safety critical Java Translation scheme CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
topic |
Sistemas críticos Linguagens formais Circus Safety critical java Esquema de tradução Critical systems Formal languages Circus Safety critical Java Translation scheme CNPQ::CIENCIAS EXATAS E DA TERRA::CIENCIA DA COMPUTACAO |
description |
At safety-critical, mission-critical and business-critical systems the high cost of failure makes required the use of methods and techniques to ensure application reliability. In this context, formal languages, as Circus or specific languages versions like Safety-Critical Java, were created to facilitate the verification and validation of applications so consequently assisting to increase the overall reliability. Despite of the reliability increase, the modeled systems in formal languages can not be executed subsequently has to be implemented in a traditional programming language. It is in this process of free translation where occur most mistakes that end up not ensuring that the generated code conforms to the specification. Based on that premise, this paper propose to expound a strategy of translation from models written in Circus language to executable programs in SCJ language. Among the main objectives and contributions include the creation of EBNFs of the two languages and the detailed description of the translation of all elements between the two languages. |
publishDate |
2016 |
dc.date.none.fl_str_mv |
2016-03-29 2017-11-16T11:31:14Z 2017-11-16T11:31:14Z |
dc.type.status.fl_str_mv |
info:eu-repo/semantics/publishedVersion |
dc.type.driver.fl_str_mv |
info:eu-repo/semantics/masterThesis |
format |
masterThesis |
status_str |
publishedVersion |
dc.identifier.uri.fl_str_mv |
http://repositorio.ufsm.br/handle/1/12039 |
url |
http://repositorio.ufsm.br/handle/1/12039 |
dc.language.iso.fl_str_mv |
por |
language |
por |
dc.rights.driver.fl_str_mv |
Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ info:eu-repo/semantics/openAccess |
rights_invalid_str_mv |
Attribution-NonCommercial-NoDerivatives 4.0 International http://creativecommons.org/licenses/by-nc-nd/4.0/ |
eu_rights_str_mv |
openAccess |
dc.format.none.fl_str_mv |
application/pdf |
dc.publisher.none.fl_str_mv |
Universidade Federal de Santa Maria Brasil Ciência da Computação UFSM Programa de Pós-Graduação em Informática Centro de Tecnologia |
publisher.none.fl_str_mv |
Universidade Federal de Santa Maria Brasil Ciência da Computação UFSM Programa de Pós-Graduação em Informática Centro de Tecnologia |
dc.source.none.fl_str_mv |
reponame:Manancial - Repositório Digital da UFSM instname:Universidade Federal de Santa Maria (UFSM) instacron:UFSM |
instname_str |
Universidade Federal de Santa Maria (UFSM) |
instacron_str |
UFSM |
institution |
UFSM |
reponame_str |
Manancial - Repositório Digital da UFSM |
collection |
Manancial - Repositório Digital da UFSM |
repository.name.fl_str_mv |
Manancial - Repositório Digital da UFSM - Universidade Federal de Santa Maria (UFSM) |
repository.mail.fl_str_mv |
atendimento.sib@ufsm.br||tedebc@gmail.com |
_version_ |
1805922040302010368 |