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 条
  • [31] Graphical Specification Language for Distributed Systems
    Galicia, Jorge Cortes
    Garcia, Felipe Rolando Menchaca
    CIC 2006: 15TH INTERNATIONAL CONFERENCE ON COMPUTING, PROCEEDINGS, 2006, : 385 - +
  • [32] A goal-oriented approach for safety requirements specification
    Navarro, Elena
    Sanchez, Pedro
    Letelier, Patricio
    Pastor, Juan A.
    Ramos, Isidro
    13TH ANNUAL IEEE INTERNATIONAL SYMPOSIUM AND WORKSHOP ON ENGINEERING OF COMPUTER BASED SYSTEMS, PROCEEDINGS: MASTERING THE COMPLEXITY OF COMPUTER-BASED SYSTEMS, 2006, : 319 - +
  • [33] Formal specification and analysis of distributed systems
    HENRIKAS PRANEVICIUS
    Journal of Intelligent Manufacturing, 1998, 9 : 559 - 569
  • [34] Specification Mining in Concurrent and Distributed Systems
    Kumar, Sandeep
    2011 33RD INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2011, : 1086 - 1089
  • [35] SYNTHESIZING A SPECIFICATION-BASED MONITOR FOR SAFETY REQUIREMENTS
    Babamir, S. M.
    Jalili, S.
    IRANIAN JOURNAL OF SCIENCE AND TECHNOLOGY TRANSACTION B-ENGINEERING, 2010, 34 (B3): : 235 - 256
  • [36] Formal specification and analysis of distributed systems
    Pranevicius, H
    JOURNAL OF INTELLIGENT MANUFACTURING, 1998, 9 (06) : 559 - 569
  • [37] REQUIREMENT AND DESIGN SPECIFICATION FOR DISTRIBUTED SYSTEMS
    BROY, M
    LECTURE NOTES IN COMPUTER SCIENCE, 1988, 335 : 33 - 62
  • [38] AutoFocus: A tool for distributed systems specification
    Lect Notes Comput Sci, (467):
  • [39] Modeling and specification of distributed timed systems
    Ortiz, James J.
    INGENIERIA Y COMPETITIVIDAD, 2013, 15 (02): : 115 - 124
  • [40] COMPOSITIONAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
    JONSSON, B
    ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (02): : 259 - 303
12345