Skip to search formSkip to main contentSkip to account menu

Dependability

Known as: Dependable systems 
In systems engineering, dependability is a measure of a system's availability, reliability, and its maintainability, and maintenance support… 
Wikipedia (opens in a new tab)

Related topics

Related topics

26 relations
AccessibilityBrian RandellByzantine fault toleranceConfidentiality

Broader (1)

Formal methods

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2018
2018
Automatic Derivation of Fault Tree Models from SysML Models for Safety Analysis
Safety Critical Systems (SCS) are those systems that may cause harm to the user(s) and/or the environment if operating outside of… 
2010
2010
Optimal Period Length for the CGS Sensor Network Scheduling Algorithm
In Wireless Sensor Networks (WSN), a tradeoff between the network lifetime (limited by energy of sensors) and redundancy of… 
2010
2010
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B
Recently a set of guidelines, or cookbook, has been developed for modelling and refinement of control problems in Event-B. The… 
2007
2007
Inner-Circle Consistency for Wireless Ad Hoc Networks
This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on… 
2007
2007
PfeLib—A Performance Primitives Library for Embedded Vision
This paper presents our work on PfeLib—a high performance software library for image processing and computer vision algorithms… 
Highly Cited
2003
Highly Cited
2003
Multi-Level Fault Injections in VHDL Descriptions: Alternative Approaches and Experiments
The probability of transient faults increases with the evolution of technologies. There is a corresponding increased demand for… 
2003
2003
The Ratification by the United Kingdom of the European Charter for Regional or Minority Languages. Mercator Working Papers.
TITLE The Ratification by the United Kingdom of the European Charter for Regional or Minority Languages. Mercator Working Papers… 
Highly Cited
2001
Highly Cited
2001
Linking improvement models to manufacturing strategies - a methodology for SMEs and other enterprises
Small Manufacturing Enterprises (SMES) are of major importance to the future economic growth of the European Community. To… 
2001
2001
Balancing Discipline and Flexi-bility with The Spiral Model and MBASE
www.stsc.hill.af.mil 23 I his keynote address at the 1996 International Conference on Software Engineering, Tom De Marco… 
2000
2000
Innovation in use: Interleaving day-to-day operation and systems development
User-centred approaches to information systems development presume a particular division of labour between 'users' and 'designers… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)