Executable Semantics for Hybrid Systems - The Hybrid Low-Level Framework

The hybrid low-level framework HL³ is a generic compilation target for high-level specification formalisms for hybrid systems. It is designed to support and validate the transformation of high-level specifications into executable code. We present a formal operational semantics for the execution of HL³ models, which assigns formal meaning to the high-level specification within a transformational approach or serves as concrete target formalism in a refinement approach. The HL³ runtime environment has been optimized for execution on high-speed multi-CPU cluster architectures which is also reflected in the operational rules.