DEVS Modelling and Simulation

First chair
Gabriel Wainer

Carleton University
Department of Systems and Computer Engineering

gwainer [at] sce [dot] carleton [dot] ca
Second Chair
José L. Risco-Martín

Universidad Complutense de Madrid (UCM)
Facultad de Informática
Departamento de Arquitectura de Computadores y Automática

jlrisco [at] dacya [dot] ucm [dot] es

DEVS is a well-known modelling formalism for the description of discrete (and distributed) systems. The methodology is well-founded in mathematical theories and has been efficiently used in many real-world applications.
This track aims at showing recent original research results, methodologies, tools and significant practical applications, related to DEVS based modelling and simulation.

Overall objectives of the track

  • To propose new methodologies and algorithms with particular efforts to develop and transfer M&S techniques which demonstrate the results of research on (but not limited to) DEVS.
  • To introduce the development of methods and tools which assist engineers from the very first design steps of their systems to the verification and validation.
  • To provide the academic community with research work that could be used for reference in modelling and simulation, both centralized and distributed.
Topic List: 
  • DEVS theory and methodology
  • Real-time systems M&S
  • Parallel, distributed and net-centric M&S and supporting middleware
  • Interoperability. Systems of Systems M&S
  • Industrial/Military applications
  • Experimental design
  • Verification and validation

Nevertheless different topics concerning DEVS Modelling and Simulation are welcome. Authors are kindly invited to include in their papers and presentations all the research works, case studies and application both theoretical and applied.