Towards Agile Engineering of High-Integrity Systems

被引：0
|
作者：
Paige, Richard F. [1 ]
Charalambous, Ramon [1 ]
Ge, Xiaocheng [1 ]
Brooke, Phillip J. [2 ]
机构：
[1] Univ York, Dept Comp Sci, York YO10 5DD, N Yorkshire, England
[2] Univ Teesside, Sch Comp, Middlesbrough, Cleveland, England
来源：
COMPUTER SAFETY, RELIABILITY, AND SECURITY, PROCEEDINGS | 2008年 / 5219卷
基金：
英国工程与自然科学研究理事会;
关键词：
D O I：
暂无
中图分类号：
TP39 [计算机的应用];
学科分类号：
081203 ; 0835 ;
摘要：
We describe the results of a pilot study on the application of an agile process to building a high-integrity software system. The challenges in applying all agile process in this domain are outlined, and potential solutions for dealing with issues of communication. scalability, and system complexity are proposed. We report oil the safety process, argumentation generated to Support the process, and the technology and tools used to strengthen the agile process in terms Of Support for verification and validation.
引用
收藏
页码：30 / +
页数：3
相关论文
共 50 条
  • [1] ANALYZING HIGH-INTEGRITY SYSTEMS
    CLARK, JA
    MCDERMID, JA
    BURNS, A
    [J]. COMPUTING & CONTROL ENGINEERING JOURNAL, 1994, 5 (01): : 18 - 23
  • [2] ADA tasking for high-integrity systems
    Humphris, D
    Dobbing, B
    [J]. LESSONS IN SYSTEM SAFETY, 2000, : 113 - 133
  • [3] Ada 2005 for high-integrity systems
    Ruiz, Jose F.
    [J]. Developments in Risk-Based Approaches to Safety, 2006, : 187 - 198
  • [4] What Can Agile Methods Bring to High-Integrity Software Development?
    Chapman, Roderick
    White, Neil
    Woodcock, Jim
    [J]. COMMUNICATIONS OF THE ACM, 2017, 60 (10) : 38 - 41
  • [5] Code generation & high-integrity embedded systems
    Erkkinen, T
    [J]. DR DOBBS JOURNAL, 2004, 29 (06): : 68 - 70
  • [6] Ongoing requirements discovery in high-integrity systems
    Lutz, RR
    Mikulski, IC
    [J]. IEEE SOFTWARE, 2004, 21 (02) : 19 - +
  • [7] Experience in the integration of heterogeneous models in the model-driven engineering of high-integrity systems
    Bordin, Matteo
    Tsiodras, Thanassis
    Perrotin, Maxime
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2008, 2008, 5026 : 171 - 184
  • [8] Cache-Aware Development of High-Integrity Systems
    Mezzetti, Enrico
    Betts, Adam
    Ruiz, Jose
    Vardanega, Tullio
    [J]. RELIABLE SOFTWARE TECHNOLOGIES - ADA-EUROPE 2010, 2010, 6106 : 139 - +
  • [9] High-integrity seal
    Ashley, S
    [J]. MECHANICAL ENGINEERING, 1995, 117 (11): : 40 - 40
  • [10] BRASIL: A High-Integrity GPGPU Toolchain for Automotive Systems
    Trompouki, Matina Maria
    Kosmidis, Leonidas
    [J]. 2019 IEEE 37TH INTERNATIONAL CONFERENCE ON COMPUTER DESIGN (ICCD 2019), 2019, : 660 - 663
12345