Model-based dependability evaluation method for TTP/C based systems

被引:0
|
作者
Herout, P
Racek, S
Hlavicka, J
机构
[1] Univ W Bohemia, Dept Comp Sci, Plzen 30614, Czech Republic
[2] Czech Tech Univ, Dept Comp Sci & Engn, Prague 12135 2, Czech Republic
来源
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper presents a simulation model of the Time-Triggered Protocol (TTP/C) based embedded computer system as a tool for evaluation of system capability to tolerate a chosen category of faults. The model, being written in ANSI-C, is portable and machine-independent. Its structure is modular and flexible, so that the system to be studied and the experiment setting can easily be changed. The functionality of this model is demonstrated on a set of fault injection experiments aimed mainly to evaluate the correctness of the TTP/C specification. These experiments were done within the EU/IST FIT (Fault Injection for Time triggered architecture) project solution.
引用
收藏
页码:271 / 282
页数:12
相关论文
共 50 条
  • [1] A modular approach for model-based dependability evaluation of a class of systems
    Porcarelli, S
    Di Giandomenico, F
    Lollini, P
    Bondavalli, A
    [J]. SERVICE AVAILABILITY, 2005, 3335 : 160 - 174
  • [2] Model-based evaluation: From dependability to security
    Nicol, DM
    Sanders, WH
    Trivedi, KS
    [J]. IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING, 2004, 1 (01) : 48 - 65
  • [3] Dependability Aspects of Model-based Systems Design for Mechatronic Systems
    Janschek, Klaus
    Morozov, Andrey
    [J]. 2015 IEEE INTERNATIONAL CONFERENCE ON MECHATRONICS (ICM), 2015, : 15 - 22
  • [4] Arcade - A formal, extensible, model-based dependability evaluation framework
    Boudali, Hichem
    Crouzen, Pepijn
    Haverkort, Boudewijn R.
    Kuntz, Matthias
    Stoelinga, Marieelle
    [J]. ICECCS 2008: THIRTEENTH IEEE INTERNATIONAL CONFERENCE ON THE ENGINEERING OF COMPLEX COMPUTER SYSTEMS, PROCEEDINGS, 2008, : 243 - +
  • [5] An Evaluation of a Model-Based Testing Method for Information Systems
    Santos-Neto, Pedro
    Resende, Rodolfo F.
    Padua, Clarindo
    [J]. APPLIED COMPUTING 2008, VOLS 1-3, 2008, : 770 - +
  • [6] Dependability Evaluation: Model and method based on Activity Theory
    Sujan, MA
    Rizzo, A
    Pasquini, A
    [J]. COMPUTER SAFETY, RELIABILITY AND SECURITY, PROCEEDINGS, 2000, 1943 : 406 - 419
  • [7] A Framework for Model-based Dependability Analysis of Cyber-Physical Systems
    Adedjouma, Morayo
    Yakymets, Nataliya
    [J]. 201919TH IEEE INTERNATIONAL SYMPOSIUM ON HIGH ASSURANCE SYSTEMS ENGINEERING (HASE 2019), 2019, : 82 - 89
  • [8] Dependability certification of services: a model-based approach
    Ardagna, Claudio A.
    Jhawar, Ravi
    Piuri, Vincenzo
    [J]. COMPUTING, 2015, 97 (01) : 51 - 78
  • [9] Dependability certification of services: a model-based approach
    Claudio A. Ardagna
    Ravi Jhawar
    Vincenzo Piuri
    [J]. Computing, 2015, 97 : 51 - 78
  • [10] DATAM: A model-based tool for dependability analysis
    Lu, XingHai
    Shi, XiaoHua
    Wang, WenRu
    [J]. CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2021, 33 (07):