Skip to main content
SpringerLink
Log in
Book cover

Software Engineering for Resilient Systems

Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings

  • Conference proceedings
  • © 2011

Overview

Editors:
  1. Elena A. Troubitsyna

    1. Department of IT, Åbo Akademi University, Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Fast track conference proceedings
  • Unique visibility
  • State of the art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 6968)

Part of the book sub series: Programming and Software Engineering (LNPSE)

Included in the following conference series:

Conference proceedings info: SERENE 2011.

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 54.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 69.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (15 papers)

  1. Front Matter

    Download chapter PDF

  3. Formal Modelling and Verification

    1. Use Case Scenarios as Verification Conditions: Event-B/Flow Approach

      • Alexei Iliasov
      Pages 9-23

    2. Quantitative Verification of System Safety in Event-B

      • Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
      Pages 24-39

    3. Experience-Based Model Refinement

      • Didier Buchs, Steve Hostettler, Alexis Marechal
      Pages 40-47

  4. Architecting Resilient Systems

    1. Architecting Resilient Computing Systems: Overall Approach and Open Issues

      • Miruna Stoicescu, Jean-Charles Fabre, Matthieu Roy
      Pages 48-62

    2. Supporting Architectural Design Decisions Evolution through Model Driven Engineering

      • Ivano Malavolta, Henry Muccini, V. Smrithi Rekha
      Pages 63-77

  6. Requirements Engineering and Product Lines

    1. Guaranteeing Correct Evolution of Software Product Lines: Setting Up the Problem

      • Maurice H. ter Beek, Henry Muccini, Patrizio Pelliccione
      Pages 100-105

    2. Idealized Fault-Tolerant Components in Requirements Engineering

      • Sadaf Mustafiz, Jörg Kienzle
      Pages 106-112

  7. Invited Talk

    1. Predictability and Evolution in Resilient Systems

      • Ivica Crnkovic
      Pages 113-114

  8. Monitoring and Self-adaptation

    1. Self-organising Pervasive Ecosystems: A Crowd Evacuation Example

      • Sara Montagna, Mirko Viroli, Matteo Risoldi, Danilo Pianini, Giovanna Di Marzo Serugendo
      Pages 115-129

    2. Towards a Model-Driven Infrastructure for Runtime Monitoring

      • Antonia Bertolino, Antonello Calabrò, Francesca Lonetti, Antinisca Di Marco, Antonino Sabetta
      Pages 130-144

  9. Security and Intrusion Avoidance

    1. Using Diversity in Cloud-Based Deployment Environment to Avoid Intrusions

      • Anatoliy Gorbenko, Vyacheslav Kharchenko, Olga Tarasyuk, Alexander Romanovsky
      Pages 145-155

    2. ‘Known Secure Sensor Measurements’ for Critical Infrastructure Systems: Detecting Falsification of System State

      • Miles McQueen, Annarita Giani
      Pages 156-163

  10. Back Matter

    Download chapter PDF
Back to top

Other volumes

  1. Software Engineering for Resilient Systems

Keywords

About this book

This book constitutes the refereed proceedings of the Third International Workshop on Software Engineering for Resilient Systems, SERENE 2011, held in Geneva, Switzerland, in September 2011.
The 13 revised full papers presented together with 2 invited talks were carefully reviewed and selected from numerous submissions. The papers address all aspects of formal modeling and verification, architecting resilient systems, fault tolerance, requirements engineering and product lines, monitoring and self-adaption, and security and intrusion avoidance.

Editors and Affiliations

  • Department of IT, Åbo Akademi University, Turku, Finland

    Elena A. Troubitsyna

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation