SHVT
Methods and Tools for the Analysis and Design of secure Systems
The SHVT provides components for the complete cycle from specification to exhaustive validation of co-operating systems. It comprises a graphical editor for specification, a simulator / complete analyser for computing the dynamic behaviour of the system, including abstractions of the behaviour, and a model checking tool.
Modern IT systems are often so complex that design faults don't become apparent until the software is run. By this point, costly redesigns and delays, or even full system redevelopments, are just around the corner. The Fraunhofer Institute SIT has developed methods and tools for the early detection, identification and better elimination of faults.
Executable models improve analysis options
The Fraunhofer Institute SIT supports system developers and software architects in testing functional requirements (Does the software do what it is supposed to do?) and helps answer nonfunctional questions (Does the system fulfill certain security properties?). While conventional models such as UML only provide a static perspective of a system, the Fraunhofer Institute SIT uses methods and tools that enable the simulation and analysis of system variations, which is a major advantage. This allows to analyze the interaction between different system components and to better assess the effects of design decisions.
The versatile SH-Verification Tool
Fraunhofer's SH-Verification Tool is a powerful tool for model-based analysis. It includes a simulator, a debugger and components for verification and compact visualization of dynamic system behavior. The additional possibility of weighting individual actions enables risk and cost / benefit analyses, to name one example.