Program

Please check the main SpringSim'11 page for further details about breaks, reception and other activities ( Program SpringSim 2011).

Some statistics: Papers submitted: 91 (TMS/DEVS, Mod4Sim, DEVS Standardization)
Full Papers Accepted: 27
Work-in-Progress/Short papers: 11

Articles were submitted from 27 countries in all Continents:
Africa: Nigeria
America (South): Argentina, Brazil, Colombia
America (North): Canada, Mexico, United States
Asia: China, India, Iran, Israel, Japan, Jordan, Singapore, United Arab Emirates
Europe: Austria, Belgium, France, Germany, Great Britain, Greece, Italy, Latvia, Netherlands, Spain, Turkey
Oceania: New Zealand

Overview table

Time Monday Tuesday Wednesday
TMS/DEVS TMS/DEVS Mod4Sim TMS/DEVS DEVS Standardization
8:30 Plenary Plenary Software & Performance
10:30 Plenary Joint Session Tools Applications DEVS Standardization
Lunch
13:30 Formalisms Formalisms (DEVS) Domain specific languages Software (Work in progress paper) Models
15:30 V&V Applications (Short paper) Model driven development Modeling and computation (Short/WIP paper) Simulators
18:00 DEVS Award 18:30 Model competition

Rooms

TMS/DEVS main track Mod4Sim DEVS Standardization
Constitution Rm. Salon G Faneuil Rm.

TMS/DEVS main track

Monday, April 4 2011

8:00 Plenary session

See the general SpringSim program for details

13:30 Formalisms

Chair: Gabriel Wainer


Developing Discrete Event Simulations From Rigorous Process Definitions
Mohammad Raunak, Leon Osterweil, Alexander Wise
University of Massachusetts Amherst, USA

A BPMN Extension for Modeling Non Functional Properties of Business Processes
Paolo Bocciarelli and Andrea D'Ambrogio
University of Roma Tor Vergata, Italy

Extended Coloured Petri Nets with Structured Tokens - Formal Method for Distributed Systems
Khaoula Al Ali, Wolfgang Fengler, Bernd Däne, Alexander Pacholik
Ilmenau university, Germany

15:30 Validation & Verification

Chair: Hans Vangelhuwe, Ghent University, Belgium


Graded CTL Model Checking for Test Generation
Margherita Napoli and Mimmo Parente
Università di Salerno, Italy

On-The-Fly Verification of Discrete Event Simulations by Means of Simulation Purposes
Paulo Salem da Silva and Ana Cristina Vieria de Melo
University of São Paulo, Brazil

A Formal Approach to the Quantification of Sustainability and Dependability Metrics on Data Center Infrastructures
Gustavo Callou, Erica Sousa, Paulo Maciel, Eduardo Tavares, Bruno Silva, Jair Figueirêdo, Carlos Araujo, Fabio Magnani, Francisco Neves
UFPE, Brazil

Tuesday, April 5, 2011

8:30 Plenary session

See the general SpringSim program for details

10:30 Joint session - SimAUD and TMS/DEVS

Chair: Ramtin Attar, Autodesk Research, Canada
More information here: SimAUD website


13:30 Formalisms (DEVS)

Chair: Hessam Sarjoughian, Arizona State University, USA


Observations in DEVS framework
Gauthier Quesnel(1), Ronan Trépos(1), Patrick Chabrier(1), Jennifer Baudet(1), Raphael Duboz(2), Eric Ramat(3)
(1)INRA, (2)Cirad, (3)ULCO, France
presented by Mahuna Akplogan

Transforming UML2.0 Class Diagrams and Statecharts to Atomic DEVS
Reehan Shaikh(1) and Hans Vangheluwe(2)
(1)McGill University, Canada (2)McGill University, Canada and University of Antwerp, Belgium

