[HTML][HTML] Formal verification of function blocks applied to IEC 61131-3
Many industrial control systems use programmable logic controllers (PLCs) since they
provide a highly reliable, off-the-shelf hardware platform. On the programming side, function …
provide a highly reliable, off-the-shelf hardware platform. On the programming side, function …
Automatische Generierung von IEC 61131-3 Steuerungscode aus einer GRAFCET-Spezifikation
F Schumacher - 2013 - openhsu.ub.hsu-hh.de
Abstract Grafische Beschreibungsmittel zur Spezifikation von Steuerungsabläufen zeigen
geeignete An-satzpunkte für die Unterstützung eines systematischen Steuerungsentwurfs …
geeignete An-satzpunkte für die Unterstützung eines systematischen Steuerungsentwurfs …
Formalizing and verifying function blocks using tabular expressions and PVS
Many industrial control systems use programmable logic controllers (PLCs) since they
provide a highly reliable, off-the-shelf hardware platform. On the programming side, function …
provide a highly reliable, off-the-shelf hardware platform. On the programming side, function …
[图书][B] Development of Safety-Critical Systems: Architecture and Software
This book provides professionals and students with practical guidance for the development
of safety-critical computer-based systems. It covers important aspects ranging from …
of safety-critical computer-based systems. It covers important aspects ranging from …
Application concept and evaluation of a formal specification approach usable by engineers for retrofitting production automation by software changes
S Cha - 2021 - mediatum.ub.tum.de
Automated Production Systems (aPS), including manufacturing machines and logistics, are
required to cope with various and varying production requirements over their long lifecycles …
required to cope with various and varying production requirements over their long lifecycles …
Achieving delta description of the control software for an automated production system evolution
Automated production systems (aPS) operate for a long time with continuous and
incremental changes. However, the models for aPS have not been maintained along with …
incremental changes. However, the models for aPS have not been maintained along with …
Development of Safety-Critical Systems
The development of computer-based systems (CBS) for safety-critical applications is
challenging, and it can even be intimidating for a beginner to figure out the right path to go …
challenging, and it can even be intimidating for a beginner to figure out the right path to go …
Development of Qualified Platform
A PLC (programmable logic controller) has its own limitations. For example, it does not offer
language semantics for hierarchical state machines or statecharts, which can be a more …
language semantics for hierarchical state machines or statecharts, which can be a more …