Write a Blog >>
SLE 2020
Sun 15 - Fri 20 November 2020 Online Conference
co-located with SPLASH 2020
Sun 15 Nov 2020 15:40 - 16:00 at SPLASH-III - Chair(s): Jonathan Aldrich
Mon 16 Nov 2020 03:40 - 04:00 at SPLASH-III - Chair(s): Erwan Bousse

Satisfying real-time requirements in cyber-physical systemsis challenging as timing behaviour depends on the applica-tion software, the embedded hardware, as well as the exe-cution environment. This challenge is exacerbated as real-world, industrial systems often use unpredictable hardwareand software libraries or operating systems with timing haz-ards and proprietary device drivers. All these issues limitor entirely prevent the application of established real-timeanalysis techniques.

This paper describes PReGO, a partially generative method-ology for satisfying real-time requirements in industrial usecases developed without real-time techniques in mind. Weapply our methodology to a Search & Rescue applicationrunning on a fixed-wing drone with COTS components, in-cluding a NVIDIA Jetson board and a stock Ubuntu/Linux.We empirically evaluate the impact of each integration stepand demonstrate the effectiveness of our methodology inmeeting real-time application requirements in terms of dead-line misses and energy consumption.

Sun 15 Nov
Times are displayed in time zone: Central Time (US & Canada) change

15:00 - 16:20: GPCE / SLE at SPLASH-III +12h
Chair(s): Jonathan AldrichCarnegie Mellon University
15:00 - 15:20
Talk
GPCE
Knut Anders StokkeUniversity of Bergen, Mikhail BarashUniversity of Bergen, Jaakko JärviUniversity of Turku
Link to publication DOI Media Attached
15:20 - 15:40
Talk
SLE
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Tijs van der StormCWI & University of Groningen, Netherlands
Link to publication DOI Pre-print Media Attached
15:40 - 16:00
Talk
GPCE
Benjamin RouxelUniversity of Amsterdam, Ulrik Pagh SchultzUniversity of Southern Denmark, Benny AkessonUniversity of Amsterdam / TNO, Jesper HolstSky-Watch, Ole JørgensenSky-Watch, Clemens GrelckUniversity of Amsterdam
Link to publication DOI Media Attached
16:00 - 16:20
Talk
SLE
Matteo CiminiUniversity of Massachusetts at Lowell, USA, Dale MillerInria, France / École Polytechnique, France, Jeremy G. SiekIndiana University, USA
Link to publication DOI Media Attached

Mon 16 Nov
Times are displayed in time zone: Central Time (US & Canada) change

03:00 - 04:20: GPCE / SLE at SPLASH-III
Chair(s): Erwan BousseUniversity of Nantes
03:00 - 03:20
Talk
GPCE
Knut Anders StokkeUniversity of Bergen, Mikhail BarashUniversity of Bergen, Jaakko JärviUniversity of Turku
Link to publication DOI Media Attached
03:20 - 03:40
Talk
SLE
Mauricio Verano MerinoTechnische Universiteit Eindhoven, Tijs van der StormCWI & University of Groningen, Netherlands
Link to publication DOI Pre-print Media Attached
03:40 - 04:00
Talk
GPCE
Benjamin RouxelUniversity of Amsterdam, Ulrik Pagh SchultzUniversity of Southern Denmark, Benny AkessonUniversity of Amsterdam / TNO, Jesper HolstSky-Watch, Ole JørgensenSky-Watch, Clemens GrelckUniversity of Amsterdam
Link to publication DOI Media Attached
04:00 - 04:20
Talk
SLE
Matteo CiminiUniversity of Massachusetts at Lowell, USA, Dale MillerInria, France / École Polytechnique, France, Jeremy G. SiekIndiana University, USA
Link to publication DOI Media Attached