I-DEVS: Imprecise Real-Time and Embedded DEVS Modeling [best paper award - TMS/DEVS'11]
Mohammad Moallemi and Gabriel Wainer
Dept. of Systems and Computer Engineering, Carleton University, Canada.

15:30 Short – Applications

Chair: Xiaolin Hu, Georgia State University, USA


CONSTRUCTING DEVS MODELS BASED ON EXPERTS’ KNOWLEDGE: Application to STMicroelectronics’ Large Scale Manufacturing Processes (Short paper)
Pamela Viale(1), Claudia Frydman(2), Jacques Pinaton(3)
(1)LSIS - STMicroelectronics, (2)LSIS, (3)STMicroelectronics. France

Interfacing DEVS and Visualization Models for Emergency Management (Short paper)
Mohammad Moallemi, Shafagh Jafer, Ahmed Sayed Ahmed, Gabriel Wainer
Dept. of Systems and Computer Engineering, Carleton University, Canada

NoC Simulation Modeling in DEVS-Suite (Short paper)
Hoda Ahmadinejad(1), Fatemeh Refan(1), Hessam Sarjoughian(2)
(1)University of Tehran, Iran (2)Arizona State University, USA

18:00 DEVS Award

Chair: Doohwan Kim, RTSync Corp., USA

Wednesday, April 6, 2011

8:30 Software & Performance

Chair: Jan Himmelspach, Universität Rostock, Germany


GATLAS: Google Earth Visualization for ATLAS
Gabriel Wainer, Ken Edwards
Dept. of Systems and Computer Engineering, Carleton University, Canada

Performance of a Multi-Agent System over a Multi-Core Cluster managed by Terracotta
Franco Cicirelli, Angelo Furfaro, Andrea Giordano, Libero Nigro
DEIS, University of Calabria, Italy

A Performance Evaluation of the Conservative DEVS Protocol in Parallel Simulation of DEVS-based Models
Shafagh Jafer and Gabriel Wainer
Dept. of Systems and Computer Engineering, Carleton University, Canada

10:30 Applications

Chair: tba


Common simulation methods for heat conduction from the perspective of Cellular Automata
Michael Mueller and Georg-Peter Ostermeyer
Braunschweig University of Technology, Germany

DEVS for AUTOSAR platform modeling
Joachim Denil(1), Hans Vangheluwe(2), Pieter Ramaekers(3), Paul De Meulenaere(3), Serge Demeyer(2)
(1)University of Antwerp, Karel de Grote University College, (2)University of Antwerp, (3)Karel de Grote University College. Belgium.

Net-centric ACT-R Based Cognitive Architecture with DEVS Unified Process
Saurabh Mittal(1) and Scott Douglass(2)
(1)L-3 Communications at Air Force Research Lab, (2)Air Force Research Lab. USA

13:30 WIP – Software

Chair: Jan Himmelspach, Universität Rostock, Germany.


ScipySim: Towards Distributed Heterogeneous System Simulation for the SciPy Platform (Work in progress paper)
Allan McInnes and Brian Thorne
University of Canterbury, New Zealand

The Simulation-based Multi-objective Evolutionary Optimization (SIMEON) Framework (Work in progress paper)
Ronald Apriliyanto Halim and Mamadou Diouf Seck
Delft University of Technology, The Netherlands

Automating DEVS over Data Distribution Service for High Performance and Interoperability (Work in progress paper)
Ki-Jeong Kwon(1), Chungman Seo(2), Bernard P. Zeigler(2)
(1)Agency for Defense Development, (2)RTSync Corp. USA

Towards a Testing Framework for DEVS Formalism implementation (Work in progress paper)
Xiaobo Li(1), Hans Vangheluwe(2), Yonglin Lei(3), Hongyan Song(4), Weiping Wang(3)
(1)National University of Defense Technology, China, University of Antwerp, Belgium (2)University of Antwerp, Belgium (3)National University of Defense Technology, China (4)Hospital for Sick Children, Toronto Medical Discovery Tower (East), Canada

15:30 WIP/Short – Modeling and computation

Chair: Andrea D'Ambrogio, University of Roma Tor Vergata, Italy


Synchronizing Sequences On Not Strongly Connected Petri Nets (Work in progress paper)
Marco Pocci(1), Isabel Demongodin(1), Norbert Giambiasi(1), Alessandro Giua(2)
(1)Laboratoire des Sciences de l'Information et des Systèmes, University Paul Cézanne, Aix-Marseille III, France. (2)Department of Electrical and Electronic Engineering, University of Cagliari, Italy

The Rationale for Shaped Simulation (Short paper)
Jeff Buzen
Consultant. USA.

Clocked Transition System as an OPM Formalism with Application to Systems Biology (Work in progress paper)
Valeria Perelman(1), Dov Dori(2), Judith Somekh(2)
(1)Technion, Israel Institute of Technology, (2)Technion, Israel Institute of Technology. Israel.
ISTSM: Incompletely Specified Timed Sequential Machines (Work in progress paper)
Norbert Giambiasi
LSIS-University of Aix-Marseille III, France.

Mod4Sim

Tuesday, April 5 2011

10:30 Mod4Sim – Tools

Chair: Andrea D'Ambrogio, University of Roma Tor Vergata, Italy


Simulating Layered Queueing Networks with Passive Resources
Greg Franks
Dept. of Systems and Computer Engineering, Carleton University, Canada.

A Model-Driven Software Environment for Modeling, Simulation and Analysis of Complex Systems
Luc Touraille, Mamadou Kaba Traoré, David Hill
LIMOS, France

13:30 Mod4Sim – Domain-specific languages

Chair: Greg Franks, Carleton University, Canada.


The SimTG Simulation Modeling Framework A domain specific language for space simulation
Olivier Zanon
Astrium Satellites, France

From Domain Specific Languages to DEVS Components: Application to Cognitive M&S
Saurabh Mittal(1) and Scott A. Douglass(2)
(1)L-3 Communications, Air Force Research Laboratory, (2)Air Force Research Laboratory

Using Specification and Description Language to represent users’ profiles in OMNET++ simulations
Pau Fonseca i Casas(1), Miquel Ramo Niñerola(2), Angel A. Juan(2)
(1)Universitat Politècnica de Catalunya, (2)Open University of Catalonia. Spain.

15:30 Mod4Sim – Model-driven development

Chair: Hans Vangheluwe


Harmonized and Reversible development framework for HLA based interoperable application
Zhiying Tu, Gregory Zacharewicz, David Chen
IMS/LAP, University Bordeaux 1, France.

HiLeS2: Model Driven Embedded System Virtual Prototype generation
Horacio Hoyos, Rubby Casallas, Fernando Jiménez, Darío Correal
Universidad de Los Andes, Colombia.

Model-driven Development of Simulation Solution based on SysML starting with the Simulation Core
Pascal Weyprecht and Oliver Rose
Dresden University of Technology, Germany.

DEVS - Standardization

Wednesday, April 6, 2011

10:30 DEVS - Standardization

Chair: Hans Vangheluwe


Taxonomy of DEVS Subclasses for DEVS Standardization
Moon Ho Hwang
ACIMS, USA

Standardizing DEVS Models: An Endogenous Standpoint
Hessam Sarjoughian(1) and Yu Chen(2)
(1)ASU, (2)HP. USA.

Some Desired Features for the DEVS Architecture Description Language
Olivier Dalle and Judicael Ribault
Universite de Nice, CNRS & INRIA Sophia Antipolis, France

13:30 DEVS - Standardization - Standardizing DEVS Models

Chair: Hessam Sarjoughian, Arizona State University. USA


15:30 DEVS - Standardization - Standardizing DEVS Simulator Interoperability

Chair: Xiaolin Hu

Toward DEVS as a Standard for Web Service-based Simulations
Bernard Zeigler
University of Arizona, USA


18:30 Model competition

Chair: Hessam Sarjoughian, Arizona State University. USA


program.txt · Last modified: 2011/04/05 09:42 by jan
CC Attribution-Noncommercial-Share Alike 3.0 Unported www.chimeric.de Valid CSS Driven by DokuWiki do yourself a favour and use a real browser - get firefox!! Recent changes RSS feed Valid XHTML 1.0