De-CPS 2014
Date: Jun 23, 2014 7:00 am – Jun 23, 2014 4:00 pm
Location: 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.
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
- 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
- Round-table
Submitted by Anonymous
on
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.
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
- Katrina Attwood, Philippa Conmy and Tim Kelly (Rapita System and University of York)
- 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
- 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
- Daniela Cancila, Elie Soubiran and Roberto Passerone (CEA, Alstom and University of Trento)
- 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
- Pavithra Prabhakar (IMDEA)
- 15.30 - 16.00 : coffe-break
- 16.00 - 17.30
- Laurent Rioux (Thales)
The OMG standard MARTE : feedback and industrialization - Round-table
- Laurent Rioux (Thales)