Modelling and simulation of complex manufacturing systems using statechart-based actors

Abstract This paper describes a multi-agent architecture based on the actors computational model, for the distributed simulation of discrete event systems whose entities have a complex dynamic behaviour. Complexity is dealt with by exploiting statechart-based actors which constitute the basic building blocks of a model. Actors are lightweight reactive autonomous agents that communicate to one another by asynchronous message passing. The thread-less character of actors saves memory space and fosters efficient execution. The behaviour of actors is specified through “distilled statecharts” that enable hierarchical and modular specifications. Distributed simulation is achieved by partitioning a system model among a set of logical processes (theatres). Timing management and inter-theatre communications rest in a case on the High Level Architecture services. The paper illustrates the practical application of the proposed modelling and simulation methodology by specifying and analysing a complex manufacturing system.

[1]  Amnon Naamad,et al.  Statemate: a working environment for the development of complex reactive systems , 1988, ICSE '88.

[2]  R.M. Fujimoto,et al.  Parallel and distributed simulation systems , 2001, Proceeding of the 2001 Winter Simulation Conference (Cat. No.01CH37304).

[3]  Nandamudi Lankalapalli Vijaykumar,et al.  Introducing probabilities in Statecharts to specify reactive systems for performance analysis , 2006, Comput. Oper. Res..

[4]  Franco Cicirelli,et al.  Modelling and simulation using statechart-based actors , 2008 .

[5]  Bernard P. Zeigler,et al.  eUDEVS: Executable UML with DEVS Theory of Modeling and Simulation , 2009, Simul..

[6]  Gul Agha,et al.  AN ACTOR-BASED SIMULATION FOR STUDYING UAV COORDINATION , 2003 .

[7]  Solon V. Carvalho,et al.  On Proposing Statecharts to Specify Performance Models , 2002 .

[8]  Toshiaki Arai,et al.  Multiagent systems specification by UML statecharts aiming at intelligent manufacturing , 2002, AAMAS '02.

[9]  Pablo Gruer,et al.  Multi-agent approach to modeling and simulation of urban transportation systems , 2001, 2001 IEEE International Conference on Systems, Man and Cybernetics. e-Systems and e-Man for Cybernetics in Cyberspace (Cat.No.01CH37236).

[10]  Adolfo Villafiorita,et al.  FSMC+, a tool for the generation of Java code from statecharts , 2007, PPPJ.

[11]  Dipti Srinivasan,et al.  An Introduction to Multi-Agent Systems , 2010 .

[12]  Franco Cicirelli,et al.  Statechart-Based Actors For Modelling And Distributed Simulation Of Complex Multi-Agent Systems , 2009, ECMS.

[13]  David Harel,et al.  Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..

[14]  Amnon Naamad,et al.  The STATEMATE semantics of statecharts , 1996, TSEM.

[15]  Angelo Furfaro,et al.  Modular Design of Real-Time Systems Using Hierarchical Communicating Real-time State Machines , 2006, Real-Time Systems.

[16]  Franco Cicirelli,et al.  An Agent Infrastructure over HLA for Distributed Simulation of Reconfigurable Systems and its Application to UAV Coordination* , 2009, Simul..

[17]  Franco Cicirelli,et al.  Actor-Based Simulation of PDEVS systems over HLA , 2008, 41st Annual Simulation Symposium (anss-41 2008).

[18]  Marcos José Santana,et al.  Performance evaluation based on system modeling using Statecharts extensions , 2005, Simul. Model. Pract. Theory.

[19]  Rik Eshuis,et al.  Reconciling statechart semantics , 2009, Sci. Comput. Program..

[20]  Brian Logan,et al.  The distributed simulation of multiagent systems , 2001, Proc. IEEE.

[21]  Jiro Tanaka,et al.  Mapping UML statecharts to java code , 2004, IASTED Conf. on Software Engineering.

[22]  Franco Cicirelli,et al.  Exploiting agents for modelling and simulation of coverage control protocols in large sensor networks , 2007, J. Syst. Softw..

[23]  Ivar Jacobson,et al.  The Unified Modeling Language User Guide , 1998, J. Database Manag..

[24]  Judith S. Dahmann,et al.  Creating Computer Simulation Systems: An Introduction to the High Level Architecture , 1999 .

[25]  Oliver Obst Specifying Rational Agents with Statecharts and Utility Functions , 2001, RoboCup.

[26]  Franco Cicirelli,et al.  HLA_ACTOR_REPAST: An approach to distributing RePast models for high-performance simulations , 2011, Simul. Model. Pract. Theory.

[27]  Franco Cicirelli,et al.  Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty , 2006, Real-Time Systems.

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