Korrektheit von Datenflüssen in Asynchronen Verteilten Systemen
| dc.contributor.author | Gieseking, Manuel | |
| dc.contributor.editor | Reischuk, Rüdiger | |
| dc.date.accessioned | 2023-11-09T13:38:08Z | |
| dc.date.available | 2023-11-09T13:38:08Z | |
| dc.date.issued | 2023 | |
| dc.description.abstract | Die Korrektheit von informationstechnischen Systemen spielt aufgrund deren wachsenden Einbindung in unser alltägliches Leben eine zunehmend wichtige Rolle und ist nicht zuletzt für sicherheitskritische Systeme entscheidend. Insbesondere asynchrone verteilte Systeme sind, aufgrund ihrer Vielzahl von unabhängig voneinander agierenden Komponenten, ohne computergestützte Analysever- fahren schwer korrekt zu implementieren. In der Dissertation führen wir, basierend auf Petri-Netzen bzw. Petri-Spielen und CTL∗, neue Modellierungs- und Spezifikationsformalismen ein, die es ermöglichen, Anforderungen an den unbeschränkten lokalen Datenfluss in asynchronen verteilten Systemen zu stellen. Wir stellen Lösungsalgorithmen für die entsprechenden Modellprüfungs- und Syntheseprobleme zur Verfügung, zeigen deren Korrektheit und Komplexität und bieten Werkzeugunterstützung für Teilklassen dieser Probleme. | de |
| dc.identifier.isbn | 978-3-88579-981-8 | |
| dc.identifier.uri | https://dl.gi.de/handle/20.500.12116/42614 | |
| dc.language.iso | de | |
| dc.publisher | Gesellschaft für Informatik e.V. | |
| dc.relation.ispartof | Ausgezeichnete Informatikdissertationen 2022 (Band D23) | |
| dc.title | Korrektheit von Datenflüssen in Asynchronen Verteilten Systemen | de |
| dc.type | Text/Conference Paper | |
| gi.citation.endPage | 80 | |
| gi.citation.publisherPlace | Bonn | |
| gi.citation.startPage | 71 | |
| gi.conference.date | 14.-17.05.2023 | |
| gi.conference.location | Schloss Dagstuhl, Deutschland |
Dateien
Originalbündel
1 - 1 von 1