Critical automation and human-technology interaction systems
We help our partners achieve safety, productivity and well-being by providing tools and methods for systematic and efficient design, verification and validation (V&V) and monitoring processes.
Our approach integrates the technical, psychological and organisational aspects of systems development. We enable our customers to achieve improvements in system quality, environmental friendliness, occupational well-being and user experience.
V&V of digital systems is enhanced by methods, practices and tools developed by VTT. Our model-based methods enable exhaustive verification of complex systems to ensure they function correctly in all possible situations. Our human factors engineering methods include the human role in all phases of system life-cycle and result in practical, high-quality user interfaces and control rooms.
Industrial application of model checking and human factors engineering
Our interdisciplinary research combines multiple competences, including formal methods, systems engineering, work psychology, and cognitive ergonomics. Focus is on industrial automation, information technology, human factors, and human-technology interaction.
The results of our research have been utilised successfully in many industrial customer projects, related to model checking and work analyses, among others. We have several types of customers from various fields, including power companies, public service providers, and critical system developers.