QP/C Real-Time Event Framework/RTOS implements event-driven Active Object (Actor) model combined with Hierarchical State Machines. Specifically designed for embedded systems (e.g., ARM Cortex-M MCUs).

Abstract: This paper presents a method for automatically generating effective test cases based on SysML state diagrams. The method firstly obtains Systems Modeling Language (SysML) state diagrams ...