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

ISARCS 2010 : First International Symposium on Architecting Critical Systems

FacebookTwitterLinkedInGoogle


Conference Series : International Symposium on Architecting Critical Systems
 
Link: http://www.isarcs.org/isarcs2010
 
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.

---------------------------------------------------------------

CALL FOR PAPERS

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

)) 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
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 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
methods;

* 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: http://www.springer.de/comp/lncs/authors.html).

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.


IMPORTANT DATES

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


PROGRAM CHAIR

Holger Giese (holger.giese@hpi.uni-potsdam.de)
Hasso Plattner Institute at the University of Potsdam
Germany


GENERAL CHAIR

Frantisek Plasil (plasil@nenya.ms.mff.cuni.cz)
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)

Related Resources

PCDS 2024   The 1st International Symposium on Parallel Computing and Distributed Systems
ACM BSCI 2024   The 6th ACM International Symposium on Blockchain and Secure Critical Infrastructure
ICISS 2024   The 20th International Conference on Information Systems Security (ICISS-2024)
DDECS 2024   27th International Symposium on Design and Diagnostics of Electronic Circuits and Systems
Sensors journal 2024   Special Issue on Energy-Efficient Communication Networks and Systems: 2nd Eition
ASPLOS 2025   The ACM International Conference on Architectural Support for Programming Languages and Operating Systems
ICCIS 2024   6th International Conference on Communication and Intelligent Systems
CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)
MLIS 2024   The 6th International Conference on Machine Learning and Intelligent Systems (MLIS 2024)
ACM CIIS 2024   ACM--2024 7th International Conference on Computational Intelligence and Intelligent Systems (CIIS 2024)