Change search
ReferencesLink to record
Permanent link

Direct link
Contracts for Structuring and Specifying Requirements on Cyber-Physical Systems
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics. (Inbyggda kontrollsystem)ORCID iD: 0000-0002-9655-7326
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics.
2015 (English)In: Cyber-Physical Systems: From Theory to Practice, CRC Press, 2015Chapter in book (Refereed)
Abstract [en]

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. Building on recent works where contracts are proposed as a means to meet the challenges in the design of Cyber-Physical Systems (CPSs), a general contract framework is presented that supports the modelling of both individual components and architectures of CPS - at all levels of design, as well as the structuring and specification of requirements on the components using contracts. To facilitate the specification of requirements, constraints that restrict the portsover which a contract is expressed are introduced to serve as sanity checks that the component and the environment meet their respective responsibilities. Furthermore, a new graph, called a \emph{contract structure} is introduced to support the structuring and tracing of requirements on a CPS using contracts. As a proof-of-concept, the framework is used to specify and structure safety requirements on an industrial system, as proposed by ISO 26262.

Place, publisher, year, edition, pages
CRC Press, 2015.
National Category
Mechanical Engineering
URN: urn:nbn:se:kth:diva-170390ISBN: 978-1482263329OAI: diva2:828152

QC 20150630

Available from: 2015-06-29 Created: 2015-06-29 Last updated: 2015-06-30Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Westman, JonasNyberg, Mattias
By organisation
Mechanical Engineering

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 96 hits
ReferencesLink to record
Permanent link

Direct link