Evolving car designs using model-based automated safety analysis and optimisation techniques

被引:44
|
作者
Papadopoulos, Y [1 ]
Grante, C
机构
[1] Univ Hull, Dept Comp Sci, Kingston Upon Hull HU6 7RX, N Humberside, England
[2] Volvo Cars, Gothenburg, Sweden
关键词
fault tree synthesis; automated safety analysis; software hazard analysis; fault tolerance; multi-objective optimization;
D O I
10.1016/j.jss.2004.06.027
中图分类号
TP31 [计算机软件];
学科分类号
081202 ; 0835 ;
摘要
Development processes in the automotive industry need to evolve to address increasing demands for integration of car functions over common networked infrastructures. New processes must address cost and safety concerns and maximize the potential for automation to address the problem of increasing technological complexity. In this paper, we propose a design process in which techniques for semi-automatic safety and reliability analysis of systems models are combined with multi-objective optimisation techniques to assist the gradual development of designs that can meet reliability and safety requirements and maximise profit within pragmatic development cost constraints. The proposed process relies on tools to automate some aspects of the design that we believe could be automated and thus simplified without loss of the creative input brought in the process by designers. (C) 2004 Elsevier Inc. All rights reserved.
引用
收藏
页码:77 / 89
页数:13
相关论文
共 50 条
  • [1] Optimisation of networked control systems using model-based safety analysis techniques
    Parker, David J.
    Papadopoulos, Yiannis I.
    [J]. 2007 IEEE INTERNATIONAL CONFERENCE ON NETWORKING, SENSING, AND CONTROL, VOLS 1 AND 2, 2007, : 425 - 430
  • [2] Efficient Anytime Techniques for Model-Based Safety Analysis
    Bozzano, Marco
    Cimatti, Alessandro
    Griggio, Alberto
    Mattarei, Cristian
    [J]. COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 603 - 621
  • [3] Model-based camera calibration using analysis by synthesis techniques
    Eisert, P
    [J]. VISION MODELING, AND VISUALIZATION 2002, PROCEEDINGS, 2002, : 307 - 314
  • [4] Probabilistic Model-Based Safety Analysis
    Guedemann, Matthias
    Ortmeier, Frank
    [J]. ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2010, (28): : 114 - 128
  • [5] Photosensor Oculography: Survey and Parametric Analysis of Designs Using Model-Based Simulation
    Rigas, Ioannis
    Raffle, Hayes
    Komogortsev, Oleg, V
    [J]. IEEE TRANSACTIONS ON HUMAN-MACHINE SYSTEMS, 2018, 48 (06) : 670 - 681
  • [6] AMBRA - Automated Model-Based Risk Analysis
    Aime, Marco D.
    Atzeni, Andrea
    Pomi, Paolo C.
    [J]. QOP'07: PROCEEDINGS OF THE 2007 ACM WORKSHOP ON QUALITY OF PROTECTION, 2007, : 43 - 48
  • [7] On automated model-based extraction and analysis of gait
    Wagg, DK
    Nixon, MS
    [J]. SIXTH IEEE INTERNATIONAL CONFERENCE ON AUTOMATIC FACE AND GESTURE RECOGNITION, PROCEEDINGS, 2004, : 11 - 16
  • [8] Debugging VHDL designs using model-based reasoning
    Wotawa, F
    [J]. ARTIFICIAL INTELLIGENCE IN ENGINEERING, 2000, 14 (04): : 331 - 351
  • [9] An automated model-based approach to repair test suites of evolving web applications
    Imtiaz, Javaria
    Iqbal, Muhammad Zohaib
    Khan, Muhammad Uzair
    [J]. JOURNAL OF SYSTEMS AND SOFTWARE, 2021, 171
  • [10] Adaptable model-based tracking using analysis-by- synthesis techniques
    Wuest, Harald
    Wientapper, Folker
    Stricker, Didier
    [J]. COMPUTER ANALYSIS OF IMAGES AND PATTERNS, PROCEEDINGS, 2007, 4673 : 20 - 27