Simulação e síntese de controladores paralelos a partir de especificações baseados em redes de Petri

As Redes de Petri (RdP) mostram-se uma metodologia poderosa na modelação de sistemas de eventos discretos. Tal deve-se, em grande medida, ao conjunto disponível de técnicas formais para análise estrutural e dinâmica dos sistemas modelados. Apresentam-se as vantagens na utilização de RdP, relativamente a outros paradigmas de modelação, na especificação de controladores com comportamento paralelo. São também propostas algumas alterações ao comportamento habitual das RdP, de forma a conseguir modelar eficientemente os controladores. É apresentado um novo ambiente de desenvolvimento que permite especificar, analisar, animar, simular e sintetizar estruturas de controlo digitais, a partir de uma RdP. Finalmente, é considerado e analisado detalhadamente um exemplo.Petri Nets prove to be an efficient methodology for modelling discrete-event systems with parallel activities. This is due to the availability of a set of formal techniques, for validation of the modelled system. The advantages on using Petri Nets in relation to other modelling paradigms are considered. Modifications to the standard PN behaviour are proposed which allow fast specification of synchronous parailel controllers. A new software framework is presented which allows complex parailel controllers, to be specified, analysed, animated, simulated and synthesized for a Petai Net-based controiler. The analysis of a detailed example doses this communication

Analyzing safety and fault tolerance using time Petri nets

The application of time Petri net modelling and analysis techniques to safety-critical real-time systems is explored and procedures described which allow analysis of safety, recoverability, and fault tolerance. These procedures can be used to help determine software requirements, to guide the use of fault detection and recovery procedures, to determine conditions which require immediate miti gating action to prevent accidents, etc. Thus it is possible to establish important properties duing the synthesis of the system and software design instead of using guesswork and costly a posteriori analysis

Fault Tolerant Bus Communication Protocols for Computer Systems

Naval Electronics Systems Command, VHSIC Program / N00039-80-C-0556Ope