On applicability of formal methods and tools to dependable services

Fuyuki Ishikawa, Shinichi Honiden

Research output: Contribution to journalArticle

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.

Original languageEnglish
Pages (from-to)9-16
Number of pages8
JournalIEICE Transactions on Communications
VolumeE92-B
Issue number1
DOIs
Publication statusPublished - 2009 Jan 1
Externally publishedYes

Fingerprint

Formal methods
Industrial applications

Keywords

  • Dependability
  • Formal methods
  • Software engineering

ASJC Scopus subject areas

  • Software
  • Computer Networks and Communications
  • Electrical and Electronic Engineering

Cite this

On applicability of formal methods and tools to dependable services. / Ishikawa, Fuyuki; Honiden, Shinichi.

In: IEICE Transactions on Communications, Vol. E92-B, No. 1, 01.01.2009, p. 9-16.

Research output: Contribution to journalArticle

@article{2ccfcae741894bf49417b13b53f5a90c,
title = "On applicability of formal methods and tools to dependable services",
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 = "Dependability, Formal methods, Software engineering",
author = "Fuyuki Ishikawa and Shinichi Honiden",
year = "2009",
month = "1",
day = "1",
doi = "10.1587/transcom.E92.B.9",
language = "English",
volume = "E92-B",
pages = "9--16",
journal = "IEICE Transactions on Communications",
issn = "0916-8516",
publisher = "Maruzen Co., Ltd/Maruzen Kabushikikaisha",
number = "1",

}

TY - JOUR

T1 - On applicability of formal methods and tools to dependable services

AU - Ishikawa, Fuyuki

AU - Honiden, Shinichi

PY - 2009/1/1

Y1 - 2009/1/1

N2 - 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.

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.

KW - Dependability

KW - Formal methods

KW - Software engineering

UR - http://www.scopus.com/inward/record.url?scp=77952610017&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=77952610017&partnerID=8YFLogxK

U2 - 10.1587/transcom.E92.B.9

DO - 10.1587/transcom.E92.B.9

M3 - Article

AN - SCOPUS:77952610017

VL - E92-B

SP - 9

EP - 16

JO - IEICE Transactions on Communications

JF - IEICE Transactions on Communications

SN - 0916-8516

IS - 1

ER -