Call For Papers (PDF)

As software systems continue to pervade every facet of our daily lives, our dependence on their safety, security, availability, and reliability grows. It has become increasingly clear that the architecture of a critical software system plays a crucial role in fulfilling its dependability requirements. This has called for effective methods, techniques, and tools that take architectural concerns into consideration during the design, construction, testing, maintenance, and upgrade of such systems.


ISARCS is a premier scientific venue that brings together researchers and practitioners interested in the interplay of architecture and dependability attributes of critical software systems. The symposium was born four years ago as the union of the Workshop on Architecting Dependable Systems (WADS), the Workshop on Role of Software Architecture for Testing and Analysis (ROSATEA), and the Workshop on View on Designing Complex Architectures (VODCA). ISARCS is sponsored by ACM Sigsoft and part of CompArch, a federated conference series targeted at Component-Based Software Engineering and Software Architecture.


The symposium aims to be an exclusive forum for exchanging views on the theory and practice of 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.


ISARCS welcomes submissions from both industry and academia, including, but not limited to, the following topics:

  • Architectural knowledge and patterns for critical systems
  • Tools for construction, design, and testing of critical systems
  • Architectural description languages, models, and notations
  • Design techniques for software safety and security
  • Testing and analysis of critical systems
  • Self-healing and self-protecting critical systems
  • Evolution and maintenance of critical systems
  • Fault tolerant software design
  • Industrial reports, case studies, and application domains
  • Formal methods, model checking, and theorem proving for critical software design
  • Emerging techniques for the construction of critical systems (MDE, AOP, etc.)


Submissions

We solicit two types of submissions: regular papers and position papers.

  • Regular papers should describe original and significant results of theoretical, empirical, conceptual, or experimental research or of experience from industrial practice. Reflecting the practical emphasis of ISARCS, papers showcasing applications along with a sound conceptual contribution are welcome. Regular papers are limited to 10 pages.
  • Position papers describe novel ideas or innovative proposals whose aim is to stimulate discussion related to experiences and ideas, rather than to present mature results. Position papers are limited to 6 pages.

All accepted contributions will be published in the ACM digital library. Papers should respect the standard ACM format for conference proceedings. Manuscripts must be submitted through the Easychair submission system.


All contributions will be subject to a rigorous selection process by the international Program Committee, with an emphasis on originality, usefulness, practicality and overall quality. Papers must not have been previously published or be currently submitted elsewhere. If accepted, the paper must be personally presented at the ISARCS 2013 conference by one of the authors in order to appear in the proceedings.


The best contribution of the conference will receive the ACM SIGSOFT Distinguished Paper Award, given by the ACM Special Interest Group on Software Engineering.