SlideShare a Scribd company logo
1 of 8
Download to read offline
Verification of redundant safety
    system architecture for
       embedded systems

            S1150056
         Makoto Kageyama
Redundant system
 General, redundant system is used
software design.
Software redundant is proposed for safety
system of CPU.
This paper shows effective of redundant
system
for CPU safety system.
outline
•   Background
•   What is fault injection test
•   What is redundant system
•   Experiment of redundant system using
    exampleof pot
•   Experiment of redundant system in robot system.
•   Result
•   Summary
•   Future Work
Background
Embedded system is used in many situation in
our life.
 Serious accident happen cause embedded
system.
 Safety of embedded system is demanded.
 Method of design is demanded establish for
safety system.
 Hardware redundant system is used design
safety system for high reliability.
 Software redundant system is proposed for
safety system of CPU.
Result
Fault injection test is a way of risk assessment.
Fault is injected into CPU's register.
Fault injection test is realized using emulator.
Redundant system is to making some method
for one method.
This paper have experimented two programs.
One is state transition system of pot.
Other is detect obstacle system of robot.
Result
Result of state transition system of pot is
guessed improve to using redundant
system.
Result of detect obstacle system of robot
is improved.
Test case of this system have 136 way,
but this redundant system has not
unsafety behavior.
Summary
This paper shows software redundant
system is effective for safety system of
CPU.
Using hardware redundant system and
hardware redundant system is effective for
keeping safety system.
It is useful for more high reliability system
design than only using hardware
redundant system design.
Future Work
This paper have done fault injection test
only single fault case, but I guess it is not
enough, some fault case is necessity. But
it is not realistic, because it have very
large number of test case.
How to design watchdog. If detect
unsafety this information is useful for
design safety system.

More Related Content

What's hot

Testability: Factors and Strategy
Testability: Factors and StrategyTestability: Factors and Strategy
Testability: Factors and StrategyBob Binder
 
Automatic test packet generation
Automatic test packet generationAutomatic test packet generation
Automatic test packet generationtusharjadhav2611
 
Automatic test packet generation in network
Automatic test packet generation in networkAutomatic test packet generation in network
Automatic test packet generation in networkeSAT Journals
 
Exams4sure Juniper JN0-1332 Exam Dumps 2021
Exams4sure Juniper JN0-1332 Exam Dumps 2021Exams4sure Juniper JN0-1332 Exam Dumps 2021
Exams4sure Juniper JN0-1332 Exam Dumps 2021bronxfugly43
 
Automatic Sleep Staging Using State Machine-controlled Decision Trees
Automatic Sleep Staging Using State Machine-controlled Decision TreesAutomatic Sleep Staging Using State Machine-controlled Decision Trees
Automatic Sleep Staging Using State Machine-controlled Decision TreesAnas Imtiaz
 
Nonlinear observers: a system approach for the knowledge discovery.
Nonlinear observers: a system approach for the knowledge discovery.Nonlinear observers: a system approach for the knowledge discovery.
Nonlinear observers: a system approach for the knowledge discovery.Massimo Talia
 
Fault Tolerance System
Fault Tolerance SystemFault Tolerance System
Fault Tolerance SystemEhsan Ilahi
 

What's hot (13)

Applications of ATPG
Applications of ATPGApplications of ATPG
Applications of ATPG
 
Testability: Factors and Strategy
Testability: Factors and StrategyTestability: Factors and Strategy
Testability: Factors and Strategy
 
Automatic test packet generation
Automatic test packet generationAutomatic test packet generation
Automatic test packet generation
 
Automatic test packet generation in network
Automatic test packet generation in networkAutomatic test packet generation in network
Automatic test packet generation in network
 
Exams4sure Juniper JN0-1332 Exam Dumps 2021
Exams4sure Juniper JN0-1332 Exam Dumps 2021Exams4sure Juniper JN0-1332 Exam Dumps 2021
Exams4sure Juniper JN0-1332 Exam Dumps 2021
 
Fault tolerance techniques
Fault tolerance techniquesFault tolerance techniques
Fault tolerance techniques
 
Automatic Sleep Staging Using State Machine-controlled Decision Trees
Automatic Sleep Staging Using State Machine-controlled Decision TreesAutomatic Sleep Staging Using State Machine-controlled Decision Trees
Automatic Sleep Staging Using State Machine-controlled Decision Trees
 
Nonlinear observers: a system approach for the knowledge discovery.
Nonlinear observers: a system approach for the knowledge discovery.Nonlinear observers: a system approach for the knowledge discovery.
Nonlinear observers: a system approach for the knowledge discovery.
 
Maintaining computer and network system
Maintaining computer and network systemMaintaining computer and network system
Maintaining computer and network system
 
Fault tolerance
Fault toleranceFault tolerance
Fault tolerance
 
Oeeasy - Australtek
Oeeasy - AustraltekOeeasy - Australtek
Oeeasy - Australtek
 
Pascual Imec06
Pascual Imec06Pascual Imec06
Pascual Imec06
 
Fault Tolerance System
Fault Tolerance SystemFault Tolerance System
Fault Tolerance System
 

