身處一個(gè)“計(jì)算”進(jìn)化的時(shí)代,智能“大腦”將改變我們的生產(chǎn)生活方式。記者從5月8日舉行的“2013中國(guó)國(guó)際嵌入式大會(huì)”上獲悉,華東師范大學(xué)與中國(guó)電子科技集團(tuán)公司第三十二研究所聯(lián)合建立的“國(guó)家可信嵌入式軟件工程技術(shù)研究中心”正式落戶上海,將助推我國(guó)重大裝備制造業(yè)的轉(zhuǎn)型升級(jí)。
2012年,中國(guó)航天發(fā)射19箭28星(船),而這背后的導(dǎo)航與控制、遙測(cè)遙控?cái)?shù)據(jù)管理、地面測(cè)試發(fā)射等核心技術(shù),都離不開(kāi)高性能嵌入式系統(tǒng)。據(jù)介紹,嵌入式系統(tǒng)是指把計(jì)算機(jī)嵌入到應(yīng)用系統(tǒng)的專用設(shè)備,是裝備數(shù)字化、智能化的核心。而可信嵌入式軟件則是經(jīng)過(guò)精確建模與嚴(yán)格驗(yàn)證的嵌入式軟件,關(guān)系到嵌入式系統(tǒng)(特別是裝備制造類設(shè)備)的安全與可靠性,主要應(yīng)用在工業(yè)控制、汽車(chē)電子、軌道交通、航空航天、國(guó)防裝備等安全關(guān)鍵行業(yè)。作為基礎(chǔ)性和戰(zhàn)略性技術(shù),可信嵌入式軟件是國(guó)家工業(yè)化與信息化 “兩化融合”戰(zhàn)略中發(fā)展最快、應(yīng)用最廣的關(guān)鍵技術(shù)。
作為新一代IT發(fā)展、提升價(jià)值鏈高端地位的關(guān)鍵技術(shù),可信嵌入式軟件是推動(dòng)我國(guó)高端裝備產(chǎn)業(yè)由“中國(guó)制造”向“中國(guó)創(chuàng)造”轉(zhuǎn)型升級(jí)的關(guān)鍵因素。但作為核心關(guān)鍵的嵌入式軟件的技術(shù)水平、產(chǎn)品水平和保障體系還沒(méi)有達(dá)到安全關(guān)鍵系統(tǒng)的行業(yè)安全規(guī)范要求,嚴(yán)重制約了我國(guó)高端裝備產(chǎn)業(yè)的自主發(fā)展。組建“國(guó)家工程中心”不僅是國(guó)家自主創(chuàng)新戰(zhàn)略、產(chǎn)業(yè)轉(zhuǎn)型升級(jí)和國(guó)家安全的迫切需要,同時(shí)也是技術(shù)、人才、學(xué)科協(xié)同創(chuàng)新發(fā)展的迫切需要。