Reference Model of specifications toward Independent Verification and Validation

Takahiro Ando, Hirokazu Yatsu, Kenji Hisazumi, Akira Fukuda, Michihiro Matsumoto, Yasutaka Michiura

研究成果: Conference contribution

抄録

Independent Verification and Validation (IV&V) [1] has begun to be used in the verification phase of system development. In this paper, we present the document group which we call Reference Model that we are developing currently. The Reference Model is developed for the purpose of supporting the efficient implementation of the formal verification for requirements and design specifications in IV&V. The Reference Model shows what with formats the requirement and design specifications should be described. For developers side of IV&V, the Reference Model are useful to recognize the essential information and its notation that should be described in the document that is a target of formal verification. For verifiers side, by comparing the Reference Model and the target document of the formal verification, the Reference Models are useful to recognize which items and properties should be verified.

本文言語English
ホスト出版物のタイトルTENCON 2015 - 2015 IEEE Region 10 Conference
出版社Institute of Electrical and Electronics Engineers Inc.
ISBN(電子版)9781479986415
DOI
出版ステータスPublished - 2016 1月 5
外部発表はい
イベント35th IEEE Region 10 Conference, TENCON 2015 - Macau, Macao
継続期間: 2015 11月 12015 11月 4

出版物シリーズ

名前IEEE Region 10 Annual International Conference, Proceedings/TENCON
2016-January
ISSN(印刷版)2159-3442
ISSN(電子版)2159-3450

Other

Other35th IEEE Region 10 Conference, TENCON 2015
国/地域Macao
CityMacau
Period15/11/115/11/4

ASJC Scopus subject areas

  • コンピュータ サイエンスの応用
  • 電子工学および電気工学

フィンガープリント

「Reference Model of specifications toward Independent Verification and Validation」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

引用スタイル