Paper Info
Title
Contracts-refinement proof system for component-based embedded systems.
Abstract
Contract-based design is an emerging paradigm for the design of complex systems, where each component is associated with a contract, i.e., a clear description of the expected interaction of the component with its environment. Contracts specify the expected behavior of a component by defining the assumptions that must be satisfied by the environment and the guarantees satisfied by the component in response. The ultimate goal of contract-based design is to allow for compositional reasoning, stepwise refinement, and a principled reuse of components that are already pre-designed, or designed independently.
Year
DOI
Venue
2015
10.1016/j.scico.2014.06.011
Science of Computer Programming
Keywords
Field
DocType
Contract-based design,Temporal logics,Embedded systems,OCRA
Complex system,Asynchronous communication,Logical consequence,Programming language,Computer science,Reuse,Correctness,Top-down and bottom-up design,Theoretical computer science,Property Specification Language,Temporal logic,Embedded system
Journal
Volume
Issue
ISSN
97
P3
0167-6423
Citations 
PageRank 
References 
19
0.76
25
Authors
2
Name
Order
Citations
PageRank
Alessandro Cimatti15064323.15
Stefano Tonetta257341.61