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) 一个基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、基础的、

0
下载
关闭预览

相关内容

ACM/IEEE第23届模型驱动工程语言和系统国际会议,是模型驱动软件和系统工程的首要会议系列,由ACM-SIGSOFT和IEEE-TCSE支持组织。自1998年以来,模型涵盖了建模的各个方面,从语言和方法到工具和应用程序。模特的参加者来自不同的背景,包括研究人员、学者、工程师和工业专业人士。MODELS 2019是一个论坛,参与者可以围绕建模和模型驱动的软件和系统交流前沿研究成果和创新实践经验。今年的版本将为建模社区提供进一步推进建模基础的机会,并在网络物理系统、嵌入式系统、社会技术系统、云计算、大数据、机器学习、安全、开源等新兴领域提出建模的创新应用以及可持续性。 官网链接:http://www.modelsconference.org/
Effective.Modern.C++ 中英文版,334页pdf
专知会员服务
67+阅读 · 2020年11月4日
专知会员服务
39+阅读 · 2020年9月6日
Python计算导论,560页pdf,Introduction to Computing Using Python
专知会员服务
72+阅读 · 2020年5月5日
Keras François Chollet 《Deep Learning with Python 》, 386页pdf
专知会员服务
151+阅读 · 2019年10月12日
机器学习入门的经验与建议
专知会员服务
92+阅读 · 2019年10月10日
【哈佛大学商学院课程Fall 2019】机器学习可解释性
专知会员服务
103+阅读 · 2019年10月9日
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
计算机 | CCF推荐期刊专刊信息5条
Call4Papers
3+阅读 · 2019年4月10日
人工智能 | CCF推荐期刊专刊约稿信息6条
Call4Papers
5+阅读 · 2019年2月18日
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
已删除
将门创投
4+阅读 · 2018年11月15日
Arxiv
0+阅读 · 2022年1月5日
VIP会员
相关VIP内容
相关资讯
计算机 | 入门级EI会议ICVRIS 2019诚邀稿件
Call4Papers
10+阅读 · 2019年6月24日
Transferring Knowledge across Learning Processes
CreateAMind
27+阅读 · 2019年5月18日
计算机 | CCF推荐期刊专刊信息5条
Call4Papers
3+阅读 · 2019年4月10日
人工智能 | CCF推荐期刊专刊约稿信息6条
Call4Papers
5+阅读 · 2019年2月18日
【TED】生命中的每一年的智慧
英语演讲视频每日一推
9+阅读 · 2019年1月29日
人工智能 | SCI期刊专刊信息3条
Call4Papers
5+阅读 · 2019年1月10日
A Technical Overview of AI & ML in 2018 & Trends for 2019
待字闺中
16+阅读 · 2018年12月24日
已删除
将门创投
4+阅读 · 2018年11月15日
Top
微信扫码咨询专知VIP会员