[PDF][PDF] 基于MDA 的汽车嵌入式软件系统架构设计
王军， 宋顺林 - 计算机工程与设计, 2010 - wenku.uml.net.cn
… SysML (systems modeling language) 就被设计为满足工程师的架构挑 战.工程师使用基于
UML/SysML … 本文使用UML/SysML 为汽车嵌入式软件开发描述了一 些系统工程技术.这些技术提供…
UML/SysML … 本文使用UML/SysML 为汽车嵌入式软件开发描述了一 些系统工程技术.这些技术提供…
信息物理融合系统的模型驱动构建技术与工具综述
: 信息物理融合系统(cyber-physical system, CPS) 已成为应对社会经济可持续发展诸多挑战性
问题的潜在使能技术. 自2006 年CPS 肇始至今的大量研究表明: CPS 由大量异构子系统构成, 其…
问题的潜在使能技术. 自2006 年CPS 肇始至今的大量研究表明: CPS 由大量异构子系统构成, 其…
基于模型的复杂系统任务保证研究综述.
赵亮， 陈夏楠， 锁斌 - Journal of Computer Engineering & …, 2022 - search.ebscohost.com
… 当前MBSE 领域主流 的系统描述语言是OMG 发布和维护的系统建模语言 (systems modeling
language,SysML),该语言基于UML 发展而来,并专门针对系统设计领域特点进行了扩展. …
language,SysML),该语言基于UML 发展而来,并专门针对系统设计领域特点进行了扩展. …
[PDF][PDF] 安全关键异构软件混合建模及代码生成方法
宗喆， 杨志斌， 袁胜浩， 周勇 - 软件学报, 2021 - jos.org.cn
… ]提出一种基于SysML 和AADL 的安全关键系统设计, 验证及代码生成方法.其中,SysML 主要用
于… 开放 式航空电子系统的多范式建模方法,即SysML用于系统工程建模,转换到基于AADL 的软件…
于… 开放 式航空电子系统的多范式建模方法,即SysML用于系统工程建模,转换到基于AADL 的软件…
[PDF][PDF] 嵌入式系统的需求描述综述
陈小红， 刘少彬， 金芝 - 软件学报, 2024 - jos.org.cn
: 随着嵌入式系统的广泛应用, 其需求正变得越来越复杂, 需求分析成为嵌入式系统开发的关键阶段
, 如何准确地建模和描述需求成为首要问题. 系统地调研嵌入式系统的需求描述, 并进行全面的…
, 如何准确地建模和描述需求成为首要问题. 系统地调研嵌入式系统的需求描述, 并进行全面的…
[HTML][HTML] 基于Event-B 的软件工程形式化方法综述
彭寒， 张晓丽， 刘洲洲， 曹国震， 景月娟， 王瑾… - 计算机系统应用, 2021 - csa.org.cn
… 因此, 原生的Event-B模型的控制流通常都是不可见的, 因为一个Event-B模型中的事件都是“平坦
”的, 建模者看到的就是一个大的事件集合, 既没有像UML或者SysML那样将系统分解为子系统,…
”的, 建模者看到的就是一个大的事件集合, 既没有像UML或者SysML那样将系统分解为子系统,…
[HTML][HTML] 基于统一体系结构框架的战区联合作战后勤与装备保障指挥信息系统架构
刘婧婷， 郭继坤， 邵芳 - 兵工学报, 2021 - m.fx361.com
… naval contract combat architecture based on DoDAF [J]. Command Information Systems and
… 基于模型的系统工程——综合运用OPM和SysML[M].杨峰,王文广,王涛,译.北京:电子工业出版社,…
… 基于模型的系统工程——综合运用OPM和SysML[M].杨峰,王文广,王涛,译.北京:电子工业出版社,…
[PDF][PDF] 可组合嵌入式软件建模与验证技术研究综述
王博， 白晓颖， 贺飞 - 软件学报, 2014 - jos.org.cn
… The paper also investigates three typical verification techniques of component composition
including contract-based, invariants-based, and model checking techniques. It discusses …
including contract-based, invariants-based, and model checking techniques. It discusses …