Component-based model and its trustworthy verification for a real-time system - 文章详情页

作者：

Wang, Da (Wang, Da.) | Chang, Jian-Sheng (Chang, Jian-Sheng.) | Zhao, Jing (Zhao, Jing.) (学者：赵京)

收录：

EI Scopus PKU CSCD

摘要：

In　order　to　verify　the　trustworthy　of　component-based　system,　B　method　is　applied　to　define　the　specification　of　component　interfaces　and　verify　trustworthiness　of　component　connections.　A　case　study-steam　boiler　concerning　a　real-time　system　is　analyzed　and　its　component　model　is　given.　Furthermore,　the　trustworthy　constraint　is　added.　By　virtual　of　Atelier　B　tool,　the　model＇s　correctness　is　verified.

关键词：

Boilers Engines Interactive computer systems Real time systems Software engineering

作者机构：

[ 1 ] [Wang, Da]College of Computer Science, Beijing University of Technology, Beijing 100124, China
[ 2 ] [Chang, Jian-Sheng]College of Computer Science, Beijing University of Technology, Beijing 100124, China
[ 3 ] [Zhao, Jing]College of Computer Science, Beijing University of Technology, Beijing 100124, China

通讯作者信息：

电子邮件地址：

查看成果更多字段

成果类型
所属机构

所有年份指定年份从至