Safety requirements specification on open distributed systems

被引：0
|
作者：
Avelino, VF [1 ]
Melnikoff, SSS [1 ]
机构：
[1] Univ Sao Paulo, Escola Politecn, Sao Paulo, Brazil
来源：
SERP'04: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING RESEARCH AND PRACTICE, VOLS 1 AND 2 | 2004年
关键词：
requirements; elicitation; methodology; ODP; safety;
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
The application of open distributed systems concepts has been increased on new distributed application information systems. The open distributed domain application to safety related systems needs special methodology and services to assure the safety requirements identification and validation. This work investigates the interaction between safety requirements specification and open distributed system specification, taking the RM-ODP as conceptual reference model.
引用
收藏
页码：320 / 326
页数：7
相关论文
共 50 条
  • [1] Safety Requirements of Distributed Broadcast
    Dabees, Aysha
    Karaata, Mehmet Hakan
    2024 16TH INTERNATIONAL CONFERENCE ON COMPUTER AND AUTOMATION ENGINEERING, ICCAE 2024, 2024, : 605 - 608
  • [2] Scenario driven requirements specification of safety-critical real-time systems
    Lin, JJ
    Kung, DC
    Hsia, P
    COMPUTERS AND THEIR APPLICATIONS - PROCEEDINGS OF THE ISCA 11TH INTERNATIONAL CONFERENCE, 1996, : 284 - 287
  • [3] REQUIREMENTS SPECIFICATION FOR PROCESS-CONTROL SYSTEMS
    LEVESON, NG
    HEIMDAHL, MPE
    HILDRETH, H
    REESE, JD
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (09) : 684 - 707
  • [4] Eliciting Software Safety Requirements in Complex Systems
    Menon, Catherine
    Kelly, Tim
    2010 IEEE INTERNATIONAL SYSTEMS CONFERENCE, 2010, : 616 - 621
  • [5] Improving Collaborative and Post-WIMP Systems through Requirements Specification
    Teruel, Miguel A.
    2014 IEEE 22ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2014, : 461 - 466
  • [6] Safety Requirements and Safety Functions for Decentralized Controlled Autonomous Systems
    Trenkle, Andreas
    Seibold, Zaezilia
    Stoll, Thomas
    2013 XXIV INTERNATIONAL SYMPOSIUM ON INFORMATION, COMMUNICATION AND AUTOMATION TECHNOLOGIES (ICAT), 2013,
  • [7] Formalising Safety Requirements for Robotic Autonomous Systems in Highly Regulated Domains
    Benjumea, Diana C.
    32ND IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, RE 2024, 2024, : 512 - 516
  • [8] Runtime Safety Models in open Systems of Systems
    Schneider, Daniel
    Trapp, Mario
    EIGHTH IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE, AUTONOMIC AND SECURE COMPUTING, PROCEEDINGS, 2009, : 455 - 460
  • [9] Efficient Determination of Safety Requirements for Perception Systems
    Katz, Sydney M.
    Corso, Anthony L.
    Yel, Esen
    Kochenderfer, Mykel J.
    2023 IEEE/AIAA 42ND DIGITAL AVIONICS SYSTEMS CONFERENCE, DASC, 2023,
  • [10] ARES: An Agile Requirements Specification Process for Regulated Environments
    Marques, Johnny
    da Cunha, Adilson Marques
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2019, 29 (10) : 1403 - 1438
12345