PowerDEVS: a tool for hybrid system modeling and real-time simulation

In this paper we introduce a general-purpose software tool for discrete event system specification (DEVS) modeling and simulation oriented to the simulation of hybrid systems. The environment, called PowerDEVS, allows atomic DEVS models to be defined in C++ language that can then be coupled graphically in hierarchical block diagrams to create more complex systems. The environment automatically translates the graphically coupled models into a C++ code which executes the simulation. A remarkable feature of PowerDEVS is the possibility to perform simulations under a real-time operating system (RTAI) synchronizing with a real-time clock, which permits the design and automatic implementation of synchronous and asynchronous digital controllers. Combined with its continuous system simulation library, PowerDEVS is also an efficient tool for real-time simulation of physical systems. Another feature is the interconnection between PowerDEVS and the numerical package Scilab. PowerDEVS simulations can make use of Scilab workspace variables and functions, and the results can be sent back to Scilab for further processing and data analysis. In addition to describing the main features of the software tool, the article also illustrates its use with some examples which show its simplicity and efficiency.

[1]  H. Vangheluwe DEVS as a common denominator for multi-formalism hybrid systems modelling , 2000, CACSD. Conference Proceedings. IEEE International Symposium on Computer-Aided Control System Design (Cat. No.00TH8537).

[2]  Hermann Härtig,et al.  DROPS: OS support for distributed multimedia applications , 1998, ACM SIGOPS European Workshop.

[3]  François E. Cellier,et al.  Continuous System Simulation , 2006 .

[4]  Gabriel A. Wainer CD++: a toolkit to develop DEVS models , 2002, Softw. Pract. Exp..

[5]  P. Mantegazza,et al.  RTAI: Real Time Application Interface , 2000 .

[6]  Michael Barabanov,et al.  A Linux-based Real-Time Operating System , 1997 .

[7]  Bernard P. Zeigler,et al.  DEVS formalism and methodology: unity of conception/diversity of application , 1993, WSC '93.

[8]  Daniel Pierre Bovet,et al.  Understanding the Linux Kernel , 2000 .

[9]  Harold Klee,et al.  Simulation of Dynamic Systems with MATLAB and Simulink , 2007 .

[10]  Dan Hildebrand,et al.  An Architectural Overview of QNX , 1992, USENIX Workshop on Microkernels and Other Kernel Architectures.

[11]  Christof Wehner Tornado and VxWorks , 2004 .

[12]  Bernard P. Zeigler,et al.  Theory of Modelling and Simulation , 1979, IEEE Transactions on Systems, Man, and Cybernetics.

[13]  Ernesto Kofman,et al.  A Third Order Discrete Event Simulation Method for Continuous System Simulation , 2006 .

[14]  François E. Cellier,et al.  Quantized State System Simulation , 2008 .

[15]  Jean Baptiste Filippi,et al.  The JDEVS modelling and simulation environment , 2002 .

[16]  Bernard P. Zeigler,et al.  Theory of modeling and simulation , 1976 .

[17]  Claude Gomez,et al.  Engineering and Scientific Computing with Scilab , 1998 .

[18]  Gabriel A. Wainer DEFINING DEVS MODELS WITH THE CD + + TOOLKIT , 2022 .

[19]  Ernesto Kofman,et al.  Discrete Event Simulation of Hybrid Systems , 2004, SIAM J. Sci. Comput..

[20]  Jean-Philippe Chancelier,et al.  Modeling and Simulation in Scilab/Scicos , 2006 .

[21]  J. Banks,et al.  Discrete-Event System Simulation , 1995 .

[22]  Gustavo Migoni,et al.  Linearly Implicit Discrete Event Methods for Stiff ODEs. Part I: Theory , 2007 .

[23]  Ernesto Kofman,et al.  Quantized-state control: a method for discrete event control of continuous systems , 2003 .

[24]  Ernesto Kofman,et al.  Quantization-Based Simulation of Differential Algebraic Equation Systems , 2003, Simul..