Orchestrating Motion: Real-Time Sonification Tools and Methods to Support Movement Rehabilitation

The verification of real-time systems has been an active area of research for several decades now. Some results have been successfully transferred to industry. Still, many obstacles remain that hinder a smooth integration of academic research and industrial application. In this extended abstract, we discuss some of these obstacles and ongoing research and community efforts to bridge this gap. In particular, we present several experimental and theoretical methods to evaluate and compare real-time systems analysis methods and tools.

To execute a production plan in the disturbed environment of a manufacturing workshop, real-time scheduling methods and tools are needed. The associated real-time decision making problems are described. Significant resource and operation states for decision making are identified. This induces the set of significant events which must be detected by means of the shop-floor real-time monitoring system. The relationships between states and events are described using Petri nets. The two main types of decisions for real-time scheduling are briefly discussed. >