DEPEND 2009

=The Second International Conference on Dependability=
 * DEPEND 2009
 * June 18-23, 2009 - Athens, Greece

Most of critical activities in the areas of communications (telephone, Internet), energy & fluids (electricity, gas, water), transportation (railways, airlines, road), life related (health, emergency response, and security), manufacturing (chips, computers, cars) or financial (credit cards, on-line transactions), or refinery& chemical systems rely on networked communication and information systems. Moreover, there are other dedicated systems for data mining, recommenders, sensing, conflict detection, intrusion detection, or maintenance that are complementary to and interact with the former ones.

With large scale and complex systems, their parts expose different static and dynamic features that interact with each others; some systems are more stabile than others, some are more scalable, while others exhibit accurate feedback loops, or are more reliable or fault-tolerant.

Inter-system dependability and intra-system feature dependability require more attention from both theoretical and practical aspects, such as a more formal specification of operational and non-operational requirements, specification of synchronization mechanisms, or dependency exception handing. Considering system and feature dependability becomes crucial for data protection and recoverability when implementing mission critical applications and services.

Static and dynamic dependability, time-oriented, or timeless dependability, dependability perimeter, dependability models, stability and convergence on dependable features and systems, and dependability control and self-management are some of the key topics requiring special treatment. Platforms and tools supporting the dependability requirements are needed.

The international conference on dependability, DEPEND 2009, is based on the positive participation and feedback at DEPEND 2008 workshop that addressed new approaches dealing with today's limitations and potential solutions.

As a particular case, design, development, and validation of tools for incident detection and decision support became crucial for security and dependability in complex systems. It is challenging how these tools could span different time scales and provide solutions for survivability that range from immediate reaction to global and smooth reconfiguration through policy based management for an improved resilience. Enhancement of the self-healing properties of critical infrastructures by planning, designing and simulating of optimized architectures tested against several realistic scenarios is also aimed.

To deal with dependability, sound methodologies, platforms, and tools are needed to allow system adaptability. The balance dependability/adaptability may determine the life scale of a complex system and settle the right monitoring and control mechanisms. Particular challenging issues pertaining to context-aware, security, mobility, and ubiquity require appropriate mechanisms, methodologies, formalisms, platforms, and tools to support adaptability.

Improvement of the risk and crisis management in critical infrastructures is achieved by the design of new models, countermeasures, and incident management tools. These new models will help to mitigate the cascading and escalading effects induced by different kind of dependencies present in communication and information systems. Development of decision support tools for critical infrastructures should be validated by scenarios based on different case studies.

We are looking for contributions on the actual trends in coping with these new challenges within the research community and industry. We expect some lessons learnt and description of the results coming from different R&D projects (e.g., like ones in the EC 6th Framework Program), or any other worldwide initiatives. We hope we will be able to identify the gaps between the needs and today's available solutions along with new challenges and potential for future directions.

DEPEND 2009 will provide a forum for detailed exchange of ideas, techniques, and experiences with the goal of understanding the academia and the industry trends related to the new challenges in dependability on critical and complex information systems.

Researchers, designers and administrators, product and service developers, and other interested persons from academia, industry, and the government are welcome and encouraged to participate with unpublished contributions in areas including, but not limited to:

