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 …

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 …

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 …

Abstract We present a Systems Usability Case approach enabling a requirement-based
human factors evaluation of complex socio-technical systems. The approach is especially …

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 …

In recent years, several approaches to the analysis of automation systems dependability
through the application of formal verification techniques have been proposed. Much of the …