计算机研究与发展
計算機研究與髮展
계산궤연구여발전
JOURNAL OF COMPUTER RESEARCH AND DEVELOPMENT
2011年
z2期
242-246
,共5页
信息物理融合系统%可信%形式化方法%面向方面技术
信息物理融閤繫統%可信%形式化方法%麵嚮方麵技術
신식물리융합계통%가신%형식화방법%면향방면기술
信息物理融合系统(CPS)连接物理世界和计算系统,由计算核心监控,是一种物理进程和计算进程紧密结合的系统.对CPS的研究目前还处于初步探索阶段,还没有完整的理论框架和技术体系,关于CPS系统的正确性以及安全性的研究尤其空缺.针对这一问题,结合形式化方法和面向方面技术,初步提出一种可信的CPS设计框架,并阐述了该框架的主要设计过程及需要解决的关键问题.
信息物理融閤繫統(CPS)連接物理世界和計算繫統,由計算覈心鑑控,是一種物理進程和計算進程緊密結閤的繫統.對CPS的研究目前還處于初步探索階段,還沒有完整的理論框架和技術體繫,關于CPS繫統的正確性以及安全性的研究尤其空缺.針對這一問題,結閤形式化方法和麵嚮方麵技術,初步提齣一種可信的CPS設計框架,併闡述瞭該框架的主要設計過程及需要解決的關鍵問題.
신식물리융합계통(CPS)련접물리세계화계산계통,유계산핵심감공,시일충물리진정화계산진정긴밀결합적계통.대CPS적연구목전환처우초보탐색계단,환몰유완정적이론광가화기술체계,관우CPS계통적정학성이급안전성적연구우기공결.침대저일문제,결합형식화방법화면향방면기술,초보제출일충가신적CPS설계광가,병천술료해광가적주요설계과정급수요해결적관건문제.
