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 条
  • [21] Requirements, primitives and models for systems specification
    Marcon, CAM
    Calazans, NLV
    Moraes, FG
    15TH SYMPOSIUM ON INTEGRATED CIRCUITS AND SYSTEMS DESIGN, PROCEEDINGS, 2002, : 323 - 328
  • [22] Development of Requirements Specification for Steganographic Systems
    Gribermans, Davids
    Jersovs, Andrejs
    Rusakovs, Pavels
    APPLIED COMPUTER SYSTEMS, 2016, 20 (01) : 40 - 48
  • [23] Specification and verification of quality requirements in distributed multimedia presentations
    Mourlas, C
    22ND INTERNATIONAL CONFERENCE ON DISTRIBUTED COMPUTING SYSTEMS WORKSHOP, PROCEEDINGS, 2002, : 323 - 328
  • [24] 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
  • [25] REPRESENTING OPEN REQUIREMENTS WITH A FRAGMENT-BASED SPECIFICATION
    BLUM, BI
    IEEE TRANSACTIONS ON SYSTEMS MAN AND CYBERNETICS, 1993, 23 (03): : 724 - 736
  • [26] ARCHITECTURAL REQUIREMENTS FOR OPEN DISTRIBUTED HYPERMEDIA
    GAVIOTIS, I
    CHRISTODOULAKIS, D
    INFORMATION AND SOFTWARE TECHNOLOGY, 1995, 37 (04) : 245 - 251
  • [27] Compositional specification of distributed systems by distributed graph transformation
    Koch, M
    COMMUNICATION-BASED SYSTEMS, 2000, : 73 - 91
  • [28] Inter-enterprise contract architecture for open distributed systems: Security requirements
    Milosevic, Z
    Arnold, D
    OConnor, L
    PROCEEDINGS OF THE 5TH WORKSHOPS ON ENABLING TECHNOLOGIES: INFRASTRUCTURE FOR COLLABORATIVE ENTERPRISES (WET ICE '96), 1996, : 68 - 73
  • [29] FORMAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    CHEN, BS
    YEH, RT
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1983, 9 (06) : 710 - 722
  • [30] Specification of secure distributed collaboration systems
    Tripathi, AR
    Ahmed, T
    Kumar, R
    ISADS 2003: SIXTH INTERNATIONAL SYMPOSIUM ON AUTONOMOUS DECENTRALIZED SYSTEMS, PROCEEDINGS, 2003, : 149 - 156
12345