Engineering safe autonomous mobile systems of systems using specification (model) based systems architecture engineering

摘要

Engineering safe, complex real-time systems is challenging. Engineering mobile systems of systems that are safe and possibly autonomous, requires considerable support from competent specification based architecture, model-based design processes and concomitant large-scale, heterogeneous simulation capabilities. Safety - the dominatrix of autonomy - is determined by requirements that then propagate through the specification, architecture, design, verification, validation and calibration phases of the real-time engineering process. In real-time systems, time is a 1^st class, functional property of the system. The paper describes a specification-based architecture for the engineering of safe mobile system of systems and the modeling and simulation technology required to produce them.