GitHub

Contents

• Installation
• Introduction
• Quick Start
• Tutorial: Zero to One
• Diagrams
• Examples
• Recipes
• Reflection
• Patterns
• Testing
• Glossary
• Architecture

Useful Links

• miros on github
• sequence on github
• miros-rabbitmq plugin
• UMLet Download
• formalism explained

For Embedded

• Quantum Leaps for Embedded
• Quantum Leaps On Github

Statechart Videos

• Part 1 (What)
• Part 2 (Why)
• Part 3 (Mealy/Moore)
• Part 4 (Harel Statecharts)
• Introduction to HSMs

Quick search

Index

A

Active Fabric Active Object ActiveFabric (in module miros.activeobject) ActiveFabricSource (class in miros.activeobject)

ActiveObject (class in miros.activeobject) append_publish_to_spy() (miros.activeobject.ActiveObject method) append_subscribe_to_spy() (miros.activeobject.ActiveObject method) Artificial Event augment() (miros.hsm.HsmEventProcessor method)

C

cancel_event() (miros.activeobject.ActiveObject method) cancel_events() (miros.activeobject.ActiveObject method) Catch and Release

Child State child_state() (miros.hsm.HsmEventProcessor method) clear() (miros.activeobject.ActiveFabricSource method) Client Code

D

Defer dispatch() (miros.hsm.HsmEventProcessor method)

DRY dumps() (miros.event.Event static method)

E

Event (class in miros.event)

Event Processor Extended State Variables

F

Factory Fifo

Final State Flat State Method FSM

H

Harel Formalism has_payload() (miros.event.Event method) Hierarchical State Machine

HSM HsmEventProcessor (class in miros.hsm) HsmTopologyException

I

Illegal Transition init() (miros.hsm.HsmEventProcessor method)

Initialization Event Internal Event is_in() (miros.hsm.HsmEventProcessor method)

J

JINJA2

L

Lifo	loads() (miros.event.Event static method)

M

Mealy State Machine miros.activeobject module miros.event module miros.hsm module

module miros.activeobject miros.event miros.hsm Moore State Machine Multi Shot

N

name_for_signal() (miros.event.SignalSource method)

O

One Shot

OrderedDictWithParams (class in miros.event) Orthogonal Region

P

Parent State Pattern Payload post_fifo() (miros.activeobject.ActiveObject method)

post_lifo() (miros.activeobject.ActiveObject method) Pseudostate Publish publish() (miros.activeobject.ActiveFabricSource method)

R

Recall Reminder Pattern ReturnStatusSource (class in miros.event)

RTC Run To Completion run_event() (miros.activeobject.ActiveObject method)

S

Sequence Signal (in module miros.event) SignalSource (class in miros.event) Spy start() (miros.activeobject.ActiveFabricSource method) start_at() (miros.activeobject.ActiveObject method) (miros.hsm.HsmEventProcessor method) State

State Machine State Method Statechart stop() (miros.activeobject.ActiveFabricSource method) (miros.activeobject.ActiveObject method) Subscribe subscribe() (miros.activeobject.ActiveFabricSource method) Substate Superstate

T

Template thread_runner_fifo() (miros.activeobject.ActiveFabricSource method) thread_runner_lifo() (miros.activeobject.ActiveFabricSource method) Top State top() (miros.activeobject.ActiveObject method) (miros.hsm.HsmEventProcessor method)

Trace trace() (miros.activeobject.ActiveObject method) trans() (miros.hsm.HsmEventProcessor method) trans_() (miros.hsm.HsmEventProcessor method) Transducer

U

UML

Y

YAML

On this page: