SlideShare ist ein Scribd-Unternehmen logo
1 von 21
Parameter Dependencies for Component Reliability Specifications HeikoKoziolek (ABB Corporate Research)Franz Brosch (FZI Karlsruhe, Germany)
Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 1 EU Project Q-ImPrESS Quality  Impact  Prediction for Evolving  Service-oriented Software  www.q-impress.eu
Software Reliability Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 2 [Musa1987]
Architecture-basedReliability Analysis Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 3 Markov Model ComponentArchitecture R = 0.9223 ExpectedReliability Markov Model Solution [Trivedi2001]
Problem Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 4 Howtodeterminethetransitionprobabilities?
Literature: Existing Approaches Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 5
Our Solution Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 6
Our Solution: Model Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 7 Internal Action BranchProbability Sequence Branch External Call
Our Solution: Model Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 8 FailureProbability BranchProbability ExternalCall Inputs Parameter Dependency Parameter Dependency Input Parameter Input Parameter
Our Solution: Model Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 9 Loop NumberofIterations
Our Solution: Model Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 10
Our Solution: Transformation Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 11
Our Solution: Markov Model Solution Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 12 R Q [Trivedi2001]
Case Study: Retail Management System Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 13
Case Study: Inventory Service - BookSale Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 14
Case Study: Modelling Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 15 Parameter Dependency on Loop Count ComponentArchitecture PalladioTool Control Flow Graph for a Component Service
Case Study: Analysis Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 16 PalladioTool Markov Model Solution
Case Study: ReliabilityPredictionResults Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 17
Case Study: ReliabilityPredictionResults Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 18
Assumptions & Limitations Markov Property FailureProbabilities Determiniation? Stochastically Independent Constant Expressiveness No Hardware Failures NoConcurrency NoRepair Getting Parameter Dependencies Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 19
Conclusion Parameter DependenciesforComponentReliabilitySpecifications Modellingbycomponentdeveloperandsoftwarearchitect Easy alternationofsystem-levelusageprofile Reusablereliabilityspecifications Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 20 www.q-impress.eu

Weitere ähnliche Inhalte

Ähnlich wie Parameter Dependencies for Component Reliability Specifications

Scrum für Embedded-Software: Gut – aber aus anderen Gründen, als Ihr Manager...
Scrum für Embedded-Software: Gut  – aber aus anderen Gründen, als Ihr Manager...Scrum für Embedded-Software: Gut  – aber aus anderen Gründen, als Ihr Manager...
Scrum für Embedded-Software: Gut – aber aus anderen Gründen, als Ihr Manager...
Joachim Schlosser
 
Ch5 software imprementation1.0
Ch5 software imprementation1.0Ch5 software imprementation1.0
Ch5 software imprementation1.0
Kittitouch Suteeca
 
Reliability Engineering 101 : Tonex Training
Reliability Engineering 101 : Tonex TrainingReliability Engineering 101 : Tonex Training
Reliability Engineering 101 : Tonex Training
Bryan Len
 
Running head MODEL-BASED SYSTEMS ENGINEERING IMPLEMENTATION 1.docx
Running head MODEL-BASED SYSTEMS ENGINEERING IMPLEMENTATION 1.docxRunning head MODEL-BASED SYSTEMS ENGINEERING IMPLEMENTATION 1.docx
Running head MODEL-BASED SYSTEMS ENGINEERING IMPLEMENTATION 1.docx
cowinhelen
 
Reliability Growth Planning: Its Concept, Applications, and Challenges
Reliability Growth Planning: Its Concept, Applications, and Challenges Reliability Growth Planning: Its Concept, Applications, and Challenges
Reliability Growth Planning: Its Concept, Applications, and Challenges
ASQ Reliability Division
 
The vibration analysis of automobile outer rear view mirror with its developm...
The vibration analysis of automobile outer rear view mirror with its developm...The vibration analysis of automobile outer rear view mirror with its developm...
The vibration analysis of automobile outer rear view mirror with its developm...
eSAT Journals
 
Assignment Instructions  The case study is a project manag.docx
Assignment Instructions  The case study is a project manag.docxAssignment Instructions  The case study is a project manag.docx
Assignment Instructions  The case study is a project manag.docx
ssuser562afc1
 

