Skip to main content
  • Conference proceedings
  • © 2011

Software Engineering for Resilient Systems

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

  • 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)

Conference series link(s): SERENE: International Workshop on Software Engineering for Resilient Systems

Conference proceedings info: SERENE 2011.

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

This is a preview of subscription content, access via your institution.

Table of contents (15 papers)

  1. Front Matter

  2. Formal Modelling and Verification

    1. Quantitative Verification of System Safety in Event-B

      • Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
      Pages 24-39
    2. Experience-Based Model Refinement

      • Didier Buchs, Steve Hostettler, Alexis Marechal
      Pages 40-47
  3. 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
  4. 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
  5. Invited Talk

  6. 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
  7. 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
  8. Back Matter

Other Volumes

  1. Software Engineering for Resilient Systems

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.

Keywords

  • dependability
  • embedded languages
  • intrusion detection
  • secure measurements
  • software product lines
  • industrial pollution prevention

Editors and Affiliations

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

    Elena A. Troubitsyna

Bibliographic Information

  • Book Title: Software Engineering for Resilient Systems

  • Book Subtitle: Third International Workshop, SERENE 2011, Geneva, Switzerland, September 29-30, 2011, Proceedings

  • Editors: Elena A. Troubitsyna

  • Series Title: Lecture Notes in Computer Science

  • DOI: https://doi.org/10.1007/978-3-642-24124-6

  • Publisher: Springer Berlin, Heidelberg

  • eBook Packages: Computer Science, Computer Science (R0)

  • Copyright Information: Springer-Verlag GmbH Berlin Heidelberg 2011

  • Softcover ISBN: 978-3-642-24123-9Published: 19 September 2011

  • eBook ISBN: 978-3-642-24124-6Published: 25 September 2011

  • Series ISSN: 0302-9743

  • Series E-ISSN: 1611-3349

  • Edition Number: 1

  • Number of Pages: X, 165

  • Number of Illustrations: 20 b/w illustrations, 48 illustrations in colour

  • Topics: Computer Communication Networks, Programming Techniques, Software Engineering, Pollution

Buying options

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

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions