To content

Property-Based Modulable Timing Analysis and Optimization

Please provide a copyright notice

PropRT will explore the pos­si­bi­lities to construct timing analysis for complex cyber-physical real-time systems from formal properties. The target properties should be modular so that safe and tight analysis as well as optimization can be performed (semi-)automatically. New, mathematical, modulable, and fundamental properties for property-based (schedulability) timing analyses and scheduling optimizations are needed to capture the pivotal properties of cyber-physical real-time systems, and thus enable mathematical and algorithmic re­search on the topic. Different flexibility and tradeoff options to achieve real-time guarantees should be provided in a modularized manner to enable tradeoffs between execution efficiency and timing predictability.

This proj­ect will provide a comprehensive view of the landscape of de­sign, analysis, and optimization options for timing properties in cyber-physical real-time systems. Advanced optimization and analytical frameworks based on the formal properties of scheduling algorithms and schedulability analysis will serve as new ingredients for designing predictable cyber-physical systems, which will trigger a revolution of computer architectures, system modeling, com­mu­ni­cation mecha­nisms, and synchronization designs in the near fu­ture. The results will bring a new de­sign process to further allow control designers and system integrators in cyber-physical real-time systems to jointly explore different configurations of controllers, computation, and com­mu­ni­cation parameters for designing timing predictable cyber-physical system applications.

The proj­ect is planned to start in 2020.

Links : Press announcement at TU Dort­mund


Location & approach

The campus of TU Dort­mund Uni­ver­sity is located close to interstate junction Dort­mund West, where the Sauerlandlinie A 45 (Frankfurt-Dort­mund) crosses the Ruhrschnellweg B 1 / A 40. The best interstate exit to take from A 45 is "Dort­mund-Eichlinghofen" (closer to Cam­pus Süd), and from B 1 / A 40 "Dort­mund-Dorstfeld" (closer to Cam­pus Nord). Signs for the uni­ver­si­ty are located at both exits. Also, there is a new exit before you pass over the B 1-bridge leading into Dort­mund.

To get from Cam­pus Nord to Cam­pus Süd by car, there is the connection via Vo­gel­pothsweg/Baroper Straße. We recommend you leave your car on one of the parking lots at Cam­pus Nord and use the H-Bahn (suspended monorail system), which conveniently connects the two campuses.

TU Dort­mund Uni­ver­sity has its own train station ("Dort­mund Uni­ver­si­tät"). From there, suburban trains (S-Bahn) leave for Dort­mund main station ("Dort­mund Hauptbahnhof") and Düsseldorf main station via the "Düsseldorf Airport Train Station" (take S-Bahn number 1, which leaves every 20 or 30 minutes). The uni­ver­si­ty is easily reached from Bochum, Essen, Mülheim an der Ruhr and Duisburg.

You can also take the bus or subway train from Dort­mund city to the uni­ver­si­ty: From Dort­mund main station, you can take any train bound for the Station "Stadtgarten", usually lines U41, U45, U 47 and U49. At "Stadtgarten" you switch trains and get on line U42 towards "Hombruch". Look out for the Station "An der Palmweide". From the bus stop just across the road, busses bound for TU Dort­mund Uni­ver­sity leave every ten minutes (445, 447 and 462). Another option is to take the subway routes U41, U45, U47 and U49 from Dort­mund main station to the stop "Dort­mund Kampstraße". From there, take U43 or U44 to the stop "Dort­mund Wittener Straße". Switch to bus line 447 and get off at "Dort­mund Uni­ver­si­tät S".

The AirportExpress is a fast and convenient means of transport from Dort­mund Airport (DTM) to Dort­mund Central Station, taking you there in little more than 20 minutes. From Dort­mund Central Station, you can continue to the uni­ver­si­ty campus by interurban railway (S-Bahn). A larger range of in­ter­na­tio­nal flight connections is offered at Düsseldorf Airport (DUS), which is about 60 kilometres away and can be directly reached by S-Bahn from the uni­ver­si­ty station.

The H-Bahn is one of the hallmarks of TU Dort­mund Uni­ver­sity. There are two stations on Cam­pus Nord. One ("Dort­mund Uni­ver­si­tät S") is directly located at the suburban train stop, which connects the uni­ver­si­ty directly with the city of Dort­mund and the rest of the Ruhr Area. Also from this station, there are connections to the "Technologiepark" and (via Cam­pus Süd) Eichlinghofen. The other station is located at the dining hall at Cam­pus Nord and offers a direct connection to Cam­pus Süd every five minutes.

The facilities of TU Dort­mund Uni­ver­sity are spread over two campuses, the larger Cam­pus North and the smaller Cam­pus South. Additionally, some areas of the uni­ver­si­ty are located in the adjacent "Technologiepark".

Site Map of TU Dort­mund Uni­ver­sity (Second Page in English).