Communications in Computer and Information Science

Formal Techniques for Safety-Critical Systems

Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers

Editors: Artho, Cyrille, Oveczky, Peter Csaba (Eds.)

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-05416-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-05415-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
About this book

This book constitutes the refereed proceedings of the Second International Workshop, FTSCS 2013, held in Queenstown, New Zealand, in October 2013. The 17 revised full papers presented together with an invited talk were carefully reviewed and selected from 32 submissions. The papers address various topics related to the application of formal and semi-formal methods to improve the quality of safety-critical computer systems.

Table of contents (18 chapters)

  • Towards Structuring System Specifications with Time Bands Using Layers of Rely-Guarantee Conditions

    Hayes, Ian J.

    Pages 1-2

  • With an Open Mind: How to Write Good Models

    Artho, Cyrille (et al.)

    Pages 3-18

  • Model-Based Testing from Controlled Natural Language Requirements

    Carvalho, Gustavo (et al.)

    Pages 19-35

  • An UPPAAL Framework for Model Checking Automotive Systems with FlexRay Protocol

    Guo, Xiaoyun (et al.)

    Pages 36-53

  • Early Analysis of Soft Error Effects for Aerospace Applications Using Probabilistic Model Checking

    Hoque, Khaza Anuarul (et al.)

    Pages 54-70

Buy this book

eBook $64.99
price for USA (gross)
  • ISBN 978-3-319-05416-2
  • Digitally watermarked, DRM-free
  • Included format: EPUB, PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover $84.00
price for USA
  • ISBN 978-3-319-05415-5
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Formal Techniques for Safety-Critical Systems
Book Subtitle
Second International Workshop, FTSCS 2013, Queenstown, New Zealand, October 29--30, 2013. Revised Selected Papers
Editors
  • Cyrille Artho
  • Peter Csaba Oveczky
Series Title
Communications in Computer and Information Science
Series Volume
419
Copyright
2014
Publisher
Springer International Publishing
Copyright Holder
Springer International Publishing Switzerland
eBook ISBN
978-3-319-05416-2
DOI
10.1007/978-3-319-05416-2
Softcover ISBN
978-3-319-05415-5
Series ISSN
1865-0929
Edition Number
1
Number of Pages
X, 297
Number of Illustrations and Tables
91 b/w illustrations
Topics