2018
DOI: 10.1561/9781680834031
|View full text |Cite
|
Sign up to set email alerts
|

Contracts for System Design

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
2
1
1

Citation Types

0
166
1

Year Published

2018
2018
2019
2019

Publication Types

Select...
3
2

Relationship

0
5

Authors

Journals

citations
Cited by 115 publications
(167 citation statements)
references
References 132 publications
0
166
1
Order By: Relevance
“…However, their adoption in industry is limited. A major challenge is the absence of a comprehensive modeling formalism for CPS that addresses complexity and heterogeneity Sangiovanni-Vincentelli, Damm, and Passerone 2012; Benveniste et al 2012.…”
Section: Contractsmentioning
confidence: 99%
See 3 more Smart Citations
“…However, their adoption in industry is limited. A major challenge is the absence of a comprehensive modeling formalism for CPS that addresses complexity and heterogeneity Sangiovanni-Vincentelli, Damm, and Passerone 2012; Benveniste et al 2012.…”
Section: Contractsmentioning
confidence: 99%
“…We use contracts also to formalize and reason about refinement between two different abstraction levels in the PBD process [Nuzzo et al, 2012;Benveniste et al, 2012]; for this reason, we refer to this type of contracts as vertical contracts. Vertical contracts can be used to prove that : a set of requirements are consistent, that is, there exists an implementation satisfying all of them and an aggregation of components refines a specification, that is, it implements the specification and is able to operate in any environment admitted by it.…”
Section: Contractsmentioning
confidence: 99%
See 2 more Smart Citations
“…Chief among these is the necessity to define and validate dependability in the face of the emergent behaviour that characterizes systems of systems (Maier 1996) (Kopetz et al 2015). Many approaches to SoS dependability have built on approaches to system dependability, and contractual styles similar to the one we propose here are popular -for example (Bryans et al 2013), (Benveniste et al, 2012), (Damm et al 2011). These trace their origins to the Design by Contract approach introduced by Meyer (Meyer 1998).…”
Section: Related Workmentioning
confidence: 99%