ABSTRACT

This chapter introduces a few generic applications of discrete-event systems using Discrete Event systems Specification (DEVS) models, focusing on their implementation using the CD++ toolkit. It describes a model of a simple automated teller machine (ATM), a model of a water reservoir for a city, and a traffic light model with radar to detect vehicles moving at high speed. The chapter draws on how to use CD++ to build DEVS models and explains the definition of a model of an ATM machine, focusing on the definition of the atomic models in C++ and showing the definition of the coupled model using both text and graphical interfaces. It shows how models execute, showing both graphical and text logs and presents a model of a reservoir for a city, including a state-based model for the reservoir. The chapter discusses a complete model based on DEVS-graphs notation, representing a controller for a traffic light with control for speeding.