in the HGI-Colloquium sessions organized by the chair of Embedded Security and the Horst Görtz Institute of the Ruhr University Bochum Bernhard Steffen and Falk Howar from TU Dortmund will give a talk on "Model Engineering: Correctness by Constructon, Verification, and Mining" on Monday, 28.01.2019 at 14:00 c.t. in ID 04/653.
Models are an established means for mastering complexity of software systems. They allow for structured and focused problem descriptions which, today, are often sufficient for generating appropriate implementations. The correctness of these implementations can be verified by checking the model itself as well as the applied transformation process. The impact of models is, however, not bound to this kind of 'correctness by construction' approaches. Using machine learning technology they can be inferred from systems via testing and then, e.g., be used for validation. Both, the correctness by construction and the learning-based approach have a high potential for increasing the trust in the security of future systems.
This and all the next HGI-Colloquia are open to all the students and the interested parties, without any need of pre-registration.
General note: In case of using gender-assigning attributes we include all those who consider themselves in this gender regardless of their own biological sex.