SEWORLD Archives



Options: Use Forum View

Use Proportional Font
Show HTML Part by Default
Show All Mail Headers

Message: [<< First] [< Prev] [Next >] [Last >>]
Topic: [<< First] [< Prev] [Next >] [Last >>]
Author: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Subject: CFPart - Architecting Critical Systems
From: Holger Giese <[log in to unmask]>
Reply-To:Holger Giese <[log in to unmask]>
Date:Fri, 14 May 2010 18:43:54 +0200

                    CALL FOR PARTICIPATION

                First International Symposium on
           Architecting Critical Systems (ISARCS 2010)

             Prague, Czech Republic, June 23-25 2010

                  Federated with CompArch 2010


Architecting critical systems has gained major importance in commercial,
governmental and industrial sectors. Emerging software applications
encompass criticalities that are  associated with either the whole
system or some of its components. Therefore, effective methods,
techniques, and tools for constructing, testing, analyzing, and
evaluating the architectures for critical systems are of major
importance. Furthermore, these methods, techniques and tools must
address issues of dependability and security, while  focusing not only
on the development, but also on the deployment and evolution of the

This new symposium aims to be an exclusive forum for exchanging views on
the theory and practice for architecting critical systems. Such systems
are characterized by the perceived severity of consequences that faults
or attacks may cause, and architecting them requires appropriate means
to assure that they will fulfill their specified services in a dependable
and secure manner.

The different attributes of dependability and security cannot be
considered in isolation as architecting critical systems essentially
means to find the right trade-off among these attributes and the various
other requirements imposed on the system. This symposium therefore
brings together four communities addressing the architecting of critical
systems from their perspectives, and each one having their own
respective dissemination forums, namely dependability, safety, security
and testing/analysis for architecting systems. To this end the symposium
unites the following three events: Workshop on Architecting Dependable
Systems (WADS), Workshop on the Role of Software Architecture for
Testing and Analysis (ROSATEA), and Workshop on Views On Designing
Complex Architectures (VODCA).

The aim of ISARCS is to bring together expertise from different
communities in order to provide a comprehensive view on how to design,
develop, deploy and evolve critical systems from the architectural


Wednesday, 23 June 2010

8:00 - 9:00 	CompArch Opening

9:00 - 10:00 	Keynote 1:

Martin Wirsing.
A Component-Based Approach to Adaptive User-Centric Pervasive Applications

10:00 - 10:30 	Coffee break

10:30 - 12:30 	1C: Design

Vittorio Cortellessa, Catia Trubiani, Leonardo Mostarda, and Naranker Dulay.
An Architectural Framework for Analyzing Tradeoffs between Software 
Security and Performance

Atef Mohamed and Mohammad Zulkernine.
Architectural Design Decisions for Achieving Reliable Software Systems

Ricardo J. Rodríguez and José Merseguer.
Integrating Fault Tolerance Techniques into the Design of Critical Systems

Stefan Henkler and Tobias Eckardt.
Component Behavior Synthesis for Critical Systems

12:30 - 14:00 	Lunch

14:00 - 15:30	2C: Verification & Validation

Martin Děcký.
A Road to a Formally Verified General-Purpose Operating System

J Paul Gibson, Jean-Luc Raffy, and Eric Lallet.
Engineering a distributed e-voting system architecture: meeting critical 

Piotr Gawkowski, Konrad Grochowski, Maciej Lawrynczuk, Piotr Marusak, 
Janusz Sosnowski, and Piotr Tatjewski.
Testing Fault Robustness of Model Predictive Control Algorithms

15:30 - 16:00 	Coffee break

16:00 - 17:30 	3C: Open discussion

Thursday, 24 June 2010

9:00 - 10:00 	Industrial day Talk 1

Stephan Thesing
The Joy of Qualifying Software in the Avionics Area

10:00 - 10:30 	Coffee break

10:30 - 11:30 	Industrial day Talk 2

Thomas Santen
VCC: A Practical System for Verifying Concurrent C

11:30 - 12:30 	Industrial day Talk 3

Michal Pechoucek
Towards Self-Adaptation to Intelligent Adversary in Network Security

12:30 - 14:00 	Lunch

