Looking Ahead

As we continue our research into the integration of safety and security engineering for mission-critical systems, we are investigating the following questions:

Near-term—What assumptions underlying technologies that support increasing levels of autonomy (i.e., machine learning [ML], artificial intelligence [AI]) can we describe using AADL? 

Mid-term—How can models be used at runtime? What are the connections between static, design-time models and dynamic models used while a system is operating?

Long-term—To what extent can we use ML/AI to help develop models rather than the other way around?