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.
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; Aerospace system dependability; Dependable software for life critical applications
