SAFE STATE MACHINE (SSM)
Mark Identification

SAFE STATE MACHINE (SSM)

Serial Number

78412821

Filing Date

May 4, 2004

Trademark by

ESTEREL TECHNOLOGIES

Classification Information

A rigorously-defined visual synchronous state machine model devoted to programming control-dominated software; It is deterministic, supports heirarchy, concurrency and preemption and enables the creation of larger and very complex state diagrams scalable to large electronic systems

Machinery