.RealTimeCoordinationLibrary

Components for defining clocks, time constraints, and invariants.

Information

RealTimeCoordinationLibrary is a free Modelica package providing components to model real-time, reactive, hybrid and, asynchronous communicating systems in a convenient way with statecharts.

For an introduction, have especially a look at:

Elements provide an overview of the library inside the User's Guide.
Examples provide simple introductory examples as well as involved application examples.

For an application example have a look at: BeBotSystem

Licensed under the Modelica License 2

This Modelica package is free software and the use is completely at your own risk; it can be redistributed and/or modified under the terms of the Modelica license 2, see the license conditions (including the disclaimer of warranty) here or at http://www.Modelica.org/licenses/ModelicaLicense2.

Name	Description
UsersGuide	User's Guide
Examples	Examples to demonstrate the usage of the Real-Time Coordination library
Transition	Transition between steps (optionally with delayed transition and/or condition input port and/or synchronization and/or receiver connector of asynchronous communication)
SelfTransition	SelfTransition of a step (optionally with delayed transition and/or condition input port and/or synchronization and/or receiver connector of asynchronous communication)
Step	Step from StateGraph2 with Helper Variable wasActive. This allows tracing activated Steps.
Message	Defines a message type and sends a message instance on Boolean input signal.
Mailbox	Receives and stores message instances in a FIFO queue.
TimeElements	Components for defining clocks, time constraints and invariants.
MessageInterface	Connectors for asynchronous communication.
Internal	Internal utility models (should usually not be used by user)