Viewers also liked

Project-google
Project-googleProject-google
Project-googlehilalnaz
 
Scientific exploration of mars
Scientific exploration of marsScientific exploration of mars
Scientific exploration of marsBrian Thompson
 
Kangurua
KanguruaKangurua
Kanguruaicalero
 
The world is flat
The world is flatThe world is flat
The world is flathilalnaz
 
The literature review
The literature reviewThe literature review
The literature reviews1150056
 

Viewers also liked (7)

S1150053
S1150053S1150053
S1150053
 
Project-google
Project-googleProject-google
Project-google
 
Scientific exploration of mars
Scientific exploration of marsScientific exploration of mars
Scientific exploration of mars
 
Kangurua
KanguruaKangurua
Kangurua
 
The world is flat
The world is flatThe world is flat
The world is flat
 
Solar power
Solar powerSolar power
Solar power
 
The literature review
The literature reviewThe literature review
The literature review
 

Similar to Presentation

SE2018_Lec 19_ Software Testing
SE2018_Lec 19_ Software TestingSE2018_Lec 19_ Software Testing
SE2018_Lec 19_ Software TestingAmr E. Mohamed
 
SE2_Lec 20_Software Testing
SE2_Lec 20_Software TestingSE2_Lec 20_Software Testing
SE2_Lec 20_Software TestingAmr E. Mohamed
 
IRJET - Neural Network based Leaf Disease Detection and Remedy Recommenda...
IRJET -  	  Neural Network based Leaf Disease Detection and Remedy Recommenda...IRJET -  	  Neural Network based Leaf Disease Detection and Remedy Recommenda...
IRJET - Neural Network based Leaf Disease Detection and Remedy Recommenda...IRJET Journal
 
Parameter Estimation of Software Reliability Growth Models Using Simulated An...
Parameter Estimation of Software Reliability Growth Models Using Simulated An...Parameter Estimation of Software Reliability Growth Models Using Simulated An...
Parameter Estimation of Software Reliability Growth Models Using Simulated An...Editor IJCATR
 
2012A8PS309P_AbhishekKumar_FinalReport
2012A8PS309P_AbhishekKumar_FinalReport2012A8PS309P_AbhishekKumar_FinalReport
2012A8PS309P_AbhishekKumar_FinalReportabhishekroushan
 
Automatic Assessment of Failure Recovery in Erlang Applications
Automatic Assessment of Failure Recovery in Erlang ApplicationsAutomatic Assessment of Failure Recovery in Erlang Applications
Automatic Assessment of Failure Recovery in Erlang ApplicationsJan Henry Nystrom
 
OS VERIFICATION- A SURVEY AS A SOURCE OF FUTURE CHALLENGES
OS VERIFICATION- A SURVEY AS A SOURCE OF FUTURE CHALLENGESOS VERIFICATION- A SURVEY AS A SOURCE OF FUTURE CHALLENGES
OS VERIFICATION- A SURVEY AS A SOURCE OF FUTURE CHALLENGESIJCSES Journal
 
Software Testing and Quality Assurance Assignment 2
Software Testing and Quality Assurance Assignment 2Software Testing and Quality Assurance Assignment 2
Software Testing and Quality Assurance Assignment 2Gurpreet singh
 
1 introduction
1 introduction1 introduction
1 introductionhanmya
 
Application of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle softwareApplication of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle softwareAdaCore
 
Model Based System Random Test For Smart OS
Model Based System Random Test For Smart OSModel Based System Random Test For Smart OS
Model Based System Random Test For Smart OSLex Yu
 
Basic software-testing-concepts
Basic software-testing-conceptsBasic software-testing-concepts
Basic software-testing-conceptsmedsherb
 
Predicting system trustworthyness
Predicting system trustworthynessPredicting system trustworthyness
Predicting system trustworthynessSaransh Garg
 
Performance Evaluation of a Network Using Simulation Tools or Packet Tracer
Performance Evaluation of a Network Using Simulation Tools or Packet TracerPerformance Evaluation of a Network Using Simulation Tools or Packet Tracer
Performance Evaluation of a Network Using Simulation Tools or Packet TracerIOSRjournaljce
 
DevOps - Chaos Engineering on Kubernetes
DevOps - Chaos Engineering on KubernetesDevOps - Chaos Engineering on Kubernetes
DevOps - Chaos Engineering on KubernetesDavid Hsu
 
Manual Testing tutorials and Interview Questions.pptx
Manual Testing tutorials and Interview Questions.pptxManual Testing tutorials and Interview Questions.pptx
Manual Testing tutorials and Interview Questions.pptxPrasanta Sahoo
 

Similar to Presentation (20)

SE2018_Lec 19_ Software Testing
SE2018_Lec 19_ Software TestingSE2018_Lec 19_ Software Testing
SE2018_Lec 19_ Software Testing
 
SE2_Lec 20_Software Testing
SE2_Lec 20_Software TestingSE2_Lec 20_Software Testing
SE2_Lec 20_Software Testing
 
