Bitte benutzen Sie diese Kennung, um auf die Ressource zu verweisen:
http://dx.doi.org/10.18419/opus-2727
Langanzeige der Metadaten
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Decker, Normann | de |
dc.date.accessioned | 2011-08-18 | de |
dc.date.accessioned | 2016-03-31T07:59:08Z | - |
dc.date.available | 2011-08-18 | de |
dc.date.available | 2016-03-31T07:59:08Z | - |
dc.date.issued | 2011 | de |
dc.identifier.other | 350499373 | de |
dc.identifier.uri | http://nbn-resolving.de/urn:nbn:de:bsz:93-opus-66043 | de |
dc.identifier.uri | http://elib.uni-stuttgart.de/handle/11682/2744 | - |
dc.identifier.uri | http://dx.doi.org/10.18419/opus-2727 | - |
dc.description.abstract | Inherently unreliable or fault-tolerant systems demand for a specification formalism that allows the user to express a required ratio of certain observations. Such a requirement can be, e.g. that deadlines in a real-time system must be met in at least 80% of all cases. Logics and in particular temporal logics provide powerful, flexible and well established specification formalisms. We therefore propose fLTL, an extension to linear-time temporal logic that allows for expressing relative frequencies by an intuitive generalization of the temporal operators. We develop a game theoretical methodology and a semantics for temporal logic with counters. For our novel logic, we establish an undecidability result regarding the satisfiability problem but identify a decidable fragment which strictly increases the expressiveness of linear-time temporal logic by allowing, e.g., to express non-context-free properties. | en |
dc.language.iso | en | de |
dc.rights | info:eu-repo/semantics/openAccess | de |
dc.subject.ddc | 004 | de |
dc.subject.other | Specification and Verification , Temporal Logic , Relative Frequency , Availability , Counter Logic | en |
dc.title | Temporal logic for properties with relative frequency | en |
dc.type | masterThesis | de |
ubs.fakultaet | Fakultät Informatik, Elektrotechnik und Informationstechnik | de |
ubs.institut | Institut für Formale Methoden der Informatik | de |
ubs.opusid | 6604 | de |
ubs.publikation.typ | Abschlussarbeit (Diplom) | de |
Enthalten in den Sammlungen: | 05 Fakultät Informatik, Elektrotechnik und Informationstechnik |
Dateien zu dieser Ressource:
Datei | Beschreibung | Größe | Format | |
---|---|---|---|---|
DIP_3125.pdf | 546,67 kB | Adobe PDF | Öffnen/Anzeigen |
Alle Ressourcen in diesem Repositorium sind urheberrechtlich geschützt.