Технология программирования
Информатика и вычислительная техника
  • формат pdf
  • размер 3.22 МБ
  • добавлен 21 декабря 2011 г.
Butler M., Jones C., Romanovsky A., Troubitsyna E. (eds.) Methods, Models and Tools for Fault Tolerance
Издательство Springer, 2009, -349 pp.

The growing complexity of mode software systems increases the difficulty of ensuring the overall dependability of software-intensive systems. Complexity of environments, in which systems operate, high dependability requirements that systems have to meet, as well as the complexity of infrastructures on which they rely make system design a true engineering challenge.
Mastering system complexity requires design techniques that support clear thinking and rigorous validation and verification. Formal design methods help to achieve this. Coping with complexity also requires architectures that are tolerant of faults and of unpredictable changes in environment. This issue can be addressed by fault-tolerant design techniques. Therefore, there is a clear need of methods enabling rigorous modelling and development of complex fault-tolerant systems.
This book addresses such acute issues in developing fault-tolerant systems as:
– Verification and refinement of fault-tolerant systems
– Integrated approaches to developing fault-tolerant systems
– Formal foundations for error detection, error recovery, exception and fault handling
– Abstractions, styles and pattes for rigorous development of fault tolerance
– Fault-tolerant software architectures
– Development and application of tools supporting rigorous design of dependable systems
– Integrated platforms for developing dependable systems
– Rigorous approaches to specification and design of fault tolerance in novel computing systems
The editors of this book were involved in the EU (FP-6) project RODIN (Rigorous Open Development Environment for Complex Systems), which brought together researchers from the fault tolerance and formal methods communities. In 2007 RODIN organized the MeMoT workshop1 held in conjunction with the Integrated Formal Methods 2007 Conference at Oxford University. The aim of this workshop was to bring together researchers who were interested in the application of rigorous design techniques to the development of fault-tolerant software-intensive systems.
We proposed to the authors of the best workshop papers to expand their work and a number of well-established researchers working in the area to write invited chapters. This book contains the refereed and revised papers that came in response. Twelve of the papers are reworked from the workshop; three papers are invited.

Part I: Formal Reasoning about Fault Tolerant
Systems and Protocols
Graphical Modelling for Simulation and Formal Analysis of Wireless Network Protocols
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic
Temporal Verification of Fault-Tolerant Protocols
Design and Verification of Fault-Tolerant Components
Dynamically Detecting Faults via Integrity Constraints
Part II: Fault Tolerance: Modelling in B
Event-B Pattes for Specifying Fault-Tolerance in Multi-agent Interaction
Formal Reasoning about Fault Tolerance and Parallelism in Communicating Systems
Formal Development of a Total Order Broadcast for Distributed Transactions Using Event-B
Model-Based Testing Using Scenarios and Event-B Refinements
Part III: Fault Tolerance in System Development Process
Recording Process Documentation in the Presence of Failures
DREP: A Requirements Engineering Process for Dependable Reactive Systems
Documenting the Progress of the System Development
Fault Tolerance Requirements Analysis Using Deviations in the CORRECT Development Process
Part IV: Fault Tolerant Applications
Step-Wise Development of Resilient Ambient Campus Scenarios
Using Inherent Service Redundancy and Diversity to Ensure Web Services Dependability
Похожие разделы
Смотрите также

Agarwal B.B. Software engineering and testing

  • формат pdf
  • размер 11.62 МБ
  • добавлен 05 декабря 2010 г.
Jones and Bartlett Publishers, 2010. 516 р. Software Engineering and Testing. Introduction to Software Engineering. Software-Development Life-Cycle Models. Introduction to Software Requirements Specification. Software Reliability and Quality Assurance. System Design. Software Measurement and Metrics. Software Testing. Software-Testing Strategies. Software Maintenance and Project Management. Computer-Aided Software Engineering. Coding. Software De...

Broekman Bart, Notenboom Edwin. Testing Embedded Software

  • формат pdf
  • размер 1.94 МБ
  • добавлен 07 февраля 2011 г.
Typeset by Pantek Arts Ltd, Maidstone, Kent. Printed and bound in Great Britain by Biddles Ltd, Guildford and King’s Lynn. Contents. Foreword. Preface. Acknowledgments. ntroduction. Fundamentals. Aims of testing. What is an embedded system? . Approach to the testing of embedded systems. The TEmb method. Overview. TEmb generic. Mechanism for assembling the dedicated test approach. Lifecycle. Multiple V-model. ntroduction. Test activities in the m...

