The safety-critical systems we are building today employ software, use physical and
cybernetic components, and have more interactions (including hierarchical controllers) …

The idea of keeping a vehicle safe and secure throughout its whole life cycle, as well as
having the opportunity to add functionality after initial delivery, is the key motivation behind …

Scenario-based verification defines the current state of the art for examining a vessel's
control systems for reliability and safety. However, software updates after release can only …

随着软件定义汽车时代的到来, 汽车软件升级技术应用的必要性愈发突出,
为了避免汽车软件在线升级中潜在的安全风险, 车辆制造商需保证产品在线升级(OTA) 的安全性 …

In recent years, the complexity and sophistication of electronic and Electrical (E/E) systems
in modern vehicles have been rapidly increasing. As a result, the need for a robust and …

Over-The-Air Software Updates (OTASU) provide huge benefits in terms of user experience,
security, and efficiency. In fact, in the railway domain the ability of remotely updating railway …

新型汽车电子电气架构下的车载软件需具备可复用, 易扩展, 松耦合, 兼容互操作等特点.
为了将汽车电子控制单元(ECU) 上的应用程序抽象为服务, 以开源的分布式通信中间件VSOME …

Partitioning the software artifacts is a powerful technique to enhance modularity and
manage the complexity of software systems. In the automotive industry, software partitioning …

Over-The-Air (OTA) updates play an essential role in the lifecycle management of modern
Cyber Physical Systems (CPSs). They are deployed in short time periods to fix bugs and …

Due to the ongoing legislative shift towards mandated cybersecurity for road vehicles, the
automotive cybersecurity engineering standard ISO/SAE 21434 is seeing fast adoption …