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 |