CFD modelling of combustion and industrial multiphase flows

Computational Fluid Dynamics (CFD) is a powerful and affordable tool to enable deep understanding of and to design various industrial flow processes such as combustion in boiler furnaces, chemical reactors and other mixing processes. VTT offers a wide range of expertise in CFD modelling and simulation of combustion and other industrial processes and equipment. The development and computationally efficient implementation of models describing the relevant physical and chemical phenomena is an essential part of our research work.

Verification of automation software by model checking

Model checking is an efficient formal method for the verification of hardware and software designs. Based on model checking, VTT offers a service for verifying that automation system software design fulfils stated requirements. The difference to more common verification methods (like testing or simulation) is that all the possible executions of the system model are taken into account. Exhaustive analysis means that hidden design errors can be found in systems that have already undergone verification through conventional means.