Principles of high assurance software engineering for railway/ transportation systems

被引：0
|
作者：
Kleidermacher, David [1 ]
Kraeling, Mark [2 ]
机构：
[1] Green Hills Software, Inc., Santa Barbara, FL, United States
[2] General Electric (GE) Transportation, Melbourne, FL, United States
来源：
ZEVrail | 2010年 / 134卷 / 1-2期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：50 / 52
相关论文
共 50 条
  • [31] Software Quality Assurance engineering at NASA
    Rosenberg, LH
    Gallo, AM
    2002 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOLS 1-7, 2002, : 2569 - 2575
  • [32] Putting engineering into software engineering: Upholding software engineering principles in the classroom
    Tchier, Fairouz
    Rabai, Latifa Ben Arfa
    Mili, Ali
    COMPUTERS IN HUMAN BEHAVIOR, 2015, 48 : 245 - 254
  • [33] Toward high assurance software systems with adaptive fault management
    Rinsaka, Koichiro
    Dohi, Tadashi
    SOFTWARE QUALITY JOURNAL, 2016, 24 (01) : 65 - 85
  • [34] High-assurance distributed, adaptive software for dynamic systems
    Rohloff, Kurt
    Loyall, Joseph
    Pal, Partha
    Schantz, Richard
    HASE 2007: 10TH IEEE HIGH ASSURANCE SYSTEMS ENGINEERING SYMPOSIUM, PROCEEDINGS, 2007, : 385 - 386
  • [35] Toward high assurance software systems with adaptive fault management
    Koichiro Rinsaka
    Tadashi Dohi
    Software Quality Journal, 2016, 24 : 65 - 85
  • [36] Estimating software rejuvenation schedules in high-assurance systems
    Dohi, T
    Gogeva-Popstojanova, K
    Trivedi, K
    COMPUTER JOURNAL, 2001, 44 (06): : 473 - 485
  • [37] Improving dispatching software in railway engineering
    Schuetz, Isabel
    Stelzer, Anselmo
    6TH INTERNATIONAL CONFERENCE ON APPLIED HUMAN FACTORS AND ERGONOMICS (AHFE 2015) AND THE AFFILIATED CONFERENCES, AHFE 2015, 2015, 3 : 2929 - 2936
  • [38] THE MANAGEMENT OF SOFTWARE ENGINEERING .1. PRINCIPLES OF SOFTWARE ENGINEERING
    MILLS, HD
    IBM SYSTEMS JOURNAL, 1980, 19 (04) : 415 - 420
  • [39] Systems Software Integrity Assurance
    Lane, Chris
    SIGADA 2010: PROCEEDING OF THE 2010 ACM INTERNATIONAL CONFERENCE ON ADA AND RELATED TECHNOLOGIES, 2010, : 11 - 12
  • [40] 15 PRINCIPLES OF SOFTWARE ENGINEERING
    DAVIS, AM
    IEEE SOFTWARE, 1994, 11 (06) : 94 - 96
12345