Open Access
On Applicability of Formal Methods and Tools to Dependable Services
-
Full Text Views
146
- Cite this
- Free PDF (198.4KB)
Summary :
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.
- Publication
- IEICE TRANSACTIONS on Communications Vol.E92-B No.1 pp.9-16
- Publication Date
- 2009/01/01
- Publicized
- Online ISSN
- 1745-1345
- DOI
- 10.1587/transcom.E92.B.9
- Type of Manuscript
- Special Section INVITED PAPER (Special Section on Networking Technologies for Dependable Networks)
- Category
Authors
Keyword
Latest Issue
Copyrights notice of machine-translated contents
The copyright of the original papers published on this site belongs to IEICE. Unauthorized use of the original or translated papers is prohibited. See IEICE Provisions on Copyright for details.
Cite this
Copy
Fuyuki ISHIKAWA, Shinichi HONIDEN, "On Applicability of Formal Methods and Tools to Dependable Services" in IEICE TRANSACTIONS on Communications,
vol. E92-B, no. 1, pp. 9-16, January 2009, doi: 10.1587/transcom.E92.B.9.
Abstract: 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.
URL: https://global.ieice.org/en_transactions/communications/10.1587/transcom.E92.B.9/_p
Copy
@ARTICLE{e92-b_1_9,
author={Fuyuki ISHIKAWA, Shinichi HONIDEN, },
journal={IEICE TRANSACTIONS on Communications},
title={On Applicability of Formal Methods and Tools to Dependable Services},
year={2009},
volume={E92-B},
number={1},
pages={9-16},
abstract={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.},
keywords={},
doi={10.1587/transcom.E92.B.9},
ISSN={1745-1345},
month={January},}
Copy
TY - JOUR
TI - On Applicability of Formal Methods and Tools to Dependable Services
T2 - IEICE TRANSACTIONS on Communications
SP - 9
EP - 16
AU - Fuyuki ISHIKAWA
AU - Shinichi HONIDEN
PY - 2009
DO - 10.1587/transcom.E92.B.9
JO - IEICE TRANSACTIONS on Communications
SN - 1745-1345
VL - E92-B
IS - 1
JA - IEICE TRANSACTIONS on Communications
Y1 - January 2009
AB - 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.
ER -
English
