金永贤
最后更新时间 : ..
点击量 :
第一作者 : JIN Yong-xian
发表时间 : 2005-01-01
发表刊物 : Wuhan University Journal of Natural Sciences
所属单位 : 数理与信息工程学院
文献类型 : 期刊
卷号 : Vol.10
期号 : NO.1
页面范围 : 75-78
ISSN : 1007-1202
关键字 : ERIS;(embedded;real-time;systems);dependability-functionality;codesign;survivability;specification
摘要 : In ordet to maintain the dependability of system and meet the functional need of users dtsire, this paper introduces a survivability mechanism into embedded real-time system, and proposes a general comprehensive, approach based on a rigorous definiti%on o
是否译文 : 否