1. Plenary 1 - June 10, 2009 


  2. Title: Real-Time Scheduling and Control of Cluster Tools in Semiconductor Manufacturing
  3. by: Mengchu Zhou (New Jersey Institute of Technology, USA)


  4. CV


  5. Abstract of the talk: Cluster tools provide a flexible, reconfigurable, and efficient environment for semiconductor manufacturing. They become difficult to operate because of residency time constraints and process time variation. This talk addresses their real-time scheduling and control issues. A generic Petri net model is developed to model them. It describes the robot activity sequence with robot waits included. Hence, to operate a cluster tool is to determine robot wait times. A two-level operational architecture is proposed and discussed. It includes an off-line periodic scheduler and real-time controller. This proposed approach allows a cluster tool to adapt to activity time variation while operate at its highest throughput at the steady-state.



  6. Plenary 2 - June 11, 2009 


  7. Title: Model-Based Approaches for Railway Safety, Reliability and Security: The Experience of Ansaldo STS
  8. by: Francesco Flammini (Ansaldo STS, Italy)


  9. CV


  10. Abstract of the talk: In order to master the increasing complexity of modern railway control systems, novel model-based approaches are needed to allow engineers to evaluate such systems against strict system-level dependability requirements. In this talk, we provide an overview of the experience of Ansaldo STS in using model-based approaches for railway safety, reliability and security. Dependability requires assessment both at the software and at the hardware levels. At the software level, models have proven useful to support both static and dynamic functional analyses in order to discover systematic faults in the code. At the hardware level, we have experimented that compositional multi-formalism modeling approaches well suit the evaluation of system safety and reliability against random faults. The use of models has allowed engineers to improve both the effectiveness and the efficiency of system verification. Views of the Unified Modeling Language have been adopted to perform informal or semi-formal analyses, while Stochastic Petri Nets, (Repairable) Fault Trees, Continuous Time Markov Chains and Bayesian Networks have been employed for formal and quantitative analyses. Analytical risk and vulnerability models have also been experimented for security assessment with respect to intentional threats and natural hazards. Due to the wide range of possible applications, we are currently studying in depth both the theoretical and the technological issues related to the multi-paradigm dependability modeling using appropriate frameworks.



  11. Plenary 3 - June 12, 2009


  12. Title: Model Based Safety Analysis
  13. by: Wolfgang Reif (University of Augsburg, Germany)


  14. CV


  15. Abstract of the talk: In safety critical applications, the growing complexity and risk associated with embedded software intensive systems demands for reliable  safety assessments. Additionally, in many application areas standards and norms require the usage of model based techniques to guarantee the quality of safety critical systems. Model based safety analysis is a formally grounded approach to compute reliable safety properties from system models. In this context the term safety covers functional correctness, failure tolerance, safety optimisation as well as balancing antagonistic safety concerns. The analysis has both qualitative and quantitative aspects. Systems under consideration are discrete reactive systems. An extension also applies to self-organising systems. The talk presents the approach as well as some interesting applications.