Please use this identifier to cite or link to this item:

TitleSafe controllers design for industrial automation systems
Author(s)Machado, José Manuel
Seabra, Eurico
Campos, J. Creissac
Soares, Filomena
Leão, Celina Pinto
KeywordsIndustrial systems behaviour modelling
Safe controllers
Formal verification
Real-time systems
Issue dateMay-2011
PublisherPergamon-Elsevier Science Ltd
JournalComputers & Industrial Engineering
Abstract(s)The design of safe industrial controllers is one of the most important domains related to Automation Systems research. To support it, synthesis and analysis techniques are available. Among the analysis techniques, two of the most important are Simulation and Formal Verification. In this paper these two techniques are used together in a complementary way. Understanding plant behaviour is essential for obtaining safe industrial systems controllers; hence, plant modelling is crucial to the success of these techniques. A two step approach is presented: first, the use of Simulation and, second, the use of Formal Verification of Industrial Systems Specifications. The specification and plant models used for each technique are described. Simulation and Formal Verification results are presented and discussed. The approach presented in the paper can be applied to real industrial systems, and obtain safe controllers for hybrid plants. The Modelica modelling language and Dymola simulation environment are used for Simulation purposes, and Timed Automata formalism and the UPPAAL real-time model-checker are used for Formal Verification purposes.
Publisher version
AccessRestricted access (UMinho)
Appears in Collections:DI/CCTC - Artigos (papers)

Files in This Item:
File Description SizeFormat 
  Restricted access
Artigo1,29 MBAdobe PDFView/Open    Request a copy!

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID