Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real
| العنوان: | Prototipagem e implementação de especificações LOTOS utilizando um ambiente para desenvolvimento de sistemas de tempo real |
|---|---|
| المؤلفون: | Medeiros, Eilson Barbosa |
| المساهمون: | Magalhães, Mauricio Ferreira, 1951, Universidade Estadual de Campinas. Faculdade de Engenharia Elétrica, Programa de Pós-Graduação em Engenharia Elétrica, UNIVERSIDADE ESTADUAL DE CAMPINAS |
| المصدر: | Biblioteca Digital de Teses e Dissertações da Universidade Estadual de Campinas (UNICAMP) Universidade Estadual de Campinas (UNICAMP) instacron:UNICAMP |
| بيانات النشر: | Universidade Estadual de Campinas - Repositorio Institucional, 2021. |
| سنة النشر: | 2021 |
| مصطلحات موضوعية: | Linguagem orientada a objetos, Processamento eletrônico de dados em tempo real, Linguagem de programação (Computadores), Computadores |
| الوصف: | Orientador: Mauricio Ferreira Magalhães Dissertação (mestrado) - Universidade Estadual de Campinas, Faculdade de Engenharia Eletrica Resumo: O processo de projeto e realização de sistemas é uma tarefa não trivial principalmente quando consideramos o desenvolvimento de sistemas complexos. Uma proposta que tem sido recentemente discutida é a definição de uma metodologia baseada em técnicas de descrição formais, para suportar as diversas etapas do processo de projeto e realização de sistemas. Segundo esta metodologia, inicialmente serão trabalhadas as características arquiteturais do sistema. Numa segunda fase, a partir da arquitetura definida na fase arquiteturaI, serão detalhados os aspectos voltados à realização do sistema. De acordo com esta metodologia uma vez tendo sido obtida uma arquitetura suficientemente expressiva do sistema, a especificação que descreve esta arquitetura deverá ser traduzi da para uma especificação em um ambiente de implementação para que os aspectos relativos à realização possam então ser explorados. Neste trabalho consideramos as questões envolvidas no procedimento de tradução. Uma metodologia de mapeamento é discutida e implementada. Utilizamos, de forma particular, LOTOS como linguagem de especificação na fase arquitetura I e o ambiente de implementação de sistemas de tempo real - STER - como ambiente de desenvolvimento da fase de realização. Um exemplo é elaborado para avaliar a viabilidade da metodologia proposta Abstract: Not informed. Mestrado Mestre em Engenharia Elétrica |
| وصف الملف: | application/pdf; 1v. (varias paginações) : il. |
| DOI: | 10.47749/t/unicamp.1991.85094 |
| URL الوصول: | https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0db60b5dd639f45e87b56dc0551ca1b1 https://doi.org/10.47749/t/unicamp.1991.85094 |
| Rights: | OPEN |
| رقم الانضمام: | edsair.doi.dedup.....0db60b5dd639f45e87b56dc0551ca1b1 |
| قاعدة البيانات: | OpenAIRE |
| DOI: | 10.47749/t/unicamp.1991.85094 |
|---|