-
题名采用CCSL仿真与分析反应式系统事件链模型
- 1
-
-
作者
潘诚
黄志球
王珊珊
王梓
-
机构
南京航空航天大学计算机科学与技术学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2017年第8期1718-1723,共6页
-
基金
国家自然科学基金项目(61272038)资助
国家"八六三"高技术研究发展计划项目(2015AA015303)资助
软件新技术与产业化协同创新中心资助
-
文摘
目前,能够对汽车电子领域中复杂嵌入式系统安全关键软件功能建模和时间分析的方法尚在研究中,而这些系统作为反应式控制系统,应该确保其具有准确的、可分析的时间行为.时钟约束规范语言CCSL是反应式系统的标准描述语言中描述时钟约束的规范语言.采用CCSL时钟模型对事件链模型中的时间约束进行分析与仿真;设计了事件链模型到时钟模型的转换规则,将事件链中的时间约束表达为时钟模型的时间约束;使用CCSL仿真工具Time Square对转换得到的时钟模型进行仿真分析,验证事件链是否满足相应的时间约束.
-
关键词
反应式系统
事件链
时间约束
ccsl
-
Keywords
reactive system
event chain
time constraint
clock constraint specification longunge （ccsl）
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名安全关键的信息物理系统中时序行为的组合与精化
- 2
-
-
作者
陈博
李曦
周学海
-
机构
中国科学技术大学软件学院
中国科学技术大学计算机科学与技术学院
-
出处
《计算机研究与发展》
EI
CSCD
北大核心
2023年第8期1895-1911,共17页
-
基金
国家自然科学基金项目(61772482)。
-
文摘
信息物理系统(cyber physical systems, CPS)通常被应用于安全关键的场景中,需要进行实时监控,并计算反馈信息,实现对外部环境的自动控制与管理.基于模型驱动的开发方法是针对实时的、异构的CPS进行开发的,而模型的可组合性是其中的核心关键点.针对时序行为的可组合问题,首先通过时序约束语言(clock constraint specification language, CCSL)建立系统的时序行为需求模型,在此基础上通过迁移系统描述CCSL的时序行为语义,并给出其组合操作方法及可组合性的形式化定义.进一步地,对时序行为进行精化操作,给出从时序行为需求模型到任务执行模型的转换方法.同时,基于L*方法对模型行为进行学习,实现组合验证以缓解状态爆炸问题,并验证精化后模型的可组合性.最后通过仿真实验及主从智能小车实例对精化与验证方法进行评估.相关数据显示,精化与组合验证方法在处理时间和内存使用上具有一定的性能优势.
-
关键词
信息物理系统
时序约束语言
组件的可组合性
L*算法
时序行为精化
-
Keywords
cyber physical system(CPS)
clock constraint specification language(ccsl)
composiability of component
L*algorithm
refinement of timing behavior
-
分类号
TP311.5
[自动化与计算机技术—计算机软件与理论]
-
