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 条
  • [41] Group decision support for software requirements analysis
    Vitharana, P
    Zahedi, F
    ASSOCIATION FOR INFORMATION SYSTEMS PROCEEDING OF THE AMERICAS CONFERENCE ON INFORMATION SYSTEMS, 1997, : 443 - 445
  • [42] RASAECO: Requirements Analysis of Software for the AECO Industry
    Ristin, Marko
    Edvardsen, Dag Fjeld
    van de Venn, Hans Wernher
    29TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2021), 2021, : 280 - 290
  • [43] REQUIREMENTS ANALYSIS OF PRODUCTION MANAGEMENT SOFTWARE SYSTEMS
    TATSIOPOULOS, IP
    COMPUTER INTEGRATED MANUFACTURING SYSTEMS, 1990, 3 (04): : 207 - 215
  • [44] The Research of Software Requirements Analysis of Core Needs
    Cai Aiping
    FOURTH INTERNATIONAL CONFERENCE ON DIGITAL IMAGE PROCESSING (ICDIP 2012), 2012, 8334
  • [45] Interface-Based Software Requirements Analysis
    Rais, Aziz Ahmad
    Pecinovsky, Rudolf
    PROCEEDINGS OF THE 2015 FEDERATED CONFERENCE ON SOFTWARE DEVELOPMENT AND OBJECT TECHNOLOGIES, 2017, 511 : 302 - 310
  • [46] Uncertainty Management in Dependable and Intelligent Embedded Software
    Perez-Cerrolaza, Jon J.
    Cazorla, Francisco
    Abella, Jaume
    COMPUTER, 2023, 56 (03) : 114 - 117
  • [47] The Early Identification of Detector Locations in Dependable Software
    Jhumka, Arshad
    Leeke, Matthew
    22ND IEEE INTERNATIONAL SYMPOSIUM ON SOFTWARE RELIABILITY ENGINEERING (ISSRE), 2011, : 40 - 49
  • [48] Quantifiable software architecture for dependable systems of systems
    Liang, SX
    Puett, JF
    Luqi
    ARCHITECTING DEPENDABLE SYSTEMS II, 2004, 3069 : 241 - 265
  • [49] THE ROLE OF FORMAL METHODS IN ACHIEVING DEPENDABLE SOFTWARE
    THOMAS, M
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 1994, 43 (02) : 129 - 134
  • [50] Software-Defined Dependable Computing for Spacecraft
    Fuchs, Christian M.
    Murillo, Nadia M.
    Plaat, Aske
    van der Kouwe, Erik
    Harsono, Daniel
    Wang, Peng
    2018 IEEE 23RD PACIFIC RIM INTERNATIONAL SYMPOSIUM ON DEPENDABLE COMPUTING (PRDC), 2018, : 231 - 232
12345