DocumentCode
3394696
Title
A framework for developing dependable software systems using the SOFL formal engineering method
Author
Liu, Shaoying
Author_Institution
Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan
fYear
2010
fDate
22-24 Oct. 2010
Firstpage
561
Lastpage
567
Abstract
Development of a dependable software requires a variety of techniques to be used in a coherent and systematic process, since it is required to take the reliability, safety, and security of the system into account. In this paper, we describe a framework for developing dependable software systems using the SOFL formal engineering method, and demonstrate its applicability by a case study developing and ATM system using the framework.
Keywords
formal verification; software reliability; ATM system; SOFL formal engineering method; dependable software systems; reliability; safety; system security; Security; Testing;
fLanguage
English
Publisher
ieee
Conference_Titel
Intelligent Computing and Integrated Systems (ICISS), 2010 International Conference on
Conference_Location
Guilin
Print_ISBN
978-1-4244-6834-8
Type
conf
DOI
10.1109/ICISS.2010.5655323
Filename
5655323
Link To Document