QuantumLeaps/qpcpp

QP/C++ Real-Time Event Framework/RTOS is a lightweight implementation of the asynchronous, event-driven Active Object (Actor) model combined with Hierarchical State Machines.

Language: C++ - Size: 85.7 MB - Last synced at: 1 day ago - Pushed at: 1 day ago - Stars: 429 - Forks: 87

melintea/upml

Formal verification of UML state machines with Promela/spin and TLA+/PlusCal

Language: TLA - Size: 2.76 MB - Last synced at: 5 days ago - Pushed at: 5 days ago - Stars: 3 - Forks: 0

QuantumLeaps/qp-arduino

QP/C++ real-time event framework/RTOS for Arduino (ARM Cortex-M)

Language: C++ - Size: 27.2 MB - Last synced at: 6 days ago - Pushed at: 6 days ago - Stars: 43 - Forks: 28

QuantumLeaps/qpc

QP/C Real-Time Event Framework/RTOS is a lightweight implementation of the asynchronous, event-driven Active Object (Actor) model combined with Hierarchical State Machines.

Language: C - Size: 66.1 MB - Last synced at: 14 days ago - Pushed at: 14 days ago - Stars: 1,111 - Forks: 263

finger563/webgme-hfsm

Metamodel, visualization, simulation, and code generation for Hierarchical Finite State Machines (HFSMs) following the UML State Machine spec.

Language: C++ - Size: 38.7 MB - Last synced at: 17 days ago - Pushed at: 22 days ago - Stars: 51 - Forks: 18

cepsdev/machines4ceps

A tool for executable specifications written in modern, portable C++. Offers a comprehensive extendable DSL (Domain Specific Language) for specifying software with built-in support for UML state machines (and more). Comes with a runtime to run, trace and visualize your (state) machines.

Language: C++ - Size: 59.6 MB - Last synced at: 19 days ago - Pushed at: 19 days ago - Stars: 11 - Forks: 1

aleph2c/miros

Python statecharts

Language: Python - Size: 44.5 MB - Last synced at: 3 days ago - Pushed at: about 1 year ago - Stars: 57 - Forks: 4

QuantumLeaps/qm

Graphical modeling and code generation tool based on UML state machines

Language: Shell - Size: 139 MB - Last synced at: 3 months ago - Pushed at: 3 months ago - Stars: 151 - Forks: 39

vstirbu/fsm-viewer

View finite state machines using fsm-as-promised library as UML diagrams in VSCode

Language: JavaScript - Size: 4.21 MB - Last synced at: 2 months ago - Pushed at: over 2 years ago - Stars: 27 - Forks: 7

vli02/inthsmp

Intuitive Hierarchical State Machine Programming

Language: C - Size: 6.16 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 3 - Forks: 0

navaro/qoraal-engine

Embedded state machine language with a just-in-time compiler for unparalleled speed and efficiency.

Language: C - Size: 1.79 MB - Last synced at: 5 months ago - Pushed at: 5 months ago - Stars: 12 - Forks: 0

vortexmakes/RKH

State machine framework for reactive embedded systems

Language: C - Size: 128 MB - Last synced at: 4 months ago - Pushed at: 4 months ago - Stars: 56 - Forks: 9

a66as/StateBasedTestCaseGeneration

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).

Language: Java - Size: 109 MB - Last synced at: 7 months ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

joergi/uml-spring-state-machine 📦

Two Spring-State-Machines working together in one project

Language: Java - Size: 40 KB - Last synced at: 3 days ago - Pushed at: almost 5 years ago - Stars: 8 - Forks: 7

stateforge/StateBuilder

State machine code generator for C++ and Java.

Language: C++ - Size: 1.79 MB - Last synced at: 7 days ago - Pushed at: over 9 years ago - Stars: 33 - Forks: 15

kiishor/UML-State-Machine-in-C

A minimalist UML State machine framework for finite state machine and hierarchical state machine in C

Language: C++ - Size: 614 KB - Last synced at: 12 months ago - Pushed at: 12 months ago - Stars: 163 - Forks: 45

igor-krechetov/hsmcpp-arduinoide

hsmcpp library for Arduino IDE. Updated automatically on changes in main repository.

Language: C++ - Size: 176 KB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 3 - Forks: 1

