Skip to main content
SpringerLink
Log in
Book cover
  • Conference proceedings
  • © 2013

Software Engineering for Resilient Systems

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

Editors:

  1. Anatoliy Gorbenko

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

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Alexander Romanovsky

    1. School of Computing Science, Newcastle University, Newcastle upon Tyne, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Vyacheslav Kharchenko

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

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

Sections

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.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

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

Table of contents (15 papers)

  1. Front Matter

    PDF

  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

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

      • Yuliya Prokhorova, Elena Troubitsyna, Linas Laibinis
      Pages 79-93

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

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

    PDF
Back to top

Other Volumes

  1. Software Engineering for Resilient Systems

Back to top

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.
Back to top

Keywords

Back to top

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

Back to top

Bibliographic Information

Back to top

Publish with us

Policies and ethics

Back to top
Access via your institution

Buy it now

eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 49.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

Search

Navigation