Posted on behalf of Valeria Vittorini ([email protected]).[Apologies for cross-posting] **************************************************************************** Call for Papers SAFECOMP 2011 - The 30th International Conference on Computer Safety, Reliability and Security http://www.safecomp2011.unina.it/ 19-21 September 2011 Naples, Italy **************************************************************************** Technically co-sponsored by IEEE Computer Society In cooperation with ACM SIGBED and SIGSAC ---------------------------------------------------------------------------------------------------------------- 2011 KEY THEME: "Safety and security of computer-based systems and infrastructures: from risk assessment to threat mitigation" ---------------------------------------------------------------------------------------------------------------- The criticality of computers employed in complex information infrastructures and control systems is rapidly growing. Complexity is a result of size, distributionand heterogeneity. Size refers to the number of functionalities requested to modern computers, which imply larger programs and databases. Distribution is an effect of the need for networked ubiquitous devices required by modern applications. Heterogeneity is given by the diverse hardware and software architectures involved in the design. The criticality attribute is related to the domains in which computer systems operate, whereas a failure can cause a significant loss of money, injuries, kills or even disastrously events. In addition to the problems posed by the use of computers for safety critical applications, the conference will also address the new challenges of complex information infrastructures with special emphasis to vulnerability to attacks and consequent cascading effects. Among other things, in order to enhance the effectiveness and efficiency of the development and assessment process, model-based or model-driven techniques are needed which support holistic analyses at different stages of system life-cycle, through abstraction, hierarchy and modularity. Those techniques should be such to enable a rigorous (possibly automated) systemic process allowing engineers to design and fine-tune appropriate costeffective countermeasures starting from the risk assessment results. The 30th edition of SAFECOMP focuses on the challenges arising from the need of protecting critical computer-based systems, and on the themes related to: the resilience of critical systems, the relationships between fault tolerance and self-healing, the definition and application of threat mitigation approaches and strategies.
Topics of interest include, but are not limited to: Application and Industrial Sectors: control, networking & telecommunication, railways, robotics and autonomous systems in general, medical devices and systems, e-health, off-shore technology, ship building, power systems, critical infrastructures, security of safety-critical systems, safety guidelines and standards, education & training. Research Areas: safety & security risk assessment, design for dependability, diversity, fault tolerance, verification & validation, testing, qualification and certification, modelling and simulation, human factors, dependability analysis, networked (distributed) embedded systems, safety-critical computer systems, resilient (robust) systems, physical and cyber threats, vulnerability analysis, dependency and interdependency modelling and metrication, cascading effects. Especially papers on industrial experience and practice are encouraged. ---------------------------------------------------------------------------------------------------------------- Conference Proceedings and Journal Special Issue ---------------------------------------------------------------------------------------------------------------- The conference proceedings will be published by Springer in the LNCS series (http://www.springer.de/comp/lncs/) and made available at the conference. Authors of selected best papers will be invited to submit a revised and extended version to a special issue of the International Journal on Reliability Engineering and System Safety (RESS) published by Elsevier. ---------------------------------------------------------------------------------------------------------------- Important Dates ---------------------------------------------------------------------------------------------------------------- * February 27, 2011: Paper Abstract due * March 21, 2011: Full paper due * April 15, 2011: Tutorial/Workshop proposals due * May 9, 2011: Author notification * June 13, 2011: Camera-ready ---------------------------------------------------------------------------------------------------------------- Submission Information ---------------------------------------------------------------------------------------------------------------- Authors are invited to submit a half-page abstract announcing the intention to submit a full paper and summarizing the content of the paper, its objectives and original contribution. Full papers must not exceed the maximum length of 14 pages to be edited according to the LNCS templates provided by Springer-Verlag at the web site: http://www.springer.de/comp/lncs/ ---------------------------------------------------------------------------------------------------------------- Chairs ---------------------------------------------------------------------------------------------------------------- * EWICS Chair: - Francesca Saglietti (Univ. of Erlangen-Nuremberg) * Program Committee Chairs: - Francesco Flammini (Ansaldo STS) - Sandro Bologna (ENEA) * Local Chairs: - Nicola Mazzocca (Univ. of Naples Federico II) - Concetta Pragliola (Ansaldo STS) - Roberto Setola (Univ. Campus Biomedico di Roma) - Valeria Vittorini (Univ. of Naples Federico II) * Honorary Chairs: - Giovanni Bocchetti (Ansaldo STS) - Giorgio Franceschetti (Univ. of Naples Federico II) - Antonino Mazzeo (Univ. of Naples Federico II) ---------------------------------------------------------------------------------------------------------------- General Inquires ---------------------------------------------------------------------------------------------------------------- For more detailed and updated information, please refer to http://www.safecomp2011.unina.it/ or contact the conference secretariat at: [email protected]
---- [[ Petri Nets World: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/ ]] [[ Mailing list FAQ: ]] [[ http://www.informatik.uni-hamburg.de/TGI/PetriNets/pnml/faq.html ]] [[ Post messages/summary of replies: ]] [[ [email protected] ]]