Topics

 * Dependability facets
 * Fundamentals on dependability
 * Formalisms for dependability
 * Managing and control in dependable systems
 * Inter-system and intra-system dependability
 * Operational and non-operational requirements
 * Software and hardware dependability
 * Dependability design and specification
 * Synchronization mechanisms and dependency exception handing
 * Data protection, recoverability, fault-tolerance
 * Trust and dependability
 * Static and dynamic dependability
 * Time-oriented or time-agnostic dependability
 * Dependability perimeter and dependability models
 * Stability and convergence on dependable features and systems
 * Dependability discovery
 * Dependability control and self-management
 * Dependability degradation of running software and services


 * Adaptability and (self)adaptability
 * Fundamental models and adaptability mechanisms
 * Principles of (self)adaptability
 * Adaptive replication models and protocols
 * Adaptable structures and behaviors
 * Context-aware adaptability
 * Perceived dependability and adaptability
 * Adaptive and reflexive models and protocols
 * Management and control of (self)adaptable systems
 * Platforms and tool supporting (self)adaptability
 * Autonomic and autonomous adaptation
 * Adaptability and dependability
 * Dependability and adaptability for functional and non-functional features
 * Adaptability and dependability gap
 * Adaptability and dependability as complementing features
 * Context-aware adaptable and dependable design
 * Inter- and intra-systems transactions
 * Enforcing mechanisms for application level fault tolerance
 * Explicit and implicit control of quality of service and contracts
 * Dependability and adaptability in cloud and autonomic computing
 * Verification and validation of highly adaptable and dependable systems
 * Scalability aspects in dependable and adaptable systems
 * Research projects and topics on dependability and adaptability
 * Standards on system dependability and adaptability


 * Dependability and security
 * Integration of security, dependability, and adaptability concepts
 * Building and preserving scalable, secure and resilient architectures
 * Security models/architectures and threat models
 * Trade-off and negotiation of dependability and security properties
 * Dependability modeling and dynamic management policies
 * Verification and validation (including model checking) of dependable software architectures
 * Real time detection and recovery capabilities against intrusions, malfunctions and failures
 * Redundancy and reconfiguration architectures
 * Integrated response architectures
 * Planning of optimal configurations for anticipated operational modes
 * Modeling of networks and Information Systems
 * Simulation of modeled configurations
 * Fast reconfiguration with priority to critical services
 * Incident (including intrusion) detection and quick containment


 * Trust and system dependability
 * Semantics and models of trust
 * Dynamics of trust
 * Trust negotiation and management
 * Trusted systems from untrusted parts
 * Trust-based secure architectures
 * Trust metrics assessment and threat analysis
 * Trust in peer-to-peer and open source systems
 * Trust in mobile networks
 * Trust management, reputation management, and identity management
 * Trust, security, and dependability


 * Dependability, adaptability, and new technologies
 * Dependability and adaptability in service oriented architectures
 * Principles for adaptive and dependable distributed systems
 * Dependability and adaptability in P2P and overlay systems
 * Middleware protocols and mechanisms to support adaptability and dependability
 * Adaptability and dependability in mobile and pervasive systems
 * Service composition in highly dependable and adaptable environments
 * Dynamic, loosely-coupled, and ad-hoc environments
 * Group membership services in failure scenarios with network partitions
 * Social networks and dependability in dynamic communities
 * Cross-organization heterogeneity

INSTRUCTION FOR THE AUTHORS
The DEPEND 2009 Proceedings will be published by IEEE Computer Society Press and on-line via IEEE XPlore Digital Library. IEEE will index the papers with major indexes. Authors of selected papers will be invited to submit extended versions to one of the IARIA Journals.

Important deadlines

 * Submission (full paper)	January 20, 2009
 * Authors notification	February 25, 2009
 * Registration	March 15, 2009
 * Camera ready	March 20, 2009

Final author manuscripts will be 8.5" x 11" (two columns IEEE format), not exceeding 6 pages; max 4 extra pages allowed at additional cost. The formatting instructions can be found on the Instructions page. Helpful information for paper formatting can be found on the here.

Once you receive the notification of paper acceptance, you will be provided by the IEEE CS Press an online author kit with all the steps an author needs to follow to submit the final version. The author kits URL will be included in the letter of acceptance.

Poster Forum
Posters on work-in-progress are welcome. Please submit the contributions following the instructions for the regular submissions using the "Submit a Paper" button and selecting the track/workshop preference as "POSTER : Poster Forum". Contributors are invited to submit up to four-page papers, following the conference deadlines, describing early research and novel skeleton ideas in the areas of the conference topics.

