Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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
Identifiers
URN: urn:nbn:se:kth:diva-159599OAI: oai:DiVA.org:kth-159599DiVA: diva2:786267
Projects
ESPRESSO
Funder
VINNOVA
Note

QS 2015

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

Open Access in DiVA

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

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar
Total: 218 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

urn-nbn

Altmetric score

urn-nbn
Total: 672 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association-8th-edition
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf