操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失....操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。展开更多
基于通用无线分组业务GPRS(General Packet Radio Service)的配电变压器抄表及监测终端(简称终端)采用32位ARM7芯片,硬件分为系统和接口2部分。系统部分主要包括CPU、存储器、实时时钟RTC(Real-Time Clock)芯片、复位及外围等电路;接口...基于通用无线分组业务GPRS(General Packet Radio Service)的配电变压器抄表及监测终端(简称终端)采用32位ARM7芯片,硬件分为系统和接口2部分。系统部分主要包括CPU、存储器、实时时钟RTC(Real-Time Clock)芯片、复位及外围等电路;接口部分包括RS-232/485通信、GPRS模块、红外通信、状态量监测、单总线温度传感器通信等。终端软件基于μC/OS-Ⅱ嵌入式操作系统设计,终端程序采用多任务、多缓冲区结构。论述了CPU/外围接口电路、操作系统移植、多功能电能表抄表、温度监测、GPRS通信、系统数据传输规约等。所设计的终端在现场运行稳定可靠。展开更多
文摘操作系统是整个计算机系统的核心与基石,其可靠性与安全性至关重要.操作系统的故障或漏洞可能会导致系统崩溃、数据丢失、隐私泄露和安全攻击等问题,特别是在安全攸关系统中,一旦操作系统发生错误,就可能会造成重大人员伤亡或财产损失.一直以来,如何保障操作系统的安全性和可靠性对学术界和工业界都是一个重大挑战.目前验证操作系统安全性的方法有软件测试、程序静态分析、形式化方法等.其中,形式化方法是最有潜力确保操作系统安全可信的方法,通过使用形式化方法,建立数学模型并进行系统的形式化分析和验证,从而发现潜在的错误和漏洞.在操作系统中,形式化方法可以用于验证操作系统的功能正确性、完整性以及系统安全性等.在已有的针对操作系统形式化验证的成果基础上,提出了一个面向嵌入式操作系统的形式化验证方案,采用VCC(verified C compiler)、CBMC(C bounded model checker)以及PAT(process analysis toolkit)工具分别对操作系统单元层面、模块层面和系统层面进行验证.该方法已成功应用到某操作系统的任务调度架构案例中,对于嵌入式操作系统的分析验证具有一定的通用性。
文摘基于通用无线分组业务GPRS(General Packet Radio Service)的配电变压器抄表及监测终端(简称终端)采用32位ARM7芯片,硬件分为系统和接口2部分。系统部分主要包括CPU、存储器、实时时钟RTC(Real-Time Clock)芯片、复位及外围等电路;接口部分包括RS-232/485通信、GPRS模块、红外通信、状态量监测、单总线温度传感器通信等。终端软件基于μC/OS-Ⅱ嵌入式操作系统设计,终端程序采用多任务、多缓冲区结构。论述了CPU/外围接口电路、操作系统移植、多功能电能表抄表、温度监测、GPRS通信、系统数据传输规约等。所设计的终端在现场运行稳定可靠。
