IPA Herfstdagen

Hotel Astoria, Noordwijk aan Zee,
November 23-27, 2009

For the period 2007-2012, IPA has chosen five focus areas where it expects important developments in the field in the near future. Each year the Herfstdagen will be dedicated to one of these areas. This year the focus is on the hybrid systems area, and in particular on the quantitative analysis of embedded systems using deterministic, nondeterministic and probabilistic methods.

Quantitative Methods for Embedded Systems

For actual industrial products, functional correctness of software is usually not enough. Not alone do timing issues become very important when software is embedded in, and interacting with, a physical environment, but in order to stay in business, the performance of the system as a whole has to be higher than that of the competition as well. Finally, in cases where functional correctness cannot be guaranteed at all, the probability of failure has to be minimized. This calls for design and analysis methods that allow quantitative statements about a design. The Falldays this year focus on deterministic, nondeterministic, probabilistic methods, and their application when trying to get a grip on the quantitative aspects of embedded systems.

Program

Monday November 23

11.00-12.30 Arrival

12.30-14.00 Lunch

14.00-15.30 Holger Hermans (Saarland University): The Quest for Quantifiable Quantities

15.30-16.00 Coffee Break

16.00-16.45 Suzana Andova (TU/e - FM): Compositionality issues in models with probability and nondeterminism

16.45-17.30 Sonja Georgievska (TU/e - FM): Testing probabilistic-nondeterministic processes: maintaining probability

18.00-19.00 Drinks

19.00-20.30 Dinner


Tuesday November 24

09.00-09.45 Mike Holenderski (TU/e - SAN): Swift mode changes in memory constrained real-time systems

09.45-10.30 Massimo Calisto (TU/e - FM): PAFAS and FASE: theory and practice for quantitative performance evaluation

10.30-11.00 Coffee Break

11.00-11.45 Mariëlle Stoelinga (UT): Dependability Engineering using I/O IMCs

11.45-12.30 Mark Timmer (UT): A linear process algebraic format for probabilistic systems with data

12.30-14.00 Lunch

14.00-16.00 Open session (organized by the IPA PhD-council)

  1. Mike Holenderski (TU/e - SAN): Multiplexing Real-Time Timed Events
  2. Jeroen Keiren (TU/e - OAS): Transformations for (Parameterized) Boolean Equation Systems
  3. Eduardo Zambon (UT): Abstract Graph Transformation for Software Model Checking
  4. Zvezdan Protic (TU/e - SET): Tools for Model Versioning & Version Control for Graph-Based Systems
  5. Stephanie Kemper (CWI): SAT-Based Verification for Timed Component Connectors
  6. Alfons Laarman (UT): Multi-Core Model Checking
  7. Matthias Raffelsieper (TU/e - OAS): Formal Verification of Non-Determinism in Verilog Cell Library Simulation Models
  8. Arie Middelkoop (UU): The Semantics of Programming Languages
  9. Sjoerd Cranen (TU/e - OAS): no topic (yet)
  10. Trajce Dimkov (UT): How to steal a laptop?
  11. Muhammad Atif (TU/e - OAS): Handling Time-Based Actions in Process Algebra
  12. Alexandra Silva (CWI): Deriving Syntax and Axioms for Quantitative Regular Behaviors

16.00-16.30 Coffee Break

16.30-17.30 Hichem Boudali (European Space Agency): Performance Models in the Space Arena

18.30-20.00 Dinner


Wednesday November 25

09.00-09.45 Faranak Heidarian (RU): Analysis of a Clock Synchronization Protocol for Wireless Sensor Networks

09.45-10.30 Bart Theelen (Embedded Systems Institute): Predictable Wafer Scanner Design

10.30-11.00 Coffee Break

11.00-11.45 Frits Vaandrager (RU): Adaptive Scheduling of Data Paths using Uppaal Tiga

11.45-12.30 Bart Theelen (Embedded Systems Institute): A Performance Analysis Tool for Scenario-Aware Streaming Applications

12.30-14.00 Lunch

14.00-15.00 Lou Somers (Océ): Software-In-the-Loop Simulation

15.00-15.30 Coffee Break

15.30-16.15 Bert van Beek (TU/e - SE): Design and performance analysis of supervisory control systems

16.15-17.00 Damian Nadales Agut (TU/e - SE): Concepts in the compositional interchange format

18.00-19.30 Dinner


Thursday November 26

09.00-09.45 Twan Basten (TU/e- EE, ESI): Reliable Dynamic Embedded Data Processing Systems

09.45-10.30 Yang Yang (TU/e - EE): Design space exploration for resource-aware SDF

10.30-11.00 Coffee Break

11.00-11.45 Sander Stuijk (TU/e - EE): SDF3: SDF For Free

11.45-12.30 Milos Blagojevic (TU/e - EE, ESI): Fast Simulation Methods to Predict Wireless Sensor Network Performance

12.30-14.00 Lunch

14.00-14.45 Reinder Bril (TU/e - SAN): Fixed-priority scheduling: an engineering approach to real-time systems

14.45-15.30 Georgeta Igna (RU): Using timed automata in the design process of the Océ printer datapaths

15.30-16.00 Coffee Break

16.00-16.45 Pieter Cuijpers (TU/e - FM):

16.45-17.30 Meeting of IPA PhD Council & IPA Management Team

18.00-19.30 Dinner

20.00- .... Social event


Friday November 27

09.30-10.15 Pieter Cuijpers (TU/e - FM): Phaver: Reachability is hard

10.15-11.00 Anne Remke (UT): Hybrid Petri nets with general one-shot transitions for dependability evaluation

11.00-11.30 Coffee Break

11.30-12.15 Rena Bakhshi (VU): Analysing an information spread for a gossip-based protocol

12.15-13.45 Lunch and departure

Pictures

Pictures of the several parts of the IPA Herfstdagen have been made by Jeroen Keiren. These can be found here.