19th International Conference on Reliable Software Technologies

Ada-Europe 2014

23-27 June 2014, Paris, France

Workshop
Challenges and New Approaches for Dependable and Cyber-Physical System Engineering (De-CPS 2014)

Domain and Topics

From the USA to Europe, there is a crescendo of industrial and research interest in Cyber-Physical Systems (CPS). One distinguishing trait of CPS is that they integrate software control and decision making with signals from and sensing of an uncertain and dynamic environment. CPS often involve heterogeneous and hierarchical systems, and their design makes extensive use of models. The Horizon 2020 program framework of the European Union devotes considerable attention in the current work program to various aspects of the CPS challenges.

The De-CPS workshop intends to focus on the relationships between CPS and contract-based approaches. The latter are a means to assert desired guarantees on specific properties of a system model and to attain them in the corresponding implementation.

The workshop will gather industrial practitioners and research actors interested in dependable and Cyber-Physical Systems engineering, and use the momentum of the 19th International Conference on Reliable Software Technologies to foster further collaborative initiatives that may use the funding opportunities of the H2020 framework program.

The topics addressed by the workshop include the following:

  • Industrial challenges and experience reports on co-engineering for multiple dependability concerns in CPS engineering.
  • Modeling and analysis of Cyber-Physical Systems (CPS) via contract-based approaches
  • Tools and methodologies to guarantee safety-related properties, including real-time and mixed-criticality cohabitation.

Important Dates

  • submission deadline: 30/4
  • notification to authors: 12/5
  • Workshop : 23 June, Paris, France
  • after-workshp final version: 15/9
  • publication: December 2014

Premilinary Program

  • 9.30 - 10.30 : Safety Session
    • Antoine B. Rauzy (Chaire Chair Blériot-Fabre - Centrale-Supélec, Safran)
      Three Theses for Complex Model Engineering
    • Katrina Attwood, Philippa Conmy and Tim Kelly (Rapita System and University of York)
      The Use of Controlled Vocabularies and Structured Expressions in the Assurance of CPS
  • 10.30 - 11.00 : coffe-break
  • 11.00 - 13.00 : Industrial Session
    • Vincent David and Damien Chabrol (Krono-Safe)
      Dependable Real-Time System and Mixed-Criticality: Seeking Safety, Flexibility and Efficiency with KRON-OS
    • Shin Nakajima and Masumi Toyoshima (National Institute of Informatics, Tokyo, and DENSO)
      Behavioral Contracts for Energy Consumption
    • Shin Nakajima and Masumi Toyoshima (National Institute of Informatics, Tokyo, and DENSO)
      Behavioral Contracts for Energy Consumption
    • Daniela Cancila, Elie Soubiran and Roberto Passerone (CEA, Alstom and University of Trento)
      Feasibility Study in the use of contract-based approaches to deal with safety-related properties in CPS
  • 13.00 - 14.00 : Lunch
  • 14.00 - 15.00 : Invited Speaker
    • Charles Robinson (Thales) project manager of ITEA MERGE safety & security project
  • 15.00 - 15.30 : IMDEA
    • Pavithra Prabhakar (IMDEA)
      Formal Verification in Model-based Design of Cyber-Physical Systems
  • 15.30 - 16.00 : coffe-break
  • 16.00 - 17.30
    • Laurent Rioux (Thales)
      The OMG standard MARTE : feedback and industrialization
    • Roundtable

Organizing and Program Committee

Organizers

  • Daniela Cancila, CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
  • Laurent Rioux, Thales

Steering Committee

  • Antoine B. Rauzy, Director of the Chair Blériot-Fabre (Centrale-Supélec, Safran)

Premilinary Program Committee

  • Katrina Attwood, University of York, UK
  • Benoit Caillaud, INRIA, France
  • Philippa Conmy, Rapita Systems, UK
  • Vincent David, Krono-Safe, France
  • Huascar Espinoza, Tecnalia, Spain
  • Ali Koudri, Thales, France
  • Pavithra Prabhakar, IMDEA, Spain
  • Roberto Passerone, University of Trento, Italy
  • Alejandra Ruiz, Tecnalia, Spain
  • Bran Selic, Malina SW & Carleton Univ, Canada
  • Safouan Taha, Supelec, France
  • Masumi Toyoshima, DENSO, Japan

Publicity Chair

  • Karima Nahhal, CEA (Commissariat à l'énergie atomique et aux énergies alternatives)
  • Jean-Louis Gerstenmayer, CEA (Commissariat à l'énergie atomique et aux énergies alternatives)