A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors / A time Petri net based approach for software synthesis in Hard Real-Time embedded systems with multiple processors

AUTOR(ES)
DATA DE PUBLICAÇÃO

2006

RESUMO

Atualmente, sistemas embarcados sÃo ubÃquos. Em outras palavras, eles estÃo em todos os lugares. Desde utilitÃrios domÃsticos (ex: fornos microondas, refrigeradores, videocassetes, mÃquinas de fax, mÃquinas de lavar roupa, alarmes) atà equipamentos militares (ex: mÃsseis guiados, satÃlites espiÃes, sondas espaciais, aeronaves), nÃs podemos encontrar um sistema embarcado. DesnecessÃrio afirmar que a vida humana tem se tornado mais e mais dependente desses sistemas. Alguns sistemas embarcados sÃo classificados como sistemas de tempo real, onde o comportamento correto depende nÃo somente da integridade dos resultados, mas tambÃm nos tempos em que tais resultados sÃo produzidos. Em sistemas embarcados de tempo real crÃticos, se as restriÃÃes temporais nÃo forem satisfeitas, as conseqÃÃncias podem ser desastrosas, incluindo grandes danos aos equipamentos ou mesmo perdas de vidas humanas. Devido a tarefas que possuem alta taxa de utilizaÃÃo de processador, alguns sistemas embarcados (ex: dispositivos mÃdicos) precisam ser compostos de mais de um processador para obter performance aceitÃvel e, no caso de sistemas embarcados de tempo real crÃticos, para satisfazer as restriÃÃes temporais crÃticas. Entretanto, questÃes adicionais precisam ser consideradas para lidar com um ambiente multiprocessado, tal como comunicaÃÃo entre processadores e sincronizaÃÃo. Nessa dissertaÃÃo, um mÃtodo de sÃntese de software baseado no formalismo matemÃtico redes de Petri com tempo à apresentado para lidar com sistemas embarcardos de tempo real crÃticos com mÃltiplos processadores. A abordagem inicia a partir de uma especificaÃÃo (usualmente composta de tarefas concorrentes e comunicantes) e automaticamente gera o cÃdigo fonte de um programa considerando: (i) as funcionalidades e restriÃÃes; e (ii) o suporte operacional para execuÃÃo das tarefas em um ambiente multiprocessado. SÃntese de software à uma alternativa para sistemas operacionais especializados para dar suporte a execuÃÃo de um programa. Sistemas operacionais sÃo usualmente genÃricos e podem introduzir atrasos no tempo de execuÃÃo, e ao mesmo tempo produzir alto consumo de memÃria. Por outro lado, a sÃntese de software à uma alternativa de projeto, dado que este mÃtodo automaticamente gera o cÃdigo fonte do programa, satisfazendo a funcionalidade, as restriÃÃes especificadas, o suporte para execuÃÃo, e a minimizaÃÃo dos atrasos e uso de memÃria

ASSUNTO(S)

ciencia da computacao multiple processors modelagem de sistemas mÃltiplos processadores software synthesis passagem de mensagens sistemas de tempo real crÃticos operating systems redes de petri ciÃncia da computaÃÃo sÃntese de software sistemas operacionais petri net

ACESSO AO ARTIGO

Documentos Relacionados