Model-based semiautomatic safety analysis of programmable systems in automotive applications

被引：0
|
作者：
Papadopoulos, Y [1 ]
McDermid, J [1 ]
Mavrides, A [1 ]
Scheidler, C [1 ]
Maruhn, M [1 ]
机构：
[1] Univ York, Dept Comp Sci, York YO1 5DD, N Yorkshire, England
来源：
ADAS: INTERNATIONAL CONFERENCE ON ADVANCED DRIVER ASSISTANCE SYSTEMS | 2001年 / 483期
关键词：
D O I：
暂无
中图分类号：
U [交通运输];
学科分类号：
08 ; 0823 ;
摘要：
引用
收藏
页码：53 / 57
页数：5
相关论文
共 50 条
  • [1] Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems
    Biehl, Matthias
    Chen DeJiu
    Torngren, Martin
    [J]. ACM SIGPLAN NOTICES, 2010, 45 (04) : 125 - 131
  • [2] Integrating Safety Analysis into the Model-based Development Toolchain of Automotive Embedded Systems
    Biehl, Matthias
    Chen DeJiu
    Torngren, Martin
    [J]. LCTES 10-PROCEEDINGS OF THE ACM SIGPLAN/SIGBED 2010 CONFERENCE ON LANGUAGES, COMPILERS, & TOOLS FOR EMBEDDED SYSTEMS, 2010, : 125 - 131
  • [3] Model-based Hazard Analysis Method on Automotive Programmable Electronic System
    Zhang, Hongkun
    Li, Wenjun
    Chen, Wei
    [J]. 2010 3RD INTERNATIONAL CONFERENCE ON BIOMEDICAL ENGINEERING AND INFORMATICS (BMEI 2010), VOLS 1-7, 2010, : 2658 - 2661
  • [4] Model-Based Analysis of Safety Critical Systems
    Kushal, K. S.
    Paul, John J.
    Nanda, Manju
    Jayanthi, J.
    [J]. 2017 INTERNATIONAL CONFERENCE ON INNOVATIONS IN INFORMATION, EMBEDDED AND COMMUNICATION SYSTEMS (ICIIECS), 2017,
  • [5] Model-based systems in the automotive industry
    Struss, P
    Price, C
    [J]. AI MAGAZINE, 2003, 24 (04) : 17 - 34
  • [6] Model-Based Speech Enhancement for Automotive Applications
    Krini, Mohamed
    Schmidt, Gerhard
    [J]. 2009 PROCEEDINGS OF 6TH INTERNATIONAL SYMPOSIUM ON IMAGE AND SIGNAL PROCESSING AND ANALYSIS (ISPA 2009), 2009, : 638 - 643
  • [7] Model-Based Safety Analysis for Vehicle Guidance Systems
    Ghadhab, Majdi
    Junges, Sebastian
    Katoen, Joost-Pieter
    Kuntz, Matthias
    Volk, Matthias
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 3 - 19
  • [8] Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach
    Kokaly, Sahar
    Salay, Rick
    Chechik, Marsha
    Lawford, Mark
    Maibaum, Tom
    [J]. COMPUTER SAFETY, RELIABILITY, AND SECURITY, SAFECOMP 2017, 2017, 10488 : 69 - 85
  • [9] Reliability assessment of safety-relevant automotive systems in a model-based design flow
    Reiter, Sebastian
    Pressler, Michael
    Viehl, Alexander
    Bringmann, Oliver
    Rosenstiel, Wolfgang
    [J]. 2013 18TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE (ASP-DAC), 2013, : 417 - 422
  • [10] Model-based control for automotive cold start applications
    Wilcutts, Mark A.
    Hedrick, J. Karl
    [J]. VEHICLE SYSTEM DYNAMICS, 2007, 45 (05) : 399 - 411
12345