期刊文献+

基于吸收态马尔可夫链的智能无人车系统实时性能分析

Real-time Performance Analysis of Intelligent Unmanned Vehicle System Based on Absorbing Markov Chain
下载PDF
导出
摘要 随着人工智能技术的进步和人机物融合系统的发展,智能无人车系统成为了新一代人工智能研究的前沿。智能无人车系统根据车辆和环境数据进行实时决策以控制无人车运行,因而该系统具有较高的实时性能要求,对系统实时性的分析是保障系统安全可靠的方法之一。为了对智能无人车系统的实时性能进行分析,以智能无人车变道系统为例,首先使用MARTE模型对智能无人车变道系统进行建模,在系统设计早期就引入性能需求参数;然后,通过模型转换将MARTE模型转化为吸收态马尔可夫链;最后,利用吸收态马尔可夫链的相关理论和公式综合估算了智能无人车系统的实时性能指标,并针对影响整个系统实时性的关键模块进行了分析。实验结果表明,文中所提模型和分析方法可以较好地分析智能无人车系统的实时性能。分析发现系统中智能模块的准确率与响应时间相互制约,在不同的运行场景下需要找到二者之间的平衡点以获得更优的实时性能。 With the advancements of artificial intelligence technology and the development of human-cyber-physical systems,intelligent unmanned vehicle systems are becoming the forefront of the new generation of artificial intelligence research.The intelligent unmanned vehicle system performs real-time decision based on vehicle and environmental data to control the unmanned vehicle.Therefore,the intelligent unmanned vehicle system has high real-time performance requirements.Analysis of the real-time performance of the system is one of the methods to ensure the safety and reliability of this kind of system.In order to analyze the real-time performance of the intelligent unmanned vehicle system,this paper takes the intelligent unmanned vehicle lane changing system as a scenario.First,the MARTE model is used to model the intelligent unmanned vehicle lane changing system,and the performance requirements parameters are added in the early system design.Then,through model transformation,the MARTE model is transformed into an absorption Markov chain.Finally,the relevant theories and formulas of the absorption Markov chain are used to comprehensively estimate the real-time performance indicators of the intelligent unmanned vehicle system,and analyze the key modules that affect the real-time performance of the entire system.The experimental results show that the model and analysis method proposed in the article can better analyze the real-time performance of the intelligent unmanned vehicle system.The analysis found that the accuracy and response time of the intelligent modules in the system restrict each other,and it is necessary to find a balance between the two in different operating scenarios to obtain better real-time performance.
作者 吴培培 吴兆贤 唐文兵 WU Pei-pei;WU Zhao-xian;TANG Wen-bing(School of Information Science and Technology,Zhejiang Sci-Tech University,Hangzhou 310018,China;Software Engineering Institute,East China Normal University,Shanghai 200062,China)
出处 《计算机科学》 CSCD 北大核心 2021年第S02期147-153,共7页 Computer Science
基金 国家自然科学基金项目(61210004,61170015)。
关键词 智能无人车系统 MARTE模型 吸收态马尔可夫链 实时性能分析 Intelligent unmanned vehicle system MARTE model Absorbing Markov chain Real-time performance analysis
  • 相关文献

参考文献2

二级参考文献13

  • 1Gokhale S S, Trivedi K S. Analytical models for architecture- based software reliability prediction: A unification framework [J]. IEEE Transactions on Reliability, 2006,55 (4) : 578-590.
  • 2Booch G, Rumbaugh J, Jacobson I. Unified Modeling Language User Guide[M]. New York: Addison Wesley, 2005.
  • 3OMG. UML Profile for MARTE, Beta 2 [OL]. http://www. org/cgi-bin/doc?ptc/2008-06-08.
  • 4Cortellessa V, Singh H, Cukic B. Early reliability assessment of UML based software models[C]//Proceedings of the 3rd Inter- national Workshop on Software and Performance. Rome, Italy:ACM,2002:302-309.
  • 5Genaina N R, David S R. Sebastian Uchitel. Reliability Predic- tion in Model-Driven Development[C]//Proceedings of the 8th International Conference on Model Driven Engineering Langua- ges and Systems. Berlin: Springer, 2005 : 339-354.
  • 6Cheung R C. A User-Oriented Software Reliability Model[J]. IEEE Transactions on Software Engineering, 1980, 6 ( 2 ) .. 118- 125.
  • 7Majzik I, Pataricza A, Bondavalli A. Stochastic dependability a- nalysis of system architecture based on UML Models[J]. Archi- tecting Dependable Systems, 2003,2677 : 219-244.
  • 8Forejt V, Kwiatkowska M, Norman G, et al. Automated Verifi- cation Techniques for Probabilistic Systems[-C3//Proceedings of llth International School on Formal Methods for the Design of Computer, Communication and Software Systems (SFM 2011 ). Bertinoro, Italy,Springer, 2011 : 53-113.
  • 9Kwiatkowska M, Norman G, Parker D. PRISM 4. 0:Verification of Probabilistie Realtime Systems[C]//Proceedings of 23rd In- ternational Conference on Computer Aided VerifieatiorL Berlin.. Springer, 2011 : 585-591.
  • 10FMPAer[OL]. http://lcs, ios. ac. cn/~zxy/tools/fmpaer, htm.

共引文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部