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] Specification of safety and reliability requirements for control systems
    Motus, Leo
    1996, Oxford Univ Press, Oxford, United Kingdom (01):
  • [2] Dynamic requirements specification for adaptable and open service systems
    Jureta, Ivan J.
    Faulkner, Stephane
    Thiran, Philippe
    15TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE, PROCEEDINGS, 2007, : 381 - +
  • [3] Safety Requirements Specification and Verification for Railway Interlocking Systems
    Han, Li
    Liu, Jing
    Zhou, Tingliang
    Sun, Junfeng
    Chen, Xiaohong
    PROCEEDINGS 2016 IEEE 40TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE WORKSHOPS, VOL 1, 2016, : 335 - 340
  • [4] Integrating UML and OUN for specification of open distributed systems
    Zhang, WH
    Johnsen, EB
    Owe, O
    Aredo, DB
    IEEE SYMPOSIA ON HUMAN-CENTRIC COMPUTING LANGUAGES AND ENVIRONMENTS, PROCEEDINGS, 2001, : 122 - 123
  • [5] A specification architecture for multimedia systems in Open Distributed Processing
    Blair, GS
    Blair, L
    Stefani, JB
    COMPUTER NETWORKS AND ISDN SYSTEMS, 1997, 29 (04): : 473 - 500
  • [6] Object-oriented specification and open distributed systems
    Johnsen, EB
    Owe, O
    FROM OBJECT-ORIENTATION TO FORMAL METHODS: ESSAYS IN MEMORY OF OLE-JOHAN DAHL, 2004, 2635 : 137 - 164
  • [7] Specification and Safety Verification of Parametric Hierarchical Distributed Systems
    Bozga, Marius
    Iosif, Radu
    FORMAL ASPECTS OF COMPONENT SOFTWARE (FACS 2021), 2021, 13077 : 95 - 114
  • [8] A Tool for the Model-Based Specification of Open Distributed Systems
    Raul Romero, Jose
    Ignacio Jaen, Juan
    Vallecillo, Antonio
    COMPUTER JOURNAL, 2013, 56 (07): : 793 - 818
  • [9] HISTORICAL LABELS IN OPEN DISTRIBUTED IT SYSTEMS - AN ITSEC/ECMA SPECIFICATION
    KOWALSKI, S
    COMPUTER SECURITY, 1993, 37 : 207 - 226
  • [10] Dynamic requirements specification for adaptable and open service-oriented systems
    Jureta, Ivan J.
    Faulkner, Stephane
    Thiran, Philippe
    SERVICE-ORIENTED COMPUTING - ICSOC 2007, PROCEEDINGS, 2007, 4749 : 270 - +
12345