May 18th, 2025
Guest Professor Pierluigi Nuzzo
High-Assurance Design Methods for Trustworthy Cyber-Physical Systems: A Contract-Based Approach
![[This image appears to be a view from the inside of a car that is equipped with an advanced driver-assistance system (ADAS) or self-driving capabilities. The dashboard shows a large digital screen that displays a map and the car's current speed, which is 40 km/h. The windshield view presents a busy street scene, overlaid with various highlighted objects that the car's system is presumably tracking: Pedestrians crossing the road are highlighted with yellow boxes, indicating the car's awareness of their presence for safety reasons. Other vehicles on the road are also highlighted with yellow boxes, showing that the system is tracking their position and movement. Traffic signs, such as a pedestrian crossing warning, a stop sign, and directional arrows, are outlined, suggesting that the system is recognizing traffic signals for navigation and compliance purposes. The car's rearview mirror reflects the backseat, implying that the system has a full 360-degree monitoring capability. This technology exemplifies the advancements in autonomous driving, showcasing how vehicles can perceive their environment to navigate safely.] (Text generated by ChatGPT4)](https://www.tuwien.at/doc/trustacps/wp-content/uploads/2024/01/adobestock-224332680-1800x502.png)
TrustACPS DK
© adobe.stock.com | # 224332680 | Credits: Scharfsinn86
News
![This is the logo of the PhD school. There is a text with [TextACPS] and on the left a symbol depicting a list of nodes.](https://www.tuwien.at/doc/trustacps/wp-content/uploads/2024/01/logotrustacps.png)
About Cookies
Our website uses cookies to ensure you get the best experience on our website, for analytical purposes, to provide social media features, and for targeted advertising. This it is necessary in order to pass information on to respective service providers. If you would like additional information about cookies on this website, please see our Data Protection Declaration.
-
These cookies are required to help our website run smoothly.
Name Purpose Lifetime Type Provider wordpress_test_cookie Testing-Cookie to check whether cookies are allowed. 1 Year HTTP Homepage TUW PHPSESSID Used by WordPress to retain the state of your current user session for all page requests. Session HTTP Homepage TUW wordpress_logged_in_{hash} Used by Wordpress to keep users logged in. {hash} represents an unique user token. 1 Year HTTP Homepage TUW wp-settings-time-{id} Used to customize your view of admin interface, and possibly also the main site interface. 1 Year HTTP Homepage TUW wordpress_sec_{hash} This cookie is used to store your authentication details. Its use is limited to the admin console area. {hash} represents an unique user token. 1 Year HTTP Homepage TUW wp-settings-{id} Used to customize your view of admin interface, and possibly also the main site interface. 1 Year HTTP Homepage TUW wp-wpml_current_language Stores the current language. This cookie is enabled by default on sites that use the Language filtering for AJAX operations feature. 1 Day HTTP Homepage TUW wp-wpml_current_admin_language_{hash} Stores the current WordPress administration area language. {hash} represents an unique user token. 1 Day HTTP Homepage TUW CookieConsent_374094 Saves your settings for the use of cookies on this website. 1 Year HTML Homepage TUW -
These cookies help us to continuously improve our services and adapt our website to your needs. We statistically evaluate the pseudonymized data collected from our website.
Name Purpose Lifetime Type Provider _pk_id.136.56ce Used to store a few details about the user such as the unique visitor ID. 13 months HTML Matomo TUW _pk_ref Is used to store the information of the users home website. 6 months HTML Matomo TUW _pk_ses.136.56ce Is needed to store temporary data of the visit. 30 minutes HTML Matomo TUW