Mehrdad Moradi Oct. 22, 2018 MSDL Research day

Slides:



Advertisements
Similar presentations
Auto-Generation of Test Cases for Infinite States Reactive Systems Based on Symbolic Execution and Formula Rewriting Donghuo Chen School of Computer Science.
Advertisements

Test process essentials Riitta Viitamäki,
Anaïs GUIGNARD LURPA, ENS Cachan Validation of logic controllers from event observation in a closed-loop system Réunion VACSIM - 14 Octobre 2014.
MotoHawk Training Model-Based Design of Embedded Systems.
Presenter : Shih-Tung Huang Tsung-Cheng Lin Kuan-Fu Kuo 2015/6/15 EICE team Model-Level Debugging of Embedded Real-Time Systems Wolfgang Haberl, Markus.
ECE Synthesis & Verification1 ECE 667 Spring 2011 Synthesis and Verification of Digital Systems Verification Introduction.
Aims and Motivation The goal of this project is to produce a secure and dependable way of distributing and storing data securely over a distributed system.
What Great Research ?s Can RAMP Help Answer? What Are RAMP’s Grand Challenges ?
Design of Fault Tolerant Data Flow in Ptolemy II Mark McKelvin EE290 N, Fall 2004 Final Project.
Functional Coverage Driven Test Generation for Validation of Pipelined Processors P. Mishra and N. Dutt Proceedings of the Design, Automation and Test.
Introduction to Software Testing
AUTOMATIC CONCOLIC TEST GENERATION WITH VIRTUAL PROTOTYPES FOR POST-SILICON VALIDATION Reviewer: Shin-Yann Ho Instructor: Jie-Hong Jiang.
By Ryan Mowry.  Graphical models of system  Entire system or just parts  Complex systems easier to understand  “Capture key requirements and demonstrate.
What Exactly are the Techniques of Software Verification and Validation A Storehouse of Vast Knowledge on Software Testing.
TEST CASE DESIGN Prepared by: Fatih Kızkun. OUTLINE Introduction –Importance of Test –Essential Test Case Development A Variety of Test Methods –Risk.
Copyright Critical Software S.A All Rights Reserved. VAL-COTS Validation of Real Time COTS Products Ricardo Barbosa, Henrique Madeira, Nuno.
Software Faults and Fault Injection Models --Raviteja Varanasi.
An Approach to Test Autonomic Containers Ronald Stevens (IEEE Computer Society & ACM Student Member) August 1, 2006 REU Sponsored by NSF.
University of Coimbra, DEI-CISUC
Reliable Design of Safety Critical Systems Dr. Abhik Roychoudhury School of Computing
Presenter : Ching-Hua Huang 2013/7/15 A Unified Methodology for Pre-Silicon Verification and Post-Silicon Validation Citation : 15 Adir, A., Copty, S.
Testing Workflow In the Unified Process and Agile/Scrum processes.
Communication Networks (Kommunikationsnetværk) Specialisations: Distributed Application Engineering Network Planning & Management Ole Brun Madsen Professor.
BE-SECBS FISA 2003 November 13th 2003 page 1 DSR/SAMS/BASP IRSN BE SECBS – IRSN assessment Context application of IRSN methodology to the reference case.
1 LiSyC ENSIETA/DTN 02/04/2008 AADL execution semantics transformation for formal verification Joel Champeau, Thomas Abdoul, Pierre Yves Pillain, Philippe.
MAFTIA Expression of Interest for DEFINE and DESIRE presented by Robert Stroud, University of Newcastle upon Tyne.
©2009 Mladen Kezunovic. Improving Relay Performance By Off-line and On-line Evaluation Mladen Kezunovic Jinfeng Ren, Chengzong Pang Texas A&M University,
Software Testing Definition Software Testing Module ( ) Dr. Samer Odeh Hanna.
SPEED CONTROL OF DC MOTOR USING FUZZY LOGIC CONTROLLER
Simics: A Full System Simulation Platform Synopsis by Jen Miller 19 March 2004.
Natural Faults Mariesa Crow & Bruce McMillin
Evaluating the Fault Tolerance Capabilities of Embedded Systems via BDM M. Rebaudengo, M. Sonza Reorda Politecnico di Torino Dipartimento di Automatica.
Copyright 1999 G.v. Bochmann ELG 7186C ch.1 1 Course Notes ELG 7186C Formal Methods for the Development of Real-Time System Applications Gregor v. Bochmann.
Presenter: Yi-Ting Chung Fast and Scalable Hybrid Functional Verification and Debug with Dynamically Reconfigurable Co- simulation.
UC Marco Vieira University of Coimbra
Lessons Learned Implementing an IEC based Microgrid Power-Management System October 12, 2015 Presented by: Jared Mraz, P.E.
Programmable Logic Devices
Prepared by: Fatih Kızkun
Embedded SoftwareTesting
Hardware accelerator for Efficient error-correcting codes
Software Architecture in Practice
ITEA3 Project: ACOSAR Advanced Co-Simulation Open System Architecture
Daniil Chivilikhin and Vladimir Ulyantsev
Complexity Time: 2 Hours.
Simulation Requirements
System Design.
Distribution and components
Algorithms for Big Data Delivery over the Internet of Things
Overview of the Course Copyright 2003, Keith D. Cooper, Ken Kennedy & Linda Torczon, all rights reserved. Students enrolled in Comp 412 at Rice University.
Matthew Lyon James Montgomery Lucas Scotta 13 October 2010
Gabor Madl Ph.D. Candidate, UC Irvine Advisor: Nikil Dutt
Model-Driven Analysis Frameworks for Embedded Systems
The Extensible Tool-chain for Evaluation of Architectural Models
A Must to Know - Testing IoT
Shanna-Shaye Forbes Ben Lickly Man-Kit Leung
Kellen Oleksak, Kevin Tomsovic, Hantao Cui
Introduction to Software Testing
A test technique is a recipe these tasks that will reveal something
Evaluating Transaction System Performance
Group Truck Technology, Powetrain Engineering, Control Systems dept.
Software Verification and Validation
Software Verification and Validation
Dynamic Program Analysis
Matteo Merialdo RHEA Group Innovative aspects in cyber range solutions.
Automated Analysis and Code Generation for Domain-Specific Models
Applying Use Cases (Chapters 25,26)
Software Verification and Validation
Criteria for rapid prototyping
Presentation transcript:

