-------- Original Message -------- Subject: [computational.science] Call for Papers -- International Symposium on Architecting Critical Systems, June 2012 Date: Thu, 19 Jan 2012 11:49:13 +0100 From: Javier Lopez jlm@lcc.uma.es Organization: "ICCSA" To: Computational Science Mailing List computational.science@lists.iccsa.org

*** APOLOGIES FOR CROSS POSTINGS ***

C A L L F O R P A P E R S

Third International Symposium on Architecting Critical Systems (ISARCS 2012) Bertinoro, Italy, June 26-28, 2012 http://www.nics.uma.es/ISARCS12

-- Federated with COMPARCH 2012 --

ISARCS is at the third edition and it is the perfect venue for exchanging ideas on both theory and practice for architecting critical systems. Architecting these systems has the big challenge to guarantee both the perceived and objective dependability and security even accepting service degradation. This requires trade-off among the various attributes of dependability and security that cannot be considered in isolation. We are interested in submissions from both industry and academia, including, but not limited to, the following main areas:

Architectural styles and patterns Architectural support for evolution Aspects-oriented development Assurance-based development Automotive and avionic systems Component-based development Critical infrastructures E-commerce, e-business, and e-government Embedded, mobile, and ubiquitous systems Extensible ADLs Fault injection Industrial case studies, challenges, problems, and solutions Inspection techniques Integration of processes, tools, and analysis techniques Integrators (wrappers) for dependability Model checking Model-driven development Redundancy and diversity Runtime checks Self-healing Survivability and error confinement Testing and simulation Theorem proving Tolerating architectural mismatches Type checking techniques

Paper submissions: Accepted contributions will be published in the ACM Digital Library. Papers should not exceed 10 pages, must be written in English, and prepared according to the ACM style (http://www.acm.org/sigs/publications/proceedings-templates). Papers must not have been previously published or currently submitted elsewhere for publication. If accepted, the paper must be personally presented at ISARCS 2012 by one author. Submissions will be made through the EasyChair on-line submission system (see website).

IMPORTANT DATES Abstract submission: February 14, 2012 Paper submission: February 21, 2012 Authors notification: April 9, 2012 Camera-Ready version: May 1, 2012

PC CHAIRS Jorge Cuellar, SIEMENS CT, Germany Javier Lopez, University of Malaga, Spain

GENERAL CHAIRS Vincenzo Grassi, Università di Roma Tor Vergata, Italy Raffaela Mirandola, Politecnico di Milano, Italy

PROGRAM COMMITTEE Rami Bahsoon (University of Birmingham, UK) Marco Bernardo (University of Urbino, Italy) Wing-Kwong Chan (City University of Hong Kong, Hong Kong) Michel R.V. Chaudron (Leiden University, The Netherlands) Erik de Vink (TUE, The Netherlands) Massimo Felici (The University of Edinburgh, UK) Anthony Hall (Praxis Critical Systems, UK) Bernhard Hämmerli (Acris GmbH/HSLU&HIG, Switzerland) Valérie Issarny (INRIA, UR de Rocquencourt, France) Christian D. Jensen (TUD, Denmark) Tim Kelly (University of York, UK) John C. Knight(University of Virginia, US) Yves Le Traon (University of Luxembourg, Luxembourg) Jorge Lopez (INDRA, Spain) Volkmar Lotz (SAP, France) Fabio Martinelli (CNR, Italy) Fabio Massacci (University of Trento, Italy) Martin Naedele (ABB, Switzerland) Sebastian Nanz (ETH Zurich, Switzerland) Bashar Nuseibeh (Open University, UK) Flavio Oquendo (European University of Brittany, France) Patrizio Pelliccione (University of L’Aquila, Italy) Sampath Prahladavaradan (India Science Lab, India) Ernesto Pimentel (University of Malaga, Spain) Richard V. Robinson (Boeing, US) Erich Rome (Fraunhofer IAIS, Germany) Bill Roscoe (Oxford University, UK) Roshana Roshandel (Seattle University, US) Carsten Rudolph (Fraunhofer SIT, Germany) Bernhard Rumpe (RWTH Aachen University, Germany) John Rushby (SRI, US) Riccardo Scandariato (KUL, Belgium) Bran Selic (Malina Software, Canada) Roberto Setola (Università Campus Bio-Medico, Italy) Danny Weyns (Linnaeus University, Sweden) Martin Wirsing (LMU, Germany) Stephen Wolthusen (Royal Holloway, UK)