Runtime verification : 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings /: 19th International Conference, RV 2019, Porto, Portugal, October 8-11, 2019, Proceedings. (2019)

• Record Type: Book
• Other Titles: RV 2019
• Further Information: Note: Bernd Finkbeiner, Leonardo Mariani (eds.).
• Editors: Finkbeiner, Bernd; Mariani, Leonardo
• Other Names: RV (Conference), 19th
• Contents: Intro; Preface; Organization; Contents; A Retrospective Look at the Monitoring and Checking (MaC) Framework; 1 Introduction; 2 MaC Design Highlights; 2.1 Specification Languages and Their Semantics; 2.2 Tool Architecture; 2.3 Response; 3 Lessons Learned; 3.1 Reflections on MaC Design Decisions; 3.2 Applications of Runtime Verification in Safety-Critical Systems; References; Introspective Environment Modeling; 1 Introduction; 2 Introspective Environment Modeling: The Idea; 2.1 Problem Setup; 2.2 Illustrative Example; 2.3 Formalization; 3 IEM for Synthesis from Temporal Logic; 3.1 Example 3.2 IEM for LTL Synthesis3.3 Results; 4 Conclusion; References; Robustness of Specifications and Its Applications to Falsification, Parameter Mining, and Runtime Monitoring with S-TaLiRo; 1 Introduction; 2 Systems and Signals; 2.1 Input Signals; 2.2 Automotive Transmission (AT); 3 Metric Temporal Logic; 3.1 Parametric Metric Temporal Logic; 4 Robustness of Metric Temporal Logic Formulas; 5 Falsification with S-TaLiRo; 5.1 Falsification with the Hybrid Distance; 6 Parameter Mining; 6.1 Monotonicity of Parametric MTL; 6.2 Robustness-Guided Parameter Mining; 7 Runtime Monitoring 8 Future Directions9 Conclusions; References; On the Runtime Enforcement of Timed Properties; 1 Principles and Concepts in Runtime Enforcement; 1.1 Specification; 1.2 Trace; 1.3 Enforcement Mechanism; 1.4 Deployment; 1.5 Enforceability; 1.6 Application Domains; 2 Real-Time Systems and Specifications with Time Constraints; 2.1 Preliminaries and Notations; 2.2 Timed Automata; 2.3 Partitioning the States of a Timed Automaton; 2.4 Classification of Timed Properties; 3 Overview of RE Approaches for Timed Properties; 4 A Framework for the Runtime Enforcement of Timed Properties; 4.1 Overview 4.2 Intuition on an Example5 Tool Implementations; 6 Open Challenges and Avenues for Future Work; References; Algorithms for Monitoring Hyperproperties; 1 Introduction; 2 Related Work; 3 Preliminaries; 3.1 Logics for Hyperproperties; 3.2 HyperLTL; 3.3 Finite Trace Semantics; 3.4 Monitorability of HyperLTL Specifications; 4 Algorithms for Monitoring Hyperproperties; 4.1 Combinatorial Approaches; 4.2 Constraint-Based Approaches; 5 Optimizations; 5.1 Specification Analysis; 5.2 Trace Analysis; 5.3 Tree Maintaining Formulas and Conjunct Splitting; 6 Experimental Results; 7 Conclusion; References Stream-Based Monitors for Real-Time Properties1 Introduction; 2 Stream Specification Languages; 2.1 A Classification of Stream Specification Languages; 2.2 Memory Analysis; 3 Parameterized Stream Specifications; 4 Embedding Real-Time Logics in RTLola Using Parameterized Specifications; 5 Bibliographic Remarks; 6 Conclusion; References; Accelerated Learning of Predictive Runtime Monitors for Rare Failure; 1 Introduction; 2 Preliminaries; 3 Importance Sampling; 4 Running Example; 5 Training on Rare-Event Samples; 5.1 Generating Rare-Event Samples from an IS Distribution
• Publisher Details: Cham, Switzerland : Springer
• Publication Date: 2019
• Extent: 1 online resource (x, 413 pages), illustrations (some color)
• Subjects: 005.1/4; Computer software -- Verification -- Congresses; Formal methods (Computer science) -- Congresses; Computer software -- Testing -- Congresses; Electronic books; Electronic books
• Languages: English
• ISBNs: 9783030320799; 3030320790
• Related ISBNs: 9783030320782
• Notes: Note: Online resource; title from PDF title page (SpringerLink, viewed October 9, 2019).
• Access Rights: Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
• Access Usage: Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.