Workshop Program

MeTRiD 2018

Sunday 15 April 2018, Aristotelis I

08:00 – 08:30 Registration opens
08:30 – 09:00 Welcome
09:00 – 10:00 Invited Talk: "System Design in the Era of IoT — Trends and Challenges"
Joseph Sifakis (CNRS / Verimag, France)
10:00 – 10:30 Coffee Break
10:30 – 12:30
Session 1 — System design & validation
"Μodel-based design of energy-efficient applications for IoT systems"
Alexios Lekidis and Panagiotis Katsaros (regular paper)
"A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems"
Pujie Han, Zhengjun Zhai, Brian Nielsen and Ulrik Nyman (regular paper)
"Formal Verification of Usage Control Models: A Case Study of UseCON Using TLA+"
Antonios Gouglidis, Christos Grompanopoulos and Anastasia Mavridou (case study paper)
"SENSE: Abstraction-Based Synthesis of Networked Control Systems"
Mahmoud Khaled, Matthias Rungger and Majid Zamani (tool paper)
12:30 – 14:00 Lunch Break
14:00 – 15:00 Invited Talk: "TASTE — an ESA-led toolchain that uses model-driven code generation to create correct-by-construction SW for safety-critical targets"
Thanassis Tsiodras (European Space Agency, The Netherlands)
15:00 – 16:00
Session 2 – Design frameworks
"Process network models for embedded system design based on the real-time BIP execution engine"
Fotios Gioulekas, Peter Poplavko, Panagiotis Katsaros and Pedro Palomo (regular paper)
"DesignBIP: A Design Studio for Modeling and Generating Systems with BIP"
Anastasia Mavridou, Joseph Sifakis and Janos Sztipanovits (tool paper)
16:00 – 16:30 Coffee Break
16:30 – 17:30
Session 3 – Synchronisation & Interaction
"Verification of Shared-Reading Synchronisers"
Afshin Amighi, Marieke Huisman and Stefan Blom (regular paper)
"Treo: Textual Syntax of Reo Connectors"
Kasper Dokter and Farhad Arbab (regular paper)
17:30 – 18:00 Closing Discussion