175 years of Springer publishing +++ Through June 30: 50% off Physics & Astronomy Books

Programming and Software Engineering

Rigorous Development of Complex Fault-Tolerant Systems

Editors: Butler, M., Jones, C., Romanovsky, A., Troubitsyna, E. (Eds.)

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-540-48267-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-540-48265-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
About this book

Many software systems have reached a level of complication, mainly because of their size, heterogeneity and distribution, which results in faults appearing that cannot be traced back easily to the code. Some of these "faults" could also be unexpected program behavior that appears as a result of interactions between different parts of the program; this is commonly known as complexity. New methods, approaches, tools and techniques are needed to cope with the increasing complexity in software systems; amongst them, fault-tolerance techniques and formal methods, supported by the corresponding tools, are promising solutions. This book brings together papers focusing on the application of rigorous design techniques to the development of fault-tolerant, software-based systems.

This volume is an outcome of the REFT 2005 Workshop on Rigorous Engineering of Fault-Tolerant Systems held in conjunction with the Formal Methods 2005 conference at Newcastle upon Tyne, UK, in July 2005. The authors of the best workshop papers were asked to enhance and expand their work and a number of well-established researchers working in the area contributed invited chapters. From the 19 refereed and revised papers presented, 12 are versions reworked from the workshop; 9 of them are totally new. The book is rounded off by two provocatively different position on the role of programming languages.

Table of contents (21 chapters)

  • Train Systems

    Abrial, Jean-Raymond

    Pages 1-36

    Preview Buy Chapter 30,19 €
  • Formalising Reconciliation in Partitionable Networks with Distributed Services

    Asplund, Mikael (et al.)

    Pages 37-58

    Preview Buy Chapter 30,19 €
  • The Fault-Tolerant Insulin Pump Therapy

    Capozucca, Alfredo (et al.)

    Pages 59-79

    Preview Buy Chapter 30,19 €
  • Reasoning About Exception Flow at the Architectural Level

    Filho, Fernando Castor (et al.)

    Pages 80-99

    Preview Buy Chapter 30,19 €
  • Are Practitioners Writing Contracts?

    Chalin, Patrice

    Pages 100-113

    Preview Buy Chapter 30,19 €

Buy this book

eBook 63,06 €
price for Spain (gross)
  • ISBN 978-3-540-48267-3
  • Digitally watermarked, DRM-free
  • Included format: PDF
  • ebooks can be used on all reading devices
  • Immediate eBook download after purchase
Softcover 77,99 €
price for Spain (gross)
  • ISBN 978-3-540-48265-9
  • Free shipping for individuals worldwide
  • Usually dispatched within 3 to 5 business days.
  • The final prices may differ from the prices shown due to specifics of VAT rules
Loading...

Recommended for you

Loading...

Bibliographic Information

Bibliographic Information
Book Title
Rigorous Development of Complex Fault-Tolerant Systems
Editors
  • Michael Butler
  • Cliff Jones
  • Alexander Romanovsky
  • Elena Troubitsyna
Series Title
Programming and Software Engineering
Series Volume
4157
Copyright
2006
Publisher
Springer-Verlag Berlin Heidelberg
Copyright Holder
Springer-Verlag Berlin Heidelberg
eBook ISBN
978-3-540-48267-3
DOI
10.1007/11916246
Softcover ISBN
978-3-540-48265-9
Edition Number
1
Number of Pages
X, 406
Topics