Ähnlich wie Parameter Dependencies for Component Reliability Specifications (20)

Scrum für Embedded-Software: Gut – aber aus anderen Gründen, als Ihr Manager...
Scrum für Embedded-Software: Gut  – aber aus anderen Gründen, als Ihr Manager...Scrum für Embedded-Software: Gut  – aber aus anderen Gründen, als Ihr Manager...
Scrum für Embedded-Software: Gut – aber aus anderen Gründen, als Ihr Manager...
 
White paper mbre_en
White paper mbre_enWhite paper mbre_en
White paper mbre_en
 
Ch5 software imprementation1.0
Ch5 software imprementation1.0Ch5 software imprementation1.0
Ch5 software imprementation1.0
 
2009 scrum & architecture
2009 scrum & architecture2009 scrum & architecture
2009 scrum & architecture
 
ETCA_4
ETCA_4ETCA_4
ETCA_4
 
1530 sulimov
1530 sulimov1530 sulimov
1530 sulimov
 
Defining and Aligning Requirements using System Architect and DOORS
Defining and Aligning Requirements using System Architect and DOORSDefining and Aligning Requirements using System Architect and DOORS
Defining and Aligning Requirements using System Architect and DOORS
 
RPWORLD On-demand Manufacturing.pdf
RPWORLD On-demand Manufacturing.pdfRPWORLD On-demand Manufacturing.pdf
RPWORLD On-demand Manufacturing.pdf
 
Reliability Engineering 101 : Tonex Training
Reliability Engineering 101 : Tonex TrainingReliability Engineering 101 : Tonex Training
Reliability Engineering 101 : Tonex Training
 
Condition monitoring, production efficiency, traceability
Condition monitoring, production efficiency, traceabilityCondition monitoring, production efficiency, traceability
Condition monitoring, production efficiency, traceability
 
DFR a case study using a physics of failure
DFR a case study using a physics of failure DFR a case study using a physics of failure
DFR a case study using a physics of failure
 
Running head MODEL-BASED SYSTEMS ENGINEERING IMPLEMENTATION 1.docx
Running head MODEL-BASED SYSTEMS ENGINEERING IMPLEMENTATION 1.docxRunning head MODEL-BASED SYSTEMS ENGINEERING IMPLEMENTATION 1.docx
Running head MODEL-BASED SYSTEMS ENGINEERING IMPLEMENTATION 1.docx
 
iLumTech - Electronic design services
iLumTech - Electronic design servicesiLumTech - Electronic design services
iLumTech - Electronic design services
 
Reliability Growth Planning: Its Concept, Applications, and Challenges
Reliability Growth Planning: Its Concept, Applications, and Challenges Reliability Growth Planning: Its Concept, Applications, and Challenges
Reliability Growth Planning: Its Concept, Applications, and Challenges
 
Infrastructure
InfrastructureInfrastructure
Infrastructure
 
Converting to the latest COBOL Compiler made simple with the right tools
Converting to the latest COBOL Compiler made simple with the right toolsConverting to the latest COBOL Compiler made simple with the right tools
Converting to the latest COBOL Compiler made simple with the right tools
 
The vibration analysis of automobile outer rear view mirror with its developm...
The vibration analysis of automobile outer rear view mirror with its developm...The vibration analysis of automobile outer rear view mirror with its developm...
The vibration analysis of automobile outer rear view mirror with its developm...
 
3 martin heininger - software unit testing autonomous cars verified by aero...
3   martin heininger - software unit testing autonomous cars verified by aero...3   martin heininger - software unit testing autonomous cars verified by aero...
3 martin heininger - software unit testing autonomous cars verified by aero...
 
Assignment Instructions  The case study is a project manag.docx
Assignment Instructions  The case study is a project manag.docxAssignment Instructions  The case study is a project manag.docx
Assignment Instructions  The case study is a project manag.docx
 
Build for the future
Build for the futureBuild for the future
Build for the future
 

Mehr von Heiko Koziolek

The SPOSAD Architectural Style for Multi-tenant Software Applications
The SPOSAD Architectural Style for Multi-tenant Software ApplicationsThe SPOSAD Architectural Style for Multi-tenant Software Applications
The SPOSAD Architectural Style for Multi-tenant Software Applications
Heiko Koziolek
 
