Models are abstract representations of selected aspects of a system under study. They are used as a basic for analysis, optimization or synthesis activities.
The Model-Based Design Lab has (co-)developed and (co-)develops a number of different models that support different aspects of model-based design and design-automation solutions
- dataflow models, including dynamic dataflow (KPN/RPN, SADF)
- (switching) max-plus-linear models
- flow shop models and constraint graph specifications
- The Parallel Object-Oriented Specification Language
- Pareto Algebra
- Activity models
- Game-theoretic models for correctness and performance
- resource budget models
- Quality and Resource Management models
- Run-time verification
- Scenario Based Design
- Timed Actor Interfaces
- Timed Message Sequence Charts