14:00 - 15:00 	Industrial day Talk 4

Radovan Janecek
SOA by Mainframe

15:00 - 16:00 	Panel discussion and Tutorials

16:00 - 16:30 	Coffee break

16:30 - 17:30 	Tutorials

Friday, 25 June 2010

9:00 - 10:00 	Keynote 2

Jeff Magee
Intrinsic Definition in Software Architecture Evolution

10:00 - 10:30 	Coffee break

10:30 - 12:00 	4C: Domain-Specific Results

Michael Gagnon, Joshua Haines, Apu Kapadia, John Truelove, and Orton Huang.
Towards Net-centric Cyber Survivability for Ballistic Missile Defense

Ibrahim Habli and Tim Kelly.
A Safety Case Approach to Assuring Configurable Architectures of 
Safety-Critical Product Lines

Daniel Germanus, Abdelmajid Khelil, and Neeraj Suri.
Increasing the Resilience of Critical SCADA Systems Using Peer-to-Peer 

12:00 - 14:00 	Lunch

14:00 - 14:30 	5C: Standards

Martin Hillenbrand, Matthias Heinz, Nico Adler, Klaus D. Müller-Glaser, 
Johannes Matheis, and Clemens Reichmann.
ISO/DIS 26262 in the context of electric and electronic architecture 

14:30 - 15:00 	5C: ISARCS closing

15:00 - 15:30 	CompArch Closing



Holger Giese ([log in to unmask])
Hasso Plattner Institute at the University of Potsdam


Frantisek Plasil ([log in to unmask])
Charles University, Prague
Czech Republic


Rogério de Lemos (University of Coimbra, Portugal)
Cristina Gacek (City University, London, UK)
Fabio Gadducci (University of Pisa, Italy)
Lars Grunske (Swinburne University of Technology, Australia)
Henry Muccini (University of L'Aquila, Italy)
Maurice ter Beek (ISTI-CNR, Pisa, Italy)


Alessandro Aldini (University of Urbino, Italy)
Aslan Askarov (Cornell University, USA)
Brian Berenbach (Siemens Corporate Research, USA)
Stefano Bistarelli (Universita' di Perugia, Italy)
Michel R.V. Chaudron (Leiden University, The Netherlands)
Betty H. C.Cheng (Michigan State University, USA)
Nathan Clarke (University of Plymouth, UK)
Ricardo Corin (Universidad Nacional de Cordoba (FAMAF), Argentina)
Cas Cremers (ETH Zurich, Switzerland)
Ivica Crnkovic (Mälardalen University, Sweden)
Bojan Cukic (West Virginia University, USA)
Eric Dashofy (The Aerospace Corporation, USA)
Erik de Vink (Eindhoven University of Technology, The Netherlands)
Heiko Dörr (Carmeq GmbH, Germany)
Alexander Egyed (Johannes Kepler University, Austria)
Sébastien Gérard (CEA LIST, France)
Wolfgang Grieskamp (Microsoft Corporation, USA)
Ethan Hadar (CA Inc., Israel)
Paola Inverardi (University of  L'Aquila, Italy)
Valérie Issarny (INRIA, UR de Rocquencourt, France)
Tim Kelly (University of York, UK)
Marc-Olivier Killijian (LAAS-CNRS Toulouse, France)
Philip Koopman  (Carnegie Mellon University, USA)
Patricia Lago (VU University Amsterdam, The Netherlands)
Javier Lopez (University of Malaga, Spain)
Nenad Medvidovic (University of Southern California, USA)
Flavio Oquendo (European University of Brittany - UBS/VALORIA, France)
Mauro Pezzè (University of Lugano, Switzerland)
Ralf H. Reussner (Karlsruhe Institute of Technology / FZI, Germany)
Roshanak Roshandel (Seattle University, USA)
Ana-Elena Rugina (Astrium Satellites, France)
Bradley Schmerl (Carnegie Mellon University, USA)
Bran Selic (Malina Software, Canada)
Judith Stafford (Tufts University, USA)
Michael von der Beeck (BMW Group, Germany)

To contribute to SEWORLD, send your submission to
mailto:[log in to unmask] provides more
information on SEWORLD as well as a complete archive of
messages posted to the list.