A apresentação está carregando. Por favor, espere

A apresentação está carregando. Por favor, espere

Modelagem do Controle para detectar Deadlock e restabelecer o fluxo processo utilizando Maq.Ferramenta Multifuncional. Prof. OSVALDO LUIS ASATO 2007.

Apresentações semelhantes


Apresentação em tema: "Modelagem do Controle para detectar Deadlock e restabelecer o fluxo processo utilizando Maq.Ferramenta Multifuncional. Prof. OSVALDO LUIS ASATO 2007."— Transcrição da apresentação:

1 Modelagem do Controle para detectar Deadlock e restabelecer o fluxo processo utilizando Maq.Ferramenta Multifuncional. Prof. OSVALDO LUIS ASATO 2007

2 INTRODUÇÃO Sistemas Flexíveis de Manufatura (FMS) Características: Realiza vários processos simultâneos. Recursos de Transformação Flexíveis. Recursos compartilhados. Constante disputa de recursos por processos

3 Recursos compartilhados. Constante disputa do recurso por processos INTRODUÇÃO/ MOTIVAÇÃO Pode ocorrer Deadlock (Travamento)

4 O que é ? MOTIVAÇÃO Deadlock (Travamento)

5 Deadlock é caracterizado quando o fluxo das atividades são permanentemente impedido devido a indisponibilidade de Materiais, Recursos, e ou informações. (NAKAMOTO, F.Y. 2002) MOTIVAÇÃO

6 Exemplo Proc.A Proc.B Proc.C Sistema com três Processos

7 Part Flow Deadlock Recurso R1 Processando A Recurso R3 Processando C Recurso R2 Processando B Processo A Solicita Recurso R2 Processo C Solicita Recurso R1 Processo A Processo B Processo C Legenda Fig.1: Part Flow Deadlock Processo B Solicita Recurso R3

8 Condições necessárias e suficientes para configurar Deadlock (Isloor e Marsland, 1980; Banaszak,1990; Cho, 1993; Santos Filho, 2000) Mútua Exclusão: Cada processo requisita uso exclusivo do recurso, o recurso está disponível ou alocado a um processo; Retenção enquanto aguarda: Enquanto o recurso solicitado não for liberado o processo não libera o recurso por ele alocado; Não há preempção: um recurso poderá ser liberado somente pelo processo que o alocou; Espera Circular: é um ciclo fechado do processo (ou processos) aguardando a liberação de recursos alocados pelo processo (ou processos) pertencente à mesma cadeia cíclica (ciclo de espera) (Isloor e Marsland, 1980; Banaszak,1990; Cho, 1993; Santos Filho, 2000)

9 Maquina Ferramenta Multifuncional (MFM) A Maquina Ferramenta Multifuncional (MFM) é um recurso de transformação que possui duas ou mais funcionalidades na mesma maquina, por exemplo, possui as funções de fresar e tornear determinadas famílias de peças.

10 Exemplo: Detecção e Solução Deadlock. PROCESSOSEQÜÊNCIA DE FUNCIONALIDADES A B C F1 F2 F3 F4 F2 F1 F5 F6 F6 F5 F3 F7 G EF4 F8 F8 F3 A0 G2 G1 G0 E2 E1 E0 C6 C5 C2 C1 C0 B4 B3 B2 B1 A2 A3A4 CWL AinF1F2F3F4Aout Bout CinF5F6F8 Bin Ein Gout F7Cout EoutGin A1 B0 CWL

11 Exemplo: Detecção e Solução Deadlock. Circular Waiting Looping F4 F8 A2 A3 A4 E0 E2 E1 G0 G1 Gin G2 Gout F3 Circular Waiting Looping F4 F8 A2 A3 A4 E0 E2 E1 G0 G1 MFM Gin G2 Gout F3

12 Fundamentos do MFG (deriva Rede de Petri) ferramenta de modelagem Box Transição Arco Marca e box elemento externo Porta e transição habilitadora Porta e transição inibidora Arco de sinal de saída e box Mark Flow Graph ( HASEGAWA et al. [1984], MIYAGI [1996] )

13 Exemplo: Detecção e Solução Deadlock com uso MFM. E2 G1 G0 E1 A3 A4 E0 G0 Gin G2 Gout A2 IF (F3(A) and F4(E) and F8(G)) Then G0 =False G1 =True G1=False Else G1 =True G0 =True G1 =False Algoritmo de controle F3 F4 F8 MFM

14 Exemplo: Uso MFM para resolver Deadlock. E2 G1 G0 E1 A3 A4 E0 G0 Gin G2 Gout A2 IF (F3(A) and F4(E) and F8(G)) Then G0 =False G1 =True G1=False Else G1 =True G0 =True G1 =False Algoritmo de controle F3 F4 F8 MFM

15 Modelo de Controle. Grafo de Alocação da Funcionalidade (GAF) Grafo dos Processos Grafo de Alocação do Recurso (GAR)


Carregar ppt "Modelagem do Controle para detectar Deadlock e restabelecer o fluxo processo utilizando Maq.Ferramenta Multifuncional. Prof. OSVALDO LUIS ASATO 2007."

Apresentações semelhantes


Anúncios Google