Change search
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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
TORUS: Scalable Requirements Traceability for Large-Scale Cyber-Physical Systems
Auckland University of Technology, Auckland, New Zealand.
Auckland University of Technology, Auckland, New Zealand.
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science.ORCID iD: 0000-0002-7419-8289
Luleå University of Technology, Department of Computer Science, Electrical and Space Engineering, Computer Science. Department of Electrical Engineering and Automation, Aalto University, Helsinki .ORCID iD: 0000-0002-9315-9920
2019 (English)In: ACM transactions on cyber-physicals systems, ISSN 2378-962X, Vol. 3, no 2, article id 15Article in journal (Refereed) Published
Abstract [en]

Cyber-Physical Systems (CPS) contain intertwined and distributed software, hardware, and physical components to control complex physical processes. They find wide application in industrial systems, such as smart grid protection systems, which face increasingly complex communication and computation needs. Due to the scale and complexity of the interactions that occur within CPS, tracing requirements through to the system components and software code that implement them is often hard. Existing requirements management systems do not scale well, and traceability is difficult to implement and maintain in highly heterogeneous systems. However, the information trace that links provide is crucial for supporting testing and certification activities in safety-critical environments such as smart grids.

The well-formed models of power systems provided by the IEC 61850 standard and the software design structure provided by the IEC 61499 Function Blocks standard can be leveraged to automate many traceability operations. We present Traceability of Requirements Using Splices (TORUS), a novel traceability framework for the development of large-scale safety-critical CPS. TORUS introduces splices, autonomous graph-based data structures that automatically create and manage trace links between requirements and components through the inevitable changes that occur during system development. The formal, graph-based structure of TORUS lends itself well to the development of sophisticated algorithms to automate the extraction of useful traceability information such as historical records and metrics for requirements coverage and component coupling. By capturing not only the current state of the system but also historical information, TORUS allows project teams to see a much richer view of the system and its artifacts.

We apply TORUS to the development of a protection system for smart grid substations. In addition, through a number of experiments in splice creation, modification, and application of automated algorithms, we show that TORUS scales easily to large systems containing hundreds of thousands of requirements and system components and millions of possible trace links.

Place, publisher, year, edition, pages
New York: Association for Computing Machinery (ACM), 2019. Vol. 3, no 2, article id 15
National Category
Computer Sciences
Research subject
Dependable Communication and Computation Systems
Identifiers
URN: urn:nbn:se:ltu:diva-73157DOI: 10.1145/3203208ISI: 000465436900003OAI: oai:DiVA.org:ltu-73157DiVA, id: diva2:1295272
Note

Validerad;2019;Nivå 2;2019-03-11 (inah)

Available from: 2019-03-11 Created: 2019-03-11 Last updated: 2019-05-03Bibliographically approved

Open Access in DiVA

No full text in DiVA

Other links

Publisher's full text

Authority records BETA

Zhabelova, Gulnara

Search in DiVA

By author/editor
Zhabelova, GulnaraVyatkin, Valeriy
By organisation
Computer Science
Computer Sciences

Search outside of DiVA

GoogleGoogle Scholar

doi
urn-nbn

Altmetric score

doi
urn-nbn
Total: 11 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • harvard1
  • 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