Formal Synthesis of Safety Controller Code for Distributed Controllers

Formal Synthesis of Safety Controller Code for Distributed Controllers
Author :
Publisher : Logos Verlag Berlin GmbH
Total Pages : 161
Release :
ISBN-10 : 9783832531478
ISBN-13 : 3832531475
Rating : 4/5 (78 Downloads)

Book Synopsis Formal Synthesis of Safety Controller Code for Distributed Controllers by : Dirk Missal

Download or read book Formal Synthesis of Safety Controller Code for Distributed Controllers written by Dirk Missal and published by Logos Verlag Berlin GmbH. This book was released on 2012 with total page 161 pages. Available in PDF, EPUB and Kindle. Book excerpt: Modern control systems in manufacturing are characterized by rising complexity in size and functionality. They are highly decentralized and constitute a network of physically and functionally distributed controllers collaborating to perform the control tasks. That goes along with a further growing demand on safety and reliability. A distributed control architecture supporting functional decomposition of large systems as well as accommodating flexibility of modular systems is defined. This work describes the formal synthesis of distributed control functions for the sub area of safety requirements. The formal synthesis is applied to avoid the potentially faulty influence of human work through the whole process from the formal specification to the executable control function. Starting points are a formal model of the uncontrolled plant behavior and a formal specification of forbidden behavior. The formulation of the specification and the modeling is exemplified on a manufacturing system in lab-scale. The introduced synthesis methods produce controller models describing the correct control actions to achieve the given specification. The methods use symbolic backward search from a forbidden state to determine the last admissible state before entering an uncontrollable trajectory to a forbidden state. Hence, the determination of the reachable state space is avoided to reduce the computational complexity. The use of partial markings leads to a further reduction. The complexity is an important obstacle for the use of formal methods on real-scale applications. The monolithic synthesis approach is proven to result in maximally permissive results. The modular approach is not maximally permissive but the more efficient way to distributed control functions. The implementation of the generated controller model as executable Function Blocks according to IEC61499 is addressed in the last part of this work. The distributed control predicates are embedded as structured text instruction into different interacting Function Block types according to the distributed control structure. This last step finalizes the sequence from a formal model and the specification to fully automatically-generated executable control code.


Formal Synthesis of Safety Controller Code for Distributed Controllers Related Books

Formal Synthesis of Safety Controller Code for Distributed Controllers
Language: en
Pages: 161
Authors: Dirk Missal
Categories: Computers
Type: BOOK - Published: 2012 - Publisher: Logos Verlag Berlin GmbH

DOWNLOAD EBOOK

Modern control systems in manufacturing are characterized by rising complexity in size and functionality. They are highly decentralized and constitute a network
Technologies for Engineering Manufacturing Systems Control in Closed Loop
Language: en
Pages: 148
Authors: Sebastian Preuße
Categories: Computers
Type: BOOK - Published: 2013 - Publisher: Logos Verlag Berlin GmbH

DOWNLOAD EBOOK

Diese Arbeit stellt ein Analyserahmenwerk vor, welches zur Uberprufung des korrekten Verhaltens eines technischen Systems eingesetzt wird. Im Fokus steht dabei
Distributed Computing and Internet Technology
Language: en
Pages: 475
Authors: Raja Natarajan
Categories: Computers
Type: BOOK - Published: 2015-01-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 11th International Conference on Distributed Computing and Internet Technology, ICDCIT 2015, held in Bhuba
Coordination Models and Languages
Language: en
Pages: 205
Authors: Eva Kühn
Categories: Computers
Type: BOOK - Published: 2014-05-22 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 16th International Conference on Coordination Models and Languages, COORDINATION 2014, held in Berlin, Germany, in
NASA Formal Methods
Language: en
Pages: 410
Authors: Julia M. Badger
Categories: Computers
Type: BOOK - Published: 2019-05-28 - Publisher: Springer

DOWNLOAD EBOOK

This book constitutes the proceedings of the 11th International Symposium on NASA Formal Methods, NFM 2019, held in Houston, TX, USA, in May 2019. The 20 full a