posted by system || 3241 views || tracked by 3 users: [display]

ISARCS 2010 : First International Symposium on Architecting Critical Systems


Conference Series : International Symposium on Architecting Critical Systems
When Jun 23, 2010 - Jun 25, 2010
Where Prague, Czech Republic
Abstract Registration Due Feb 22, 2010
Submission Deadline Mar 1, 2010
Notification Due Mar 17, 2010
Final Version Due Apr 14, 2010

Call For Papers

Due to several requests, we extended the submission deadline.



First International Symposium on
Architecting Critical Systems (ISARCS 2010)

Prague, Czech Republic, June 23-25 2010

Federated with CompArch 2010

)) Extended paper submission deadlines: 01 March 2010 ((

Proceedings are published as a Springer LNCS volume
(plus followup special issue in the IJCCBS journal)

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 fulfil 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. We are interested in submissions from both industry and
academia, including, but not limited to, the following main areas:

* Rigorous development: architectural description languages;
architectural styles; architectural patterns; architectural support
for evolution; integrators (wrappers) for dependability; model
driven development; component based development; aspects oriented
development; assurance based development;

* Testing and analysis based on architecture: testing; simulation;
inspection techniques; type checking; run-time checks;
model-checking; theorem proving; fault injection

* Fault tolerance based on the architecture: tolerating architectural
mismatches; redundancy and diversity; error confinement; monitoring;
exception handling; self-healing

* Safety-critical systems & architecture: hazard and risk analysis;
safety case generation, evaluation for safety properties; formal

* Secure systems & architecture: secure ADLs; secure architectural
styles; secure connectors; verification of security properties;
access control policies; intrusion detection;

* Combined approaches: integrated processes; combination of methods;
interplay of techniques; integration of analysis techniques; the
integration of tools;

* Relevant domains with critical systems: critical infrastructures;
embedded systems; mobile and ubiquitous systems; automotive systems;
avionic systems; e-commerce; e-business; e-government;

* Industrial needs: reports about industrial case studies, challenges,
problems and solutions

Accepted contributions will be published in a volume of the Springer
Lecture Notes in Computer Science series. Papers should not exceed 16
pages, must be written in English, and prepared according to Springer's
LNCS style (guidelines:

Papers must not have been previously published or currently submitted
elsewhere for publication. If accepted, the paper must be personally
presented at ISARCS 2010 by one author.


Abstract submission deadline: 22 February 2010
Paper submission deadline: 01 March 2010
Author notification: 31 March 2010
Publication ready copy: 14 April 2010


Holger Giese (
Hasso Plattner Institute at the University of Potsdam


Frantisek Plasil (
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)

Related Resources

FMICS 2023   28th International Conference on Formal Methods for Industrial Critical Systems
SIUSAI 2023   2023 International Symposium on Intelligent Unmanned Systems and Artificial Intelligence (SIUSAI 2023)
Electronics SI 2022   Electronics: Special Issue on Cybersecurity and Privacy Issues in Cyber-Physical Systems and Industrial Control Systems
IEEE CCNC STP-CPS 2023   5th International Workshop on Security Trust Privacy for Cyber-Physical Systems (STP-CPS'23) with IEEE CCNC 2023, 8-11 January, Las Vegas, NV, USA
CDC 2023   IEEE Conference on Decision and Control
CDD 2023   Critical Disability Discourses
ICISS 2023   2023 The 6th International Conference on Information Science and Systems (ICISS 2023)
AAISS 2023   Special Issue on Advances in Artificial Intelligent Systems for the Scholarly Domain
DT4CS 2023   Special Issue on Digital Twins for Complex Systems in Big Data and Cognitive Computing Journal