|
|
 |
The Third International Conference on Dependability DEPEND 2010 July 18 - 25, 2010 - Venice/Mestre, Italy |
|
| Details: |
|
All CPS Publications are included in the IEEE Xplore All CPS Publications are archived in IEEE Computer Society Digital Library (CSDL) Authors of selected papers will be invited to submit extended versions to a IARIA Journal |
All tracks/topics are open to both research and industry contributions.
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
