CSE 322: Software Reliability Engineering Topics covered: Architecture-based reliability analysis.

Slides:



Advertisements
Similar presentations
School of Engineering & Technology Computer Architecture Pipeline.
Advertisements

TOPIC : Reduced Ordered Binary Decision Diagrams UNIT 1: Modeling Digital Circuits Module 1 : Functional Modeling.
TOPIC : Finite State Machine(FSM) and Flow Tables UNIT 1 : Modeling Module 1.4 : Modeling Sequential circuits.
CS 795 – Spring  “Software Systems are increasingly Situated in dynamic, mission critical settings ◦ Operational profile is dynamic, and depends.
Lecturer: Sebastian Coope Ashton Building, Room G.18 COMP 201 web-page: Lecture.
CSE 322: Software Reliability Engineering Topics covered: Techniques for prediction.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Conditional probability Independent events Bayes rule Bernoulli trials (Sec )
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Expectation of random variables Moments (Sec )
CSE 300: Software Reliability Engineering Topics covered: Project overview.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Discrete random variables Probability mass function Distribution function (Secs )
CSE 3504: Probabilistic Analysis of Computer Systems Topics covered: Continuous time Markov chains (Sec )
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Independent events Bayes rule Bernoulli trials (Sec )
CSE 300: Software Reliability Engineering Topics covered: Software Reliability Models.
CSE 322: Software Reliability Engineering Topics covered: Software Reliability Models.
Technical Specification / Schedule Department of Computer Science and Engineering Michigan State University Spring 2007 Team : CSE 498, Collaborative Design.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Simple queuing models (Sec )
CSE 322: Software Reliability Engineering Topics covered: Software Reliability Models.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Pure death process Availability analysis (Sec , 8.4.1)
CSE 3504: Probabilistic Analysis of Computer Systems Topics covered: Moments and transforms of special distributions (Sec ,4.5.3,4.5.4,4.5.5,4.5.6)
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Multiple random variables Transform methods (Sec , 4.5.7)
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Confidence intervals.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Statistical inference (Sec. )
CSE 300: Software Reliability Engineering Topics covered: Software architecture styles.
CSE 322: Software Reliability Engineering Topics covered: Software Reliability Models.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Statistical inference.
CSE 300: Software Reliability Engineering Topics covered: Software metrics and software reliability.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Exponential distribution Reliability and failure rate (Sec )
CSE 322: Software Reliability Engineering Topics covered: Architecture-based reliability analysis.
CSE 322: Software Reliability Engineering Topics covered: Course outline and schedule Introduction, Motivation and Basic Concepts.
CSE 300: Software Reliability Engineering Topics covered: Software metrics and software reliability Software complexity and software quality.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Combinatorial problems Conditional probability Independent events (Sec , )
6. & 7. Teams: Technical Specification / Schedule Project Title Team Member 1 Team Member 2 Team Member 3 Team Member 4 Department of Computer Science.
6. & 7. Team Technical Specifications and Schedule Wayne Dyksen Brian Loomis Department of Computer Science and Engineering Michigan State University Spring.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Analysis of software reliability and performance.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Discrete time Markov chains (Sec )
CSE 3504: Probabilistic Analysis of Computer Systems Topics covered: Discrete time Markov chains (Sec )
Page 1 Building Reliable Component-based Systems Chapter 14 - Testing Reusable Software Components in Safety- Critical Real-Time Systems Chapter 14 Testing.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Analysis of software reliability and performance.
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Discrete time Markov chains (Sec. 7.1)
CSE 221: Probabilistic Analysis of Computer Systems Topics covered: Statistical inference.
Methodology for Architectural Level Reliability Risk Analysis Lalitha Krothapalli CSC 532.
Virtualization Technology Prof D M Dhamdhere CSE Department IIT Bombay Moving towards Virtualization… Department of Computer Science and Engineering, IIT.
A User-Oriented Software Reliability Model Per Trygve Myhrer 20 februar Roger C. Cheung.
WIR FORSCHEN FÜR SIE The Palladio Component Model (PCM) for Performance and Reliability Prediction of Component-based Software Architectures Franz Brosch.
Chapter 10 State Machine Diagrams
Probability and Statistics with Reliability, Queuing and Computer Science Applications: Chapter 7 on Discrete Time Markov Chains Kishor S. Trivedi Visiting.
Testing : A Roadmap Mary Jean Harrold Georgia Institute of Technology Presented by : Navpreet Bawa.
IV&V Facility PI: Katerina Goseva – Popstojanova Students: Sunil Kamavaram & Olaolu Adekunle Lane Department of Computer Science and Electrical Engineering.
1 Introduction to Stochastic Models GSLM Outline  limiting distribution  connectivity  types of states and of irreducible DTMCs  transient,
Dataflow Analysis Topic today Data flow analysis: Section 3 of Representation and Analysis Paper (Section 3) NOTE we finished through slide 30 on Friday.
Software Architecture based Performance and Reliability Evaluation Vibhu S. Sharma Ph.D. Scholar CSE, IITk.
Architecture-based Reliability of web services Presented in SRG Group meeting January 24, 2011 Cobra Rahmani.
C o n f i d e n t i a l 1 Course: BCA Semester: III Subject Code : BC 0042 Subject Name: Operating Systems Unit number : 1 Unit Title: Overview of Operating.
Software Engineering Emphasis for Engineering Computing Courses William Hankley Computing & Information Sciences Kansas State University.
Software Engineering Chapter: Computer Aided Software Engineering 1 Chapter : Computer Aided Software Engineering.
CSE 450 – Web Mining Seminar Professor Brian D. Davison Fall 2005 A PRESENTATION on What is this Page Known for? Computing Web Page Reputations D. Rafiei.
Software Architecture Exercise 3 System Architecture © Ingo Arnold Department Computer Science University of Basel Introduction.
Introduction to UML and Rational Rose UML - Unified Modeling Language Rational Rose 98 - a GUI tool to systematically develop software through the following.
1 Visual Computing Institute | Prof. Dr. Torsten W. Kuhlen Virtual Reality & Immersive Visualization Till Petersen-Krauß | GUI Testing | GUI.
1 Advanced Computer Programming Software Modeling UML Copyright © Texas Education Agency, 2013.
Introduction to Android Programming. Features of Android.
Conditional probability
CSC 480 Software Engineering
CS & CS Capstone Project & Software Development Project
Rational Unified Process (RUP)
ECE 553: TESTING AND TESTABLE DESIGN OF DIGITAL SYSTES
CSE 498, Collaborative Design
Methodology for Architectural Level Reliability Risk Analysis
Process Management -Compiled for CSIT
Process Management -Compiled for CSIT
Presentation transcript:

