REQUIREMENTS ENGINEERING FOR REAL-TIME SYSTEMS

被引：5
|
作者：
GOLDSACK, SJ [1 ]
FINKELSTEIN, ACW [1 ]
机构：
[1] IMPERIAL COLLEGE SCI TECHNOL & MED,DEPT COMP,LONDON SW7,ENGLAND
来源：
SOFTWARE ENGINEERING JOURNAL | 1991年 / 6卷 / 03期
关键词：
D O I：
10.1049/sej.1991.0014
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
This paper outlines techniques to support requirements engineering for real-time systems. The nature of real-time embedded systems requirements are discussed. Some key areas that may be expected to contribute to improved requirements engineering techniques are reviewed. A detailed discussion of the FOREST approach, which has been developed to support requirements engineering for real-time systems, is given and accompanied by an illustrative example.
引用
收藏
页码：101 / 115
页数：15
相关论文
共 50 条
  • [1] REQUIREMENTS ENGINEERING METHODOLOGY FOR REAL-TIME PROCESSING REQUIREMENTS
    ALFORD, MW
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1977, 3 (01) : 60 - 69
  • [2] ENGINEERING REAL-TIME SYSTEMS
    RODD, MG
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1995, 6 (05): : 233 - 240
  • [3] Model-Based Systems Engineering with Requirements Variability for Embedded Real-Time Systems
    Li, Mole
    Batmaz, Firat
    Guan, Lin
    Grigg, Alan
    Ingham, Matthew
    Bull, Peter
    [J]. 5TH INTERNATIONAL MODEL-DRIVEN REQUIREMENTS ENGINEERING WORKSHOP (MODRE 2015), 2015, : 36 - 45
  • [4] CONCURRENT ENGINEERING FOR REAL-TIME SYSTEMS
    PULLI, PJ
    HEIKKINEN, MP
    [J]. IEEE SOFTWARE, 1993, 10 (06) : 39 - 44
  • [5] A Metamodel for Tracing Requirements of Real-Time Systems
    Ribero, Fabiola Goncalves C.
    Soares, Michel S.
    [J]. 2013 IEEE 16TH INTERNATIONAL SYMPOSIUM ON OBJECT/COMPONENT/SERVICE-ORIENTED REAL-TIME DISTRIBUTED COMPUTING (ISORC), 2013,
  • [6] SPECIFYING AND VERIFYING REQUIREMENTS OF REAL-TIME SYSTEMS
    RAVN, AP
    RISCHEL, H
    HANSEN, KM
    [J]. IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1993, 19 (01) : 41 - 55
  • [7] A Requirements Engineering Environment for Embedded Real-Time Software—SREE
    LI Yonghua~ 1
    2. Department of Computer
    [J]. Wuhan University Journal of Natural Sciences, 2006, (03) : 533 - 538
  • [8] An engineering process for the verification of real-time systems
    Burns, A.
    Lin, T. -M.
    [J]. FORMAL ASPECTS OF COMPUTING, 2007, 19 (01) : 111 - 136
  • [9] Requirements Development and Management of Embedded Real-Time Systems
    Zhou, Jiale
    [J]. 2014 IEEE 22ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2014, : 479 - 484
  • [10] A Model-Based Engineering Methodology for Requirements and Formal Design of Embedded and Real-Time Systems
    Ribeiro, Fabiola Goncalves C.
    Rettberg, Achim
    Pereira, Carlos E.
    Soares, Michel S.
    [J]. PROCEEDINGS OF THE 50TH ANNUAL HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, 2017, : 6131 - 6140
12345