Conger S. New Software Engineering

  • формат pdf
  • размер 46.7 МБ
  • добавлен 03 января 2012 г.
Издательство Springer, 2008, -830 pp. As we move toward the 21st century, the techniques, tools, technologies, and subject matter of applications development are changing radically. Globalization of the work place is impacting IS development as well, by pressuring organizations to strive for competitive advantage through automation, among other methods. Strategic IS, reusable designs, downsizing, right-sizing, multimedia databases, and reusable...

Dooley J. Software Development and Professional Practice

  • формат pdf
  • размер 6 МБ
  • добавлен 16 августа 2011 г.
Apress, 2011. - 242 p. Software Development and Professional Practice reveals how to design and code great software. What factors do you take into account? What makes a good design? What methods and processes are out there for designing software? Is designing small programs different than designing large ones? How can you tell a good design from a bad one? You'll learn the principles of good software design, and how to turn those principles back...

Hussmann H. Foundations for Software Engineering Methods

  • формат pdf
  • размер 4.42 МБ
  • добавлен 28 октября 2011 г.
Издательство Springer, 1997, -288 pp. Formal methods in computer science aim at a scientific foundation on which methods and tools for practical system construction can be based. Practice requires methods for the specification of software systems, tools for checking specifications for syntactic consistency, and support for generation of code from specifications, as well as tools for proving the correctness of manually produced code with respect...

Hutcheson M.L. Software testing fundamentals: methods and metrics

  • формат chm
  • размер 13.3 МБ
  • добавлен 27 декабря 2011 г.
John Wiley & Sons, 2003. - 408 pages. A software tester's survival guide from a leading expert in the field. Contents: The State of Software Testing Today Maintaining Quality Assurance in Today's Software Testing Environment Approaches to Managing Software Testing The Most Important Tests (MITs) Method Fundamental Metrics for Software Testing The Test Inventory How to Build a Test Inventory Tools to Automate the Test Inventory Risk Analysis...

Masterminds of Programming: Conversations with the Creators of Major Programming Languages

  • формат pdf
  • размер 2.92 МБ
  • добавлен 22 ноября 2009 г.
Publisher: O'Reilly Publication: 2009, English ISBN: 9780596515171 Pages: 494 Masterminds of Programming features exclusive interviews with the creators of several historic and highly influential programming languages. In this unique collection, you'll learn about the processes that led to specific design decisions, including the goals they had in mind, the trade-offs they had to make, and how their experiences have left an impact on programming...

Meszaros G. xUnit Test Patterns Refactoring Test Code

  • формат pdf
  • размер 5.16 МБ
  • добавлен 22 ноября 2011 г.
Hardcover: 833 pages Publisher: Addison-Wesley (May 31, 2007) Language: English ISBN-10: 0131495054 ISBN-13: 978-0131495050 Automated testing is a cornerstone of agile development. An effective testing strategy will deliver new functionality more aggressively, accelerate user feedback, and improve quality. However, for many developers, creating effective automated tests is a unique and unfamiliar challenge. xUnit Test Patterns is the definitive...

Myers, Glenford J. The Art of Software Testing

  • формат pdf
  • размер 3.52 МБ
  • добавлен 17 октября 2011 г.
Published by by John Wiley & Sons, Inc., Hoboken, New Jersey © 2004. 2rd edition. ISBN: 0-471-46912-2, 151 pages. This long-awaited revision of a bestseller provides a practical discussion of the nature and aims of software testing. You'll find the latest methodologies for the design of effective test cases, including information on psychological and economic principles, managerial aspects, test tools, high-order testing, code inspections, a...

Tian J. Software Quality Engineering: Testing, Quality Assurance and Quantifiable Improvement

  • формат pdf
  • размер 24.36 МБ
  • добавлен 27 мая 2011 г.
Wiley-Interscience, 2005. - 440 p. - ISBN: 0471713457 The one resource needed to create reliable software This text offers a comprehensive and integrated approach to software quality engineering. By following the author's clear guidance, readers learn how to master the techniques to produce high-quality, reliable software, regardless of the software system's level of complexity. The first part of the publication introduces major topics in softwa...