Safety design of IoT operating system based on linear temporal logic

• Main Authors: Zhang Huaqiang, Li Kaihang, Wang Jigang
• Format: Article
• Language: zho
• Published: National Computer System Engineering Research Institute of China 2020-02-01
• Series: Dianzi Jishu Yingyong
• Subjects: iot operating system; classical linear temporal logic; theory of formal model detection; safety design
• Online Access: http://www.chinaaet.com/article/3000115462

In this paper, according to the requirement of safety design of IoT(Internet of Things) operating system, combined with the research and engineering practice of classical linear temporal logic, logic programming and theory of formal model detection, a methodology for safety design of IoT operating system is proposed, and the engineering prototype is validated. Practice has proved that the effect of this method is in line with expectations. It is not only suitable for the safety design of IoT operating system, but also can be further extended to other areas of software product design with high safety requirements.