1、隨著全球數(shù)據(jù)爆炸式增長(zhǎng)，巨大的增長(zhǎng)速度使數(shù)據(jù)難以處理與存儲(chǔ)。大數(shù)據(jù)時(shí)代已經(jīng)來(lái)臨。大數(shù)據(jù)涉及于眾多領(lǐng)域中，如Web文本文件、Web日志、電子商務(wù)、社交網(wǎng)絡(luò)、天文學(xué)、傳感器網(wǎng)絡(luò)、基因組學(xué)、醫(yī)療記錄、視頻監(jiān)控等等。因而大數(shù)據(jù)需要在多領(lǐng)域中處理分析。另外，大數(shù)據(jù)也帶來(lái)新的機(jī)遇，大數(shù)據(jù)中隱藏著數(shù)據(jù)的潛在價(jià)值信息，需要通過(guò)大數(shù)據(jù)技術(shù)挖掘提取。同時(shí)大數(shù)據(jù)也導(dǎo)致了新的挑戰(zhàn)，如數(shù)據(jù)集如何有效組織與管理。信息物理融合系統(tǒng)（Cyber-Physical Sy

2、stem，簡(jiǎn)稱(chēng)CPS）由美國(guó)自然基金委員會(huì)在2006年率先提出。CPS是基于對(duì)周?chē)h(huán)境的感知，融合了通信、計(jì)算和控制三大功能的可控、可信、可拓展的網(wǎng)絡(luò)化物理設(shè)備的系統(tǒng)，它使用計(jì)算進(jìn)程和物理進(jìn)程的反饋循環(huán)，來(lái)實(shí)現(xiàn)融合與實(shí)時(shí)交互，并擴(kuò)展或增加新的功能，以可靠、安全、實(shí)時(shí)和高效的方式檢測(cè)或控制物理實(shí)體。CPS對(duì)計(jì)算、通信、控制三者進(jìn)行綜合協(xié)作，把計(jì)算單元與物理單元的緊密結(jié)合，實(shí)現(xiàn)對(duì)復(fù)雜系統(tǒng)的動(dòng)態(tài)控制和實(shí)時(shí)感知。
　　本文結(jié)合大數(shù)據(jù)與信息

3、物理融合系統(tǒng)，使用結(jié)構(gòu)分析與設(shè)計(jì)語(yǔ)言AADL，對(duì)以列車(chē)自動(dòng)控制系統(tǒng)為例的信息物理融合系統(tǒng)進(jìn)行建模，并對(duì)系統(tǒng)進(jìn)行分析、擴(kuò)展與驗(yàn)證。文章的內(nèi)容包括:對(duì)大數(shù)據(jù)與信息物理融合系統(tǒng)進(jìn)行分析，其中包括大數(shù)據(jù)的6V屬性，MapReduce模型、實(shí)時(shí)技術(shù)與基于云的信息物理融合系統(tǒng)，另外提出基于大數(shù)據(jù)的信息物理融合系統(tǒng)建模需求，接著使用AADL結(jié)合大數(shù)據(jù)對(duì)時(shí)空模型、動(dòng)態(tài)連續(xù)性與故障模型等進(jìn)行擴(kuò)展分析，然后以列車(chē)自動(dòng)控制系統(tǒng)為例，使用AADL對(duì)基于大數(shù)據(jù)的