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 条

[41] COMPOSITIONAL SPECIFICATION AND VERIFICATION OF DISTRIBUTED SYSTEMS
JONSSON, B
ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, 1994, 16 (02): : 259 - 303
[42] Formal specification and analysis of distributed systems
Kaunas University of Technology, Studentu 50, Kaunas LT-3028, Lithuania
J Intell Manuf, 6 (559-569):
[43] AUTOFOCUS - A tool for distributed systems specification
Huber, F
Schatz, B
Schmidt, A
Spies, K
FORMAL TECHNIQUES IN REAL-TIME AND FAULT-TOLERANT SYSTEMS, 1996, 1135 : 467 - 470
[44] A TECHNIQUE TO INCLUDE COMPUTER SECURITY, SAFETY, AND RESILIENCE REQUIREMENTS AS PART OF THE REQUIREMENTS SPECIFICATION
MOSTERT, DNJ
VONSOLMS, SH
JOURNAL OF SYSTEMS AND SOFTWARE, 1995, 31 (01) : 45 - 53
[45] AN OPERATIONAL APPROACH TO REQUIREMENTS SPECIFICATION FOR EMBEDDED SYSTEMS
ZAVE, P
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1982, 8 (03) : 250 - 269
[46] FORMAL SPECIFICATION OF INFORMATION-SYSTEMS REQUIREMENTS
KAMPFNER, RR
INFORMATION PROCESSING & MANAGEMENT, 1985, 21 (05) : 401 - 414
[47] REQUIREMENTS SPECIFICATION FOR PROCESS-CONTROL SYSTEMS
LEVESON, NG
HEIMDAHL, MPE
HILDRETH, H
REESE, JD
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1994, 20 (09) : 684 - 707
[48] FORMAL SPECIFICATION OF INFORMATION SYSTEMS REQUIREMENTS.
Kampfner, Roberto R.
Information Processing and Management, 1985, 21 (05): : 401 - 414
[49] Dynamic specification of open agent systems
Artikis, Alexander
JOURNAL OF LOGIC AND COMPUTATION, 2012, 22 (06) : 1301 - 1334
[50] Development of the Safety Requirements Specification (SRS) in oil and gas industry
Park, E. H.
Chang, K. P.
Kim, S. T.
SAFETY AND RELIABILITY: METHODOLOGY AND APPLICATIONS, 2015, : 467 - 473

← 1 2 3 4 5 →