Wildfires are a common problem in many areas of the world with often catastrophic consequences. A number of systems have been created to provide early warnings of wildfires, including those that use satellite data to detect fires. The increased availability of small satellites, such as CubeSats, allows the wildfire detection response time to be reduced by deploying constellations of multiple satellites over regions of interest. By using machine learned components on-board the satellites, constraints which limit the amount of data that can be processed and sent back to ground stations can be overcome. There are hazards associated with wildfire alert systems, such as failing to detect the presence of a wildfire, or detecting a wildfire in the incorrect location. It is therefore necessary to be able to create a safety assurance case for the wildfire alert ML component that demonstrates it is sufficiently safe for use. This paper describes in detail how a safety assurance case for an ML wildfire alert system is created. This represents the first fully developed safety case for an ML component containing explicit argument and evidence as to the safety of the machine learning.
翻译:野火是世界许多地区常见的一个常见问题,往往造成灾难性后果。许多系统已经建立起来,以提供野火预警,包括使用卫星数据探测火灾的系统。小型卫星(如CubeSats)的可用性增加,使得野火探测反应时间通过在感兴趣的区域部署多颗卫星星座而缩短。卫星上使用机器学习的部件,限制可处理并发回地面站的数据数量的限制是可以克服的。野火警报系统存在危险,例如未能发现野火的存在,或在错误的地点探测野火。因此,必须能够为野火警报ML部件建立一个安全性案例,证明它足够安全使用。本文详细描述了ML野火警报系统的安全保证案例是如何建立的。这是第一个充分开发的ML部件的安全案例,其中载有关于机器学习安全的明确论据和证据。