International Workshop on Modeling and Security of Autonomous Systems
Autonomous (and semi-autonomous) systems such as drones and driverless cars start to play more and more important roles in our daily lives. How to develop very high quality software for autonomous systems and prevent cyber-attacks has become a major concern for many companies and government agencies. In order to develop high-quality software, it is important to develop an accurate model of the targeted systems. Therefore, conceptual modelling plays a major and essential role in system design and development. The goal of our workshop is to find new techniques to make the current and future (semi-) autonomous systems safer and better.