Formal Techniques for Safety-Critical Systems

Formal Techniques for Safety-Critical Systems

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen, China, in November 2019. 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.


Author
Publisher Springer Nature
Release Date
ISBN 3030469026
Pages 141 pages
Rating 4/5 (23 users)
Read More

More Books:

Formal Techniques for Safety-Critical Systems
Language: en
Pages: 141
Authors: Osman Hasan
Categories: Computers
Type: BOOK - Published: 2020-04-25 - Publisher: Springer Nature

This book constitutes the refereed proceedings of the 7th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2019, held in Shenzhen,
Formal Techniques for Safety-Critical Systems
Language: en
Pages: 257
Authors: Cyrille Artho
Categories: Computers
Type: BOOK - Published: 2015-04-15 - Publisher: Springer

This book constitutes the refereed proceedings of the Third International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2014, held in Luxembo
Formal Techniques for Safety-Critical Systems
Language: en
Pages: 179
Authors: Cyrille Artho
Categories: Computers
Type: BOOK - Published: 2019-02-01 - Publisher: Springer

This book constitutes the refereed proceedings of the 6th International Workshop on Formal Techniques for Safety-Critical Systems, FTSCS 2018, held in Gold Coas
Formal Techniques for Networked and Distributed Systems - FORTE 2005
Language: en
Pages: 558
Authors: Farn Wang
Categories: Computers
Type: BOOK - Published: 2005-09-26 - Publisher: Springer Science & Business Media

This book constitutes the refereed proceedings of the 25th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORT
Formal Verification of Tree Ensembles in Safety-Critical Applications
Language: en
Pages: 22
Authors: John Törnblom
Categories:
Type: BOOK - Published: 2020-10-28 - Publisher: Linköping University Electronic Press

In the presence of data and computational resources, machine learning can be used to synthesize software automatically. For example, machines are now capable of
Design and Safety Assessment of Critical Systems
Language: en
Pages: 298
Authors: Marco Bozzano
Categories: Computers
Type: BOOK - Published: 2010-11-12 - Publisher: CRC Press

Safety-critical systems, by definition those systems whose failure can cause catastrophic results for people, the environment, and the economy, are becoming inc
Formal Methods in Safety Critical Systems
Language: en
Pages:
Authors:
Categories:
Type: BOOK - Published: 1991 - Publisher:

Formal Methods for Industrial Critical Systems
Language: en
Pages: 161
Authors: Kim Guldstrand Larsen
Categories: Computers
Type: BOOK - Published: 2019-08-23 - Publisher: Springer Nature

This book constitutes the proceedings of the 24th International Conference on Formal Methods for Industrial Critical Systems, FMICS 2019, held in Amsterdam, The
Directions in Safety-Critical Systems
Language: en
Pages: 286
Authors: Felix Redmill
Categories: Computers
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

0 e This is the proceedings of the first annual symposium of the Safety-critical Systems Club (The Watershed Media Centre, Bristol, 9-11 February 1993), which p
Using Event-B for Critical Device Software Systems
Language: en
Pages: 326
Authors: Neeraj Kumar Singh
Categories: Mathematics
Type: BOOK - Published: 2013-06-19 - Publisher: Springer Science & Business Media

Defining a new development life-cycle methodology, together with a set of associated techniques and tools to develop highly critical systems using formal techni