igor-krechetov/hsmcpp

C++ based Hierarchical / Finite State Machine library oriented for embedded and RTOS systems.

Language: C++ - Size: 7.01 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 59 - Forks: 7

MarkoDojkic/Modeling-of-software-for-managing-renewable-energy-sources-in-the-home-system

Second midterm exam project started on Software Specification and modeling course and finished a year later on Software development methodologies course.

Size: 1.63 MB - Last synced at: about 1 year ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

RadekBucki/OpinionCollectorArchitecture

OpinionCollector - Project Architecture for TUL project

Size: 5.33 MB - Last synced at: about 1 year ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 1

drewfish/arduino-TrimWright

UML State Machines for Arduino

Language: C++ - Size: 140 KB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 11 - Forks: 1

JevDsouza/Labs

Computers And Communications

Language: Java - Size: 35.7 MB - Last synced at: over 1 year ago - Pushed at: almost 5 years ago - Stars: 3 - Forks: 0

serhiybutz/HSM

Hierarchical state machine framework in Swift.

Language: Swift - Size: 105 KB - Last synced at: 12 months ago - Pushed at: over 2 years ago - Stars: 8 - Forks: 1

anasdeis/RestoApp

Restaurant app that manages tables, seats, bills, orders, reservations, menu, etc.

Language: Java - Size: 2.49 MB - Last synced at: over 1 year ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0

dryml/dryml

DRYML (an acronym for “DRY Modelling Language”) is both a human- and machine-readable software modelling language

Language: Python - Size: 534 KB - Last synced at: over 1 year ago - Pushed at: about 4 years ago - Stars: 11 - Forks: 3

QuantumLeaps/qpn

QP-nano real-time embedded framework/RTOS for embedded systems based on active objects (actors) and hierarchical state machines

Language: C - Size: 20.9 MB - Last synced at: over 1 year ago - Pushed at: about 2 years ago - Stars: 150 - Forks: 74

cpressey/Nested-Modal-Transducers

What do you get when you cross Statecharts with The Elm Architecture?

Language: Haskell - Size: 35.2 KB - Last synced at: 3 months ago - Pushed at: over 1 year ago - Stars: 7 - Forks: 1

machy44/bookTrackerRESTful

code for research paper

Language: JavaScript - Size: 45.6 MB - Last synced at: almost 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

sverweij/atom-state-machine-cat-preview 📦

Atom package for writing (and previewing) beautiful state machine charts

Language: JavaScript - Size: 1.21 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 11 - Forks: 0

BharatMaheshwari96/SOFTWARE-REQUIREMENTS-SPECIFICATION-

Size: 932 KB - Last synced at: about 2 years ago - Pushed at: about 5 years ago - Stars: 2 - Forks: 0

gsun/gstatem2 📦

state machine for haxe

Language: Haxe - Size: 86.9 KB - Last synced at: over 2 years ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

SeadexGmbH/yasmine

yasmine - the C++ UML state machine framework

Language: C++ - Size: 56.7 MB - Last synced at: over 2 years ago - Pushed at: almost 7 years ago - Stars: 38 - Forks: 10

Lerbert/asyncac

Tools and case studies for my Master's thesis "Compositional Verification of Communicating UML State Machines"

Language: Haskell - Size: 2.8 MB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

SEG2105-Group-21/UML-Class-and-State-Diagrams

A concert ticketing system designed using UML class diagrams and state machine diagrams.

Language: Java - Size: 75.2 KB - Last synced at: over 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0

gowthamrajk/UML-Diagrams

In this repository, I will be posting contents to learn about UML diagrams and practical examples for all the UML diagrams which I have designed using Lucid Charts

Size: 495 KB - Last synced at: over 2 years ago - Pushed at: almost 4 years ago - Stars: 1 - Forks: 0

gsun/gstatem3

Language: Haxe - Size: 78.1 KB - Last synced at: over 2 years ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

GigaMatt/sudoku

Project work for advanced Java programming projects, including working support tools including UML.

Language: Java - Size: 4.56 MB - Last synced at: almost 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

slashburn/mdd-project

Convert UML Sequence Diagram to UML State Machine

Language: D - Size: 203 KB - Last synced at: 5 months ago - Pushed at: almost 8 years ago - Stars: 0 - Forks: 0