科技创业家
科技創業傢
과기창업가
TECHNOLOGICAL PIONEERS
2014年
2期
150-151,256
,共3页
CAN总线%位定时%同步%时间自动机%UPPAAL
CAN總線%位定時%同步%時間自動機%UPPAAL
CAN총선%위정시%동보%시간자동궤%UPPAAL
应用UPPAAL理论对CAN总线位定时与同步机制进行形式化建模方法研究。给出一种基于CAN2.0总线协议位时间的优化方法，在此基础上设计出相应的时间时动机模型，实现位定时和同步的功能。
應用UPPAAL理論對CAN總線位定時與同步機製進行形式化建模方法研究。給齣一種基于CAN2.0總線協議位時間的優化方法，在此基礎上設計齣相應的時間時動機模型，實現位定時和同步的功能。
응용UPPAAL이론대CAN총선위정시여동보궤제진행형식화건모방법연구。급출일충기우CAN2.0총선협의위시간적우화방법，재차기출상설계출상응적시간시동궤모형，실현위정시화동보적공능。
