Referenced Items are not available for this document.
The GSN method is used to develop a dependability case to study the software dependability on the basis of the extension of safety case. Given the scalability of GSN, the dependability of the anti-icy software system is analyzed as a case by developing the software dependability case based on extending GSN from the four aspects: the behaviors and results of the software can be predicted; the software behavior states can be monitored; the software behavior results can be assessed and the software abnormal behaviors can be controlled.
Published in:
Reliability, Maintainability and Safety (ICRMS), 2011 9th International Conference on
Date of Conference: 12-15 June 2011
- Page(s):
- 681 - 687
- Print ISBN:
- 978-1-61284-667-5
- INSPEC Accession Number:
- 12179565
- Conference Location :
- Guiyang
- Digital Object Identifier :
- 10.1109/ICRMS.2011.5979376
- Product Type:
- Conference Publications
About IEEE Xplore | Contact | Help | Terms of Use | Nondiscrimination Policy | Site Map | Privacy & Opting Out of Cookies
A not-for-profit organization, IEEE is the world's largest professional association for the advancement of technology.
© Copyright 2013 IEEE - All rights reserved. Use of this web site signifies your agreement to the terms and conditions.
