Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院
Journal:ADVANCES IN COMPUTER SCIENCE AND UBIQUITOUS COMPUTING
Key Words:Safety-critical system Four-variable model SCR AltaRica3.0 Wheel brake system
Abstract: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 No.:1876-1100
Translation or Not:no
Date of Publication:2018-01-01
Co-author:Wang, Mingming,Zhang, Weijun,Li, Wanqian
Correspondence Author:HU Jun
Associate Professor
Supervisor of Master's Candidates
Alma Mater:Nanjing University
Education Level:南京大学
Degree:Doctoral Degree in Engineering
School/Department:College of Computer Science and Technology, NUAA
Business Address:Jiangjun Avenue No. 29
Jiangsu Province, China 210000
email: hujun # nuaa /dot edu /dot cn
http://faculty.nuaa.edu.cn/Jun_Hu/en/index.htm
Open time:..
The Last Update Time:..
