Logo des Repositoriums
 

Unified Approach to Static and Runtime Verification

Kurzanzeige
dc.contributor.authorThoss, Olga
dc.contributor.authorWerner, Andreas
dc.contributor.authorKaiser, Robert
dc.contributor.authorKroeger, Reinhold
dc.contributor.editorReussner, Ralf H.
dc.contributor.editorKoziolek, Anne
dc.contributor.editorHeinrich, Robert
dc.date.accessioned2021-01-27T13:34:37Z
dc.date.available2021-01-27T13:34:37Z
dc.date.issued2021
dc.description.abstractSmart living environments are increasingly based on embedded information and communication technology. Generally, users are no technical experts and rely on the correct functioning of the system. Formal verification of a system's functional and non-functional properties is often regarded as the ultimate way to achieve the highest levels of trust as demanded for today's dependable systems. However, static verification, though sound in theory, is often impractical given the ever-increasing complexity of software and the non-deterministic nature of some mechanisms of the underlying hardware architecture. We argue that by supplementing static verification with runtime verification, a high level of trust can be achieved. In this paper, we report on an ongoing effort for tool-supported verification of functional and non-functional properties by combining static and runtime verification techniques.en
dc.identifier.doi10.18420/inf2020_93
dc.identifier.isbn978-3-88579-701-2
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/34807
dc.language.isoen
dc.publisherGesellschaft für Informatik, Bonn
dc.relation.ispartofINFORMATIK 2020
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-307
dc.subjectstatic verification
dc.subjectruntime verification
dc.subjectOS microkernel
dc.subjectSPARK
dc.subjectWCET
dc.subjectAQUAS
dc.titleUnified Approach to Static and Runtime Verificationen
gi.citation.endPage1002
gi.citation.startPage995
gi.conference.date28. September - 2. Oktober 2020
gi.conference.locationKarlsruhe
gi.conference.sessiontitle3rd Workshop on Smart Systems for Better Living Environments

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
C20-16.pdf
Größe:
300.46 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P307 - INFORMATIK 2020 - Back to the Future