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.
SimulationStore is a web portal that provides an easy access to VTT’s and its partners' Modelling and Simulation (M&S) offering.
- In these pages you can find information about the computational tools and related M&S services provided by VTT.
- By registering to the web pages you can download the installers of the computational tools and different plug-in products.
- In addition you can manage your own licenses related to these products.
- Some of the VTT’s computational tools include Simupedia features. It is also possible to publish interactive models to the SimulationStore using this functionality.
Apros is simulation software for full-scale modelling and dynamic simulation of industrial processes. The applications include nuclear and thermal power plants, pulp and paper mills, and a wide variety of other systems, where dynamics of material and energy flows, automation and electrical systems are of interest.
SULCA’s version 5 is new and the latest version developed at VTT. SULCA 5.0 has the highly visual and easy-to-use features for which the previous versions are well known, along with a new and improved user interface that helps the user to perform reliable and easily understandable LCAs and its’ applications. In addition, a lot of new user friendly possibilities to make evaluation and calculation efficient and clear.
Metabolic modeling can be an important tool in the development of microbial strains capable of high efficiency production of chemicals or proteins. At VTT we are able to reconstruct gapless metabolic networks for several related species at once using the CoReCo algorithm. To ensure the high quality of the models we created an unique database containing only atom and electron balanced reactions.
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.
Process design and analysis is always based on the management of mass and energy balances. BALAS simulation tool is the most effective way to obtain information on the behaviour of an existing process and get a deeper understanding of the interactions in your process. Built-in link to MS Excel enables easy transfer and customised visualisation of simulation data.
Future models in process chemistry will increasingly be based on a multi-component, multi-phase Gibbs energy approach. ChemSheet is the foremost pioneer in Gibbs’ian process modelling. Taking advantage of unique immaterial constraints, ChemSheet handles reaction rate controlled chemical systems, multi-phase membrane systems, complex materials with surface phases, and much more.
The SULCA 4.2 software allows the user to perform LCAs including life-cycle inventory (LCI) and impact assessment (LCIA) calculations, as well as to present the calculation results in a comprehensible manner through its unique reports and charts. With this software, calculation of footprints e.g. carbon footprint is transparent and easy.
SULCA 4.2 is fast and easy to use, offering the following:
KilnSimu is used in several industries. Though the technology of rotating drums has been available for over 100 years, it has not been replaced, but remains in active use in many of its traditional applications. The rotary drum provides an effi cient means for both heat and mass transfer in the processing of slurries and other condensed mixtures.
System dynamics is a methodology for understanding the behaviour of complex dynamic systems belonging to different domains. Simantics System Dynamics is a free, open source system dynamics modelling and simulation software. The software has an intuitive and easy to use Eclipse based graphical user interface which allows you to configure the whole model structure graphically. In addition to supporting all the common system dynamics modelling operations, the software includes many advanced features, such as structural reusable components, multidimensional variables, and sensitivity analysis.