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 条
  • [21] Software performance evaluation based on the UML performance profile
    Gu, GP
    Petriu, DC
    7TH WORLD MULTICONFERENCE ON SYSTEMICS, CYBERNETICS AND INFORMATICS, VOL XIII, PROCEEDINGS: SYSTEMICS, CYBERNETICS AND INFORMATICS: TECHNOLOGIES AND APPLICATIONS, 2003, : 249 - 254
  • [22] A UML profile to support the formal presentation of software architecture
    Hudaib, A
    Montangero, C
    26TH ANNUAL INTERNATIONAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE, PROCEEDINGS, 2002, : 217 - 223
  • [23] An Adaptation of the UML Testing Profile for Quantum Software Testing
    de Guzman, Ignacio Garcia Rodriguez
    Monje, Moises Rodriguez
    Velthuis, Mario Piattini
    Quintana, Maria Teresa Merchan
    MEMORIA INVESTIGACIONES EN INGENIERIA, 2024, (27): : 266 - 284
  • [24] TOWARDS IMPLEMENTING A FRAMEWORK FOR MODELING SOFTWARE REQUIREMENTS IN MAGICDRAW UML
    Silingas, Darius
    Butleris, Rimantas
    INFORMATION TECHNOLOGY AND CONTROL, 2009, 38 (02): : 153 - 164
  • [25] A UML 2.0 profile to define security requirements for Data Warehouses
    Trujillo, Juan
    Soler, Emilio
    Fernandez-Medina, Eduardo
    Piattini, Mario
    COMPUTER STANDARDS & INTERFACES, 2009, 31 (05) : 969 - 983
  • [26] Software performance analysis in UML models
    Distefano, S
    Scarpa, M
    Puliafito, A
    2005 WORKSHOP ON TECHNIQUES, METHODOLOGIES AND TOOLS FOR PERFORMANCE EVALUATION OF COMPLEX SYSTEMS, PROCEEDINGS, 2005, : 115 - 125
  • [27] Automatic Model Translation to UML from Software Product Lines Model using UML Profile
    Muhammad, Rizki
    Setyautami, Maya Retno Ayu
    2016 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND INFORMATION SYSTEMS (ICACSIS), 2016, : 605 - 610
  • [28] An Experiment to Observe the Impact of UML Diagrams on the Effectiveness of Software Requirements Inspections
    Albayrak, Oezlem
    ESEM: 2009 3RD INTERNATIONAL SYMPOSIUM ON EMPIRICAL SOFTWARE ENGINEERING AND MEASUREMENT, 2009, : 507 - 511
  • [29] Specifying and Incorporating Compliance Requirements into Software Development Using UML and OCL
    Arogundade, Oluwasefunmi Tale
    Abioye, Temitope Elizabeth
    Mustapha, Abiodun Muyideen
    Adeniji, Adeola Mary
    Ikotun, Abiodun Motunrayo
    Asahiah, Franklin O.
    COMPUTATIONAL SCIENCE AND ITS APPLICATIONS - ICCSA 2018, PT IV, 2018, 10963 : 511 - 526
  • [30] Dependable software by design
    Jackson, D
    SCIENTIFIC AMERICAN, 2006, 294 (06) : 68 - 75
12345