保罗·帕金森

本周早些时候，我有机会参加第二国际米尔斯国际研讨会：建筑和安全系统的保证在布拉格，由此组织EURO-MILS联盟，并与HiPEAC 2016会议嵌入式和通用体系结构的计算体系结构、编程模型、编译器和操作系统。

我非常感兴趣的是听到关于使用多个独立的安全水平在最近的项目中，特别是在日益多样化的应用程序中，使用mil体系结构。这不再仅仅用于高保障的民用和军事应用，而是越来越多地用于其他系统，其中网络安全正成为越来越重要的要求。这些应用包括地球观测卫星、能源智能电网系统以及汽车仪表盘应用。

讲习班期间也有一些反复出现的主题;其中最引人注目的是可兼容性．这是在a组成系统的设计这样MILS系统中的一个部件就可以被另一个部件取代。还有关于组成安全认证，以及如何使用“不干涉组合评估”方法进行这一工作。这些方法可以使可重用组件的开发成为可能，这些组件可以用于以可承受的成本开发高保证系统。

一些发言者还提到越来越多地使用架构分析与设计语言（AADL）在MILS系统的发展中。AADL专为分布式实时分布式系统的规范，分析，设计和汽车代码生成而设计，近年来已用于复杂的安全关键航空电子系统的开发。有趣的是，听到AADL和成熟工具集支持的经验可用于MIL系统的系统建模。

我也有机会发表一篇论文"mil在多核航空电子系统中的应用，讨论了P4080多核处理器上mil的设计和实现考虑，以及一些mil的实现用例，包括a跨域系统(CDS)网络网关，并整合飞机数据网络域。如果您正在计划开发一个需要支持多个域/安全分类的系统，那么您可能希望考虑阅读它。

最后，我不能不趁此机会跑到外面，为这座迷人的城市拍几张照片，即使是雪、冰和零度以下的气温也不足以让我停下脚步，沿着Most Legií (Legion Bridge)跑去拍几张照片布拉格城堡。