Probabilistic contracts for component-based design

DOI10.1007/S10703-012-0162-4MaRDI QIDQ2441722zbMATH OpenOpenAlexFDO

Authors Gregor Gössler, Dana N. Xu, Alain Girault

Publication date 28 March 2014

Published in Formal Methods in System Design (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/s10703-012-0162-4

zbMATH Keywords

componentcompositionprobabilistic contractrefinement

Mathematics Subject Classification ID

Applications of Markov chains and discrete-time Markov processes on general state spaces (social mobility, learning theory, industrial processes, etc.) (60J20) Distributed systems (68M14) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Recommendations

• Probabilistic Contracts for Component-Based Design
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• An Algebraic Semantics for Contract-Based Software Components
• Verifiable abstractions for contract-oriented systems
• Behavioural contracts for a sound assembly of components
• Implementation and Application of Automata
• Component composition preserving behavioral contracts based on communication traces

Cites work

• Assume-guarantee verification for probabilistic systems
• Composition for component-based modeling
• scientific article; zbMATH DE number 1863173 (Why is no real title available?)
• Interactive Markov chains. And the quest for quantified quality
• Model Checking Software
• Probabilistic contracts for component-based design
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects

Cited in

(13)

• Tightening the contract refinements of a system architecture
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Unifying theories of reactive design contracts
• Probabilistic contracts for component-based design
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• Multiple Viewpoint Contract-Based Specification and Design
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
• Probabilistic Contracts for Component-Based Design
• Change and delay contracts for hybrid system component verification
• Behavioural contracts for a sound assembly of components
• Probabilistic contracts: a compositional reasoning methodology for the design of systems with stochastic and/or non-deterministic aspects
• Information-flow interfaces

This page was built for publication: Probabilistic contracts for component-based design

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2441722)