Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
207,867
Combining Statecharts and Z for the Design of Safety-Critical Control Systems
- IN FORMAL METHODS EUROPE (FME96), VOLUME 1051 OF LNCS
, 1996
"... In this report, we describe an approach that integrates a mathematical specification language with more traditional software design techniques to yield a practicable methodology for the specification of safety-critical control systems. To manage complexity and to foster separation of concerns, ..."
Abstract
-
Cited by 18 (4 self)
- Add to MetaCart
In this report, we describe an approach that integrates a mathematical specification language with more traditional software design techniques to yield a practicable methodology for the specification of safety-critical control systems. To manage complexity and to foster separation of concerns
Risk analysis of safety-critical control systems 227 RISK ANALYSIS OF SATETY-CRITICAL CONTROL SYSTEMS
"... Summary: This paper deals with problems associated with risks analysis of a safety-critical control system. In the paper there are introduced recommendations enabling practical enforceability of risk analysis by the assurance of sufficient objectivity level. In the initial phases of the system life ..."
Abstract
- Add to MetaCart
Summary: This paper deals with problems associated with risks analysis of a safety-critical control system. In the paper there are introduced recommendations enabling practical enforceability of risk analysis by the assurance of sufficient objectivity level. In the initial phases of the system
Analyzing the Impact of Data Errors in Safety-Critical Control Systems
, 2003
"... this paper focus#3 on unders#xkS2S6 the impact of computer level dataerrors ons#FF6k dependability(Errors caus#r by faults in the computer nodes are oftenclas#MkF4 as either dataerrors# or timing errors# A data error occurs when the computer node delivers data thatis incorrect, and a timing error oc ..."
Abstract
- Add to MetaCart
occurs when the computer delivers data at an incorrect point in time. Inthis paper, we focus theanalys#S to the impact of dataerrors ons#Mk tem dependability. Methods for analyzing thee#ects of timingerrors on controls#olMF2 werepres#F ted in e.g., [5], [10].)
Towards a metric for the assessment of safety critical control systems
- in Proc. 2008 AIAA Guidance, Navigation and Control Conference
"... There is a need for better integration of the fault tolerant and the control designs for safety critical systems such as aircraft. The dependability of current designs is assessed primarily with measures of the interconnection of fault tolerant components: the reliability function and the mean time ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
There is a need for better integration of the fault tolerant and the control designs for safety critical systems such as aircraft. The dependability of current designs is assessed primarily with measures of the interconnection of fault tolerant components: the reliability function and the mean time
A Control Theory Approach for Analyzing the Effects of Data Errors in Safety-Critical Control Systems
- In Proceedings of the Pacific Rim International Symposium on Dependable Computing
, 2002
"... Computers are increasingly used for implementing control algorithms in safety-critical embedded applications, such as engine control, braking control and flight surface control. Addressing the consequent coupling of control performance with computer related errors, this paper develops a composite co ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Computers are increasingly used for implementing control algorithms in safety-critical embedded applications, such as engine control, braking control and flight surface control. Addressing the consequent coupling of control performance with computer related errors, this paper develops a composite
Abstract Establishing Formal Regulatory Requirements for Safety-Critical Software Certification
"... Formal methods are usually used for computer system specification, production and verification. In this paper, a new direction for the use of formal methods is proposed, namely formalization of the regulatory requirements for software of safety-critical control systems. Formal regulatory requirement ..."
Abstract
- Add to MetaCart
Formal methods are usually used for computer system specification, production and verification. In this paper, a new direction for the use of formal methods is proposed, namely formalization of the regulatory requirements for software of safety-critical control systems. Formal regulatory
System and Software Safety in Critical Systems
, 1996
"... The safety aspects of computer-based systems as increasingly important as the use of software escalates because of its convenience and flexibility. However the complexity of even modestly sized programs is such that the elimination of errors with a high degree of confidence is extremely difficult. T ..."
Abstract
-
Cited by 9 (0 self)
- Add to MetaCart
. There are a number of approaches to enhancing safety in safety-critical control systems. These are surveyed and compared with particular emphasis on systems with software in the controlling system. A glossary of terms and an extensive bibliography for further reading are included.
Application of Formal Methods for Establishing Regulatory Requirements for Safety-Critical Software of Real-Time Control Systems
, 2001
"... Formal methods are usually used for computer system specification, production and verification. In this paper, a new direction for the use of formal methods is proposed, namely formalization of the regulatory requirements for software of safety-critical real-time control systems. Formal regulatory r ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
Formal methods are usually used for computer system specification, production and verification. In this paper, a new direction for the use of formal methods is proposed, namely formalization of the regulatory requirements for software of safety-critical real-time control systems. Formal regulatory
Multivariable Feedback Control: Analysis
- span (B∗) und Basis B∗ = { ω1
, 2005
"... multi-input, multi-output feed-back control design for linear systems using the paradigms, theory, and tools of robust con-trol that have arisen during the past two decades. The book is aimed at graduate students and practicing engineers who have a basic knowledge of classical con-trol design and st ..."
Abstract
-
Cited by 564 (24 self)
- Add to MetaCart
multi-input, multi-output feed-back control design for linear systems using the paradigms, theory, and tools of robust con-trol that have arisen during the past two decades. The book is aimed at graduate students and practicing engineers who have a basic knowledge of classical con-trol design
On optimistic methods for concurrency control
- ACM Transactions on Database Systems
, 1981
"... Most current approaches to concurrency control in database systems rely on locking of data objects as a control mechanism. In this paper, two families of nonlocking concurrency controls are presented. The methods used are “optimistic ” in the sense that they rely mainly on transaction backup as a co ..."
Abstract
-
Cited by 546 (1 self)
- Add to MetaCart
Most current approaches to concurrency control in database systems rely on locking of data objects as a control mechanism. In this paper, two families of nonlocking concurrency controls are presented. The methods used are “optimistic ” in the sense that they rely mainly on transaction backup as a
Results 1 - 10
of
207,867
