[SystemSafety] CfPart SERENE 2013: SE for Resilient Systems

From: Alexander Romanovsky < >
Date: Tue, 13 Aug 2013 11:24:43 +0000


5th International Workshop on Software Engineering for Resilient Systems SERENE'2013: October 3-4, Kiev, Ukraine Call for Participation
http://serene.uni.lu/Workshops/SERENE_2013

The SERENE 2013 workshop provides a forum for researchers and practitioners to exchange ideas and results on advances in all areas relevant to the resilience of IT systems and software which is an ability to persistently deliver its services in a trustworthy way even when facing changes, unforeseen failures and intrusions.

The workshop is organised by the ERCIM WG on Software Engineering for Resilient Systems - http://serene.uni.lu/. The proceedings of SERENE'2013 are published as by Springer (LNCS 8166).

The programme of the workshop includes two keynotes and 13 technical presentations.



SERENE'2013 INVITED TALKS:
  1. Andras Pataricza, Budapest University of Technology and Economics, Hungary: Empirical assessment of resilience
  2. Robin Bloomfield, Adelard/City University, UK: Security informed safety: if it's not secure, it's not safe

SERENE'2013 PROGRAM:
------------------------------------Thursday, October 3th-------------------------

09:00-09:15 Welcome from the chairs. Vecheslav Kharchenko, Alexander Romanovsky
09:15-10:15 Invited Talk 1. Andras Pataricza. Empirical assessment of resilience
10:15-10:45 Coffee
10:45-12:15 Session 1. Resilient software and design 1.1. Engineering a Platform for Mission Planning of Autonomous and Resilient

     Quadrotors, Ivano Malavolta, Patrizio Pelliccione and Davide Di Ruscio 1.2. Towards Agile Development of Critical Software,

     Katarzyna Ɓukasiewicz and Janusz Gorski 1.3. Supporting the Evolution of Free and Open Source Software Distributions,

     Patrizio Pelliccione and Davide Di Ruscio 12:15-13:30 Lunch
13:30-15:00 Session 2. Rigorous Reasoning 2.1. Optimizing Verification of Structurally Evolving Algebraic Petri Nets,

     Yasir Imtiaz Khan
2.1. A Case Study in Refinement-Based Modelling of a Resilient Control System,

     Yuliya Prokhorova, Elena Troubitsyna and Linas Laibinis 2.2. Synthesis of resilient choreographies,

     Marco Autili, Amleto Di Salle and Massimo Tivoli 15:00-15:30 Coffee
15:30-17:00 Session 3. Applications
3.1. Formal Development and Quantitative Assessment of a Resilient

     Multi-Robotic System, Anton Tarasyuk, Inna Pereverzeva,
     Elena Troubitsyna and Linas Laibinis
3.2. The SafeCap Project on Railway Safety Verification and Capacity
     Simulation, Alexei Iliasov, Ilya Lopatkin and Alexander Romanovsky
3.3. Modeling Unmanned Vehicle Behavior in a Traffic System,
     Mark Woodard and Sahra Sedigh

--------------------------------------Friday, October 4th----------------------------------

09:00-09:15 Welcome from SERENE WG. Henry Muccini 09:15-10:15 Invited Talk 2. Robin Bloomfield. Security informed safety: if it's not secure, it's not safe 10:15-10:45 Coffee
10:45-11:45 Session 4. Concepts
4.1. Preliminary Contributions Towards Auto-Resilience,

     Vincenzo De Florio
4.2. A new theory of Software Reliability,

     Dmitry Maevsky
11:45-12:45 Session 5. Analysis
5.1. Static Analysis Approach for Defect Detection in Multithreaded

     C/C++ Programs, Mikhail Moiseev
5.2. Stochastic Model-based Analysis of Railway Operation to Support Traffic

     Planning, Felicita Di Giandomenico, Alessandro Fantechi, Stefania Gnesi
     and Massimiliano Leone Itria
12.45-13.00 Wrap-up and close

13.00-14.15 Lunch
14.15-15.45 SERENE WG meeting (all welcome)

REGISTRATION WEB SITE:
http://serene.uni.lu/Workshops/SERENE_2013/Registration



The System Safety Mailing List
systemsafety_at_xxxxxx Received on Tue Aug 13 2013 - 13:25:43 CEST

This archive was generated by hypermail 2.3.0 : Sat Feb 23 2019 - 09:17:06 CET