Technical marketing/business/positioning presentations
The conference initiates a series of business, technical marketing, and positioning presentations on the same topics. Speakers must submit a 10-12 slide deck presentations with substantial notes accompanying the slides, in the .ppt format (.pdf-ed). The slide deck will be published in the conference�??s CD collection, together with the regular papers. Please send your presentations to petre@iaria.org.

Tutorials
Tutorials provide overviews of current high interest topics. They should be about three hours long. One page with the title, tutorial summary, and a short bio are expected. Please send your proposals to petre@iaria.org

Panel proposals
The organizers encourage scientists and industry leaders to organize dedicated panels dealing with controversial and challenging topics and paradigms. Panel moderators are asked to identify their guests and manage that their appropriate talk supports timely reach our deadlines. Moderators must specifically submit an official proposal, indicating their background, panelist names, their affiliation, the topic of the panel, as well as short biographies.

Workshop proposals
We welcome workshop proposals on issues complementary to the topics of this conference. Your requests should be forwarded to petre@iaria.org.

DEPEND Advisory Chairs

 * has advisory chair::Petre Dini, Cisco Systems, Inc., USA / Concordia University, Canada
 * has advisory chair::Bjarne E. Helvik, The Norwegian University of Science and Technology (NTNU) – Trondheim, Norway
 * has advisory chair::Jianhua Ma, Hosei University, Japan
 * has advisory chair::Aljosa Pasic, ATOS Origin, Spain

DEPEND 2009 Industry Research Chairs

 * has industry research chair::Ramendra K. Sahoo, IBM T.J. Watson Research Center - Hawthorne, USA
 * has industry research chair::Michiaki Tatsubori, IBM Research - Tokyo Research Laboratory, Japan
 * has industry research chair::Hans P. Zima, Jet Propulsion Laboratory/California Institute of Technology - Pasadena, USA // University of Vienna, Austria

