Generalized test tables: A powerful and intuitive specification language for reactive systems
With recent trends in manufacturing automation, such as Industry 4.0, control software in
automated production systems becomes more and more complex and volatile, complicating …
automated production systems becomes more and more complex and volatile, complicating …
Generalized Test Tables: A Domain-Specific Specification Language for Automated Production Systems
We give an overview of Generalized Test Tables (GTTs), a specification language derived
from existing table-based test case description methods commonly used in the domain of …
from existing table-based test case description methods commonly used in the domain of …
Applicability of generalized test tables: a case study using the manufacturing system demonstrator xPPU
With recent trends in manufacturing automation, control software in automated production
systems becomes more complex and has more variability to keep pace with customer and …
systems becomes more complex and has more variability to keep pace with customer and …
Generation of monitoring functions in production automation using test specifications
High quality requirements are set for automated production systems (aPS) as malfunctions
can harm humans or cause severe financial loss. These malfunctions can be caused by …
can harm humans or cause severe financial loss. These malfunctions can be caused by …
Scratch-Based User-Friendly Requirements Definition for Formal Verification of Control Systems
I Grobelna - Informatics in Education-An International Journal, 2020 - ceeol.com
Control systems are becoming ever more commonly used in everyday life. This is true both
in industry and in the domestic domain, in the form of eg, smart home systems. The quality of …
in industry and in the domestic domain, in the form of eg, smart home systems. The quality of …
Relational test tables: A practical specification language for evolution and security
A wide range of interesting program properties are relational, ie, they described a relation
between two program runs. Two prominent relational properties are the regression …
between two program runs. Two prominent relational properties are the regression …
Runtime verification of generalized test tables
Runtime verification allows validation of systems during their operation by monitoring crucial
system properties. It is common to generate monitors from temporal specifications …
system properties. It is common to generate monitors from temporal specifications …
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 …
Table‐based formal specification approaches for control engineers—empirical studies of usability
The dependability characteristic of the control software of manufacturing systems is
highlighted more than before, going through repeated changes to cope with various and …
highlighted more than before, going through repeated changes to cope with various and …
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 …