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
相关论文
共 42 条
  • [1] A software process for Modeling complex systems with UML-RT
    Sun, Yifeng
    Levy, David
    [J]. TASE 2007: FIRST JOINT IEEE/IFIP SYMPOSIUM ON THEORETICAL ASPECTS OF SOFTWARE ENGINEERING, PROCEEDINGS, 2007, : 401 - +
  • [2] A semantics for UML-RT using π-calculus
    Bezerra, Juliana de Melo
    Hirata, Celso Massaki
    [J]. RSP 2007: 18TH IEEE/IFIP INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, PROCEEDINGS, 2007, : 75 - +
  • [3] From scenarios to hierarchical broadcasting software architectures using UML-RT
    Krüger, I
    Prenninger, W
    Sandner, R
    Broy, M
    [J]. INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2002, 12 (02) : 155 - 174
  • [4] Experiences and lessons learned using UML-RT to develop embedded printer software
    Dohmen, LAJ
    Somers, LJ
    [J]. PRODUCT FOCUSED SOFTWARE PROCESS IMPROVEMENT, PROCEEDINGS, 2002, 2559 : 475 - 484
  • [5] Model development guidelines for UML-RT: conventions, patterns and antipatterns
    Das, Tuhin Kanti
    Dingel, Juergen
    [J]. SOFTWARE AND SYSTEMS MODELING, 2018, 17 (03): : 717 - 752
  • [6] Model development guidelines for UML-RT: conventions, patterns and antipatterns
    Tuhin Kanti Das
    Juergen Dingel
    [J]. Software & Systems Modeling, 2018, 17 : 717 - 752
  • [7] Model Checking of UML-RT Models Using Lazy Composition
    Zurowska, Karolina
    Dingel, Juergen
    [J]. MODEL-DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2013, 8107 : 304 - 319
  • [8] Verifying UML-RT Protocol Conformance Using Model Checking
    Moffett, Yann
    Beaulieu, Alain
    Dingel, Juergen
    [J]. MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS, 2011, 6981 : 410 - +
  • [9] System level voltage scheduling technique using UML-RT model
    Neishaburi, M. H.
    Daneshtalab, Masoud
    Nabi, Majid
    Mohammadi, Simak
    [J]. 2007 IEEE/ACS INTERNATIONAL CONFERENCE ON COMPUTER SYSTEMS AND APPLICATIONS, VOLS 1 AND 2, 2007, : 500 - +
  • [10] Interface-based design of systems-on-chip using UML-RT
    Chureau, A
    Savaria, Y
    Aboulhamid, EM
    [J]. 4TH IEEE INTERNATIONAL WORKSHOP ON SYSTEM-ON-CHIP FOR REAL-TIME APPLICATIONS, PROCEEDINGS, 2004, : 39 - 44
12345