Model-Based Analysis of Temporal Properties

Spichkova, M 2018, 'Model-Based Analysis of Temporal Properties' in Ernesto Damiani, George Spanoudakis, Leszek Maciaszek (ed.) ENASE 2017: Evaluation of Novel Approaches to Software Engineering. Part of the Communications in Computer and Information Science book series (CCIS, volume 866), Springer International Publishing, Cham, Switzerland, pp. 208-223.


Document type: Book Chapter
Collection: Book Chapters

Title Model-Based Analysis of Temporal Properties
Author(s) Spichkova, M
Year 2018
Title of book ENASE 2017: Evaluation of Novel Approaches to Software Engineering. Part of the Communications in Computer and Information Science book series (CCIS, volume 866)
Publisher Springer International Publishing
Place of publication Cham, Switzerland
Editor(s) Ernesto Damiani, George Spanoudakis, Leszek Maciaszek
Start page 208
End page 223
Subjects Software Engineering
Summary In our previous work, we introduced a framework for property-based testing applied on formal models with temporal properties. In this paper, we discuss model-based approaches for analysis of temporal properties of safety-critical systems more deeply. We also discuss the core features of FocusST, framework for formal specification and analysis of temporal and spatial properties of safety-critical systems. To illustrate the feasibility of the framework, we demonstrate how to implement on its basis time-triggered and event-based view on systems with temporal properties.
Copyright notice © Springer International Publishing AG, part of Springer Nature 2018
Keyword(s) Formal methods
Verification
Testing
Temporal properties
DOI - identifier 10.1007/978-3-319-94135-6
ISBN 9783319941356
Versions
Version Filter Type
Altmetric details:
Access Statistics: 22 Abstract Views  -  Detailed Statistics
Created: Thu, 06 Dec 2018, 10:39:00 EST by Catalyst Administrator
© 2014 RMIT Research Repository • Powered by Fez SoftwareContact us