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.