Reference Model of specifications toward Independent Verification and Validation

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

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish
Title of host publicationTENCON 2015 - 2015 IEEE Region 10 Conference
PublisherInstitute of Electrical and Electronics Engineers Inc.
Volume2016-January
ISBN (Electronic)9781479986415
DOIs
Publication statusPublished - Jan 5 2016
Event35th IEEE Region 10 Conference, TENCON 2015 - Macau, Macao
Duration: Nov 1 2015Nov 4 2015

Other

Other35th IEEE Region 10 Conference, TENCON 2015
CountryMacao
CityMacau
Period11/1/1511/4/15

Fingerprint

Specifications
Formal verification

All Science Journal Classification (ASJC) codes

  • Computer Science Applications
  • Electrical and Electronic Engineering

Cite this

Ando, T., Yatsu, H., Kenji, H., Fukuda, A., Matsumoto, M., & Michiura, Y. (2016). Reference Model of specifications toward Independent Verification and Validation. In TENCON 2015 - 2015 IEEE Region 10 Conference (Vol. 2016-January). [7372818] Institute of Electrical and Electronics Engineers Inc.. https://doi.org/10.1109/TENCON.2015.7372818

Reference Model of specifications toward Independent Verification and Validation. / Ando, Takahiro; Yatsu, Hirokazu; Kenji, Hisazumi; Fukuda, Akira; Matsumoto, Michihiro; Michiura, Yasutaka.

TENCON 2015 - 2015 IEEE Region 10 Conference. Vol. 2016-January Institute of Electrical and Electronics Engineers Inc., 2016. 7372818.

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Ando, T, Yatsu, H, Kenji, H, Fukuda, A, Matsumoto, M & Michiura, Y 2016, Reference Model of specifications toward Independent Verification and Validation. in TENCON 2015 - 2015 IEEE Region 10 Conference. vol. 2016-January, 7372818, Institute of Electrical and Electronics Engineers Inc., 35th IEEE Region 10 Conference, TENCON 2015, Macau, Macao, 11/1/15. https://doi.org/10.1109/TENCON.2015.7372818
Ando T, Yatsu H, Kenji H, Fukuda A, Matsumoto M, Michiura Y. Reference Model of specifications toward Independent Verification and Validation. In TENCON 2015 - 2015 IEEE Region 10 Conference. Vol. 2016-January. Institute of Electrical and Electronics Engineers Inc. 2016. 7372818 https://doi.org/10.1109/TENCON.2015.7372818
Ando, Takahiro ; Yatsu, Hirokazu ; Kenji, Hisazumi ; Fukuda, Akira ; Matsumoto, Michihiro ; Michiura, Yasutaka. / Reference Model of specifications toward Independent Verification and Validation. TENCON 2015 - 2015 IEEE Region 10 Conference. Vol. 2016-January Institute of Electrical and Electronics Engineers Inc., 2016.
@inproceedings{4bf0cb9ffc5f457fb868135a691dad6b,
title = "Reference Model of specifications toward Independent Verification and Validation",
abstract = "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.",
author = "Takahiro Ando and Hirokazu Yatsu and Hisazumi Kenji and Akira Fukuda and Michihiro Matsumoto and Yasutaka Michiura",
year = "2016",
month = "1",
day = "5",
doi = "10.1109/TENCON.2015.7372818",
language = "English",
volume = "2016-January",
booktitle = "TENCON 2015 - 2015 IEEE Region 10 Conference",
publisher = "Institute of Electrical and Electronics Engineers Inc.",
address = "United States",

}

TY - GEN

T1 - Reference Model of specifications toward Independent Verification and Validation

AU - Ando, Takahiro

AU - Yatsu, Hirokazu

AU - Kenji, Hisazumi

AU - Fukuda, Akira

AU - Matsumoto, Michihiro

AU - Michiura, Yasutaka

PY - 2016/1/5

Y1 - 2016/1/5

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

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

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

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

U2 - 10.1109/TENCON.2015.7372818

DO - 10.1109/TENCON.2015.7372818

M3 - Conference contribution

AN - SCOPUS:84962140507

VL - 2016-January

BT - TENCON 2015 - 2015 IEEE Region 10 Conference

PB - Institute of Electrical and Electronics Engineers Inc.

ER -