A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design
A lightweight approach to the concurrent use and integration of SysML and formal methods in systems design
复制标题
一种在系统设计中同时使用和集成 SysML 和形式化方法的轻量级方法
DOI：
10.1145/3550356.3559577
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Thorburn R
中科院分区：
文献类型：
--
作者：
Thorburn R
不断增加的系统复杂性和无处不在的计算推动了对改进系统设计的需求。使用通用语言（如SysML）的基于模型的系统工程是对这一挑战的一种成熟的回应。然而，对于构造正确性至关重要的系统，通常也会部署形式化方法。这是一项重要的工作，通常涉及完整的模型翻译。我们解决这个问题，通过开发一种新的需求交换系统，作为一个SysML模型库，以指导并发使用SysML和正式的模型，而不需要完整的模型翻译。
Increased systems complexity and ubiquitous computing drive the need for improved systems design. Model-based systems engineering using general purpose languages such as SysML, is a well-established response to this challenge. However, for systems where correctness-by-construction is critical, formal methods are often also deployed. This is a significant undertaking often involving complete model translation. We address this problem by developing a novel requirements interchange system, presented as a SysML model library, to guide the concurrent use of SysML and formal models without requiring complete model translation.
SysML与B法相结合描述软件规范
DOI：
--
发表时间：
2014
期刊：
2014 IEEE International Symposium on Software Reliability Engineering Workshops
影响因子：
--
作者：
Satoko Kinoshita;H. Nishimura;H. Takamura;Daichi Mizuguchi
通讯作者：
Daichi Mizuguchi
工作中的模型同步：保持 SysML 和 AUTOSAR 模型一致
DOI：
--
发表时间：
2010
期刊：
Graph Transformations and Model-Driven Engineering
影响因子：
--
作者：
H. Giese;Stephan Hildebrandt;Stefan Neumann
通讯作者：
Stefan Neumann