IRJET - Neural Network based Leaf Disease Detection and Remedy Recommenda...
IRJET -  	  Neural Network based Leaf Disease Detection and Remedy Recommenda...IRJET -  	  Neural Network based Leaf Disease Detection and Remedy Recommenda...
IRJET - Neural Network based Leaf Disease Detection and Remedy Recommenda...
 
Parameter Estimation of Software Reliability Growth Models Using Simulated An...
Parameter Estimation of Software Reliability Growth Models Using Simulated An...Parameter Estimation of Software Reliability Growth Models Using Simulated An...
Parameter Estimation of Software Reliability Growth Models Using Simulated An...
 
2012A8PS309P_AbhishekKumar_FinalReport
2012A8PS309P_AbhishekKumar_FinalReport2012A8PS309P_AbhishekKumar_FinalReport
2012A8PS309P_AbhishekKumar_FinalReport
 
Automatic Assessment of Failure Recovery in Erlang Applications
Automatic Assessment of Failure Recovery in Erlang ApplicationsAutomatic Assessment of Failure Recovery in Erlang Applications
Automatic Assessment of Failure Recovery in Erlang Applications
 
OS VERIFICATION- A SURVEY AS A SOURCE OF FUTURE CHALLENGES
OS VERIFICATION- A SURVEY AS A SOURCE OF FUTURE CHALLENGESOS VERIFICATION- A SURVEY AS A SOURCE OF FUTURE CHALLENGES
OS VERIFICATION- A SURVEY AS A SOURCE OF FUTURE CHALLENGES
 
Software Testing and Quality Assurance Assignment 2
Software Testing and Quality Assurance Assignment 2Software Testing and Quality Assurance Assignment 2
Software Testing and Quality Assurance Assignment 2
 
1 introduction
1 introduction1 introduction
1 introduction
 
Testing &ampdebugging
Testing &ampdebuggingTesting &ampdebugging
Testing &ampdebugging
 
Application of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle softwareApplication of theorem proving for safety-critical vehicle software
Application of theorem proving for safety-critical vehicle software
 
Model Based System Random Test For Smart OS
Model Based System Random Test For Smart OSModel Based System Random Test For Smart OS
Model Based System Random Test For Smart OS
 
Basic software-testing-concepts
Basic software-testing-conceptsBasic software-testing-concepts
Basic software-testing-concepts
 
Software testing
Software testingSoftware testing
Software testing
 
Predicting system trustworthyness
Predicting system trustworthynessPredicting system trustworthyness
Predicting system trustworthyness
 
SOFTWARE Y HARDWARE.pptx
SOFTWARE Y HARDWARE.pptxSOFTWARE Y HARDWARE.pptx
SOFTWARE Y HARDWARE.pptx
 
Performance Evaluation of a Network Using Simulation Tools or Packet Tracer
Performance Evaluation of a Network Using Simulation Tools or Packet TracerPerformance Evaluation of a Network Using Simulation Tools or Packet Tracer
Performance Evaluation of a Network Using Simulation Tools or Packet Tracer
 
Reliability and clock synchronization
Reliability and clock synchronizationReliability and clock synchronization
Reliability and clock synchronization
 
DevOps - Chaos Engineering on Kubernetes
DevOps - Chaos Engineering on KubernetesDevOps - Chaos Engineering on Kubernetes
DevOps - Chaos Engineering on Kubernetes
 
Manual Testing tutorials and Interview Questions.pptx
Manual Testing tutorials and Interview Questions.pptxManual Testing tutorials and Interview Questions.pptx
Manual Testing tutorials and Interview Questions.pptx
 

Presentation

  • 1. Verification of redundant safety system architecture for embedded systems S1150056 Makoto Kageyama
  • 2. Redundant system General, redundant system is used software design. Software redundant is proposed for safety system of CPU. This paper shows effective of redundant system for CPU safety system.
  • 3. outline • Background • What is fault injection test • What is redundant system • Experiment of redundant system using exampleof pot • Experiment of redundant system in robot system. • Result • Summary • Future Work
  • 4. Background Embedded system is used in many situation in our life. Serious accident happen cause embedded system. Safety of embedded system is demanded. Method of design is demanded establish for safety system. Hardware redundant system is used design safety system for high reliability. Software redundant system is proposed for safety system of CPU.
  • 5. Result Fault injection test is a way of risk assessment. Fault is injected into CPU's register. Fault injection test is realized using emulator. Redundant system is to making some method for one method. This paper have experimented two programs. One is state transition system of pot. Other is detect obstacle system of robot.
  • 6. Result Result of state transition system of pot is guessed improve to using redundant system. Result of detect obstacle system of robot is improved. Test case of this system have 136 way, but this redundant system has not unsafety behavior.
  • 7. Summary This paper shows software redundant system is effective for safety system of CPU. Using hardware redundant system and hardware redundant system is effective for keeping safety system. It is useful for more high reliability system design than only using hardware redundant system design.
  • 8. Future Work This paper have done fault injection test only single fault case, but I guess it is not enough, some fault case is necessity. But it is not realistic, because it have very large number of test case. How to design watchdog. If detect unsafety this information is useful for design safety system.