Models

We work on 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)
• (switched) max-plus-linear models
• flow shop models and constraint graph specifications
• Parallel Object-Oriented Specification Language
• Pareto Algebra
• Activity models
• Game-theoretic models for correctness and performance
• Run-time verification
• Quality and Resource Management models
  • resource budget models
• Scenario Based Design
• Timed Actor Interfaces
• Timed Message Sequence Charts
• Game-theoretic models for supervisory controller synthesis for optimal performance