Certification of Autonomous Systems
نویسندگان
چکیده
Many proposed autonomous systems are safety critical and will have to be certified before they can be operated. This paper reviews the challenges that autonomous systems pose for safety and the current state of relevant safety standards, concluding that autonomous system certification is possible under current regimes, but difficult given current safety analysis techniques. Some promising techniques are reviewed.
منابع مشابه
Certification of Autonomous Systems under UK Military Safety Standards
There is growing interest in many sectors in developing highly autonomous systems such as Unmanned Air Vehicles (UAVs) with significant in-mission executive power. Such systems have the potential to replace humans in a variety of dangerous tasks, but there is concern that the combination of novel technologies with demanding tasks and unpredictable environments will lead to new safety challenges...
متن کاملBi-Directional Safety Analysis for Product-Line, Multi-Agent Systems
Safety-critical systems composed of highly similar, semi-autonomous agents are being developed in several application domains. An example of such multi-agent systems is a fleet, or “constellation” of satellites. In constellations of satellites, each satellite is commonly treated as a distinct autonomous agent that must cooperate to achieve higher-level constellation goals. In previous work, we ...
متن کاملCertification for Autonomous Vehicles
The landscape of certification in the auto industry reflects the necessity to keep consumers safe. Currently, certification of new vehicles depends on an ability to pass rigorous testing of components for durability and reliability in case of a crash. There currently exist no definitive standards that dictate best practices for software found in vehicles and responses to autonomous technology i...
متن کاملPERIODIC SOLUTIONS OF CERTAIN THREE DIMENSIONAL AUTONOMOUS SYSTEMS
There has been extensive work on the existence of periodic solutions for nonlinear second order autonomous differantial equations, but little work regarding the third order problems. The popular Poincare-Bendixon theorem applies well to the former but not the latter (see [2] and [3]). We give a necessary condition for the existence of periodic solutions for the third order autonomous system...
متن کاملRotation number and its properties for iterated function and non-autonomous systems
The main purpose of this paper is to introduce the rotation number for non-autonomous and iterated function systems. First, we define iterated function systems and the lift of these types of systems on the unit circle. In the following, we define the rotation number and investigate the conditions of existence and uniqueness of this number for our systems. Then, the notions rotational entropy an...
متن کامل