Real-Time Event Frameworks based on active objects & state machines
Component, CA, and CCA models; superdense time, DB repo, testing, etc.
SYSMOD4MD is a plugin for the modeling tool MagicDraw (aka Cameo)
State machine framework for reactive embedded systems
Hausbus System (Master / Slave) zur Licht-, Heizungssteuerung und mehr
Plugin for MagicDraw to support MBSE with SysML
Raspberry Pi Projekt Multifunktions Wecker
detects several virtualizations