This paper proposes an agent infrastructure (Theatre) centered on Java for distributed simulations over High-Level Architecture/RunTime Infrastructure (HLA/RTI). The architecture rests on actors (agents) as the basic building blocks. Actors have a public message interface and encapsulate a state of local variables and a behavior patterned as a finite state machine. Actors interact with one another by asynchronous message passing. At the system level, theatres are used as the execution platforms for actors. Theatres naturally map on to HLA federates. Actors can migrate between theatres for load-balancing concerns, or in response to (re)configuration operations of dynamic structure systems. The paper introduces Theatre and demonstrates its application to a complex simulation model based on unmanned aerial vehicles (UAVs). The case study is an open agent-based distributed model where mobile agents follow communication patterns established at runtime.
This work is concerned with modelling, analysis and implementation of embedded control systems using RT-DEVS, i.e. a specialization of classic discrete event system specification (DEVS) for real-time. RT-DEVS favours model continuity, i.e. the possibility of using the same model for property analysis (by simulation or model checking) and for real time execution. Special case tools are reported in the literature for RT-DEVS model analysis and design. In this work, temporal analysis of a model exploits a translation in Uppaal timed automata for exhaustive verification. For large models a simulator was realized in Java which directly stems from RT-DEVS operational semantics. The same concerns are at the basis of a real-time executive. The paper describes the proposed RT-DEVS development methodology and clarifies its implementation status. The approach is demonstrated by applying it to an embedded system example which is analyzed through model checking and implemented in Java. Finally, research directions which deserve further work are indicated.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations鈥揷itations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.