Skip to Main content Skip to Navigation
Conference papers

Structural Contracts – Motivating Contracts to Ensure Extra-Functional Semantics

Abstract : In our work we aim at a composable and consistent specification and verification of contracts for extra-functional properties, such as power consumption or temperature. To this end, a necessary precondition for the semantical correctness of such properties is to ensure the structurally correct modeling of their interdependences.While this can be solved by a tailoring of the Component Based Design (CmpBD) frameworks, the resulting design constraints are specific to tools and viewpoints, not being sufficiently configurable for the designers. To solve this problem within the contract framework, Contract Based Design (CBD) with explicit port variables provides also no configurable but sound methodology for structurally relating the properties between different components and views. For that, we propose the idea of structural contracts. Using implicit structural ports, structural guarantees can be given according to the Component Based Design structure. Expressing structural design constraints by the means of structural assumptions, the CmpBD constraints can become part of the Contract Based Design framework and, thus, can be checked for compatibility and refinement.As a result, structural contracts enable the contract based specification and verification of structural rules for the correct modeling of functional and extra-functional interdependences. Providing both, property specifications and Component Based Design constraints by contracts, the approach is flexible and sound.
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal.inria.fr/hal-01854157
Contributor : Hal Ifip <>
Submitted on : Monday, August 6, 2018 - 3:10:04 PM
Last modification on : Monday, August 6, 2018 - 3:12:01 PM
Document(s) archivé(s) le : Wednesday, November 7, 2018 - 2:05:07 PM

File

467217_1_En_7_Chapter.pdf
Files produced by the author(s)

Licence


Distributed under a Creative Commons Attribution 4.0 International License

Identifiers

Citation

Gregor Nitsche, Ralph Görgen, Kim Grüttner, Wolfgang Nebel. Structural Contracts – Motivating Contracts to Ensure Extra-Functional Semantics. 5th International Embedded Systems Symposium (IESS), Nov 2015, Foz do Iguaçu, Brazil. pp.77-87, ⟨10.1007/978-3-319-90023-0_7⟩. ⟨hal-01854157⟩

Share

Metrics

Record views

731

Files downloads

29