Reference Model of specifications toward Independent Verification and Validation

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

doi:10.1109/TENCON.2015.7372818

Reference Model of specifications toward Independent Verification and Validation

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

Research output: Chapter in Book/Report/Conference proceeding › Conference 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 language	English
Title of host publication	TENCON 2015 - 2015 IEEE Region 10 Conference
Publisher	Institute of Electrical and Electronics Engineers Inc.
ISBN (Electronic)	9781479986415
DOIs	https://doi.org/10.1109/TENCON.2015.7372818
Publication status	Published - 2016 Jan 5
Externally published	Yes
Event	35th IEEE Region 10 Conference, TENCON 2015 - Macau, Macao Duration: 2015 Nov 1 → 2015 Nov 4

Publication series

Name	IEEE Region 10 Annual International Conference, Proceedings/TENCON
Volume	2016-January
ISSN (Print)	2159-3442
ISSN (Electronic)	2159-3450

Other

Other	35th IEEE Region 10 Conference, TENCON 2015
Country/Territory	Macao
City	Macau
Period	15/11/1 → 15/11/4

ASJC Scopus subject areas

Computer Science Applications
Electrical and Electronic Engineering

Access to Document

10.1109/TENCON.2015.7372818

Cite this

Ando, T., Yatsu, H., Hisazumi, K., Fukuda, A., Matsumoto, M., & Michiura, Y. (2016). Reference Model of specifications toward Independent Verification and Validation. In TENCON 2015 - 2015 IEEE Region 10 Conference [7372818] (IEEE Region 10 Annual International Conference, Proceedings/TENCON; Vol. 2016-January). 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; Hisazumi, Kenji et al.

TENCON 2015 - 2015 IEEE Region 10 Conference. Institute of Electrical and Electronics Engineers Inc., 2016. 7372818 (IEEE Region 10 Annual International Conference, Proceedings/TENCON; Vol. 2016-January).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Ando, T, Yatsu, H, Hisazumi, K, Fukuda, A, Matsumoto, M & Michiura, Y 2016, Reference Model of specifications toward Independent Verification and Validation. in TENCON 2015 - 2015 IEEE Region 10 Conference., 7372818, IEEE Region 10 Annual International Conference, Proceedings/TENCON, vol. 2016-January, Institute of Electrical and Electronics Engineers Inc., 35th IEEE Region 10 Conference, TENCON 2015, Macau, Macao, 15/11/1. https://doi.org/10.1109/TENCON.2015.7372818

@inproceedings{f27b792b28cc40f5aac74a6f5573a597,

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 Kenji Hisazumi and Akira Fukuda and Michihiro Matsumoto and Yasutaka Michiura",

note = "Publisher Copyright: {\textcopyright} 2015 IEEE.; 35th IEEE Region 10 Conference, TENCON 2015 ; Conference date: 01-11-2015 Through 04-11-2015",

year = "2016",

month = jan,

day = "5",

doi = "10.1109/TENCON.2015.7372818",

language = "English",

series = "IEEE Region 10 Annual International Conference, Proceedings/TENCON",

publisher = "Institute of Electrical and Electronics Engineers Inc.",

booktitle = "TENCON 2015 - 2015 IEEE Region 10 Conference",

}

TY - GEN

T1 - Reference Model of specifications toward Independent Verification and Validation

AU - Ando, Takahiro

AU - Yatsu, Hirokazu

AU - Hisazumi, Kenji

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

T3 - IEEE Region 10 Annual International Conference, Proceedings/TENCON

BT - TENCON 2015 - 2015 IEEE Region 10 Conference

PB - Institute of Electrical and Electronics Engineers Inc.

T2 - 35th IEEE Region 10 Conference, TENCON 2015

Y2 - 1 November 2015 through 4 November 2015

ER -

Reference Model of specifications toward Independent Verification and Validation

Abstract

Publication series

Other

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this