Hi Community,
I am happy to announce that this Thursday (the 11th of March), Daniel Ratiu will present FASTEN: an Extensible Framework for Rigorous Modeling of Safety Critical Systems.
Also, remember that in December we changed the link to join the Meetup!
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 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 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
And if you are thinking of proposing a talk, it is time to come forward. Just let me know by replying to this message.
How to connect
To avoid other 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. I understand it is a little extra effort but it would avoid problems like the ones we encountered:
Registration for the Virtual Meetup
After registering, you will receive a confirmation email containing information about joining the meeting. It will also permit you to add it to your calendar.
Time
It is hosted on Zoom at 6PM GMT+1/CET (you can use this link to figure out which time is in your timezone: The Time Zone Converter).
Cheers,
Elisa
P.S. We get a recurring question: “Are presentations recorded?”. The answer is not and the reasons are explained here On recording Virtual Meetups - #7 by voelter