Addressing systems verification of autonomous systems through Bi-directional model transformations: A systems model driven architecture approach

This paper presents a domain modeling approach that employs novel bi-directional model transformations to enable the verification of an autonomous system´s functions and performance. The innovative systems based model driven architecture approach allows important aspects of systems engineering to be undertaken closer to deployment, when the conditions under which the system is to be used will be more readily apparent. Such autonomous systems will be tasked at increasingly abstract levels, and their performance will be influenced by the environment in which they operate and the nature of the goals they have been set. Our approach is not restricted to autonomous systems and can be applied to other types of complex system.