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.
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.
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.
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.
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.
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.
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.
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.
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: