Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização.
No contexto restritivo dos sistemas embarcados de tempo real críticos, a geração de código escalonado mostra-se uma maneira eficiente de proporcionar previsibilidade e demais garantias exigidas por tais sistemas. Entretanto, a geração de código escalonado pressupõe conhecimento prévio da ordem em qu...
| Autor principal: | Freitas, Romulo Devezas |
|---|---|
| Outros Autores: | http://lattes.cnpq.br/2196959826111097 |
| Grau: | Dissertação |
| Idioma: | por |
| Publicado em: |
Universidade Federal do Amazonas
2015
|
| Assuntos: | |
| Acesso em linha: |
http://tede.ufam.edu.br/handle/tede/2938 |
| id |
oai:https:--tede.ufam.edu.br-handle-:tede-2938 |
|---|---|
| recordtype |
dspace |
| spelling |
oai:https:--tede.ufam.edu.br-handle-:tede-29382016-04-22T14:34:31Z Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. Scale synthesis using maximum step semantic on Petri Web. Freitas, Romulo Devezas Barreto, Raimundo da Silva http://lattes.cnpq.br/2196959826111097 http://lattes.cnpq.br/1132672107627968 Semântica de Passo, Redes de Petri, Escalonamento Estático, Síntese Software. Semântica de Passo Redes de Petri Escalonamento Estático Síntese Software Step semantic Petri Web Synthesis of software CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO No contexto restritivo dos sistemas embarcados de tempo real críticos, a geração de código escalonado mostra-se uma maneira eficiente de proporcionar previsibilidade e demais garantias exigidas por tais sistemas. Entretanto, a geração de código escalonado pressupõe conhecimento prévio da ordem em que as tarefas devem ser executadas. Assim, a síntese de escalonamento é peça chave em um metodologia para síntese de software neste ambiente. Este trabalho apresenta uma abordagem para síntese de escalonamento estático utilizando semântica de passo máximo em redes de Petri com temporização. Este trabalho está inserido no contexto de uma metodologia para síntese de software de sistemas embarcados de tempo real críticos. Em linhas gerais, essa metodologia compreende (i) a especificação do sistema; (ii) a transformação da especificação em um modelo formal baseado em rede de Petri; (iii) a síntese de escalonamento baseada neste modelo e (iv) a geração de código escalonado. No escopo da síntese de escalonamento, este trabalho propõe um conjunto de definições que caracterizam uma estratégia de disparo de passo máximo sobre redes de Petri com temporização, e aplica estas definições na síntese de escalonamento estático para sistemas embarcados de tempo real críticos. Os resultados obtidos nos experimentos apresentados indicam a viabilidade da aplicação da semântica de passo máximo proposta, demonstrando melhorias de desempenho relacionadas ao tempo de execução e ao volume de informação processada. Adicionalmente, além da apresentação de uma abordagem de passo máximo para síntese de escalonamento, este trabalho ainda propõe algumas melhorias e aperfeiçoamentos na metodologia e no modelo adotados como base. 2015-04-11T14:03:05Z 2007-07-06 2005-12-01 Dissertação FREITAS, Romulo Devezas. Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. 2005. 127 f. Dissertação (Mestrado em Informática) - Universidade Federal do Amazonas, Manaus, 2005. http://tede.ufam.edu.br/handle/tede/2938 por Acesso Aberto application/pdf Universidade Federal do Amazonas Instituto de Computação BR UFAM Programa de Pós-graduação em Informática |
| institution |
TEDE - Universidade Federal do Amazonas |
| collection |
TEDE-UFAM |
| language |
por |
| topic |
Semântica de Passo, Redes de Petri, Escalonamento Estático, Síntese Software. Semântica de Passo Redes de Petri Escalonamento Estático Síntese Software Step semantic Petri Web Synthesis of software CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO |
| spellingShingle |
Semântica de Passo, Redes de Petri, Escalonamento Estático, Síntese Software. Semântica de Passo Redes de Petri Escalonamento Estático Síntese Software Step semantic Petri Web Synthesis of software CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO Freitas, Romulo Devezas Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. |
| topic_facet |
Semântica de Passo, Redes de Petri, Escalonamento Estático, Síntese Software. Semântica de Passo Redes de Petri Escalonamento Estático Síntese Software Step semantic Petri Web Synthesis of software CIÊNCIAS EXATAS E DA TERRA: CIÊNCIA DA COMPUTAÇÃO |
| description |
No contexto restritivo dos sistemas embarcados de tempo real críticos, a geração de código escalonado mostra-se uma maneira eficiente de proporcionar previsibilidade e demais garantias exigidas por tais sistemas. Entretanto, a geração de código escalonado pressupõe conhecimento prévio da ordem em que as tarefas devem ser executadas. Assim, a síntese
de escalonamento é peça chave em um metodologia para síntese de software neste ambiente. Este trabalho apresenta uma abordagem para síntese de escalonamento estático
utilizando semântica de passo máximo em redes de Petri com temporização. Este trabalho está inserido no contexto de uma metodologia para síntese de software de sistemas embarcados de tempo real críticos. Em linhas gerais, essa metodologia compreende (i) a especificação do sistema; (ii) a transformação da especificação em um modelo formal baseado em rede de Petri; (iii) a síntese de escalonamento baseada neste modelo e (iv) a geração de código escalonado.
No escopo da síntese de escalonamento, este trabalho propõe um conjunto de definições que caracterizam uma estratégia de disparo de passo máximo sobre redes de Petri com
temporização, e aplica estas definições na síntese de escalonamento estático para sistemas embarcados de tempo real críticos. Os resultados obtidos nos experimentos apresentados indicam a viabilidade da aplicação da semântica de passo máximo proposta, demonstrando melhorias de desempenho relacionadas ao tempo de execução e ao volume de informação processada. Adicionalmente, além da apresentação de uma abordagem de passo máximo para
síntese de escalonamento, este trabalho ainda propõe algumas melhorias e aperfeiçoamentos na metodologia e no modelo adotados como base. |
| author_additional |
Barreto, Raimundo da Silva |
| author_additionalStr |
Barreto, Raimundo da Silva |
| format |
Dissertação |
| author |
Freitas, Romulo Devezas |
| author2 |
http://lattes.cnpq.br/2196959826111097 |
| author2Str |
http://lattes.cnpq.br/2196959826111097 |
| title |
Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. |
| title_short |
Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. |
| title_full |
Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. |
| title_fullStr |
Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. |
| title_full_unstemmed |
Síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. |
| title_sort |
síntese de escalas utilizando semântica de passo máximo em redes de petri com temporização. |
| publisher |
Universidade Federal do Amazonas |
| publishDate |
2015 |
| url |
http://tede.ufam.edu.br/handle/tede/2938 |
| _version_ |
1831969074464161792 |
| score |
11.753735 |