Mehrdad Moradi Oct. 22, 2018 MSDL Research day Model-Implemented Hybrid Fault Injection for Simulink (Tool demonstration) Mehrdad Moradi Oct. 22, 2018 MSDL Research day

Cyber-Physical System Why? What? How? Conclusion Future direction Why FI? http://www.real-programmer.com/interesting_things/IEEE%20SpectrumThisCarRunsOnCode.pdf

Faults and Failures Why? What? How? Future direction Conclusion Deswarte, Y., Creese, S., Deswarte, Y., Kursawe, K., Laprie, J.C., Powell, D., Randell, B., Riordan, J., Ryan, P., Simmonds, W., Stroud, R., Verissimo, P., Waidner, M., Wespi, A.: Conceptual Model and Architecture of MAFTIA Conceptual Model and Architecture of MAFTIA Departamento de Inform ´ Faculdade de Ciˆ. (2003).

Fault Injection Why? What? How? FARM model: Conclusion Future direction FARM model: the set of Faults to be injected, the set of Activations exercised during the experiment, the Readouts to define observers of system behavior, the Measures dependability properties. Connect pic to farm An effective way to characterize a fault injection environment is the FARM model. The FARM model is composed of: Faults: the faults (and its types) to inject into the model Activations: Input to the system + when to inject faults Read-outs: set of outputs of the system to read-out to interpret behavior Measures: correspond to the dependability measures obtained through fault injection. Where: to apply change (location, abstraction/system level) What: to inject (what should be injected/corrupted?) Which: trigger to use (event, instruction, timeout, exception, code mutation?) When: to inject (corresponding to type of fault) How: often to inject …. What to record & interpret? To what purpose? How is the system loaded at the time of the injection Application running and their load (work load) System resources Real -> realistic -> synthetic workload Fault Injection Techniques and Tools J. Arlat, M. Aguera, L. Amat, Y. Crouzet, J.C. Fabre, J.-C. Laprie, E. Martins, D. Powell, Fault Injection for Dependability Validation: A Methodology and some Applications, IEEE Transactions on Software Engineering, Vol. 16, No. 2, February 1990, pp. 166–182

Fault Injection’s Types Why? What? How? Conclusion Future direction Hardware-based, software-based, simulation- based Hybrid FI Prototype-based, measurement-based, emulation-based, protocol-based So it’s a time consuming, costly …. process http://wpage.unina.it/roberto.natella/tools.html

Framework Why? What? How? Conclusion Future direction Generative techniques: Model-Implemented Hybrid Fault Injection by explicit modelling of FARM in Simulink to setup the experiments both for Model-in-the-Loop (MiL) and Hardware-in-the-Loop (HiL) Control Models Plant Models MiL MiL reduce complexity – cost, easier HiLreal case Real-Time System Embedded Target HiL

Conclusion The framework automated the FI process Why? What? How? Conclusion Future direction The framework automated the FI process MiL to simulation-based fault injection HiL to execution-based fault injection Cover wide variety of fault type Flexible fault injection scenario

Future direction Complete FARM model Efficient fault injection Why? What? How? Conclusion Future direction Complete FARM model Temporal Logic Efficient fault injection Increase fault coverage and speed Complex fault injection INES and aSET projects

Thank you for your attention