Change search
ReferencesLink to record
Permanent link

Direct link
Specifying and Structuring Requirements on Cyber-Physical Systems using Contracts
KTH, School of Industrial Engineering and Management (ITM), Machine Design (Dept.), Mechatronics. (Inbyggda kontrollsystem)ORCID iD: 0000-0002-9655-7326
2014 (English)Report (Other academic)
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 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
2014. , 35 p.
National Category
Other Engineering and Technologies
URN: urn:nbn:se:kth:diva-159599OAI: diva2:786267

QS 2015

Available from: 2015-02-05 Created: 2015-02-05 Last updated: 2015-02-05Bibliographically approved

Open Access in DiVA

fulltext(1536 kB)171 downloads
File information
File name FULLTEXT01.pdfFile size 1536 kBChecksum SHA-512
Type fulltextMimetype application/pdf

Search in DiVA

By author/editor
Westman, Jonas
By organisation
Other Engineering and Technologies

Search outside of DiVA

GoogleGoogle Scholar
Total: 171 downloads
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: 604 hits
ReferencesLink to record
Permanent link

Direct link