Survivability specification framework for dependability-functionality codesign of ERTS
- 27 Downloads
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 wordsERTS (embedded real-time systems) dependability-functionality codesign survivability specification
CLC numberTP 316
Unable to display preview. Download preview PDF.
- Perrow C.Normal Accidents: Living with High-Risk Technologies. Princeton: Princeton University Press, 1999, 304.Google Scholar
- Avizienis A, Laprie J C, Randell B. Fundamental Concepts of Computer System Dependability.http://www.cs.virginia.edu/∼jck/cs651/papers/laprie. taxonomy. pdf, May 2001.Google Scholar
- Deutsch M S, Willis R R.Software Quality Engineering: A Total Technical and Management Approach. Englewood Cliffs: Prentice-Hall, 1988. 317.Google Scholar
- Knight J C, Strunk E A, Sullivan K J. Towards a Rigorous Definition of Information System Survivability.http://www.csvirginia.edu/∼eas9d/papers/discex03. pdf, May 2003.Google Scholar