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
Submission deadline: 10 February 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 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 the ISARCS 2010 by one author.
IMPORTANT DATES
Submission deadline: 10 February 2010
Author notification: 17 March 2010
Publication ready copy: 14 April 2010
Please quote 10 Academic Resources Daily in your application to this opportunity!
