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.
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.
To gain further benefit around the use of SULCA there are various kind of services and expertise available.
To achieve most beneficial use of SULCA and services supported by it, a multidesign approach can be applied (figure below). We provide comprehensive sustainability assessment services with over 20 years of experience, and offer our customers information on their environmental impacts and overall environmental performance. Our expertise is in finding optimisation potentials of new products, industrial processes and technologies. We cover environmental, social and economic aspects of sustainability.
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.
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.
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.
Probabilistic risk assessment (PRA) is a systematic and comprehensive methodology to assess the risks of complex systems. PRA is an essential part of the safety management in safety-critical industries, such as the nuclear industry, power production, process industry and transportation. PRA provides vital information to evaluate the importance of critical functions, identify weaknesses in technological systems, and optimise and balance design, operation and maintenance. In the nuclear domain, PRA is used to continuously find ways to improve safety, justify plant modifications, optimise annual maintenance revisions and fulfil regulations.
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 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.