Software Engineer, Chair of Software Engineering, RWTH Aachen University
RWTH Aachen University
Aachen, NRW, Germany
Speaker
Principal Investigator of Safety&Security Verification Projects from the EU and the German Government. CS, Maths and Doctoral Studies at RWTH Aachen University.
At RWTH Aachen University, we pride ourselves on being one of Europe's leading technical universities, renowned for our commitment to innovation and research excellence. Our interdisciplinary approach fosters collaboration between academia and industry, enabling us to tackle the most pressing challenges in engineering, technology, and the natural sciences.
Principal Investigator of the StartUpSecure Project “CyberBelle - A cloud-based solution for designing secure cyber-physical systems using logic-based AI” from the Federal Ministry of Research, Technology and Space
Principal Investigator of the EXIST Business Start-up Project “MontiBelle AI Prover - A digital solution for the quality assurance of cyber-physical systems” from the European Union and the Federal Ministry for Economic Affairs and Energy
Grant of three years for the Research Training Group Project “AlgoSyn - Algorithmic synthesis of reactive and discrete-continuous systems” from the German Research Foundation
General SysML v2 language constructs will be introduced. Both a conceptual introduction as well as suitable example models will be provided in the textual notation. Some textual SysML v2 tool on the practitioners' machines will be used to create models.
First, an open source SysML v2 library for space models will be introduced. Afterwards, a practical exercise using the library will be carried out. In the end, a discussion of future collaborations and development with the audience.