CALL FOR PARTICIPATION
First International Symposium on
Architecting Critical Systems (ISARCS 2010)
Prague, Czech Republic, June 23-25 2010
http://www.isarcs.org/isarcs2010
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
architecture.
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
perspective.
----------------------------------------------------------------------------------
PROGRAM
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
requirements
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
Overlays
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
modeling
14:30 - 15:00 5C: ISARCS closing
15:00 - 15:30 CompArch Closing
----------------------------------------------------------------------------------
ORGANIZATION
PROGRAM CHAIR
Holger Giese ([log in to unmask])
Hasso Plattner Institute at the University of Potsdam
Germany
GENERAL CHAIR
Frantisek Plasil ([log in to unmask])
Charles University, Prague
Czech Republic
STEERING COMMITTEE
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)
PROGRAM COMMITTEE
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]
http://www.sigsoft.org/seworld provides more
information on SEWORLD as well as a complete archive of
messages posted to the list.
============================================================
|
