RTSS 2018

RTSS@Work

Demos

Time4Sys – Integrating Timing Verification in your Engineering Practices [Presentation]
Loic Fejoz, Lionel Havet, Aurélien Didier, Benoit Viaud, Anh-Toan Bui Long, Thanh-Dat Nguyen, Yassine Ouhammou, Emmanuel Grolleau, Adriana Gogonel, Cristian Maxim, Liliana Cucu-Grosjean, Rafik Henia, Laurent Rioux, Nicolas Sordon, Nicolas Ayache, Joris Rehm

Towards Real-time Object Detection on Mobile Devices [Presentation]
Byeongkyo Cheong, Donghee Ha, Jinse Kwon and Hyungshin Kim

Simulation of Field Calculus-based IoT Applications with Real-Time Guarantees [Presentation]
Giorgio Audrito, Ferruccio damiani, Mirko Viroli, Danilo Pianini and Enrico Bini

DeepPicar: A Low-cost Deep Neural Network-based Autonomous Car [Presentation]
Michael Bechtel, Elise McEllhiney, Minje Kim and Heechul Yun

HyLAA 2.0: A Verification Tool for Linear Hybrid Automaton Models of Cyber-Physical Systems [Presentation]
Stanley Bak and Parasara Sridhar Duggirala

FECBench — A Framework for Measuring and Analyzing Performance Interference Effects for Latency-sensitive Applications [Presentation]
Yogesh Barve, Shashank Shekhar, Ajay Chhokra, Shweta Khare, Anirban Bhattacharjee and Aniruddha Gokhale

Coordinated City-Scale Traffic Management using Quartz “Time-as-a-Service” [Presentation]
Sandeep D’souza, Ragunathan (Raj) Rajkumar, Heiko Koehler and Akhilesh Joshi