Vorträge und Posterpräsentationen (mit Tagungsband-Eintrag):
N. Elaraby, E. Kühn, A. Messinger, S. Radschek:
"Towards a Hybrid Verification Approach";
Vortrag: Federation of International Conferences on Software Technologies: Applications and Foundations (STAF 2018), Collocated Workshops: FOCLASA,
Toulouse;
25.06.2018
- 29.06.2018; in: "Software Technologies: Applications and Foundations",
Springer LNCS,
11176
(2018),
ISBN: 978-3-030-04771-9;
S. 367
- 386.
Kurzfassung englisch:
Verification methods have limitations rooted in their methodological approach. Different methods can be more appropriate in verifying some type of properties than others. We propose a "Hybrid Verification" scheme that verifies different properties using different verification methods and supports a unified specification interface, based on a suitable coordination model. Identifying appropriate verification methods for each property to be verified is a necessary prerequisite for this approach. This work introduces a categorization of properties to be verified and a corresponding mapping to suitable verification methods in accordance with and discussing existing literature. A unified modeling methodology for various assertions based on a coordination model is presented. A generic use cases from the railway domain is used to show the applicability of the proposed Hybrid Verification scheme.
Schlagworte:
System verification, Hybrid verification scheme, Distributed systems, Coordination
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-030-04771-9_27
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.