Finding Models

Built-in Samples

AnimUML contains built-in sample models. They are accessible in the user interface using the "Select model" drop-down list.

In the source tree, these built-in samples can be found in folder samples. They must be added to AnimUML.html to be loaded:

• directly, with <script src="samples/<sample-name>.js" charset="UTF-8"></script>
• indirectly, by loading them from another script

Public Case Studies

Some AnimUML models are created as part of research projects. They are then typically published along with papers. For instance:

• A sample vulnerable driver model
• A smart home case study
• A System-on-Chip (SoC) Life Cycle Management System (LCMS)
• Models to use reduced multiverse debugging on