CSE 322: Software Reliability Engineering Topics covered: Architecture-based reliability analysis

Introduction and motivation

Benefits of architecture-based analysis

Application architecture  Architecture:  Components:  Interactions:

Application architecture (contd..)  Sequential application:  Dynamic behavior:

Application architecture (contd..)  Types of applications:

Application architecture (contd..)  Models used:  Mapping of control-flow graph to models:

Application architecture (contd..)  Type of models:

DTMC analysis  Overview of DTMCs:  Absorbing:  Irreducible:

Analysis of absorbing DTMCs

Analysis of absorbing DTMCs (contd..)

Analysis of irreducible DTMCs

Example of architecture analysis Terminating application 10 modules 1 is the input, 10 is the exit module Architecture modeled by absorbing DTMC Probability that the control is transferred to module j, upon execution of module i

Example of architecture analysis (contd..) Intercomponent transition probabilities

Example of architecture analysis (contd..) Component Mean number of visits Variance of the number of visits Computed for component i

Example of architecture analysis (contd..) Non-terminating application 10 modules Architecture modeled by irreducible DTMC Reliability of each component known Probability that the control is transferred to module j, upon execution of module i

Example of architecture analysis (contd..) Intercomponent transition probabilities Addition of two transitions to absorbing DTMC to make it irreducible

Example of architecture-based analysis (contd..) Component Utilization of the component Computed for component i