검색 기능은 준비 중입니다.
검색 기능은 준비 중입니다.

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

Open Access
On Applicability of Formal Methods and Tools to Dependable Services
오픈 액세스
신뢰할 수 있는 서비스에 대한 형식적 방법 및 도구의 적용 가능성

Fuyuki ISHIKAWA, Shinichi HONIDEN

  • 조회수

    142

  • 이것을 인용
  • Free PDF (198.4KB)

요약 :

다양한 디지털 서비스가 네트워크를 통해 제공됨에 따라 서비스를 구현하는 소프트웨어 동작의 신뢰성을 보장하려는 노력이 점점 더 많아지고 있습니다. 공식적인 방법과 도구는 개발 과정에서 복잡한 소프트웨어 시스템의 신뢰성을 지원하는 유망한 수단으로 간주되었습니다. 반면, 형식적 방법의 실제 적용 가능성에 대해서는 심각한 의구심이 있어 왔습니다. 이 논문에서는 정형 방법의 현재 상태를 개괄적으로 설명하고 그 적용 가능성을 논의합니다. 특히 두 가지 대표적인 방법(SPIN 및 B 방법)과 이들의 최근 산업 응용에 초점을 맞췄습니다. 이 문서에서는 또한 신뢰할 수 있는 네트워크 소프트웨어에 형식적 방법을 적용하는 방법에 대해 설명합니다.

발행
IEICE TRANSACTIONS on Communications Vol.E92-B No.1 pp.9-16
발행일
2009/01/01
공개일
온라인 ISSN
1745-1345
DOI
10.1587/transcom.E92.B.9
원고의 종류
Special Section INVITED PAPER (Special Section on Networking Technologies for Dependable Networks)
범주

작성자

키워드