14、操作系统与虚拟机管理程序资格认证及保证案例生成方法解析

操作系统与虚拟机管理程序资格认证及保证案例生成方法解析

在当今科技飞速发展的时代，物联网技术广泛应用于各个领域，操作系统（OS）和虚拟机管理程序（HV）作为其基础，承担着管理时间关键和安全关键应用的艰巨任务。同时，在航空航天、医疗等高度监管的行业，保证案例（ACs）成为证明产品可靠性的重要手段。下面将详细介绍操作系统与虚拟机管理程序的资格认证方法以及保证案例的自动化生成框架。

操作系统与虚拟机管理程序资格认证方法

应用领域与适用标准

该资格认证方法的应用领域涵盖了所有需要基于无线技术、传感器、实时视频图像、云计算和机器对机器通信的新型车载和地面电子系统的应用领域，典型的如铁路和汽车领域。
- 铁路领域 ：采用欧洲安全标准EN 50128，近期的服务包括通过自动信号远程监控无人驾驶列车的速度和制动，如远程访问机车车辆数据系统；还有监测自动门操作的系统（如西门子系统）、控制空调的系统（如东芝系统）等。此外，荷兰的铁路运营商已开始监测乘客数量以控制站台和火车站的占用情况，列车车轮和刹车上的传感器可检测异常振动以预防事故，铁路基础设施中的传感器能检测温度、天气条件甚至地震等自然灾害。
- 汽车领域 ：基于国际标准ISO 26262，物联网技术广泛应用，如现代车辆的GPS通信、事故时的自动紧急呼叫、汽车中的虚拟驾驶舱和信息娱乐系统等。使用实时操作系统（RTOS）和HV系统可以通过将安全相关应用与非安全相关应用隔离来提高安全和保障水平。
- 一般工业领域 ：遵循IEC 61508标准，涵盖使用电气、电子和可编程电子技术（E/E/PE）的系统的功能