Environment-Centric Contracts for Design of Cyber-Physical Systems
2014 (English)In: Model-Driven Engineering Languages and Systems: 17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014. Proceedings, Springer Berlin/Heidelberg, 2014, 218-234 p.Conference paper (Refereed)
A contract splits the responsibilities between a component and its environment into a guarantee that expresses an intended property under the responsibility of the component, given that the environment fulfills the assumptions. Although current contract theories are limited to express contracts over interfaces of components, specifications that are not limited to interfaces are used in practice and are needed in order to properly express safety requirements. A framework is therefore presented, generalizing current contract theory to environment-centric contracts - contracts that are not limited to the interface of components. The framework includes revised definitions of properties of contracts, as well as theorems that specify exact conditions for when the properties hold. Furthermore, constraints are introduced, limiting the ports over which an environment-centric contract is expressed where the constraints constitute necessary conditions for the guarantee of the contract to hold in an architecture.
Place, publisher, year, edition, pages
Springer Berlin/Heidelberg, 2014. 218-234 p.
, Lecture Notes in Computer Science, ISSN 0302-9743 ; 8767
Environment-Centric, Contracts, Architecture
Computer Science Software Engineering
IdentifiersURN: urn:nbn:se:kth:diva-158353DOI: 10.1007/978-3-319-11653-2_14ISI: 000345508500014ScopusID: 2-s2.0-84921809580ISBN: 978-3-319-11653-2ISBN: 978-3-319-11652-5OAI: oai:DiVA.org:kth-158353DiVA: diva2:782440
17th International Conference, MODELS 2014, Valencia, Spain, September 28 – October 3, 2014
QC 201501212015-01-212015-01-072015-04-01Bibliographically approved