论文部分内容阅读
目前，能够对汽车电子领域中复杂嵌入式系统安全关键软件功能模和时间约束分析的方法尚在研究中，而这些系统作为实时控制系统，应该确保其具有准确的、可分析的时间行为。时钟约束规范语言CCSL是实时系统的标准描述语言中描述时钟约束的规范语言。采用CCSL规范表达式描述实时系统时间约束；设计了CCSL基本元素到时间自动机基本元素的转换规则；使用时间自用机验证工具UPPAAL对转换得到的自动机模型进行验证分析，验证实时系统是否满足相应的时间约束。