| Components: | |
| Hierarchy (Y/N) | Yes |
| Orthogonality (Y/N) | Yes |
| Guards (Y/N) | Yes |
| Hyperedges (Y/N) | Yes |
| History (Y/N) | Yes |
| Deep history (Y/N) | Yes |
| Conditional component (Y/N) | Yes |
| Select component (Y/N) | No |
| Forks (Y/N) | Yes |
| Joins (Y/N) | Yes |
| Synch states (Y/N) | Yes |
| Environment Features: | |
| Hierarchical zoom (Y/N) | No |
| API functions | None |
| Simulation (Y/N) | No |
| Code generation (Y/N) | Yes |
| Semantics: | |
| Causality (Y/N) | Yes |
| Negated triggers (Y/N) | No |
| Contradictory actions (Y/N) | There is no mechanism to prevent contradictory triggers or actions. |
| Inter-level transitions (Y/N) | Yes |
| State references (Y/N) | Yes. Poseidon provides a framework where it is possible to reference most of the underlying data structures. |
| Compositional semantics (Y/N) | No |
| Instantaneous states (Y/N) | Yes |
| Event durability | Instantaneous. |
| Determinism (Y/N) | Deterministic. |
| Transition priorities | STATEMATE priority scheme. |
| Interrupts | Non-preemptive interrupts. |