Skip to main content

Department of Computer Science

Minh Nguyen (former employee)

Research Associate Project VeriComp /Research Associate Project SESAME

Unit

Department of Computer Science

Research fields

  • Autonomous Systems
  • Model-Driven Engineering

Location

Sankt Augustin

Address

Grantham-Allee 20

53757, Sankt Augustin

Projects

SESAME (Safe and Secure Multi-Robot-Systems)

The overarching goal of SESAME is to develop an open, modular, configurable, model-based approach for systematic engineering of dependable MRS. The approach is supported by a set of public meta-models, components and configuration tools produced by the project. Target MRS may employ AI, and will be capable of operating dependably in open configurations, and in conditions of uncertainty that include the acknowledged possibility of cyber-attacks. Five novel applications that add value to the European science and economy will be developed and verified for dependability using the SESAME approach.