Enhancing critical software development using HOORA/HOOD and UML-RT

被引：0
|
作者：
Méhaut, X
Richard-Foy, M
机构：
来源：
DASIA 99: DATA SYSTEMS IN AEROSPACE | 1999年 / 447卷
关键词：
critical software; quality; UML/ROOM; HOORA; HRT-HOOD; norms and standards;
D O I：
暂无
中图分类号：
V [航空、航天];
学科分类号：
08 ; 0825 ;
摘要：
Among the various classes of software, critical software is undoubtedly the one which requires the most development and tuning efforts since the constraints in terms of architecture and software are quite strict, Quality improvement of the critical applications can be carried out by means of a total quality plan as well as by choosing and applying a development process based on rigorous methods well adapted to the domain. This article focuses on the second aspect by deliberately adopting norms and standards as basic concepts, HOORA and HRT-HOOD methods as frameworks of the process, UML-RT as the unique formalism for the process.
引用
收藏
页码：245 / 251
页数：5
相关论文
共 46 条
  • [31] Enhancing Software Development Process Using Automated Adaptation of Object Ensembles
    Emran, Md.
    Kabir, Humaun
    Rahman, Ziaur
    Islam, Nazrul
    [J]. 2015 2ND INTERNATIONAL CONFERENCE ON ELECTRICAL INFORMATION AND COMMUNICATION TECHNOLOGY (EICT), 2015, : 560 - 565
  • [32] A model-based Software Development Process for Safety-critical embedded Systems in industrial Measurement Technology UML-Framework for the Modeling of safety-critical Software
    Kuschnerus, Dirk
    Gerding, Michael
    Bilgic, Attila
    Musch, Thomas
    [J]. AUTOMATION 2012, 2012, 2171 : 55 - 58
  • [33] AgileTL: A Framework for Enhancing Teaching and Learning Practices Using Software Development Principles
    Leung, Wai Sze
    [J]. ICT EDUCATION, SACLA 2018, 2019, 963 : 223 - 233
  • [34] A Power Consumption Analysis Technique Using UML-Based Design Models in Embedded Software Development
    Kim, Doo-Hwan
    Kim, Jong-Phil
    Hong, Jang-Eui
    [J]. SOFSEM 2011: THEORY AND PRACTICE OF COMPUTER SCIENCE, 2011, 6543 : 320 - 331
  • [35] Development of Safety-Critical Software Systems Using Open Source Software - A Systematic Map
    Sulaman, Sardar Muhammad
    Orucevic-Alagic, Alma
    Borg, Markus
    Wnuk, Krzysztof
    Host, Martin
    de la Vara, Jose Luis
    [J]. 2014 40TH EUROMICRO CONFERENCE SERIES ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA 2014), 2014, : 17 - 24
  • [36] Challenges when using Model Driven Architecture in the development of safety critical software
    Conmy, Philippa
    Paige, Richard F.
    [J]. FOURTH INTERNATIONAL WORKSHOP ON MODEL-BASED METHODOLOGIES FOR PERVASIVE AND EMBEDDED SOFTWARE, PROCEEDINGS, 2007, : 127 - +
  • [37] Development of a normative package for safety-critical software using formal regulatory requirements
    Vilkomir, SA
    Ghose, AK
    [J]. PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, 2004, 3009 : 523 - 537
  • [38] The Analysis of Critical Success Factor Ranking for Software Development and Implementation Project Using AHP
    Octavianus, Ryann
    Mursanto, Petrus
    [J]. 2018 INTERNATIONAL CONFERENCE ON ADVANCED COMPUTER SCIENCE AND INFORMATION SYSTEMS (ICACSIS), 2018, : 313 - 318
  • [39] Using language workbenches and domain-specific languages for safety-critical software development
    Voelter, Markus
    Kolb, Bernd
    Birken, Klaus
    Tomassetti, Federico
    Alff, Patrick
    Wiart, Laurent
    Wortmann, Andreas
    Nordmann, Arne
    [J]. SOFTWARE AND SYSTEMS MODELING, 2019, 18 (04): : 2507 - 2530
  • [40] DEVELOPMENT OF STUDENTS' REASONING AND CRITICAL THINKING SKILLS THROUGH ARGUMENT MAPPING USING RATIONALE™ SOFTWARE
    Vassiliades, Y.
    Koutselini, M.
    [J]. EDULEARN15: 7TH INTERNATIONAL CONFERENCE ON EDUCATION AND NEW LEARNING TECHNOLOGIES, 2015, : 2321 - 2321
12345