Overview
Part of the book series: Communications in Computer and Information Science (CCIS, volume 1165)
Included in the following conference series:
Conference proceedings info: FTSCS 2019.
Access this book
Tax calculation will be finalised at checkout
Other ways to access
About this book
The 6 revised full papers presented were carefully reviewed and selected from 17 submissions. Additionally, the volume presents 1 invited paper, 1 tool paper, and 1 work in progrerss. The papers are focused on the topics of the use of formal methods for analyzing safety-critical systems; methods, techniques and tools to support automated analysis, certication, debugging, etc., of complex safety/QoS-critical systems; analysis methods that address the limitations of formal methods in industry (usability, scalability, etc.); formal analysis support for modeling languages used in industry; code generation from validated models.
Similar content being viewed by others
Keywords
- architecting
- architecture verification and validation
- artificial intelligence
- computer hardware
- computer programming
- computer science
- computer systems
- embedded systems
- Field Programmable Gate Array (FPGA)
- formal logic
- formal methods
- model checking
- object-oriented programming
- programming languages
- signal processing
- software architecture
- software design
- software engineering
- software quality
Table of contents (9 papers)
-
Invited Paper
-
Avionics and Spacecraft
-
Tools and Work in Progress
Other volumes
-
Formal Techniques for Safety-Critical Systems
Editors and Affiliations
Bibliographic Information
Book Title: Formal Techniques for Safety-Critical Systems
Book Subtitle: 7th International Workshop, FTSCS 2019, Shenzhen, China, November 9, 2019, Revised Selected Papers
Editors: Osman Hasan, Frédéric Mallet
Series Title: Communications in Computer and Information Science
DOI: https://doi.org/10.1007/978-3-030-46902-3
Publisher: Springer Cham
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer Nature Switzerland AG 2020
Softcover ISBN: 978-3-030-46901-6Published: 26 April 2020
eBook ISBN: 978-3-030-46902-3Published: 25 April 2020
Series ISSN: 1865-0929
Series E-ISSN: 1865-0937
Edition Number: 1
Number of Pages: VIII, 141
Number of Illustrations: 58 b/w illustrations, 23 illustrations in colour
Topics: Theory of Computation, Computer Communication Networks, Logic in AI, Special Purpose and Application-Based Systems, Control Structures and Microprogramming, Simulation and Modeling