SimulationStore

To gain further benefit around the use of SULCA there are various kind of services and expertise available. 

Why ?

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.

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.