Welcome to Working Group 4 whose aim is to study the potential applications of RV to important application areas beyond software and hardware reliability, including (but not limited to) medical devices, financial systems, legal contracts, and cloud services. [For a more detailed description of the WGs aims please have a look at the description in the Memorandum.]
- Chair: Christian Colombo
- Vice-chair: Gerardo Schneider
Main Application Areas:
- Medical devices (Martin Leucker, Ezio Bartocci)
- Legal contracts (Gerardo Schneider)
- Financial transaction (Christian Colombo)
- Security and privacy (Gerardo Schneider)
- Li-on batteries (Martin Sachenbacher)
To carry out its mission, WG4 is working on a number of fronts:
- Case studies: To aid RV researchers find case studies, we have set up a case study exchange database providing a list of previous successful case studies, and a list of projects which are on the look out for a case study. [Please feel free to contribute by directly editing the webpage or emailing christian.colombo(a)um.edu.mt]
Within the OR.NET project, a communication stack for medical devices was developed. With the help of this COST action, the implementation was analyzed and improved using runtime verification appraoches. Further details on the OR.NET project can be found at https://www.isp.uni-luebeck.de/ornet.
- WG4 at meetings:
- Meeting 1: Malta (April ’15) – Workshop on financial transaction systems
- Meeting 2: Vienna (September’15) – Presentation
- Meeting 3: Estonia (December’15) – Talks and discussion
- Meeting in Barcelona (March’16) – Talks
- Meeting in Madrid (September’16) – Talks
- Meeting in Prague (March’17) – Workshop on electronic contracts (Friday 17th)
- Meeting in Praz Sur Arly (March’18) – Report writing
- Meeting in Sicily (September’18) – Workshop on security and privacy
- Other WG4 events:
- Workshop on Medical Cyber Physical Systems Vienna (April’16)
- Outcomes:
Want to join WG4? Please sign up by filling out this form.