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 条
  • [1] A UML Profile for Requirements Analysis of Dependable Software
    Hatebur, Denis
    Heisel, Maritta
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, 2010, 6351 : 317 - 331
  • [2] Requirements management for dependable software systems
    Bail, William G.
    ADVANCES IN COMPUTERS, VOL 66: QUALITY SOFTWAVE DEVELOPMENT, 2006, 66 : 79 - 141
  • [3] Dependable software
    Meyer, Bertrand
    DEPENDABLE SYSTEMS: SOFTWARE, COMPUTING, NETWORKS, 2006, 4028 : 1 - 33
  • [4] Dependable software by design
    Jackson, D
    SCIENTIFIC AMERICAN, 2006, 294 (06) : 68 - 75
  • [5] Impact of dependable software development guidelines on timing analysis
    Wenzel, I
    Kirner, R
    Schlager, M
    Rieder, B
    Huber, B
    EUROCON 2005: THE INTERNATIONAL CONFERENCE ON COMPUTER AS A TOOL, VOL 1 AND 2 , PROCEEDINGS, 2005, : 575 - 578
  • [6] Analysis of Crop Water Requirements for Apple Using Dependable Rainfall
    Ucar, Yusuf
    Kociecka, Joanna
    Liberacki, Daniel
    Rolbiecki, Roman
    ATMOSPHERE, 2023, 14 (01)
  • [7] Requirements engineering: Foundation for software quality (REFSQ2020)
    Ferrari, Alessio
    Madhavji, Nazim H.
    Pasquale, Liliana
    INFORMATION AND SOFTWARE TECHNOLOGY, 2021, 137
  • [8] Specification, analysis and implementation of architectural patterns for dependable software systems
    Yau, SS
    Mukhopadhyay, S
    Bharadwaj, R
    WORDS 2005: 10TH IEEE INTERNATIONAL WORKSHOP ON OBJECT-ORIENTED REAL-TIME DEPENDABLE, PROCEEDINGS, 2005, : 197 - 204
  • [9] A Direct Path to Dependable Software
    Jackson, Daniel
    COMMUNICATIONS OF THE ACM, 2009, 52 (04) : 78 - 88
  • [10] Testing for Dependable Embedded Software
    Saglietti, Francesca
    36TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2010, : 409 - 416
12345