DEPEND 2011, The Fourth International Conference on Dependability

Home // DEPEND

Type: conference

Notes: IARIA Conference.

Editors:
Pascal Lorenz, University of Haute Alsace, France
Syed Naqvi, CETIC, Belgium

ISSN: 2308-4324

ISBN: 978-1-61208-149-6

Location: Nice/Saint Laurent du Var, France

Dates: from August 21, 2011 to August 27, 2011

Articles: there are 17 articles

Towards Virtual Fault-based Attacks for Security Validation
Regis Leveugle, Mohamed Ben Jrad, and Paolo Maistri
keywords: security, dependability, design time robustness evaluation, SRAM-based FPGAs, ASICs

On Time, Conflict, Weighting, and Dependency Aspects of Assessing the Trustworthiness of Digital Records
Jianqiang Ma, Habtamu Abie, Torbjørn Skramstad, and Mads Nygård
keywords: trustworthiness assessment, trust, digital record management

Specification and Verification of the Triple-Modular Redundancy Fault Tolerant System using CSP
Tan Lanfang, Tan Qingping, and Li Jianli
keywords: TMR System; fault tolerance; verification; CSP

Efficient and scalable steady-state dependability verification
Diana El Rabih and Nihal Pekergin
keywords: Statistical model checking, Perfect simulation, Dependability verification, Continuous Stochastic Logic (CSL)

A Dependable Microcontroller-based Embedded System
Amir Rajabzadeh and Mahdi Vosoughifar
keywords: dependable system; control flow checking method; concurrent error detection; microcontroller-based system; embedded system.

Dependable Ordering Policies for Distributed Consistent Systems
Matei Dobrescu, Manuela Stoian, and Cosmin Leoveanu
keywords: temporal ordering; distributed systems; causal consistency; events structure; clock-vectors

Fuzzy Event Assignment for Robust Context-Aware Workflows
Hannes Wolf, Jonas Palauro, and Klaus Herrmann
keywords: context-aware workflows, dependable event assignment, fuzzy logic

An Automated Wrapper-based Approach to the Design of Dependable Software
Matthew Leeke and Arshad Jhumka
keywords: Importance, Metric, Replication, Variable, Wrappers

An Approach for the Reliability Analysis of Automotive Control Systems
Mikhail Glukhikh, Mikhail Moiseev, and Harald Richter
keywords: reliability analysis; automotive control system

Methodology and Experience for Designing Safety-Related Systems in IEC 61508
Zhe Chen and Gilles Motet
keywords: safety-related system; IEC 61508; functional validity; verification; model checking; formal method; SPIN

Supporting Synthetic Data-Driven Diagnosis through Automated Fault-Injection
Patrick E. Lanigan, Thomas E. Fuhrman, and Priya Narasimhan
keywords: diagnosis, fault-injection, flexray

On Methods for the Formal Specification of Fault Tolerant Systems
Manuel Mazzara
keywords: Methods; Layered Fault Tolerant Specification; Problem Frames; Rely/Guarantee.

Failure Modes and Effect Analysis of Use Cases: A Structured Approach to Engineering Fault Tolerance Requirements
Elena Troubitsyna
keywords: use cases; failure modes and effect analysis (FMEA); fault tolerance; requirements

Timing Failures Caused by Resource Starvation in Virtual Machines
Sune Jakobsson
keywords: Java virtual machines; garbage collection; application servers; resource starvation.

Video Surveillance in the Cloud: Dependability Analysis
Aleksandra Karimaa
keywords: surveillance; cloud; dependability

Diagnostic Fusion for Dependable Vehicle Architectures
Patrick E. Lanigan, Priya Narasimhan, and Thomas E. Fuhrman
keywords: diagnosis; dependable computing; automotive; data fusion

Downtime Analysis of Virtual Machine Live Migration
Felix Salfner, Peter Tröger, and Andreas Polze
keywords: virtual machine, live migration, downtime, load model