A Large-Scale Industrial Case Study on Architecture-based Software Reliabilit...
A Large-Scale Industrial Case Study on Architecture-based Software Reliabilit...A Large-Scale Industrial Case Study on Architecture-based Software Reliabilit...
A Large-Scale Industrial Case Study on Architecture-based Software Reliabilit...
Heiko Koziolek
 
Evolving Industrial Software Architectures into a Software Product Line: A Ca...
Evolving Industrial Software Architectures into a Software Product Line: A Ca...Evolving Industrial Software Architectures into a Software Product Line: A Ca...
Evolving Industrial Software Architectures into a Software Product Line: A Ca...
Heiko Koziolek
 

Mehr von Heiko Koziolek (17)

Bottleneck Identification and Performance Modeling of OPC UA Communication Mo...
Bottleneck Identification and Performance Modeling of OPC UA Communication Mo...Bottleneck Identification and Performance Modeling of OPC UA Communication Mo...
Bottleneck Identification and Performance Modeling of OPC UA Communication Mo...
 
Architectural Decision Forces at Work: Experiences in an Industrial Consultan...
Architectural Decision Forces at Work: Experiences in an Industrial Consultan...Architectural Decision Forces at Work: Experiences in an Industrial Consultan...
Architectural Decision Forces at Work: Experiences in an Industrial Consultan...
 
OpenPnP: a Plug-and-Produce Architecture for the Industrial Internet of Things
OpenPnP: a Plug-and-Produce Architecture for the Industrial Internet of ThingsOpenPnP: a Plug-and-Produce Architecture for the Industrial Internet of Things
OpenPnP: a Plug-and-Produce Architecture for the Industrial Internet of Things
 
Tool-Driven Technology Transfer in Software Engineering
Tool-Driven Technology Transfer in Software EngineeringTool-Driven Technology Transfer in Software Engineering
Tool-Driven Technology Transfer in Software Engineering
 
Self-commissioning Industrial IoT Systems
Self-commissioning Industrial IoT SystemsSelf-commissioning Industrial IoT Systems
Self-commissioning Industrial IoT Systems
 
IoT challenges for Smart Manufacturing
IoT challenges for Smart ManufacturingIoT challenges for Smart Manufacturing
IoT challenges for Smart Manufacturing
 
Software Architecture in Process Automation: UML & the "Smart Factory"
Software Architecture in Process Automation: UML & the "Smart Factory"Software Architecture in Process Automation: UML & the "Smart Factory"
Software Architecture in Process Automation: UML & the "Smart Factory"
 
Plug-and-Produce based on Standardized Industrie 4.0 Asset Admin Shells
Plug-and-Produce based on Standardized Industrie 4.0 Asset Admin ShellsPlug-and-Produce based on Standardized Industrie 4.0 Asset Admin Shells
Plug-and-Produce based on Standardized Industrie 4.0 Asset Admin Shells
 
6 Years of Performance Modeling at ABB
6 Years of Performance Modeling at ABB6 Years of Performance Modeling at ABB
6 Years of Performance Modeling at ABB
 
Towards the Automation Cloud: Architectural Challenges for a Novel Smart Ecos...
Towards the Automation Cloud: Architectural Challenges for a Novel Smart Ecos...Towards the Automation Cloud: Architectural Challenges for a Novel Smart Ecos...
Towards the Automation Cloud: Architectural Challenges for a Novel Smart Ecos...
 
MORPHOSIS: A Case Study on Lightweight Architecture Sustainability Analysis
MORPHOSIS: A Case Study on Lightweight Architecture Sustainability AnalysisMORPHOSIS: A Case Study on Lightweight Architecture Sustainability Analysis
MORPHOSIS: A Case Study on Lightweight Architecture Sustainability Analysis
 
The SPOSAD Architectural Style for Multi-tenant Software Applications
The SPOSAD Architectural Style for Multi-tenant Software ApplicationsThe SPOSAD Architectural Style for Multi-tenant Software Applications
The SPOSAD Architectural Style for Multi-tenant Software Applications
 
2011 05-27-icse
2011 05-27-icse2011 05-27-icse
2011 05-27-icse
 
