The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. ex. Some numerals are expressed as "XNUMX".
Copyrights notice
The original paper is in English. Non-English content has been machine-translated and may contain typographical errors or mistranslations. Copyrights notice
조회수
142
다양한 디지털 서비스가 네트워크를 통해 제공됨에 따라 서비스를 구현하는 소프트웨어 동작의 신뢰성을 보장하려는 노력이 점점 더 많아지고 있습니다. 공식적인 방법과 도구는 개발 과정에서 복잡한 소프트웨어 시스템의 신뢰성을 지원하는 유망한 수단으로 간주되었습니다. 반면, 형식적 방법의 실제 적용 가능성에 대해서는 심각한 의구심이 있어 왔습니다. 이 논문에서는 정형 방법의 현재 상태를 개괄적으로 설명하고 그 적용 가능성을 논의합니다. 특히 두 가지 대표적인 방법(SPIN 및 B 방법)과 이들의 최근 산업 응용에 초점을 맞췄습니다. 이 문서에서는 또한 신뢰할 수 있는 네트워크 소프트웨어에 형식적 방법을 적용하는 방법에 대해 설명합니다.
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.
부
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
부
@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},}
부
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 -