Formal Techniques for Safety-Critical Systems, 2015 Third International Workshop, FTSCS 2014, Luxembourg, November 6-7, 2014. Revised Selected Papers Communications in Computer and Information Science Series, Vol. 476
Coordonnateurs : Artho Cyrille, Ölveczky Peter Csaba
Case studies and experience reports on the use of formal methods for analyzing.- Safety-critical systems.- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry.- Code generation from validated models.- Methods, techniques, and tools to support automated analysis, certifcation, and debugging of complex safety/QoS-critical systems.- Analysis methods that address the limitations of formal methods in industry.- Formal analysis support for modeling languages used in industry.- Code generation from validated models.
Includes supplementary material: sn.pub/extras
Date de parution : 04-2015
Ouvrage de 257 p.
15.5x23.5 cm
Thème de Formal Techniques for Safety-Critical Systems :
Mots-clés :
aerospace systems; automata theory; formal languages; formal methods; industrial applications; model checking; model development and analysis; model-driven software engineering; modeling languages; railway systems; safety critical systems; software engineering; software system models; software verification