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] Extracting Interdependent Requirements and. Resolving Conflicted. Requirements of Safety And Security for Industrial Control Systems
    Gu, Tingyang
    Lu, Minyan
    Li, Luyi
    PROCEEDINGS OF THE 2015 FIRST INTERNATIONAL CONFERENCE ON RELIABILITY SYSTEMS ENGINEERING 2015 ICRSE, 2015,
  • [32] Contradictions Identification of Safety and Security Requirements for Industrial Cyber–Physical Systems
    Sun, Zhicong
    Ding, Yulong
    Pei, Ke
    Yang, Shuang-Hua
    IEEE INTERNET OF THINGS JOURNAL, 2024, 11 (07) : 12033 - 12057
  • [33] Trust-based specification of sociotechnical systems
    Paja, Elda
    Chopra, Amit K.
    Giorgini, Paolo
    DATA & KNOWLEDGE ENGINEERING, 2013, 87 : 339 - 353
  • [34] Method for Generating a Diverse Set of Requirements for Safety-Critical Systems
    Maurio, Joseph
    McClure, Christopher
    2014 CONFERENCE ON SYSTEMS ENGINEERING RESEARCH, 2014, 28 : 465 - 472
  • [35] FORMALIZING TRUST REQUIREMENTS AND SPECIFICATION IN SERVICE WORKFLOW ENVIRONMENTS
    Viriyasitavat, Wattana
    Martin, Andrew
    ICEIS 2011: PROCEEDINGS OF THE 13TH INTERNATIONAL CONFERENCE ON ENTERPRISE INFORMATION SYSTEMS, VOL 3, 2011, : 196 - 206
  • [36] UML Activity Diagrams in Requirements Specification of Logic Controllers
    Grobelna, Iwona
    Grobelny, Michal
    INTERNATIONAL CONFERENCE OF COMPUTATIONAL METHODS IN SCIENCES AND ENGINEERING 2015 (ICCMSE 2015), 2015, 1702
  • [37] THE SPECIFICATION AND VERIFIED DECOMPOSITION OF SYSTEM REQUIREMENTS USING CSP
    MOORE, AP
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1990, 16 (09) : 932 - 948
  • [38] THE PROJECTIT-STUDIO/REQUIREMENTS CASE TOOL A Practical Requirements Specification Case Study
    Ferreira, David
    da Silva, Alberto Rodrigues
    ACTAS DE LA III CONFERENCIA IBERICA DE SISTEMAS Y TECNOLOGIAS DE LA INFORMACION, VOL 2, 2008, : 699 - 710
  • [39] An architectural approach to the integration of safety and security requirements in smart products and systems design
    Riel, Andreas
    Kreiner, Christian
    Messnarz, Richard
    Much, Alexander
    CIRP ANNALS-MANUFACTURING TECHNOLOGY, 2018, 67 (01) : 173 - 176
  • [40] From model to requirements: Pattern-based analysis in distributed development of embedded systems
    Thomsen, C
    Kruse, J
    Ernst, R
    From Specification to Embedded Systems Application, 2005, 184 : 35 - 44
12345