Sign for Notice Everyday    Sign Up| Sign In| Link| English|

Our Sponsors

    Receive Latest News

    Feedburner
    Share Us


    ISARCS 2012 - 3rd International ACM Sigsoft Symposium on Architecting Critical Systems

    View: 3151

    Website http://www.nics.uma.es/ISARCS12/ | Want to Edit it Edit Freely

    Category architecture; security; software engineering; critical systems

    Deadline: February 21, 2012 | Date: June 26, 2012-June 28, 2012

    Venue/Country: Bertinoro, Italy

    Updated: 2011-10-19 18:53:47 (GMT+9)

    Call For Papers - CFP

    CALL FOR PAPERS

    3rd 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)

    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)


    Keywords: Accepted papers list. Acceptance Rate. EI Compendex. Engineering Index. ISTP index. ISI index. Impact Factor.
    Disclaimer: ourGlocal is an open academical resource system, which anyone can edit or update. Usually, journal information updated by us, journal managers or others. So the information is old or wrong now. Specially, impact factor is changing every year. Even it was correct when updated, it may have been changed now. So please go to Thomson Reuters to confirm latest value about Journal impact factor.