-
题名基于状态图转形式化B模型的安全苛求系统开发方法
被引量：1
- 1
-
-
作者
赵大地
王恪铭
-
机构
西南交通大学信息科学与技术学院
西南交通大学计算机与人工智能学院
西南交通大学系统可信性自动验证国家地方联合实验室
-
出处
《计算机工程》
CAS
CSCD
北大核心
2024年第11期173-186,共14页
-
基金
四川省自然科学基金(2022NSFSC0464)
成都市软科学研究项目(2023-RK00-00084-ZF)。
-
文摘
形式化方法精确且严格,较多应用于安全苛求系统开发,但目前仍存在学习成本高、使用复杂、重用性低等问题。常用的非形式化状态图模型虽易于使用却缺乏严格验证。针对这些问题,提出一种将状态图SCXML模型转译为形式化B模型的模型转化方法,从而结合状态图的易用性降低在安全苛求软件系统开发过程中使用形式化方法的复杂度。该转译方法分为映射规则、同步语义和程序实现3个部分,以保证自动转译后的模型自身含义与基础语义不变。在平交道口控制系统开发案例分析中,该方法根据图元模型自动生成了对应形式化模型,通过对形式化模型的分析改进系统在功能安全、数据安全、隐藏分支3个方面的非安全因素,并保证从需求至模型的一致性,证明了该方法可降低形式化方法建模难度,提高软件系统的正确性、可靠性与安全性。
-
关键词
软件功能安全
形式化方法
模型转化
SCXML状态图
B方法
-
Keywords
software functional safety
formal method
model transformation
State Chart extensible Markup language(SCXML)state chart
B method
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名建模样式:一种评估软件体系结构非功能属性的方法
被引量：7
- 2
-
-
作者
徐鹏
杨放春
-
机构
北京邮电大学计算机科学与技术学院
-
出处
《软件学报》
EI
CSCD
北大核心
2006年第6期1318-1327,共10页
-
基金
长江学者和创新团队发展计划~~
-
文摘
软件体系结构设计是软件过程中最为重要的环节之一.在设计阶段完成对软件体系结构非功能属性的评估,对于高质量软件产品的开发非常重要.通过对统一建模语言(UML)的扩展,提出了“建模样式”用于在软件设计阶段对软件体系结构非功能属性进行评估,并结合“可用性链”建模样式在分析软件体系结构“单消息分发-多消息处理”可用性中的应用,给出了建模样式的使用示例.同时,针对建模样式的应用,还提出了“建模知识库”用于管理和维护建模样式,提供各建模样式中标签的参考值.基于UML的建模样式以及建模知识库的使用,可以简化对软件体系结构非功能属性评估的复杂度和工作量,使其可以为软件开发人员所用,并融入到高质量软件开发过程中.
-
关键词
软件体系结构
统一建模语言
非功能
建模
样式
可用性
知识库
展计划)
-
Keywords
software architecture
unified modeling language
non-functional
modeling
pattern
availability
knowledge-base
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名发动机控制用CAN通信软件的UML建模
- 3
-
-
作者
解振兴
刘波澜
戴筱妍
黄英
-
机构
北京理工大学机械与车辆工程学院
-
出处
《汽车工程》
EI
CSCD
北大核心
2012年第8期708-712,共5页
-
文摘
针对发动机控制软件的复杂性,引入了基于UML的面向对象的软件开发方法。从CCP协议对CAN通信的要求入手,论述了开发CAN通信软件的整个建模过程。应用UML开发了发动机嵌入式控制的CAN通信软件,并进行了功能验证。
-
关键词
发动机控制
UML
软件建模
CAN通信
-
Keywords
engine control
UML
language software with its function verified. modeling
CAN communication
-
分类号
U464
[机械工程—车辆工程]
-
