Industrial psychology sets forth that human knowledge has an impact on performance. Literature on information systems proposes that usefulness of an information system also contributes to performance results. An economic approximation suggests that people and technology are substitutable factors to produce outputs. This study focuses on analysing the substitution effect between people (based on...

The paper reports on first experiences with modern web-based technologies used in building the human-machine interfaces for the industrial automation applications. It mainly focuses on distributed and intelligent manufacturing control systems designed according to holonic, multi-agent, or service-oriented principles. We briefly introduce Google Web Toolkit, and HTML5, which are gaining increasi...

We describe our formal methods-based spatial reasoning framework BeSpaceD and its application in decision support for industrial automation. In particular we are supporting analysis and decisions based on formal models for industrial plant and mining operations. BeSpaceD is a framework for deciding geometric and topological properties of spatio-temporal models. We present an example and report ...

Long-living software systems are sustainable if they can be cost-effectively maintained and evolved over their complete life-cycle. Software-intensive systems in the industrial automation domain are typically long-living and cause high evolution costs, because of new customer requirements, technology changes, and failure reports. Many methods for sustainable software development have been propo...