NDLI: Reliability analysis in component-based development via probabilistic model checking

Please wait, while we are loading the content...

Speed and innovation through architecture

Modeling parameter and context dependencies in online architecture-level performance models

Incremental construction of component-based systems

Reliability analysis in component-based development via probabilistic model checking

Component and aspect-based service product line for pervasive systems

Adaptive monitoring of end-user OSGi-based home boxes

Rapid prototyping of domain-specific architecture languages

Learning from the future of component repositories

Property networks allowing oracle-based mode-change propagation in hierarchical components

An MDE approach to address synchronization needs in component-based real-time systems

Local dynamic update for component-based distributed systems

Towards modeling reconfiguration in hierarchical component architectures

15 years of CBSE symposium: impact on the research community

Unblockable compositions of software components

A dynamic component model for cyber physical systems

An architectural approach to ensure globally consistent dynamic reconfiguration of component-based systems

Semantic mappings between service, component and agent models

Controller patterns for component-based reactive control software systems

Towards well-formed fragment composition with reference attribute grammars

Jasmin: an alternative for secure modularity inside the digital home

Towards mode switch handling in component-based multi-mode systems

A dynamic and service-oriented component model for python long-lived applications

Iterative and incremental development of component-based software architectures

Timing analysis of component-based embedded systems

Reliability analysis in component-based development via probabilistic model checking

Content Provider	ACM Digital Library
Author	Cerna, Ivana Oslejsek, Radek Buhnova, Barbora Benes, Nikola
Abstract	Engineering of highly reliable systems requires support of sophisticated design methods allowing software architects to competently decide between various design alternatives already early in the development process. Architecture-based reliability prediction provides such capability. The formalisms and analytical methods employed by existing approaches are however often limited to a single reliability measure (the probability of failure on demand) and consideration of behavioural uncertainty (focusing on the uncertainty in model parameters, not the behaviour itself). This paper presents a formal reliability assessment approach for component-based systems based on the probabilistic model checking of various reliability-related properties specified in probabilistic linear temporal logic (PLTL). The systems are formalized as Markov decision processes (MDP), which allows software architects to encode behavioural uncertainties into the models in terms of nondeterministic (scheduler-decided) choices in the MDP.
Starting Page	83
Ending Page	92
Page Count	10
File Format	PDF
ISBN	9781450313452
DOI	10.1145/2304736.2304752
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	2012-06-25
Publisher Place	New York
Access Restriction	Subscribed
Subject Keyword	Probabilistic model checking Component-based systems Reliability Markov decision processes (mdp)
Content Type	Text
Resource Type	Article

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Reliability analysis of dynamic systems based on stochastic reachability

Dealing with uncertainty in verification of nondeterministic systems

Sports Strategy Analytics Using Probabilistic Reasoning

The Probabilistic Model Checking Landscape

Augmenting formal development of control systems with quantitative reliability assessment

Run-time efficient probabilistic model checking

Reduction Techniques for Model Checking Markov Decision Processes

Probabilistic model checking of perturbed MDPs with applications to cloud computing

Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness

Reliability analysis in component-based development via probabilistic model checking

Similar Documents

Reliability analysis of dynamic systems based on stochastic reachability

Dealing with uncertainty in verification of nondeterministic systems

Sports Strategy Analytics Using Probabilistic Reasoning

The Probabilistic Model Checking Landscape

Augmenting formal development of control systems with quantitative reliability assessment

Run-time efficient probabilistic model checking

Reduction Techniques for Model Checking Markov Decision Processes

Probabilistic model checking of perturbed MDPs with applications to cloud computing

Partial Order Reduction for Model Checking Markov Decision Processes under Unconditional Fairness

Reliability analysis in component-based development via probabilistic model checking