• 其他栏目

    金永贤

    • 教授
    • 性别 : 男
    • 毕业院校 : 西南交通大学
    • 学历 : 硕士研究生毕业
    • 学位 : 硕士学位
    • 在职信息 : 退休
    • 所在单位 : 计算机科学与技术学院
    • 入职时间 : 2001-08-01

    访问量 :

    最后更新时间 : ..

    Survivability Specification Framework for Dependability-Functionality codesign of ERTS

    点击量 :

    第一作者 : 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

    是否译文 :

    推荐此文