A UML Profile for Requirements Analysis of Dependable Software

被引：0
|
作者：
Hatebur, Denis [1 ]
Heisel, Maritta [1 ]
机构：
[1] Univ Duisburg Essen, Fak Ingenieurwissensch, Essen, Germany
来源：
COMPUTER SAFETY, RELIABILITY, AND SECURITY | 2010年 / 6351卷
关键词：
D O I：
暂无
中图分类号：
TP31 [计算机软件];
学科分类号：
081202 ; 0835 ;
摘要：
At Safecomp 2009, we presented a foundation for requirements analysis of dependable software. We defined a set of patterns for expressing and analyzing dependability requirements, such as confidentiality, integrity, availability, and reliability. The patterns take into account random faults as well as certain attacks and therefore support a combined safety and security engineering. In this paper, we demonstrate how the application of our patterns can be tool supported. We present a UML profile allowing us to express the different dependability requirements using UML diagrams. Integrity conditions are expressed using OCL. We provide tool support based on the Eclipse development environment, extended with an EMF-based UML tool, e.g., Papyrus UML. We illustrate how to use the profile to model dependability requirements of a cooperative adaptive cruise control system.
引用
收藏
页码：317 / 331
页数：15
相关论文
共 50 条
  • [41] A Review Method of Requirements Analysis Model in UML with Prototyping
    Ogata, Shinpei
    Matsuura, Saeko
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2012, 240 : 181 - +
  • [42] 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
  • [43] Integrating UML With Service Refinement for Requirements Modeling and Analysis
    Yang, Yilong
    Ke, Wei
    Yang, Jing
    Li, Xiaoshan
    IEEE ACCESS, 2019, 7 : 11599 - 11612
  • [44] A Direct Path to Dependable Software
    Jackson, Daniel
    COMMUNICATIONS OF THE ACM, 2009, 52 (04) : 78 - 88
  • [45] Testing for Dependable Embedded Software
    Saglietti, Francesca
    36TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS, 2010, : 409 - 416
  • [46] Dependable software and inductive programming
    Partridge, D
    NEURAL NETWORKS - PRODUCING DEPENDABLE SYSTEMS, CONFERENCE PROCEEDINGS, 1996, 95 (973): : 11 - 20
  • [47] Software architectures for dependable systems
    de Lemos, R
    Guerra, PAD
    DEPENDABLE COMPUTING, PROCEEDINGS, 2005, 3747 : 263 - 264
  • [48] Towards a formal use of UML for software requirement analysis
    Liu, ZM
    Li, XS
    He, JF
    PDPTA'2001: PROCEEDINGS OF THE INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, 2001, : 27 - 33
  • [49] Dependability Modeling and Analysis of Software Systems Specified with UML
    Bernardi, Simona
    Merseguer, Jose
    Petriu, Dorina C.
    ACM COMPUTING SURVEYS, 2012, 45 (01)
  • [50] Integrating COTS software components into dependable software architectures
    Guerra, PAD
    Rubira, CMF
    Romanovsky, A
    de Lemos, R
    ISORC 2003: SIXTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2003, : 139 - 142
12345