For Full-Text PDF, please login, if you are a member of IEICE,|
or go to Pay Per View on menu list, if you are a nonmember of IEICE.
On Applicability of Formal Methods and Tools to Dependable Services
Fuyuki ISHIKAWA Shinichi HONIDEN
IEICE TRANSACTIONS on Communications
Publication Date: 2009/01/01
Online ISSN: 1745-1345
Print ISSN: 0916-8516
Type of Manuscript: INVITED PAPER (Special Section on Networking Technologies for Dependable Networks)
dependability, software engineering, formal methods,
Full Text: FreePDF
As a variety of digital services are provided through networks, more and more efforts are made to ensure dependability of software behavior implementing services. Formal methods and tools have been considered as promising means to support dependability in complex software systems during the development. On the other hand, there have been serious doubts on practical applicability of formal methods. This paper overviews the present state of formal methods and discusses their applicability, especially focusing on two representative methods (SPIN and B Method) and their recent industrial applications. This paper also discusses applications of formal methods to dependable networked software.