Wuhan University Journal of Natural Sciences

, Volume 10, Issue 1, pp 75–78 | Cite as

Survivability specification framework for dependability-functionality codesign of ERTS

  • Jin Yong-xian
Trusted Software and Hardware


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 survivability. This approach permits a trade-off between the function and the cost of system development. It emphasizes the ultradependable implementation of crucial function without demanding that of entire system.

Key words

ERTS (embedded real-time systems) dependability-functionality codesign survivability specification 

CLC number

TP 316 


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. [1]
    Perrow C.Normal Accidents: Living with High-Risk Technologies. Princeton: Princeton University Press, 1999, 304.Google Scholar
  2. [2]
    Lui S. Using Simplicity to Control complexity.IEEE Software, 2001,18(4): 20–28.CrossRefGoogle Scholar
  3. [3]
    Avizienis A, Laprie J C, Randell B. Fundamental Concepts of Computer System Dependability.∼jck/cs651/papers/laprie. taxonomy. pdf, May 2001.Google Scholar
  4. [4]
    Xu S Y. On Dependability of Computing Systems.Journal of Computer Science and Technology, 1999,14 (2): 116–128.CrossRefGoogle Scholar
  5. [5]
    Schlichting R D, Schneider F B. Fail-Stop Processors: An Approach to Designing Fault-tolerant Computing Systems.TOCS, 1983,1(3): 222–238.CrossRefGoogle Scholar
  6. [6]
    Deutsch M S, Willis R R.Software Quality Engineering: A Total Technical and Management Approach. Englewood Cliffs: Prentice-Hall, 1988. 317.Google Scholar
  7. [7]
    Knight J C, Strunk E A, Sullivan K J. Towards a Rigorous Definition of Information System Survivability.∼eas9d/papers/discex03. pdf, May 2003.Google Scholar

Copyright information

© Springer 2005

Authors and Affiliations

  • Jin Yong-xian
    • 1
  1. 1.Institute of Computer ScienceZhejiang Normal UniversityJinhua ZhejiangChina

Personalised recommendations