A full-fledged actor-model framework with support for hierarchical (nested) UML state-machines
Simplify command-line workflows with qp, a fast tool for quick task handling and repeatable automation
A tool for executable specifications.
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).
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).
An ai powered tool for uml diagrams
Metamodel, visualization, simulation, and code generation for Hierarchical Finite State Machines (HFSMs) following the UML State Machine spec.
The statecharts language project.
Graphical modeling and code generation tool based on Hierarchical State Machines (UML Statecharts) and QP Real-Time Event Frameworks
Formal verification of UML state machines with Promela/spin and TLA+/PlusCal
C++ based Hierarchical / Finite State Machine library oriented for embedded and RTOS systems.
[Tool][Functional] Generate variant/visitor state machine in C++20 from PlantUML statecharts
QP/C++ real-time event framework/RTOS for Arduino (ARM Cortex-M)
Reference architecture for AgriRetail platform coordinating agricultural supply/demand. ArchiMate, BPMN, UML & SysML models. IST AMS 2025/26 project.
Embedded state machine language with a just-in-time compiler for unparalleled speed and efficiency.
State machine framework for reactive embedded systems
Intuitive Hierarchical State Machine Programming
This repository provides the accompanying dockerized code play ground for teaching state-based testing. The code utilizes a UML state-machine to generate JUnit test cases using the known N+ strategy (by Binder).
A minimalist UML State machine framework for finite state machine and hierarchical state machine in C
Python statecharts
Add a description, image, and links to the uml-state-machine topic page so that developers can more easily learn about it.
To associate your repository with the uml-state-machine topic, visit your repo's landing page and select "manage topics."