Introduction

Architecture

System

Agents

Communication

Behavior

Start

State

Stop

Message input

Message output

Queue Id

Process name

Environment

Message save

Continuous signal

Action

Decision

Semaphore take

Semaphore give

Timer start

Timer stop

Task creation

Procedure call

Connectors

Transition option

Comment

Extension

Procedure start

Procedure return

Text symbol

Additional heading symbol

Symbols ordering

Declarations

Process

Procedure declaration

SDL-RT defined procedure

C defined procedure

Messages

Timers

Semaphores

MSC

Agent instance

Semaphore representation

Semaphore manipulations

Message exchange

Synchronous calls

State

Timers

Time interval

Coregion

MSC reference

Text symbol

Comment

Action

High-level MSC (HMSC)

Data types

Type definitions and headers

Variables

C functions

External functions

Memory management

Global variables

Message parameters

Syntax

Semantic

Object orientation

Package

Block class

Process class

Symbols contained in diagrams

Textual representation

Example systems

Ping Pong

A global variable manipulation

Keywords

Differences with classical SDL

Data types

Semaphores

Inputs

Names

Object orientation

Lexical rules

Glossary

Index