A Foundation for Requirements Analysis of Dependable Software

被引：0
|
作者：
Hatebur, Denis [1 ]
Heisel, Maritta [1 ]
机构：
[1] Univ Duisburg Essen, Fak Ingenieurwissensch, Duisburg, Germany
来源：
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS | 2009年 / 5775卷
关键词：
D O I：
暂无
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
We present patterns for expressing dependability requirements, such as confidentiality, integrity, availability, and reliability. The paper considers random faults as well as certain attacks and therefore supports a combined safety and security engineering. The patterns - attached to functional requirements - are part of a pattern system that can be used to identify missing requirements. The approach is illustrated on a cooperative adaptive cruise control system.
引用
收藏
页码：311 / 325
页数：15
相关论文
共 50 条
  • [31] Seventh International Workshop on Requirements Engineering: Foundation for Software Quality (REFSQ’01)
    Camille Ben Achour-Salinesi
    Andreas L. Opdahl
    Matti Rossi
    Requirements Engineering, 2002, 7 (1) : 1 - 2
  • [32] REFSQ 2007 International Working Conference on Requirements Engineering: Foundation for Software Quality
    Sawyer, Pete
    Paech, Barbara
    Heymans, Patrick
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, 2007, 4542 : 1 - +
  • [33] TRACE: A generic tool for dependable requirements engineering
    Thunem, H. P. -J.
    RELIABILITY, RISK AND SAFETY: THEORY AND APPLICATIONS VOLS 1-3, 2010, : 137 - 142
  • [34] Requirements Analysis Tool: A Tool for Automatically Analyzing Software Requirements Documents
    Verma, Kunal
    Kass, Alex
    SEMANTIC WEB - ISWC 2008, 2008, 5318 : 751 - 763
  • [35] Toward dependable safety-critical software
    Bastani, F
    Cukic, B
    Hilford, V
    Jamoussi, A
    SECOND WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE SYSTEMS, PROCEEDINGS OF WORDS '96, 1996, : 86 - 92
  • [36] Software deployment in manufacturing environments: A requirements analysis
    Schneider, Matthias
    Meitinger, Sophia
    Stock, Daniel
    Bauernhansl, Thomas
    2022 IEEE 27TH INTERNATIONAL CONFERENCE ON EMERGING TECHNOLOGIES AND FACTORY AUTOMATION (ETFA), 2022,
  • [37] Safety analysis of software requirements: model and process
    Li, Shaojun
    Duo, Suo
    3RD INTERNATIONAL SYMPOSIUM ON AIRCRAFT AIRWORTHINESS (ISAA 2013), 2014, 80 : 153 - 164
  • [38] Application of model checking in software requirements analysis
    Liu, Yuejun
    Su, Jing
    Metallurgical and Mining Industry, 2015, 7 (08): : 372 - 376
  • [39] Software requirements validation via task analysis
    Zhu, H
    Jin, LZ
    Diaper, D
    Bai, GH
    JOURNAL OF SYSTEMS AND SOFTWARE, 2002, 61 (02) : 145 - 169
  • [40] Requirements validation for consumer software by conjoint analysis
    Laaksonen, A
    Tuunanen, T
    Rossi, M
    PROCEEDINGS OF THE THIRTEENTH INTERNATIONAL CONFERENCE ON INFORMATION SYSTEMS DEVELOPMENT: ADVANCES IN THEORY, PRACTICE AND EDUCATION, 2004, : 81 - 92
12345