DEPEND 2009 Technical Program Committee

 * Chairs
 * has program chair::Antonio F. Gómez Skarmeta, University of Murcia, Spain
 * has program chair::Yoshiaki Kakuda, Hiroshima City University, Japan
 * has program chair::Marco Vieira, University of Coimbra, Portugal


 * Members
 * has PC member::Marco Domenico Aime, Politecnico di Torino, Italy
 * has PC member::José Enrique Armendáriz-Iñigo, Universidad Pública de Navarra, Spain
 * has PC member::Elisa Bertino, Purdue University - West Lafayette, USA
 * has PC member::Stefan Beyer, Universidad Politecnica de Valencia, Spain
 * has PC member::Andrea Bondavalli, Università di Firenze, Italy
 * has PC member::Vicent Cholvi, Universitat Jaume I – Castellón, Spain
 * has PC member::António Casimiro Costa, Universidade de Lisboa, Portugal
 * has PC member::Bojan Cukic, West Virginia University, USA
 * has PC member::Rubén de Juan-Marín, Universitat Politècnica de València, Spain
 * has PC member::Changyu Dong, Imperial College London, UK
 * has PC member::Schahram Dustdar, Vienna University of Technology, Austria
 * has PC member::Nuno Ferreira Neves, Universidade de Lisboa, Portugal
 * has PC member::Desprez Frédéric, ENS-Lyon / INRIA, France
 * has PC member::Alexander Felfernig, University Klagenfurt, Germany
 * has PC member::Lorenz Froihofer, Vienna University of Technology, Austria
 * has PC member::Cristina Gacek, Newcastle University, Newcastle upon Tyne, UK
 * has PC member::Holger Giese, Hasso-Plattner-Institut-Potsdam, Germany
 * has PC member::Antonio F. Gómez Skarmeta, University of Murcia, Spain
 * has PC member::Karl M. Goeschka, Vienna University of Technology, Austria
 * has PC member::Artur Hecker, TELECOM ParisTech, France
 * has PC member::Bjarne E. Helvik, The Norwegian University of Science and Technology (NTNU) – Trondheim, Norway
 * has PC member::Michael Hobbs, Deakin University - Geelong, Australia
 * has PC member::Jiun-Long Huang, National Chiao Tung University, Taiwan
 * has PC member::Wenjian (William) Jiang,  Orange Labs Beijing, China
 * has PC member::Hai Jin, Huazhong University of Science and Technology - Wuhan, China
 * has PC member::Yoshiaki Kakuda, Hiroshima City University, Japan
 * has PC member::Mani Krishna, University of Massachusetts, USA
 * has PC member::Israel Koren, University of Massachusetts - Amherst, USA
 * has PC member::Inhwan Lee, Hanyang University - Seoul, Korea
 * has PC member::Clement Leung, Victoria University - Melbourne, Australia
 * has PC member::Keqiu Li, Dalian University of Technology, China
 * has PC member::Shyue-Kung Lu, Fu-Jen Catholic University - Taipei, Taiwan, Republic of China
 * has PC member::Jianhua Ma, Hosei University, Japan
 * has PC member::Henrique Madeira, Coimbra University, Portugal
 * has PC member::Istvan Majzik, Budapest University of Technology and Economics, Hungary
 * has PC member::Miroslaw Malek, Humboldt-Universitaet zu Berlin, Germany
 * has PC member::Nikola Milanovic, Technical University of Berlin, Germany
 * has PC member::Geyong Min, University of Bradford, UK
 * has PC member::Francesc D. Munoz-Escoi, Universitat Politècnica de València, Spain
 * has PC member::Jogesh K. Muppala, The Hong Kong University of Science and Technology, Hong Kong
 * has PC member::Syed Naqvi, CETIC, Belgium
 * has PC member::Mats Neovius, Åbo Akademi University, Finland
 * has PC member::Thu D. Nguyen, Rutgers University, USA
 * has PC member::Aljosa Pasic, ATOS Origin, Spain
 * has PC member::Paolo Carlo Pomi, Politecnico di Torino, Italy
 * has PC member::Sergio Pozo Hidalgo, University of Seville, Spain
 * has PC member::Wolfgang Pree, University of Salzburg, Austria
 * has PC member::Calton Pu, Georgia Institute of Technology, USA
 * has PC member::Gerald Quirchmayr, University of Vienna, Austria
 * has PC member::Ramendra K. Sahoo, IBM T.J. Watson Research Center - Hawthorne, USA
 * has PC member::Reijo Savola, VTT Technical Research Centre of Finland, Finland
 * has PC member::Raimondo Schettini, Università degli Studi di Milano-Bicocca, Italy
 * has PC member::Dimitrios Serpanos, University of Patras, Greece
 * has PC member::Isabelle Simplot-Ryl, University of Lille 1, France
 * has PC member::Arun K Somani, Iowa State University, USA
 * has PC member::Kuo-Feng Ssu, National Cheng Kung University - Tainan, Taiwan, Republic of China
 * has PC member::Vladimir Stantchev, Berlin Institute of Technology, Germany
 * has PC member::Kymie Tan, Carnegie Mellon University, USA
 * has PC member::Michiaki Tatsubori, IBM Research - Tokyo Research Laboratory, Japan
 * has PC member::Kishor S. Trivedi, Duke University – Durham, USA
 * has PC member::Ian Troxel, SEAKR Engineering, Inc., USA
 * has PC member::Timothy Tsai, Hitachi Global Storage Technologies, Japan
 * has PC member::Tatsuhiro Tsuchiya, Osaka University, Japan
 * has PC member::Sara Tucci-Piergiovanni, “La Sapienza” University of Rome, Italy
 * has PC member::Marco Vieira, University of Coimbra, Portugal
 * has PC member::Szu-Chi Wang, National Ilan University - Yilan, Taiwan
 * has PC member::Hee Yong Youn, Sungkyunkwan University - Suwon, Korea
 * has PC member::Wojciech Zamojski, Wroclaw University of Technology, Poland
 * has PC member::Hans P. Zima, Jet Propulsion Laboratory/California Institute of Technology - Pasadena, USA // University of Vienna, Austria