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.
Modelling and simulation is a present-day way to understand and improve processes to meet the increasing efficiency, safety and environmental demands. Simulation has become an important enabling technology in decision-making, engineering and operation, covering the whole life span of a production system.
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.
Training on the use of the SULCA software is available from the supplier. Training of SULCA software can be one day or more, and can be ordered along the purchase of the licences of SULCA or separately. The training is provided by VTT LCA expert and it can take place either at Customer’s place or at VTT . The content (e.g. SULCA basics, example cases and/or customer’s cases), place and time should be agreed together in more detail.
SULCA software allows the user to perform Ecodesign and various kinds of Life Cycle Assessments (LCA). With SULCA, the environmental, carbon and water footprints can be calculated in a transparent and user-friendly way. Tool supports the evaluation of sustainability and environmental performance of a product,process, technology or any other system.
Identification of novel enzymes with specific function by conducting homology based database searches.
BALAS® is a steady state simulation package for chemical processes with emphasis on pulp and paper. The software has been developed at Technical Research Centre of Finland over the last 20 years and several Finnish paper mills, engineering companies and equipment manufacturers currently use it.
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.