Rome, March 2-6 2009
Final Programme is out!
SIMUTools 2009 is the Second International Conference on Simulation Tools and Techniques. This edition, which builds on the success of the first conference (168 participants from 31 countries), will focus on all aspects of simulation modeling and analysis. High quality papers are sought on simulation tools, methodologies, applications, and practices.
The aim of the conference is to bring academic and industry researchers together with practitioners (from both the simulation community and from the numerous simulation user communities). The conference will address current and future trends in simulation techniques, models and practices, and foster interdisciplinary collaborative research in this area. While the main focus of the conference is on simulation tools, the conference also encourages the submission of broader theoretical and practical research contributions.
Can we Computerize an Elephant?
|Pr. David Harel - The Weizmann Institute of Science, Israel.|
Professor, Dept. of Computer Science and Applied Mathematics,
The William Sussman Professorial Chair.
|Abstract: The talk shows the way techniques from computer science and software engineering can be applied beneficially to research in the life sciences. We will discuss the idea of comprehensive and realistic modeling of biological systems, where we try to understand and an entire system in detail, utilizing in the modeling effort all that is known about it. The ultimate dream is to produce an interactive, dynamic, computerized model of an entire multi-cellular organism.|
Melding Power Devices, Electrical Simulation, and Computer Simulation
|David Nicol - University of Illinois, Urbana-Champaign, USA.|
Professor, Department of Electrical and Computer Engineering
Affiliate Professor, Department of Computer Science
Research Professor, Coordinated Science Laboratory
|Abstract: Security of critical infrastructures is a pressing issue for our society. Systems such as the electrical power grid are controlled by computer/communication networks, and have the potential that an intruder remotely gain access to the network and adversely affect control of the infrastructure. Interest is high in technology that helps protect such networks from penetration. Interest is also high, therefore, in means of assessing how effective protective technologies are. This talk describes a testbed that combines a mature simulation of electrical power generation/transmission, a powerful computer/communication network simulator, and actual hardware and software used in the power grid. Using the testbed we can demonstrate vulnerabilities in the power grid, as well as study the effectiveness of real and modelled security technologies in large-scale networks that control critical infrastructure.|
Supports for Transparent Optimistic Synchronization in the
|Francesco Quaglia - Universita` di Roma - La Sapienza, Italy.|
Associate Professor, School of Engineering
| Abstract: It is recognized that speculative (optimistic) execution is an effective technique for high performance simulation systems. On the other hand, building simulation platforms/applications comprising speculation is a non-trivial task, due to the need for including supports for undo (rollback) operations inside the software architecture. In this talk, we report our experience in the field of optimistic synchronization in the context of the High-Level-Architecture (HLA) interoperability standard (:cell PQA(PSS(IEEE 1516):). Our efforts have focused on the definition of a framework for the systematic treatment of speculation so as to allow complete transparency to application level programmers. Two significant outcomes of this work were: |
(i) A simplification of the HLA programming model, where the application level programmer is no longer in charge of interoperability services specifically oriented to speculation.
(ii) The possibility to select at start-up time, or even at run-time, the most suitable synchronization scheme depending on features of the specific computing platform; importantly, this is done independently of the nature (speculative or not) of the application level software.
|Submission deadline||: |
|Notification of acceptance||: |
|Camera-ready deadline||: |
|Conference in Rome||: March 3-5, 2009|
Refer to each workshop web-page for further details about workshop paper submissions.
|Workshop organization proposal deadline||: |
|Notification of workshop acceptance||: |
|Workshop papers camera-ready deadline||: See workshop web page|
|Workshop dates in Rome||: March 2nd or 6th, 2009|
Best Student Paper Award and Best Paper Award for SIMUTools'09
The final programme is now available on the website
We are proud to announce that David Harel will be our Distinguished Speaker
The online registration web site site is up and running. Early registration dead-line: Feb 2, 2009.
136 papers submitted.
The Conference and Workshops will be held in the StarHotels Metropole Hotel, a very nice 4 star hotel in the center of Rome, close to the central station.