安全攸关软件的验证
航空电子软件安全认证是通过基于目标的标准实现的。
航空电子软件已成为当今飞机设计的基石。航空电子系统的进步减轻了飞机重量，从而降低了燃料消耗，实现了精确导航，提高了发动机性能，并带来了许多其他好处。这些进步已将现代飞机变成了飞行数据中心，计算机控制或监控着机载的许多关键系统。运行这些飞机系统的软件必须尽可能安全。
LINQ 的世界观
大数据不仅仅关乎规模，LINQ 完全可以胜任这项任务。
构建 Web 和云应用程序的程序员将来自传感器、社交网络、用户界面、电子表格和股票行情自动收录器等多种不同来源的数据连接在一起。 大部分数据不适合传统关系数据库的封闭和干净的世界。 它太大、非结构化、反规范化并且实时流式传输。 首先，在所有这些不同的数据模型和查询语言中呈现统一的编程模型似乎是不可能的。 然而，通过关注共性而不是差异，大多数数据源将接受某种形式的计算来过滤和转换数据集合。
硬件系统设计中的抽象
使用 Bluespec SystemVerilog 将软件语言的经验应用于硬件语言
软件工程的历史是不断发展抽象机制以应对日益增长的复杂性的历史。 然而，硬件设计并非如此先进。 例如，两种最常用的 HDL 可以追溯到 20 世纪 80 年代。 标准的更新在类型、封装和参数化等结构抽象方面落后于现代编程语言。 它们的行为语义甚至更加落后。 它们是根据在单处理器冯·诺依曼机器上运行的事件驱动模拟器指定的。
如何提高安全性？
这不仅仅是一年刷牙一次的问题。
我们最近在工作中遇到了安全漏洞，现在整个 IT 部门都在争先恐后地提高安全性。 整个事件暴露出的一个问题是，太多的安全建议是通用的。 这就像被告知晚上出门时要锁门，但没有说明你应该拥有哪种锁或多少把锁才足以保护你的房子。 我认为现在大多数人都知道他们需要锁门，那么为什么没有更多关于保护系统的具体指南呢？