|
个人信息Personal Information
副教授 硕士生导师
招生学科专业：
计算机科学与技术 -- 【招收硕士研究生】 -- 计算机科学与技术学院
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
网络空间安全 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
毕业院校：南京大学
学历：南京大学
学位：工学博士学位
所在单位：计算机科学与技术学院/人工智能学院/软件学院
办公地点：江苏省南京市将军大道29号
南京航空航天大学 计算机科学与技术学院楼118房间
联系方式：hujun@nuaa.edu.cn
A Model-Based Transformation from SCR Specification Models into Altatica3.0 Design Models
点击次数：
所属单位：计算机科学与技术学院/人工智能学院/软件学院
发表刊物：ADVANCES IN COMPUTER SCIENCE AND UBIQUITOUS COMPUTING
关键字：Safety-critical system Four-variable model SCR AltaRica3.0 Wheel brake system
摘要：In the safety critical field, Model-based system safety analysis and verification has become an important methodology. In this paper, by using SCR specification of four variables model, and translate this specification into AltaRica3.0 model. We studied the relationship between the semantic of four-variable model and AltaRica3.0 model, and put forward transformation rules. Finally, we give a case study of a wheel brake system (WBS) to show the process of transformation and validation.
ISSN号：1876-1100
是否译文：否
发表时间：2018-01-01
合写作者：Wang, Mingming,Zhang, Weijun,Li, Wanqian
通讯作者：胡军