RTSS 2018

RTSS@Work

Demos

Time4Sys – Integrating Timing Verification in your Engineering Practices
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
Byeongkyo Cheong, Donghee Ha, Jinse Kwon and Hyungshin Kim

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

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

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

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

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