FRAMEWORK PARA O DESENVOLVIMENTO DE PROGRAMAS DE CONTROLES DE SIS BASEADO NA NORMA IEC 61511

[1]  A. Andrade,et al.  Specification of supervisory control systems for ventricular assist devices. , 2011, Artificial organs.

[2]  Pedro Manuel González del Foyo,et al.  Towards a unified view of petri nets and object oriented modeling , 2003 .

[3]  Hai Wan,et al.  A Refinement-Based Validation Method for Programmable Logic Controllers , 2010, 2010 10th International Conference on Quality Software.

[4]  MengChu Zhou,et al.  Petri nets and industrial applications: A tutorial , 1994, IEEE Trans. Ind. Electron..

[5]  Jean-François Aubry,et al.  A Fuzzy Probabilistic Approach for Determining Safety Integrity Level , 2008, IEEE Transactions on Fuzzy Systems.

[6]  Tadao Murata,et al.  Petri nets: Properties, analysis and applications , 1989, Proc. IEEE.

[7]  Georg Frey,et al.  Formalization of existing PLC Programs: A Survey , 2003 .

[8]  R. Kretschmann,et al.  INTERNATIONAL ELECTROTECHNICAL COMMISSION TECHNICAL COMMITTEE No. 65B: INDUSTRIAL-PROCESS MEASUREMENT AND CONTROL WORKING GROUP 7/TASK FORCE 3: PROGRAMMING LANGUAGES FOR PROGRAMMABLE CONTROLLERS (IEC 61131-3, -8) MINUTES OF MEETING , 2007 .

[9]  Devinder Thapa,et al.  Transformation from Petri Nets Model to Programmable Logic Controller using One-to-One Mapping Technique , 2005, International Conference on Computational Intelligence for Modelling, Control and Automation and International Conference on Intelligent Agents, Web Technologies and Internet Commerce (CIMCA-IAWTIC'06).

[10]  Michel Diaz,et al.  Petri Nets: Fundamental Models, Verification and Applications , 2009 .

[11]  Kouji Takahashi,et al.  A Programming Language for Discrete Event Production Systems Based on Production Flow Schema and Mark Flow Graph , 1988 .

[12]  Reinhold Plösch,et al.  Towards an Operational Safety Standard for Software: Modelling IEC 61508 Part 3 , 2011, 2011 18th IEEE International Conference and Workshops on Engineering of Computer-Based Systems.

[13]  Chengyin Yuan,et al.  Hardware-In-The-Loop for Manufacturing Automation Control: Current Status and Identified Needs , 2007, 2007 IEEE International Conference on Automation Science and Engineering.

[14]  R. Bell,et al.  IEC 61508: functional safety of electrical/electronic/ programme electronic safety-related systems: overview , 1999 .

[15]  F. Junqueira,et al.  Development of Control Systems for Safety Instrumented Systems , 2011, IEEE Latin America Transactions.

[16]  Rajeev Alur,et al.  Model-checking for real-time systems , 1990, [1990] Proceedings. Fifth Annual IEEE Symposium on Logic in Computer Science.

[17]  Emanuele Carpanzano,et al.  An integrated framework for Model-based Design and Verification of discrete automation solutions , 2011, 2011 9th IEEE International Conference on Industrial Informatics.

[18]  Jonathan Billington,et al.  8.3.1 A New Graphical Systems Engineering International Standard: ISO/IEC 15909 for High‐level Petri Nets , 2001 .