Skip to main content
  • Conference proceedings
  • © 2013

Software Engineering for Resilient Systems

5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013, Proceedings

  • Fast track conference proceedings

  • Unique visibility

  • State of the art research

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

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 2013.

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-40894-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 54.99
Price excludes VAT (USA)

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

Table of contents (15 papers)

  1. Front Matter

  2. Keynote Talks

    1. Empirical Assessment of Resilience

      • András Pataricza, Imre Kocsis, Ágnes Salánki, László Gönczy
      Pages 1-16
    2. Security-Informed Safety: If It’s Not Secure, It’s Not Safe

      • Robin Bloomfield, Kateryna Netkachova, Robert Stroud
      Pages 17-32
  3. Resilient Software and Design

    1. Engineering a Platform for Mission Planning of Autonomous and Resilient Quadrotors

      • Davide Di Ruscio, Ivano Malavolta, Patrizio Pelliccione
      Pages 33-47
    2. Towards Agile Development of Critical Software

      • Janusz Górski, Katarzyna Łukasiewicz
      Pages 48-55
    3. Supporting the Evolution of Free and Open Source Software Distributions

      • Davide Di Ruscio, Patrizio Pelliccione
      Pages 56-63
  4. Rigorous Reasoning

    1. A Case Study in Refinement-Based Modelling of a Resilient Control System

      • Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
      Pages 79-93
    2. Synthesis of Resilient Choreographies

      • Marco Autili, Amleto Di Salle, Massimo Tivoli
      Pages 94-108
  5. Applications

    1. Formal Development and Quantitative Assessment of a Resilient Multi-robotic System

      • Anton Tarasyuk, Inna Pereverzeva, Elena Troubitsyna, Linas Laibinis
      Pages 109-124
    2. The SafeCap Project on Railway Safety Verification and Capacity Simulation

      • Alexei Iliasov, Ilya Lopatkin, Alexander Romanovsky
      Pages 125-132
  6. Concepts

    1. Preliminary Contributions Towards Auto-resilience

      • Vincenzo De Florio
      Pages 141-155
    2. A New Approach to Software Reliability

      • Dmitry A. Maevsky
      Pages 156-168
  7. Analysis

    1. Stochastic Model-Based Analysis of Railway Operation to Support Traffic Planning

      • Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi, Massimiliano Leone Itria
      Pages 184-198
  8. Back Matter

Other Volumes

  1. Software Engineering for Resilient Systems

    5th International Workshop, SERENE 2013, Kiev, Ukraine, October 3-4, 2013. Proceedings

About this book

This book constitutes the refereed proceedings of the 5th International Workshop on Software Engineering for Resilient Systems, SERENE 2013, held in Kiev, Ukraine, in October 2013. The 13 revised full papers were carefully reviewed and selected from 21 submissions. The papers are organized in topical sections on resilient software and design, rigorous reasoning, applications, concepts, and analysis.

Keywords

  • adaptive systems
  • evolution
  • formal modeling
  • software reliability
  • verification

Editors and Affiliations

  • Department of Computer Systems and Networks, National Aerospace University, Kharkiv, Ukraine

    Anatoliy Gorbenko, Vyacheslav Kharchenko

  • School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    Alexander Romanovsky

Bibliographic Information

Buying options

eBook USD 39.99
Price excludes VAT (USA)
  • ISBN: 978-3-642-40894-6
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book USD 54.99
Price excludes VAT (USA)