SlideShare une entreprise Scribd logo
1  sur  15
Delay Based SWIFI Approach to ABS Dependability Analysis Dawid Trawczynski, Janusz Sosnowski   Warsaw University of Technology Institute of Computer Science  Nowowiejska 15/19, 00-665 Warsaw, Poland email:d.trawczynski@ii.pw.edu.pl
Outline ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Motivation ,[object Object],[object Object],[object Object],[object Object]
Problems in Dependability Analysis ,[object Object],[object Object],[object Object],[object Object]
Fault Injection via Simulation ,[object Object],[object Object],[object Object]
Fault Models ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Task Execution Delay Fault : fault-free task i execution time  : faulty task i execution time, where  is the time perturbation random variable
Integrated Simulation Environment Real-Time Simulator and Fault Injector integration: TrueTime + Matlab/Simulink + FITS + MSVC
Anti-Lock Braking System Case Study
Distributed ABS Task Schedule
Experiments ,[object Object],[object Object],[object Object],[object Object]
Correlation of Performance , Task Deadline Misses and  Time of Fault Susceptibility X: lambda (interval of fault susceptibility) Y: TDM (task deadline miss ratio) Z: stopping distance (meters)
The Effect of TEF Faults on ABS Performance
Conclusion ,[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object]

Contenu connexe

Similaire à 2010 IEEE International Conf. on Dependability of Computer Systems - DepCoS

Introduction to Simulation
Introduction to SimulationIntroduction to Simulation
Introduction to Simulation
chimco.net
 
Muves3 Elastic Grid Java One2009 Final
Muves3 Elastic Grid Java One2009 FinalMuves3 Elastic Grid Java One2009 Final
Muves3 Elastic Grid Java One2009 Final
Elastic Grid, LLC.
 
Modeling & simulation in projects
Modeling & simulation in projectsModeling & simulation in projects
Modeling & simulation in projects
anki009
 
Giddings
GiddingsGiddings
Giddings
anesah
 
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
VLSICS Design
 
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
VLSICS Design
 
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
VLSICS Design
 

Similaire à 2010 IEEE International Conf. on Dependability of Computer Systems - DepCoS (20)

An Overview of Performance Evaluation & Simulation
An Overview of Performance Evaluation & SimulationAn Overview of Performance Evaluation & Simulation
An Overview of Performance Evaluation & Simulation
 
Introduction to System, Simulation and Model
Introduction to System, Simulation and ModelIntroduction to System, Simulation and Model
Introduction to System, Simulation and Model
 
Introduction to Simulation
Introduction to SimulationIntroduction to Simulation
Introduction to Simulation
 
Innoslate, A Model-Based Systems Engineering Tool
Innoslate, A Model-Based Systems Engineering ToolInnoslate, A Model-Based Systems Engineering Tool
Innoslate, A Model-Based Systems Engineering Tool
 
Muves3 Elastic Grid Java One2009 Final
Muves3 Elastic Grid Java One2009 FinalMuves3 Elastic Grid Java One2009 Final
Muves3 Elastic Grid Java One2009 Final
 
Modeling & simulation in projects
Modeling & simulation in projectsModeling & simulation in projects
Modeling & simulation in projects
 
Automatic Test Generation for Space
Automatic Test Generation for SpaceAutomatic Test Generation for Space
Automatic Test Generation for Space
 
Giddings
GiddingsGiddings
Giddings
 
Software CrashLocator: Locating the Faulty Functions by Analyzing the Crash S...
Software CrashLocator: Locating the Faulty Functions by Analyzing the Crash S...Software CrashLocator: Locating the Faulty Functions by Analyzing the Crash S...
Software CrashLocator: Locating the Faulty Functions by Analyzing the Crash S...
 
A Web-­Based Simulator for a Discrete Manufacturing System
A Web-­Based Simulator for a Discrete  Manufacturing SystemA Web-­Based Simulator for a Discrete  Manufacturing System
A Web-­Based Simulator for a Discrete Manufacturing System
 
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
 
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
 
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
COVERAGE DRIVEN FUNCTIONAL TESTING ARCHITECTURE FOR PROTOTYPING SYSTEM USING ...
 
20090918 Agile Computer Control of a Complex Experiment
20090918 Agile Computer Control of a Complex Experiment20090918 Agile Computer Control of a Complex Experiment
20090918 Agile Computer Control of a Complex Experiment
 
Workshop BI/DWH AGILE TESTING SNS Bank English
Workshop BI/DWH AGILE TESTING SNS Bank EnglishWorkshop BI/DWH AGILE TESTING SNS Bank English
Workshop BI/DWH AGILE TESTING SNS Bank English
 
SIMULATION
SIMULATIONSIMULATION
SIMULATION
 
Art%3 a10.1186%2f1687 6180-2011-29
Art%3 a10.1186%2f1687 6180-2011-29Art%3 a10.1186%2f1687 6180-2011-29
Art%3 a10.1186%2f1687 6180-2011-29
 
Adaptive13 test
Adaptive13 testAdaptive13 test
Adaptive13 test
 
A WORKSPACE SIMULATION FOR TAL TR-2 ARTICULATED ROBOT
A WORKSPACE SIMULATION FOR TAL TR-2 ARTICULATED ROBOT A WORKSPACE SIMULATION FOR TAL TR-2 ARTICULATED ROBOT
A WORKSPACE SIMULATION FOR TAL TR-2 ARTICULATED ROBOT
 
intro.pdf
intro.pdfintro.pdf
intro.pdf
 

2010 IEEE International Conf. on Dependability of Computer Systems - DepCoS

  • 1. Delay Based SWIFI Approach to ABS Dependability Analysis Dawid Trawczynski, Janusz Sosnowski Warsaw University of Technology Institute of Computer Science Nowowiejska 15/19, 00-665 Warsaw, Poland email:d.trawczynski@ii.pw.edu.pl
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7. Task Execution Delay Fault : fault-free task i execution time : faulty task i execution time, where is the time perturbation random variable
  • 8. Integrated Simulation Environment Real-Time Simulator and Fault Injector integration: TrueTime + Matlab/Simulink + FITS + MSVC
  • 11.
  • 12. Correlation of Performance , Task Deadline Misses and Time of Fault Susceptibility X: lambda (interval of fault susceptibility) Y: TDM (task deadline miss ratio) Z: stopping distance (meters)
  • 13. The Effect of TEF Faults on ABS Performance
  • 14.
  • 15.