Safety design of IoT operating system based on linear temporal logic
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 s...
| Main Authors: | , , |
|---|---|
| Format: | Article |
| Language: | zho |
| Published: |
National Computer System Engineering Research Institute of China
2020-02-01
|
| Series: | Dianzi Jishu Yingyong |
| Subjects: | |
| Online Access: | http://www.chinaaet.com/article/3000115462 |
| Summary: | 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. |
|---|---|
| ISSN: | 0258-7998 |