Model-based integration of safety analysis and reliable software development

被引：1
|
作者：
de Miguel, MA [1 ]
Pauly, B [1 ]
Person, T [1 ]
Fernandez, J [1 ]
机构：
[1] Thales ATM, E-28040 Madrid, Spain
来源：
WORDS 2005: 10th IEEE International Workshop on Object-Oriented Real-Time Dependable, Proceedings | 2005年
关键词：
D O I：
10.1109/WORDS.2005.43
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Software development of safety critical systems must combine the application of software developments techniques and safety analysis. The safety analyzers and software architects must have a common understanding of what makes a system safe, and what mitigation means improve the software component reliability and quality. Model driven development is an approach to reduce the gap between safety analysis technologies (e.g. FMECA and FTA) and software development languages (e.g. UML). Model driven technologies (e.g. metamodels and model transformation) give support for the integration of safety analysis concepts (e.g. risks, hazards and mitigation means) and software development concepts (e.g. components), and for the direct application of safety analysis on to software architectures.
引用
收藏
页码：312 / 319
页数：8
相关论文
共 50 条
  • [1] Integration of formal analysis into a model-based software development process
    Whalen, Michael
    Cofer, Darren
    Miller, Steven
    Krogh, Bruce H.
    Storm, Walter
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2008, 4916 : 68 - +
  • [2] Integration of usability evaluation and model-based software development
    Propp, Stefan
    Buchholz, Gregor
    Forbrig, Peter
    ADVANCES IN ENGINEERING SOFTWARE, 2009, 40 (12) : 1223 - 1230
  • [3] Model-Based Analysis for Safety Critical Software
    Gulan, Stefan
    Harnisch, Jens
    Johr, Sven
    Kretschmer, Roberto
    Rieger, Stefan
    Zalman, Rafael
    COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2015, 2015, 9337 : 111 - 120
  • [4] Model-based safety analysis of software product lines
    de Oliveira, Andre Luiz
    Braga, Rosana T. V.
    Masiero, Paulo Cesar
    Papadopoulos, Yiannis
    Habli, Ibrahim
    Kelly, Tim
    INTERNATIONAL JOURNAL OF EMBEDDED SYSTEMS, 2016, 8 (5-6) : 412 - 426
  • [5] Model-based safety analysis for an aviation software specification
    Hu J.
    Chen S.
    Chen D.
    Kang J.
    Wang H.
    International Journal of Performability Engineering, 2020, 16 (02) : 238 - 254
  • [6] SMV model-based safety analysis of software requirements
    Koh, Kwang Yong
    Seong, Poong Hyun
    RELIABILITY ENGINEERING & SYSTEM SAFETY, 2009, 94 (02) : 320 - 331
  • [7] Integration of safety analysis in model-driven software development
    de Miguel, M. A.
    Briones, J. F.
    Silva, J. P.
    Alonso, A.
    IET SOFTWARE, 2008, 2 (03) : 260 - 280
  • [8] Model based integration of safety analysis and development
    de Miguel, Miguel
    Briones, Javier Fernandez
    Silva, Juan Pedro
    Alonso, Alejandro
    NINTH IEEE INTERNATIONAL SYMPOSIUM ON OBJECT AND COMPONENT-ORIENTED REAL-TIME DISTRIBUTED COMPUTING, PROCEEDINGS, 2006, : 323 - +
  • [9] A MODEL-BASED FRAMEWORK FOR THE INTEGRATION OF SOFTWARE METRICS
    EVANCO, WM
    LACOVARA, R
    JOURNAL OF SYSTEMS AND SOFTWARE, 1994, 26 (01) : 77 - 86
  • [10] AUTOSAR Model-Based Software Component Integration of Supplier Software
    Mirheidari, Saleh
    Fallahi, Abdolreza
    Zhang, David
    Kuppam, Kumar
    SAE INTERNATIONAL JOURNAL OF COMMERCIAL VEHICLES, 2015, 8 (02) : 544 - 548
12345