Modeling and Reasoning of the Software Component Based System Recovery Based on Survivability Specification
作者： Lu Tun
DOI:
关键词: Survivability 、 Component-based software engineering 、 Database 、 Computer science 、 System recovery 、 Software engineering 、 Safety property
摘要: The component-based system will provide a predefined survivability specification which consists of corresponding degraded services in the presence various kinds malicious attacks, failures or accidents. main contributions this paper are (1) presenting method to represent service core based on component families and installation orders, can precisely capture perceived by users; (2) proposing reasoning rules recovery compatibility execution, used judge success property (the newly started works well) safety (formerly not damaged); (3) algorithms simplify execution concept projection, supports analysis big scale. By process specification, be systemically applied practice. A named MVoD (mobile video-on-demand) is illustrated demonstrate practicability efficiency formal model method.
参考文章(25)
John C. Knight, Elisabeth A. Strunk, Achieving Critical System Survivability Through Software Architectures workshop on algorithms and data structures. pp. 51- 78 ,(2006) , 10.1007/978-3-540-25939-8_3
C. Fung, Yi-Liang Chen, Xinyu Wang, J. Lee, R. Tarquini, M. Anderson, R. Linger, Survivability analysis of distributed systems using attack tree methodology military communications conference. pp. 583- 589 ,(2005) , 10.1109/MILCOM.2005.1605745
Nancy R. Mead, Richard C. Linger, John McHugh, Howard F. Lipson, Managing Software Development for Survivable Systems Annals of Software Engineering. ,vol. 11, pp. 45- 78 ,(2001) , 10.1023/A:1012587001946
R.C. Linger, Systematic generation of stochastic diversity as an intrusion barrier in survivable systems software hawaii international conference on system sciences. pp. 3062- ,(1999) , 10.1109/HICSS.1999.772901
S. Louca, A. Pitsillides, G. Samaras, On network survivability algorithms based on trellis graph transformations international symposium on computers and communications. pp. 235- 243 ,(1999) , 10.1109/ISCC.1999.780817
Werner Damm, David Harel, LSCs: Breathing Life into Message Sequence Charts formal methods. ,vol. 19, pp. 45- 80 ,(2001) , 10.1023/A:1011227529550
J.C. Knight, E.A. Strunk, K.J. Sullivan, Towards a rigorous definition of information system survivability darpa information survivability conference and exposition. ,vol. 1, pp. 78- 89 ,(2003) , 10.1109/DISCEX.2003.1194874
Hakki C Cankaya, VSS Nair, None, A survivability assessment tool for restorable networks Proceedings 3rd IEEE Symposium on Application-Specific Systems and Software Engineering Technology. pp. 1230- ,(2000) , 10.1109/ASSET.2000.888066
S. Bowers, L. Delcambre, D. Maier, C. Cowan, P. Wagle, D. McNamee, A.-F. Le Meur, H. Hinton, Applying adaptation spaces to support quality of service and survivability darpa information survivability conference and exposition. ,vol. 2, pp. 271- 283 ,(2000) , 10.1109/DISCEX.2000.821526
S. Jha, J. Wing, R. Linger, T. Longstaff, Survivability analysis of network specifications dependable systems and networks. pp. 613- 622 ,(2000) , 10.1109/ICDSN.2000.857597