A Large-Scale Industrial Case Study on Architecture-based Software Reliabilit...
A Large-Scale Industrial Case Study on Architecture-based Software Reliabilit...A Large-Scale Industrial Case Study on Architecture-based Software Reliabilit...
A Large-Scale Industrial Case Study on Architecture-based Software Reliabilit...
 
Towards an Architectural Style for Multi-tenant Software Applications
Towards an Architectural Style for Multi-tenant Software ApplicationsTowards an Architectural Style for Multi-tenant Software Applications
Towards an Architectural Style for Multi-tenant Software Applications
 
PerOpteryx
PerOpteryxPerOpteryx
PerOpteryx
 
Evolving Industrial Software Architectures into a Software Product Line: A Ca...
Evolving Industrial Software Architectures into a Software Product Line: A Ca...Evolving Industrial Software Architectures into a Software Product Line: A Ca...
Evolving Industrial Software Architectures into a Software Product Line: A Ca...
 

Kürzlich hochgeladen

Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
Joaquim Jorge
 
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
?#DUbAI#??##{{(☎️+971_581248768%)**%*]'#abortion pills for sale in dubai@
 

Kürzlich hochgeladen (20)

Manulife - Insurer Innovation Award 2024
Manulife - Insurer Innovation Award 2024Manulife - Insurer Innovation Award 2024
Manulife - Insurer Innovation Award 2024
 
Data Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt RobisonData Cloud, More than a CDP by Matt Robison
Data Cloud, More than a CDP by Matt Robison
 
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
Apidays Singapore 2024 - Building Digital Trust in a Digital Economy by Veron...
 
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
Strategies for Unlocking Knowledge Management in Microsoft 365 in the Copilot...
 
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
 
Partners Life - Insurer Innovation Award 2024
Partners Life - Insurer Innovation Award 2024Partners Life - Insurer Innovation Award 2024
Partners Life - Insurer Innovation Award 2024
 
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemkeProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke
 
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin WoodPolkadot JAM Slides - Token2049 - By Dr. Gavin Wood
Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood
 
2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...2024: Domino Containers - The Next Step. News from the Domino Container commu...
2024: Domino Containers - The Next Step. News from the Domino Container commu...
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 
Artificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and MythsArtificial Intelligence: Facts and Myths
Artificial Intelligence: Facts and Myths
 
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
Apidays New York 2024 - The Good, the Bad and the Governed by David O'Neill, ...
 
Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)Powerful Google developer tools for immediate impact! (2023-24 C)
Powerful Google developer tools for immediate impact! (2023-24 C)
 
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law DevelopmentsTrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
TrustArc Webinar - Stay Ahead of US State Data Privacy Law Developments
 
GenAI Risks & Security Meetup 01052024.pdf
GenAI Risks & Security Meetup 01052024.pdfGenAI Risks & Security Meetup 01052024.pdf
GenAI Risks & Security Meetup 01052024.pdf
 
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...Workshop - Best of Both Worlds_ Combine  KG and Vector search for  enhanced R...
Workshop - Best of Both Worlds_ Combine KG and Vector search for enhanced R...
 
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost SavingRepurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
Repurposing LNG terminals for Hydrogen Ammonia: Feasibility and Cost Saving
 
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
+971581248768>> SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHA...
 
Strategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a FresherStrategies for Landing an Oracle DBA Job as a Fresher
Strategies for Landing an Oracle DBA Job as a Fresher
 
Real Time Object Detection Using Open CV
Real Time Object Detection Using Open CVReal Time Object Detection Using Open CV
Real Time Object Detection Using Open CV
 

