Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL (2009)
- Authors:
- USP affiliated authors: GONÇALVES, FELIPE ALMEIDA - EP ; CHI, SU YUN - EP
- Unidade: EP
- Sigla do Departamento: PMR
- Assunto: SISTEMAS FLEXÍVEIS DE MANUFATURA
- Language: Português
- Abstract: O controle de sistemas flexíveis de manufatura (FMSs) precisa ser validado e verificado antes de ser executado em chão de fábrica. Considerando que o FMS envolve processos e estrutura que podem ser controlados por uma sistema de controle modular, o presente projeto visa a criação de uma biblioteca de modelos formais de componentes do FMS, além de uma proposta de construção do modelo de controle supervisório, que auxiliem num procedimento sistematizado de modelagem do sistema global do FMS, com o uso da ferramenta UPPAAL que tem como principal recurso o seu eficiente algoritmo de verificação. A linguagem utilizada pela ferramenta baseia-se em autômatos temporizados estendidos e sua lógica de verificação é uma versão simplificada da CTL (computational tree logic). Visto que o universo dos componentes de um FMS é muito amplo, o presente trabalho limitou-se a considerar três classes fundamentais: dispositivos de transformação, manipulação e transporte. Com estas, é possível descrever o funcionamento de uma grande variedade de FMSs. A modelagem proposta para o sistema de controle é constituída por dois módulos: o módulo de controle dos processos, onde cada autômato descreve a seqüência de atividades para a fabricação de um determinado produto, e o módulo de supervisão que controla o processo global. O processo de verificação é realizado a partir da análise da interação entre estes módulos de controle e os modelos funcionais dos componentes presentes no FMS.
- Imprenta:
-
ABNT
GONÇALVES, Felipe Almeida e CHI, Su Yun. Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL. 2009. Trabalho de Conclusão de Curso (Graduação) – Escola Politécnica, Universidade de São Paulo, São Paulo, 2009. Disponível em: https://bdta.abcd.usp.br/directbitstream/df202f3f-c5fc-47b2-a260-fb5a83527dcc/FELIPE%20ALMEIDA%20GON%C3%87ALVES%20PMR09.pdf. Acesso em: 19 mar. 2025. -
APA
Gonçalves, F. A., & Chi, S. Y. (2009). Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL (Trabalho de Conclusão de Curso (Graduação). Escola Politécnica, Universidade de São Paulo, São Paulo. Recuperado de https://bdta.abcd.usp.br/directbitstream/df202f3f-c5fc-47b2-a260-fb5a83527dcc/FELIPE%20ALMEIDA%20GON%C3%87ALVES%20PMR09.pdf -
NLM
Gonçalves FA, Chi SY. Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL [Internet]. 2009 ;[citado 2025 mar. 19 ] Available from: https://bdta.abcd.usp.br/directbitstream/df202f3f-c5fc-47b2-a260-fb5a83527dcc/FELIPE%20ALMEIDA%20GON%C3%87ALVES%20PMR09.pdf -
Vancouver
Gonçalves FA, Chi SY. Sistematização do processo de verificação de FMS a partir de modelos formais em UPPAAL [Internet]. 2009 ;[citado 2025 mar. 19 ] Available from: https://bdta.abcd.usp.br/directbitstream/df202f3f-c5fc-47b2-a260-fb5a83527dcc/FELIPE%20ALMEIDA%20GON%C3%87ALVES%20PMR09.pdf
Download do texto completo
| Tipo | Nome | Link | |
|---|---|---|---|
 |
FELIPE ALMEIDA GONÇALVES... | Direct link |
How to cite
A citação é gerada automaticamente e pode não estar totalmente de acordo com as normas
