A Scalable Safety Critical Control Framework for Nonlinear Systems
نویسندگان
چکیده
منابع مشابه
A Framework for Scheduling in Safety-Critical Embedded Control Systems
This paper describes an approach that has been developed over a number of years for the task of scheduling systems and providing evidence that the timing requirements are met. The approach has been targeted at the safetycritical systems domain, and more specifically the development of jet engine control systems. The work has resulted in a computational model that supports the reuse of legacy sy...
متن کاملSafety in Supervisory Control for Critical Systems
Recent studies show the designs of automated systems are becoming increasingly complex to meet the global competitive market. Additionally, organizations have focused on policies to achieve people’s safety and health, environmental management system, and controlling of risks, based on standards. In this context, any industrial system in the event of a fault that is not diagnosed and treated cor...
متن کاملA Framework for Software Safety Metrics in Critical Systems
EXTENDED ABSTRACT Safety-critical systems are those systems whose failure could result in loss of life, significant property damage, or damage to the environment. There are many well known examples in application areas such as medical devices, aircraft flight control, weapons, and nuclear systems. A safety critical system is a system where human safety is dependent upon the correct operation of...
متن کاملA tool-supported design framework for safety critical interactive systems
LIIHS-IRIT, University Toulouse 3, 118 route de Narbonne, 31062 Toulouse Cedex 4, France. {navarre, palanque, bastide}@irit.fr Abstract This paper presents a design framework for safety critical interactive systems, based on a formal description technique called the ICO (Interactive Cooperative Object) formalism. ICO allows for describing, in a formal way, all the components of highly interacti...
متن کاملSelecting a Topology for Safety-Critical Real-Time Control Systems
In recent years the functionality required of computer based control systems for safetycritical real-time applications has increased dramatically. Inevitably this has led to an explosion in the complexity of such systems and an understanding, in both academia and industry, that existing design methods are no longer adequate. One design issue that has traditionally been addressed in an ad hoc an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Access
سال: 2020
ISSN: 2169-3536
DOI: 10.1109/access.2020.3025248