The dependability characteristic of the control software of manufacturing systems is
highlighted more than before, going through repeated changes to cope with various and …

The design and operation of complex automation systems is affected in an economical,
technical and social context with language being the natural means to communicate about …

Abstract Context and background: In Production Systems Engineering (PSE), software and
systems testing are success-critical along the production automation life cycle to identify …

The rising complexity of production automation systems and especially their automation
software require new engineering concepts to support their development. Model-based …

Formal methods and supporting tools have a long record of successes in the development of
safety-critical systems. However, it cannot be said that a single tool has emerged as the …

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 …

It is a consensus that intelligent manufacturing plants should be automated, especially in
what concerns automated processes to Industry 4.0. This new manufacturing approach is …

In a collaborative project several tools for the efficient assessment of safety and usability
were developed. The TÜV NORD assessment screen for efficient assessment provides new …

The design and realization of systems is a complex task in which different design issues play
a role in different design phases. This paper concentrates on the design issues that play a …

Embedded critical systems need to be validated very thoroughly; it usually results in very
long and onerous test phases. Formal techniques, in particular formal specification …