Logo des Repositoriums
 

Systematic Refinement of CPS Requirements using SysML, Template Language and Contracts

Kurzanzeige
dc.contributor.authorGrabowski, Markus
dc.contributor.authorKaiser, Bernhard
dc.contributor.authorBai, Yu
dc.contributor.editorSchaefer, Ina
dc.contributor.editorKaragiannis, Dimitris
dc.contributor.editorVogelsang, Andreas
dc.contributor.editorMéndez, Daniel
dc.contributor.editorSeidl, Christoph
dc.date.accessioned2018-01-23T21:43:19Z
dc.date.available2018-01-23T21:43:19Z
dc.date.issued2018
dc.description.abstractIn these day we encounter the transition from traditional closed and restricted-purpose embedded systems towards networked Cyber-Physical Systems. This applies to many industries, but in particular to the automotive industry, where assistance and automated driving functions are shaped out of complex combinations of functions and electronic control units, and even the car as a whole becomes part of a larger network of many vehicles plus infrastructure. And still, verifiable assertions must be available in the end to satisfy the safety case. The specification skills in industry often turn out to be insufficient. Even today, the mandatory V-model is hard to apply in practice and expressing appropriate requirements and refinements along with the evolution of the architecture is a hard thing to do. When development becomes agile and centered around component reuse, things become even more complex. We report about our experience with the application of contract-based development and explain keystones of our approach. We present a new template language called SSPL that allows the specification of requirements and assertions on every system architecture level and show how contract-based requirements refinement can go hand in hand with architecture refinement in SysML. We further present our Eclipse-based tool SAVONA that enables practical application of the approach.en
dc.identifier.isbn978-3-88579-674-9
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/14942
dc.language.isoen
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofModellierung 2018
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-280
dc.subjectcontract-based design
dc.subjecttemplate language
dc.subjectsystem refinement
dc.subjectsystem verification
dc.subjectcyber physical systems
dc.titleSystematic Refinement of CPS Requirements using SysML, Template Language and Contractsen
dc.typeText/Conference Paper
gi.citation.endPage260
gi.citation.publisherPlaceBonn
gi.citation.startPage245
gi.conference.date21.-23. Februar 2018
gi.conference.locationBraunschweig
gi.conference.sessiontitlePraxisforum

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
modellierung2018-praxis-02.pdf
Größe:
435.84 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P280 - Modellierung 2018
Modellierung 2018 (LNI P280)