Artifacts of the paper: Detecting Hidden Schedulability Failures in Automotive Application Models With Client-Server Dependencies

These artifacts help perform schedulability analysis of an automotive application model with client-server dependencies. They identify hidden timing failures at early design time.

本数据集包含的分析工件可用于对带有客户端-服务器依赖关系的汽车应用模型开展可调度性分析（schedulability analysis），并可在设计早期阶段识别出隐蔽的时序故障。