Conception of a Control Unit for Critical Systems

Sałamaj, Marek

doi:10.2478/eletel-2013-0044

Cited by 2 publications

(2 citation statements)

References 6 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…It can be performed with any HDL simulator. Additionally, dual models could be use in implementation of logic controllers for safety critical systems [16,17,24,25].…”

Section: Discussionmentioning

confidence: 99%

Dual Simulation of Application Specific Logic Controllers Based on Petri Nets

Bukowiec

Tkacz

2014

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

Abstract. The paper describes a new method of verification of the application specific logic controllers designed with use of Petri net. The method is oriented on behavioral simulation of post synthesis models. Two different method of logic synthesis are preformed for the same control algorithm described as Petri net. Then, obtained HDL models are used for dual simulation with result comparison. It allows to detect ambiguous construct in designed control algorithm.Keywords: logic controller, Petri net, simulation. IntroductionThe paper presents a new method of dual simulation of the application specific logic controllers (ASLCs). ASLCs [1][2][3][4][5] are one of the biggest group of electronic circuits.The most classical way of designing such controllers is application of hardware description languages (HDLs) but it is annoying for designer and possibly it gives high risk of human mistake. The usage of graphical representation of control algorithm is much more conformable [6][7][8]. Now, Petri nets (PNs) [9,10] are one of the most adequate methods for formal design of such controllers [11]. It gives a simple way for representation of concurrent processes and application of interpretation gives a possibility to exchange information with environment. Additionally, there could be applied mathematical algorithms for formal analysis and verification of the designed model [12][13][14][15]. Although these algorithms are able to detect defects, like liveness or reachability, in Petri net structure but they are not able to detect nondeterministic behavior of the algorithm. Typically the nondeterministic behavior of the algorithm is caused by a human mistake and it does not affect Petri net structure. To detect such mistake there have to be performed the simulation of the control algorithm and the comparison of its results with expected ones. It is very arduous process and it does not give expected results because it is also loaded with human mistake. The solution for this problem is dual simulation [16,17] with automated results comparison. Although currently only behavioral HDL description is used for such approaches and it is oriented on increase of simulation reliability. It allows also to detect some nondeterministic behavior but while the simulation is on behavioral level not connected to a hardware realization it does not ensure that all of them will be detected and controller

show abstract

“…It can be performed with any HDL simulator. Additionally, dual models could be use in implementation of logic controllers for safety critical systems [16,17,24,25].…”

Section: Discussionmentioning

confidence: 99%

Dual Simulation of Application Specific Logic Controllers Based on Petri Nets

Bukowiec

Tkacz

2014

Lecture Notes in Electrical Engineering

View full text Add to dashboard Cite

show abstract

“…The duplication of control units is applied in order to detect hardware failure. The similar approach was introduced in [11,19,24] for design of PLC. Both control units, A and B, are obtained during dual synthesis and implementation processes from the same Petri net model.…”

Section: Logic Controller With Increased Safety Architecturementioning

confidence: 99%

Dual synthesis of Petri net based application specific logic controllers with increased safety

Tkacz¹,

Bukowiec²,

Adamski³

2016

Bulletin of the Polish Academy of Sciences Technical Sciences

View full text Add to dashboard Cite

Abstract. In the paper, design flow of the application specific logic controllers with increased safety by means of Petri nets is proposed. The controller architecture is based on duplicated control unit and comparison results from both units. One specification of control algorithm is used by means of Petri net for both units. The hardware duplication is obtained during dual synthesis process. This process uses two different logic synthesis methods to obtain two different hardware configurations for both control units. Additionally, the dual verification is applied to increase reliability of the control algorithm. Such design flow simplifies the process of realization of control systems with increased safety.

show abstract

Conception of a Control Unit for Critical Systems

Cited by 2 publications

References 6 publications

Dual Simulation of Application Specific Logic Controllers Based on Petri Nets

Dual Simulation of Application Specific Logic Controllers Based on Petri Nets

Dual synthesis of Petri net based application specific logic controllers with increased safety

Contact Info

Product

Resources

About