Abstract
Daniel Ratiu has been recently working as a method and language engineer for Volkswagen’s AID and after that Volkswagen’s Car.Software.Org in the field of highly automated driving. He develops methods, DSLs and tooling for describing different aspects of the autonomy stack with a special interest in developing automation and safety assurance. Previously,
Daniel will lead the discussion with a presentation on the efficient development of safety critical systems requires a high degree of automation during all development phases from requirements specification to design, verification, safety analyses and assurance. To make this feasible, we need to describe system aspects using semantically rich models that enable advanced tool support and automation. In this talk he will present FASTEN, an open-source environment to experiment with rigorous modeling of safety critical systems. He will showcase how we incrementally formalize different aspects of systems development and transition from informal to formal models. He will present an overview of the currently available DSLs used to specify requirements, system design, safety analyses and assurance arguments.
FASTEN is based on the Jetbrains MPS language workbench and this enabled us to develop the tool in an efficient manner and to explore different modeling abstractions and their integration in a continuous fashion. Last but not least, he will describe some language engineering design decisions that are used by the FASTEN eco-system. FASTEN’s Homepage: FASTEN – Formal Specification Environment 3
Biography
Daniel worked for Siemens Research as a consultant, coach and researcher on model-based dependability of software intensive systems using DSLs and formal verification. Before joining Siemens, Daniel led the “Analysis and Design of Dependable Systems” research group at Fortiss research institute from Munich. In 2009 Daniel completed his PhD in software engineering at the Technical University of Munich.
Daniel Ratiu: https://www.linkedin.com/in/daniel-ratiu-5a47a03/
How to join the event:
To avoid security issues is now necessary to register for the meeting. The registration should be necessary just once and be valid for all the next meetings you will participate in. Follow these steps:
- Register yourself to the community on the Homepage
- You will receive a confirmation email containing all the information about joining the meeting.
- Add to your calendar
- Enjoy the talk and, if you feel like, discuss further on the community forum