Internship | Visualization of Formal Verification Findings
Location
EindhovenEducation type
university (wo)Type
Internship and graduation projectHours a week
Fulltime – 40Interested?
Apply now
The Machinaide project is a cooperation of TNO, Cordis SUITE, TU/e, Additive Industries, Lely Industries and KE-works. Machinaide aims at the development of digital twins for small- and medium-sized companies; Machinaide specifically targets digital twins of system control applications. Basis of Machinaide’s digital twins is the Cordis SUITE low-code platform, a platform for specification and code generation for system control. Cordis SUITE is being extended with data collection and visualization functionality developed in Machinaide.
What will be your role?
What is lacking is a user-friendly way to report findings of property violations. This is the topic of this assignment. Gantt charts can be used to visualize system behavior over time, typically showing system actions and their dependencies, but sometimes also discrete events and continuous signals. An example of a versatile Gantt chart visualization tool is ESI’s TRACE tool (see https://trace.esi.nl/). Gantt charts can show actual execution traces, but also counterexamples found by run-time verification and model checking.
In this assignment, a method is to be developed to augment execution traces with property-specific elements to (1) highlight violations of user-defined properties and (2) provide feedback to the user why the property was violated. The augmented execution trace is to be visualized as a Gantt chart. This execution trace augmentation involves relating the user-defined properties to the elements in the execution trace shown in the Gantt chart and highlighting the events leading to a property violation.
The assignment will (if circumstances allow) be carried out at TNO's Embedded Systems Innovation department at the High Tech Campus in Eindhoven in cooperation with Cordis SUITE and TU/e.
How do you want to contribute to tomorrow's world? How big can your impact be? Come and work at TNO and envision it.
What we expect from you
What you’ll get in return
TNO as an employer
The selection process
After the first CV selection, the application process will be conducted by the concerning department. TNO will provide a suitable internship agreement. If you have any questions about this vacancy, you can contact the contact person mentioned below.
Due to Covid-19 and the consequent uncertainties and restrictions, students who are not residing in the Netherlands may currently not be able to start an internship or graduation project at TNO.
Has this job opening sparked your interest?
Then we’d like to hear from you! Please contact us for more information about the job or the selection process. To apply, please upload your CV and covering letter using the ‘apply now’ button.
Contact: Jacques Verriet
Phone number: +31 (0)88-86 65468
Interested?
Apply now