[ecoop-info] CfPart: Workshop on Software Engineering for Resilient Systems (SERENE 2015)

[Alexander Romanovsky]

SERENE 2015 - Call for Participation

The 7th International Workshop on Software Engineering for Resilient Systems (http://serene.disim.univaq.it/2015) will be held in Paris, France, on the 7th-8th September 2015. This year the conference features an interesting program, with keynote talks on hot topics, industrial speakers from Thales, SAP, and Ansaldo STS, and an industrial panel.

The way software is developed is changing. It must take into account multifaceted constraints like unpredictable markets, evolving customer requirements, pressures of shorter time-to-market, etc. At the same time, software is controlling critical functionalities in several domains like transportation, health care, manufacturing, and IT infrastructures. As a result, modern software systems require on one side adding frequently (daily or weekly) new features, functionalities, or new versions of software artifacts according to changing contexts, business opportunities, or customer’s feedbacks, on the other side ensuring their resilience – an ability of the system to persistently deliver its services in a dependable way even when facing changes, unforeseen failures and intrusions.

The SERENE 2015 workshop provides a forum for researchers and practitioners to exchange ideas on advances in all areas relevant to software engineering for resilient systems, including, but not limited to: development of resilient systems; verification, validation and evaluation of resilience; and, case studies & applications.

LinkedIn group: https://www.linkedin.com/groups?home=&gid=4365850&trk=my_groups-tile-grp
Slideshare: www.slideshare.net/SERENEWorkshop<http://www.slideshare.net/SERENEWorkshop>

>From this year SERENE is becoming part of EDCC, the European Dependable Computing Conference (http://edcc2015.lip6.fr).

------------------------
KEYNOTE SPEAKERS

Prof. John Fitzgerald - School of Computing Science, Newcastle University (http://www.ncl.ac.uk/computing/people/profile/john.fitzgerald)
Talk about: "Engineering Resilient Cyber-Physical Systems – From Tools to Toolchains"

Assist. Prof. Davide Scaramuzza - Robotics and Perception Group, University of Zurich (http://rpg.ifi.uzh.ch/people_scaramuzza.html)
Talk about: "Towards Robust and Safe Autonomous Drones"

------------------------
INDUSTRIAL SPEAKERS

Dr. Sebastien Keller – Thales, France
Title: How to increase STS trustworthiness

Andreas Roth – SAP
Title: Live Testing Cloud Business Applications

Fausto Del Villano – Ansaldo STS
Title: Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railway Control Systems

------------------------
DETAILED PROGRAM

September 7th, 2015
--------------------
8:30   On-site Registration
--------------------
9:00   Keynote

Prof. John Fitzgerald (School of Computing Science, Newcastle University) - "Engineering Resilient Cyber-Physical Systems – From Tools to Toolchains"
--------------------
10:00   Coffee break
--------------------
10:30   Session: "Design and verification of resilient software systems I"

Marco Autili, Amleto Di Salle, Francesco Gallo, Alexander Perucci, Massimo Tivoli - "Biological Immunity and Software Resilience: two faces of the same coin?"

Andrea Höller - "Towards Dynamic Software Diversity for Dependable and Resilient Redundant Systems"

András Vörös, Tamás Tóth , Istvan Majzik  - "A decomposition method for the verification of a real-time safety-critical protocol"
--------------------
12:30   Lunch
--------------------
14:00 1/2 Industrial session

Dr. Sebastien Keller (Thales, France) - "How to increase STS trustworthiness"

Andreas Roth (SAP) - "Live Testing Cloud Business Applications"

Fausto Del Villano (Ansaldo STS) - "Hot Stand-By Disaster Recovery Solutions for Ensuring the Resilience of Railway Control Systems"
--------------------
16:00 Coffee break
--------------------
17:00 Industrial panel
--------------------
18:00 End of sessions
--------------------
20:00 Social dinner
--------------------


September 8th, 2015
--------------------
9:00   Keynote

Prof. Davide Scaramuzza (Robotics and Perception Group, University of Zurich) - "Towards Robust and Safe Autonomous Drones"
--------------------
10:00 Coffee break
--------------------
10:30 Session: "Design and verification of resilient software systems II"

Stefan Klikovits, David P.Y. Lawrence, Didier Buchs - "Considering Execution Environment Resilience: A White-Box Approach"

Rem Gensh, Alexander Romanovsky, Alex Yakovlev - "Engineering Cross-Layer Fault Tolerance in Many-Core Systems"

Szilárd Bozóki, András Pataricza, Gábor Koronka - "Risk assessment based cloudification"
--------------------
12:30   Lunch
--------------------
14:00   Session: "Transportation applications"

Davide Basile, Felicita Di Giandomenico, Stefania Gnesi, Silvano Chiaradonna, Franco Mazzanti - "Stochastic Model-Based Analysis of Energy Consumption in a Rail Road Switch Heating  System"

Harald Sporer, Andrea Höller - "Bidirectional Crosslinking of System and Software Modeling in the Automotive Domain"
--------------------
15:00   Session: "Resilience in data and workflow management"

Guthemberg Silvestre - "Tejo: a supervised anomaly detection scheme for NewSQL databases"

John Mace, Charles Morisset, Aad van Moorsel - "Resiliency Variance in Workflows with Choice"
--------------------
16:00   Coffee break
--------------------
16:30   End of sessions - Closing remarks
--------------------

REGISTRATION AND ACCOMMODATION

The early registration fee is: € 250 for SERENE 2015 only; € 550 for EDCC 2015 + workshops, including SERENE 2015 (€ 400 for students).

To register, please visit http://serene.disim.univaq.it/2015/registration-2.

To find suggestions on accommodation, please visit http://serene.disim.univaq.it/2015/venue/accomodation/
------------------------