Parameter Dependencies for Component Reliability Specifications

  • 1. Parameter Dependencies for Component Reliability Specifications HeikoKoziolek (ABB Corporate Research)Franz Brosch (FZI Karlsruhe, Germany)
  • 2. Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 1 EU Project Q-ImPrESS Quality Impact Prediction for Evolving Service-oriented Software www.q-impress.eu
  • 3. Software Reliability Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 2 [Musa1987]
  • 4. Architecture-basedReliability Analysis Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 3 Markov Model ComponentArchitecture R = 0.9223 ExpectedReliability Markov Model Solution [Trivedi2001]
  • 5. Problem Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 4 Howtodeterminethetransitionprobabilities?
  • 6. Literature: Existing Approaches Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 5
  • 7. Our Solution Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 6
  • 8. Our Solution: Model Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 7 Internal Action BranchProbability Sequence Branch External Call
  • 9. Our Solution: Model Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 8 FailureProbability BranchProbability ExternalCall Inputs Parameter Dependency Parameter Dependency Input Parameter Input Parameter
  • 10. Our Solution: Model Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 9 Loop NumberofIterations
  • 11. Our Solution: Model Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 10
  • 12. Our Solution: Transformation Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 11
  • 13. Our Solution: Markov Model Solution Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 12 R Q [Trivedi2001]
  • 14. Case Study: Retail Management System Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 13
  • 15. Case Study: Inventory Service - BookSale Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 14
  • 16. Case Study: Modelling Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 15 Parameter Dependency on Loop Count ComponentArchitecture PalladioTool Control Flow Graph for a Component Service
  • 17. Case Study: Analysis Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 16 PalladioTool Markov Model Solution
  • 18. Case Study: ReliabilityPredictionResults Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 17
  • 19. Case Study: ReliabilityPredictionResults Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 18
  • 20. Assumptions & Limitations Markov Property FailureProbabilities Determiniation? Stochastically Independent Constant Expressiveness No Hardware Failures NoConcurrency NoRepair Getting Parameter Dependencies Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 19
  • 21. Conclusion Parameter DependenciesforComponentReliabilitySpecifications Modellingbycomponentdeveloperandsoftwarearchitect Easy alternationofsystem-levelusageprofile Reusablereliabilityspecifications Heiko Koziolek: Parameter Dependencies for Component Reliability Specifications 20 www.q-impress.eu

Hinweis der Redaktion

  1. Quality in the sense ofperformance, maintainability, reliability in this talk: focus on reliability
  2. Differentlifecyclestages: design, testingTesting: SRGM, curve-fitting on reportedfailures, extrapolation, morethan 40 modelsknownDesign: Goal: determiningsoftwarereliabilitywhenpluggingtogethercomponents
  3. About 20 approachesknownwhichfollowthiscycleGoal: Validateuserrequirements, improvearchitecture design, selectfittingcomponentsTheperceivedreliabilitydepends on howthecomponentsareused: iftheunreliablefunctionsarecalledonlyseldomly, theoverallreliabilitymight still behighFailureprobabilitiesmightbedetermined via testing individual componentsbythedevelopersAfter computingtheexpectedreliability- reliabilitycanbecomputedforcertaincomponents- find componentsmostlycontributingtooverallreliability- introduceredundancy
  4. TransitionprobabiltiesbetweenthecomponentarisefromtheusageprofileofthesystemDepending on someuseractions, thecomponentmightpropagatecallsdirectedtothemitis vital tohaveaccuratetransitionprobabilitiesotherwisethepredictionbecomeinaccuratetheproblemisespeciallypronunced in a systemcomposed out ofblack box compoents, whichonlydescribetheprovidedandrequiredinterfaces. Whichprovidedservicecallswhichrequiredservice? The dependencyisunknown. Itmightbethecasethat a providedservicedoes not userequiredservicesat all. Itmightbethecasethat a providedserviceusesmanyrequiredservices. Thisis not visiblefromtheinterfacedescriptionbythecomponentdevelopers
  5. Onlyfourrepresentativeapproaches- cheungrequiresthewholesystemtobesetupandmeasured, thisis not desirable- hamletisdifficult- reussnerandcheung do not deal withtheissueandassumetheprobabilitiesasgivenorignorethembecausetheyfocus on a singlecomponent.
  6. Correct y>5!Useannotationsforloop? Multiple internalactions?Correctfailureprobabilitiesfor P2 and P3
  7. a retail chain to handle its sales and manage its inventory dataservice-orientedsystemwithcustomerandproviderfocus on theservicebookSale() oftheInventorycomponent- retail solution clients invoke this operation at the end of each salesprocess in order to update the stock information
  8. If we set a goal of 99.99% for the bookSale() reliability, the gure shows thatthis goal is reached with a stock update failure probability of 10-e6 and at most 98items. If the failure probability rises to 2-e6 the goal is only reached with anumber of items smaller than 50.