Formal Techniques for Safety-Critical Systems
5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
Editors: Artho, Cyrille, Ölveczky, Peter Csaba (Eds.)
Free PreviewBuy this book
- About this book
-
This book constitutes the refereed proceedings of the 5th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2016, held in Tokyo, Japan, in November 2016.
The 9 revised full papers presented together with an abstract of an invited talk were carefully reviewed and selected from 23 submissions. The papers are organized in topical sections on specification and verification; automotive and railway systems; circuits and cyber-physical systems; parametrized verification.
- Table of contents (9 chapters)
-
-
Specification and Verification of Synchronization with Condition Variables
Pages 3-19
-
An Interval Logic for Stream-Processing Functions: A Convolution-Based Construction
Pages 20-35
-
Automating Time Series Safety Analysis for Automotive Control Systems in STPA Using Weighted Partial Max-SMT
Pages 39-54
-
Uniform Modeling of Railway Operations
Pages 55-71
-
Formal Verification of Gate-Level Multiple Side Channel Parameters to Detect Hardware Trojans
Pages 75-92
-
Table of contents (9 chapters)
- Download Preface 1 PDF (48.9 KB)
- Download Sample pages 2 PDF (484.5 KB)
- Download Table of contents PDF (56.2 KB)
Buy this book
Services for this Book
Recommended for you
Bibliographic Information
- Bibliographic Information
-
- Book Title
- Formal Techniques for Safety-Critical Systems
- Book Subtitle
- 5th International Workshop, FTSCS 2016, Tokyo, Japan, November 14, 2016, Revised Selected Papers
- Editors
-
- Cyrille Artho
- Peter Csaba Ölveczky
- Series Title
- Communications in Computer and Information Science
- Series Volume
- 694
- Copyright
- 2017
- Publisher
- Springer International Publishing
- Copyright Holder
- Springer International Publishing AG
- eBook ISBN
- 978-3-319-53946-1
- DOI
- 10.1007/978-3-319-53946-1
- Softcover ISBN
- 978-3-319-53945-4
- Series ISSN
- 1865-0929
- Edition Number
- 1
- Number of Pages
- XII, 161
- Number of Illustrations
- 40 b/w illustrations
- Topics
