Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 238,051,361 papers from all fields of science
Search
Sign In
Create Free Account
Dependability
Known as:
Dependable systems
In systems engineering, dependability is a measure of a system's availability, reliability, and its maintainability, and maintenance support…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
26 relations
Accessibility
Brian Randell
Byzantine fault tolerance
Confidentiality
Expand
Broader (1)
Formal methods
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2010
2010
Evaluation of a Guideline by Formal Modelling of Cruise Control System in Event-B
Sanaz Yeganefard
,
M. Butler
,
A. Rezazadeh
NASA Formal Methods
2010
Corpus ID: 10486634
Recently a set of guidelines, or cookbook, has been developed for modelling and refinement of control problems in Event-B. The…
Expand
2008
2008
Event-driven manufacturing: Unified management of primitive and complex events for manufacturing monitoring and control
Karen Walzer
,
J. Rode
,
Daniela Wunsch
,
Matthias Groch
IEEE International Workshop on Factory…
2008
Corpus ID: 13525154
Events are an integral part of todays manufacturing supervision and control software. However, state-of-the-art event management…
Expand
2007
2007
Inner-Circle Consistency for Wireless Ad Hoc Networks
C. Basile
,
Z. Kalbarczyk
,
R. Iyer
IEEE Transactions on Mobile Computing
2007
Corpus ID: 2037529
This paper proposes and evaluates strategies to build reliable and secure wireless ad hoc networks. Our contribution is based on…
Expand
2007
2007
Mobile Robotics for Offshore Automation
B. Graf
,
K. Pfeiffer
,
K. Pfeiffer
2007
Corpus ID: 15021854
This paper describes application areas for mobile service robots in offshore oil and gas producing environments, requirements and…
Expand
2003
2003
The Ratification by the United Kingdom of the European Charter for Regional or Minority Languages. Mercator Working Papers.
R. Dunbar
2003
Corpus ID: 150416921
TITLE The Ratification by the United Kingdom of the European Charter for Regional or Minority Languages. Mercator Working Papers…
Expand
Highly Cited
2001
Highly Cited
2001
Linking improvement models to manufacturing strategies - a methodology for SMEs and other enterprises
M. Barad
,
D. Gien
2001
Corpus ID: 55425516
Small Manufacturing Enterprises (SMES) are of major importance to the future economic growth of the European Community. To…
Expand
2000
2000
Innovation in use: Interleaving day-to-day operation and systems development
A. Voss
,
R. Procter
,
Robin Williams
2000
Corpus ID: 17586948
User-centred approaches to information systems development presume a particular division of labour between 'users' and 'designers…
Expand
2000
2000
TOWARDS A DEFINITION OF SURVIVABILITY
J. Knight
,
K. Sullivan
2000
Corpus ID: 16918287
1998
1998
An implementation model for time-triggered message-triggered object support mechanisms in CORBA-compliant COTS platforms
E. Shokri
,
P. Crane
,
Kane Kim
IEEE International Symposium on Real-Time…
1998
Corpus ID: 6104108
Object-oriented analysis and design methodologies have become popular in development of non-real-time business data processing…
Expand
1993
1993
Validation of personality and cognitive measures for insurance claims examiners
S. Arneson
,
Mary Millikin-Davies
,
J. Hogan
1993
Corpus ID: 128358040
Claims Examiners are critical for the profitability of large insurance companies. Mistakes in hiring these people can result in…
Expand