A Method of Verifying Time-Response Requirements

被引：1
|
作者：
Matsumoto, Yuma [1 ,2 ]
Omori, Takayuki [1 ]
Itoga, Hiroya [1 ,3 ]
Ohnishi, Atsushi [1 ]
机构：
[1] Ritsumeikan Univ, Dept Comp Sci, Kusatsu 5258577, Japan
[2] Panasonic Syst Design Co Ltd, Yokohama, Kanagawa, Japan
[3] RIKEN Ctr Biosyst Dynam Res, Wako, Saitama, Japan
来源：
IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS | 2018年 / E101D卷 / 07期
基金：
日本学术振兴会;
关键词：
non-functional requirements; NFR; time-response requirements; requirements frame; verification of non-functional requirements; MODELS;
D O I：
10.1587/transinf.2017KBP0010
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
In order to verify the correctness of functional requirements, we have been developing a verification method of the correctness of functional requirements specification using the Requirements Frame model. In this paper, we propose a verification method of non-functional requirements specification in terms of time-response requirements written with a natural language. We established a verification method by extending the Requirements Frame model. We have also developed a prototype system based on the method using Java. The extended Requirements Frame model and the verification method will be illustrated with examples.
引用
收藏
页码：1725 / 1732
页数：8
相关论文
共 50 条
  • [31] Time-response functions of fractional derivative rheological models
    Makris, Nicos
    Efthymiou, Eleftheria
    RHEOLOGICA ACTA, 2020, 59 (12) : 849 - 873
  • [32] Time-response functions of fractional derivative rheological models
    Nicos Makris
    Eleftheria Efthymiou
    Rheologica Acta, 2020, 59 : 849 - 873
  • [33] Time-response functions of mechanical networks with inerters and causality
    Makris, Nicos
    MECCANICA, 2018, 53 (09) : 2237 - 2255
  • [34] COMPLEX TIME-RESPONSE MEASUREMENTS USING TIME-DELAY SPECTROMETRY
    DANTONIO, P
    KONNERT, J
    JOURNAL OF THE AUDIO ENGINEERING SOCIETY, 1989, 37 (09): : 674 - 690
  • [35] METHOD FOR VERIFYING REACTIVITY-FEEDBACK TIME RESPONSE IN POWER-REACTORS
    FRY, DN
    NUCLEAR SAFETY, 1972, 13 (04): : 295 - &
  • [36] Reduced Order Modeling for Direct Time-Response Analysis Using the Enhanced Craig-Bampton Method
    Boo, Seung-Hwan
    Hyun, Cheolgyu
    Kim, San
    Lee, Chaemin
    MATHEMATICS, 2025, 13 (02)
  • [37] Verifying space and time requirements for resource-bounded agents
    Alechina, Natasha
    Bertoli, Piergiorgio
    Ghidini, Chiara
    Jago, Mark
    Logan, Brian
    Serafini, Luciano
    MODEL CHECKING AND ARTIFICIAL INTELLIGENCE, 2007, 4428 : 19 - +
  • [38] Capturing and verifying performance requirements for hard real time systems
    Pierce, RH
    Ayache, S
    Ward, R
    Stevens, J
    Clifton, H
    Galle, J
    RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE '97, 1997, 1251 : 137 - 148
  • [39] THE ESTIMATION OF THE TIME-RESPONSE FUNCTIONS IN COMPLETE ECONOMIC-SYSTEMS
    WISE, J
    ECONOMICA, 1957, 24 (93) : 67 - 70
  • [40] A Symbolic SC Integrator Model for Fast Time-response Simulation
    Zhang, Ailin
    Shi, Guoyong
    2015 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2015, : 1949 - 1952
12345