• 其他栏目

    金永贤

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

    访问量 :

    最后更新时间 : ..

    Survivability Specification Framework for Dependability-Functionality Codesign of ERTS

    点击量 :

    第一作者 : YongXian

    发表时间 : 2005-01-01

    发表刊物 : Wuhan University Journal of Natural Sciences

    所属单位 : 数理与信息工程学院

    文献类型 : 期刊

    期号 : 第1期

    页面范围 : 75-78

    ISSN : 1007-1202

    关键字 : ERTS;embedded;real-time;systems;dependability-functionality;codesign;survivability;specification

    摘要 : In order to maintain the dependability of system and meet the functional need of users desire, this paper introduces a survivability mechanism into embedded real-time system, and proposes a general comprehensive approach based on a rigorous definition of

    是否译文 :

    推荐此文