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 条
  • [21] Software protection mechanisms for dependable systems
    Wappler, Ute
    Mueller, Martin
    2008 DESIGN, AUTOMATION AND TEST IN EUROPE, VOLS 1-3, 2008, : 826 - +
  • [22] An integrated solution for creating dependable software
    Wong, WE
    24TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COSPSAC 2000), 2000, 24 : 269 - 270
  • [23] Secure and dependable software defined networks
    Akhunzada, Adnan
    Gani, Abdullah
    Anuar, Nor Badrul
    Abdelaziz, Ahmed
    Khan, Muhammad Khurram
    Hayat, Amir
    Khan, Samee U.
    JOURNAL OF NETWORK AND COMPUTER APPLICATIONS, 2016, 61 : 199 - 221
  • [24] Tools and patterns for dependable concurrent software
    Jovanovic, DS
    Broenink, JF
    Eurocon 2005: The International Conference on Computer as a Tool, Vol 1 and 2 , Proceedings, 2005, : 736 - 739
  • [25] A software infrastructure for dependable embedded systems
    Shimada, Hiromasa
    Courbot, Alexandre
    Kinebuchi, Yuki
    Nakajima, Tatsuo
    COMPUTER SYSTEMS SCIENCE AND ENGINEERING, 2011, 26 (06): : 491 - 503
  • [26] Is academic open source software dependable?
    Chiba, S
    BUILDING THE INFORMATION SOCIETY, 2004, 156 : 693 - 697
  • [27] System Structure for Dependable Software Systems
    De Florio, Vincenzo
    Blondia, Chris
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2011, PT III, 2011, 6784 : 594 - 607
  • [28] REFSQ'08 International Working Conference on Requirements Engineering: Foundation for Software Quality
    Paech, Barbara
    Rolland, Colette
    REQUIREMENTS ENGINEERING: FOUNDATION FOR SOFTWARE QUALITY, 2008, 5025 : 1 - +
  • [29] Eighth international workshop on requirements engineering - Foundation for software quality (REFSQ'02)
    Salinesi, C
    Regnell, B
    INFORMATION AND SOFTWARE TECHNOLOGY, 2003, 45 (14) : 941 - 943
  • [30] Sixth international workshop on requirements engineering: Foundation for software quality (REFSQ'00)
    Pohl K.
    Opdahl A.
    Rossi M.
    Requirements Engineering, 2001, 6 (1) : 1 - 2
12345