12 - Example systems

12.1 - Ping Pong

Ping pong system view

Ping process

Pong process

MSC trace of the ping pong system

12.2 - A global variable manipulation

Global variable manipulation example system

Process A

Process B

MSC trace of the global variable manipulation

12.3 - Access Control System

This system controls the access to a building. To get in, one need to insert a card and type a code. The database is in the central block. When starting the system there is no user registered in the base so the first user needs to be the administrator.

12.3.1 Requirements

Either one of the MSCs can be executed indefinitly

Standard scenario

Standard refusal scenario

12.3.2 Analysis

The class diagram shows the relation between pCentral (task) active class and UserFactory and User passive classes (C++)

12.3.3 Architecture

The system is made of two tasks: pCentral and pLocal

12.3.4 pCentral process

12.3.5 getCardNCode procedure

12.3.6 pLocal process

12.3.7 Display procedure

12.3.8 DisplayStar procedure

12.3.9 Deployment

The components communicate through IP

http://www.sdl-rt.org info@sdl-rt.org