身處一個(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ù)，都離不開高性能嵌入式系統(tǒng)。據(jù)介紹，嵌入式系統(tǒng)是指把計(jì)算機(jī)嵌入到應(yīng)用系統(tǒng)的專用設(shè)備，是裝備數(shù)字化、智能化的核心。而可信嵌入式軟件則是經(jīng)過精確建模與嚴(yán)格驗(yàn)證的嵌入式軟件，關(guān)系到嵌入式系統(tǒng)（特別是裝備制造類設(shè)備）的安全與可靠性，主要應(yīng)用在工業(yè)控制、汽車電子、軌道交通、航空航天、國(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)品水平和保障體系還沒有達(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ā)展的迫切需要。