The use of domain-specific modeling for development of complex (cyber-physical) systems is gaining increasing acceptance in the industrial environment. Domain-specific modeling allows complex systems and data to be abstracted for a more efficient system design, development, validation, and configuration. However, no existing (meta-)modeling framework can be used with reasonable effort in certified software so far, neither for the development of systems nor for the execution of system functions. For the use of (development) artifacts from domain-specific modeling in safety-critical processes or systems it is required to ensure their correctness by either subsequent (manual) verification or the usage of (pre-)qualified software. Existing meta-languages often contain modeling elements that are difficult or impossible to implement in a qualifiable manner leading to a high manual, subsequent certification effort. Therefore, the aim is to develop a (meta-)modeling framework, that can be used in certified software. This can significantly reduce the development effort for safety-critical systems and enables the full advantages of domain-specific modeling. The framework components considered in this PhD-Thesis include: (1) an essential meta-language, (2) a qualifiable runtime environment, and (3) a suitable persistence. The essential \mbox{(meta-)}modeling language is mainly based on the UML standard, but is enhanced with multi-level modeling concepts such as deep instantiation. Supporting a possible qualification, the meta-language is implemented using the highly restrictive, but formally provable programming language Ada SPARK.
翻译:在工业环境中,为开发复杂(网络物理)系统而使用特定领域的建模正在日益得到工业环境的接受。具体领域的建模使复杂的系统和数据能够被抽取,用于更有效的系统设计、开发、验证和配置。然而,迄今为止,现有的(元)建模框架无法在经过合理努力的认证软件中加以使用,既不能用于系统开发,也不能用于执行系统功能。在安全关键流程或系统中使用(开发)特定领域的建模工艺,以确保这些工艺的正确性,这需要通过随后的(人工)核查或使用(预先的)限制性语言软件来确保其正确性。现有的元语言往往包含难以或不可能以可量化的方式执行的建模要素,导致随后的认证工作。因此,目标是开发一个(元)建模框架,可用于认证软件。这可以大大减少安全关键系统中的开发工作,并使得具体领域的建模具有充分优势。本-阶段研究中考虑的框架组成部分包括:(1) 一个基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、