The development of cyber-physical systems can significantly benefit from domain-specific modeling and requires adequate (meta)-modeling frameworks. If such systems are designed for the safety-critical area, the systems must undergo qualification processes defined and monitored by a certification authority. To use the resulting artifacts of modeling tools without further qualification activities, the modeling tool must be additionally qualified. Tool qualification has to be conducted by the tool user and can be assisted by the tool developer by providing qualification artifacts. However, state-of-the-art domain-specific modeling frameworks barely support the user in the qualification process, which results in an extensive manual effort. To reduce this effort and to avoid modeling constructs that can hardly be implemented in a qualifiable way, we propose the development of an open source (meta)-modeling framework that inherently considers qualification issues. Based on the functionality of existing frameworks, we have identified components that necessarily need to be rethought or changed. This leads to the consideration of the following six cornerstones for our framework: (1) an essential meta-language, (2) a minimal runtime, (3) deterministic transformations, (4) a qualification artifact generation, (5) a sophisticated visualization, and (6) a decoupled interaction of framework components. All these cornerstones consider the aspect of a safety-critical (meta)-modeling framework in their own manner. This combination leads to a holistic framework usable in the safety-critical system development domain.
翻译:开发网络物理系统可大大受益于具体领域的建模,并需要适当的(元)建模框架。如果这些系统是为安全关键领域设计的,那么这些系统必须经过认证机构界定和监测的资格认证程序。为了在不开展进一步的资格认证活动的情况下使用由此形成的建模工具文物,建模工具必须具有额外资格。工具资格必须由工具用户进行,并且可以由工具开发者通过提供资格工艺品来协助。然而,最先进的具体领域建模框架在资格认证过程中几乎不能为用户提供支持,这导致了广泛的手工工作。为减少这种努力,避免无法以可量化的方式实施的模式建模,我们建议开发一个开放的源(元)建模框架,这种建模框架必然考虑资格问题。根据现有框架的功能,我们确定了必然需要重新思考或修改的整体框架的组成部分。这导致考虑我们框架的以下六个基石:(1) 基本元化,(2) 最低限度的运行时间,(3) 确定性变装模的系统,(4) 以可量化的方式建模框架的全视像化框架。(5) 考虑这些精细的建筑结构的形成。