Tagged: Model-Based

Research 2021-01-01

Automated Generation of Model-Based Constraints for Common Multi-core and Real-Time Applications Using Execution Tracing

A research paper introducing methods to automatically generate constraint models for real-time applications by analyzing execution traces and recurring event patterns.

Research 2016-03-16

Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints

A paper presenting a new approach to system analysis using model-based constraints to automatically identify unwanted behaviors in real-time and multicore systems.

Academic Research Real-Time