Probabilistic Contracts for Component-Based Design

DOI10.1007/978-3-642-15643-4_24MaRDI QIDQ4931301zbMATH OpenOpenAlexFDO

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

Publication date 4 October 2010

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-15643-4_24

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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

Cited in

(14)

• Abstraction-Refinement for Hierarchical Probabilistic Models
• Taming Dr. Frankenstein: contract-based design for cyber-physical systems
• Contracts for BIP: Hierarchical Interaction Models for Compositional Verification
• Tightening the contract refinements of a system architecture
• Multiple Viewpoint Contract-Based Specification and Design
• Probabilistic contracts for component-based design
• Information-flow interfaces
• Contract-Based Design for Computation and Verification of a Closed-Loop Hybrid System
• Change and delay contracts for hybrid system component verification
• Conditions of contracts for separating responsibilities in heterogeneous systems
• Contracts for schedulability analysis
• Unifying theories of reactive design contracts
• 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

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 Q4931301)