2017
DOI: 10.1002/sys.21386
|View full text |Cite
|
Sign up to set email alerts
|

CSL4P: A Contract Specification Language for Platforms

Abstract: The contract‐based design formalism supports compositional design and verification, and generalizes many other languages where components are defined in terms of their assumptions and guarantees. Most languages and tools for contract‐based design provide constructs to define, instantiate, and connect contracts, but fall short in capturing families of potential architectures in a flexible way. This article presents a Contract‐Based Specification Language for Platforms (CSL4P). A platform comprises a set of cont… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

1
1
0

Year Published

2017
2017
2024
2024

Publication Types

Select...
5
1

Relationship

0
6

Authors

Journals

citations
Cited by 6 publications
(2 citation statements)
references
References 32 publications
1
1
0
Order By: Relevance
“…As we first identified the difficulties with properly defining, composing and refining EFPs in terms of contracts, we outlined a problem sketch in [2] and suggested an early approach, based on extending the refining set M * by another subcomponent, having assumptions and guarantees about the interconnection relations between the other components' variables. Most closely related, [4] agrees with our idea, but by distinguishing different contract types and specifying assertion and validity rules (i. e. functions and predicates) between the variables of that contract types. In contrast to SCs, these rules and types are defined as sets at the level of platforms, limiting the set of correctly refineable property specifications according to only those rules and types of that platform.…”
supporting
confidence: 70%
“…As we first identified the difficulties with properly defining, composing and refining EFPs in terms of contracts, we outlined a problem sketch in [2] and suggested an early approach, based on extending the refining set M * by another subcomponent, having assumptions and guarantees about the interconnection relations between the other components' variables. Most closely related, [4] agrees with our idea, but by distinguishing different contract types and specifying assertion and validity rules (i. e. functions and predicates) between the variables of that contract types. In contrast to SCs, these rules and types are defined as sets at the level of platforms, limiting the set of correctly refineable property specifications according to only those rules and types of that platform.…”
supporting
confidence: 70%
“…Following this line, applications for MEA EPS have been reported in [9], [11] with some testbeds developed on TULIP [12]- [14] which has been implemented in CAD with the JTLV verification scripting environment [15]. Further plans to investigate automatic generation of contracts and contract language definition [5] are expected [16]. CbD presents a rigorous methodology for the design of MEA EPS consisting in three main stages: 1) topology synthesis, 2) control synthesis, and 3) simulation-based design exploration and verification.…”
Section: A System Engineering Approachmentioning
confidence: 99%