Keynote Speakers

(Speaker to be announced)

MBSA in the aeronautic safety standard ARP4761

Keynote: Tuesday September 12

Marcel Verhoef
Marcel Verhoef

From Documents to Models: Towards Digital Continuity

: Model-based techniques are slowly gaining momentum in industrial practice. The potential benefits are apparent to the early adopters and on specific steps of the development life cycle this can now also be convincingly demonstrated. MBSE is here to stay, however, current standards (such as ECSS in case of the European Space sector) are predominantly based on a document based workflow supported by reviews based on human inspection. Introduction of MBSE into this context is not simply replacing documents by models (or generating documents from models for that matter). The real promise of MBSE lies in the consistent use throughout the life cycle, creating what we call "digital continuity" making explicit connections across each development phase, across engineering disciplines, and across the supply chain, from cradle to grave. In this talk, we investigate what challenges we are facing today to achieve that vision, and what this could mean in terms of new research challenges for academia. In this context, it is interesting to look at safety and dependability, as this cross cutting concern typically brings together all these aspects.

Bio: Marcel Verhoef is working as a software engineer in the Software Systems Division of the Directorate of Technology, Engineering and Quality of the European Space Agency. He is based at ESTEC, providing support to several several space missions currently under development and he manages several R&D activities on applied formal methods to support model-based design and analysis of space systems. His current research interests include software requirements, model-based systems and software engineering, execution architectures and dependability. He is co-convenor of a space industry working group to define a handbook for fault-detection, isolation and recovery for spacecraft. He is author of two textbooks on the practical application of formal techniques in industry and has written over 25 scientific papers.

Keynote: Wednesday September 13