Title :
A framework for developing dependable software systems using the SOFL formal engineering method
Author_Institution :
Fac. of Comput. & Inf. Sci., Hosei Univ., Tokyo, Japan
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;
Conference_Titel :
Intelligent Computing and Integrated Systems (ICISS), 2010 International Conference on
Conference_Location :
Guilin
Print_ISBN :
978-1-4244-6834-8
DOI :
10.1109/ICISS.2010.5655323
