In this third decade of systems engineering in the twenty-first century, it is important to develop and demonstrate practical methods to exploit machine-readable models in the engineering of systems. Substantial investment has been made in languages and modelling tools for developing models. A key problem is that system architects and engineers work in a multidisciplinary environment in which models are not the product of any one individual. This paper provides preliminary results of a formal approach to specify models and structure preserving transformations between them that support model synchronization. This is an important area of research and practice in software engineering. However, it is limited to synchronization at the code level of systems. This paper leverages previous research of the authors to define a core fractal for interpretation of concepts into model specifications and transformation between models. This fractal is used to extend the concept of synchronization of models to the system level and is demonstrated through a practical engineering example for an advanced driver assistance system.
翻译:在21世纪第三个系统工程十年中,必须制定和展示实用方法,在系统工程中利用机器可读模型;对用于开发模型的语文和建模工具进行了大量投资;一个关键问题是,系统建筑师和工程师在模型不是任何人产物的多学科环境中工作;本文件提供了一种正式办法的初步结果,以具体确定模型和结构,保护模型同步的转变;这是软件工程研究和实践的一个重要领域;然而,这仅限于在系统代码一级实现同步;本文利用作者以前的研究,界定概念解释成模型规格和模型之间转变的核心分形;这一分形被用来将模型同步的概念扩大到系统一级,并通过先进的驱动器协助系统的实际工程范例加以证明。