Safety and Response-Time Analysis of an Automotive Accident Assistance Service

被引：0
|
作者：
Argent-Katwala, Ashok [1 ]
Clark, Allan [2 ]
Foster, Howard [1 ]
Gilmore, Stephen [2 ]
Mayer, Philip [3 ]
Tribastone, Mirco [2 ]
机构：
[1] Imperial College, London, United Kingdom
[2] The University of Edinburgh, United Kingdom
[3] Ludwig-Maximilians-Universität, Munich, Germany
来源：
Communications in Computer and Information Science | 2009年 / 17卷
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：191 / 205
相关论文
共 50 条
  • [1] Safety and Response-Time Analysis of an Automotive Accident Assistance Service
    Argent-Katwala, Ashok
    Clark, Allan
    Foster, Howard
    Gilmore, Stephen
    Mayer, Philip
    Tribastone, Mirco
    LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION AND VALIDATION, PROCEEDINGS, 2008, 17 : 191 - +
  • [2] Generalizing Response-Time Analysis
    Pollex, Victor
    Kollmann, Steffen
    Slomka, Frank
    16TH IEEE INTERNATIONAL CONFERENCE ON EMBEDDED AND REAL-TIME COMPUTING SYSTEMS AND APPLICATIONS (RTCSA 2010), 2010, : 203 - 211
  • [3] Typical Worst Case Response-Time Analysis and its Use in Automotive Network Design
    Quinton, Sophie
    Bone, Torsten T.
    Hennig, Julien
    Neukirchner, Moritz
    Negrean, Mircea
    Ernst, Rolf
    2014 51ST ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2014,
  • [4] Improved response-time analysis calculations
    Sjödin, M
    Hansson, H
    19TH IEEE REAL-TIME SYSTEMS SYMPOSIUM, PROCEEDINGS, 1998, : 399 - 408
  • [5] ANALYSIS ON RESPONSE-TIME OF ELECTROMAGNETIC FLOWMETERS
    KAWABE, R
    JOURNAL OF NUCLEAR SCIENCE AND TECHNOLOGY, 1982, 19 (02) : 169 - 172
  • [6] Response-Time Analysis of tasks with offsets
    Traore, Karim
    Grolleau, Emmanuel
    Rahni, Ahmed
    Richard, Michael
    2006 IEEE CONFERENCE ON EMERGING TECHNOLOGIES & FACTORY AUTOMATION, VOLS 1 -3, 2006, : 878 - +
  • [7] EMERGENCY MEDICAL-SERVICE - DELAYS, RESPONSE-TIME AND SURVIVAL
    MAYER, JD
    MEDICAL CARE, 1979, 17 (08) : 818 - 827
  • [8] Efficient response-time analysis for tasks with offsets
    Mäki-Turja, J
    Nolin, M
    RTAS 2004: 10TH IEEE REAL-TIME AND EMBEDDED TECHNOLOGY AND APPLICATIONS SYMPOSIUM, PROCEEDINGS, 2004, : 462 - 471
  • [9] Response-time analysis of composite Web services
    Menascé, DA
    IEEE INTERNET COMPUTING, 2004, 8 (01) : 90 - 92
  • [10] REVISED FIRE SAFETY SYSTEM CUTS EMERGENCY RESPONSE-TIME
    KEIR, DC
    HOSPITALS, 1979, 53 (05): : 80 - 81
12345