由北京市自然科學基金資助的第二屆高可靠性嵌入式系統(tǒng)-可靠性預測與驗證國際會議于9月20日-24日(RPAV2010)在首都師范大學北一區(qū)國際文化大廈成功舉行。本次會議由首都師范大學、加拿大Concordia University HVG、美國Ridgetop Group INC和高可靠嵌入式系統(tǒng)技術(shù)北京市工程研究中心共同主辦,中科院國家天文臺、香港理工大學、北京化工大學、北京漢迪龍科技有限公司協(xié)辦。來自中國、美國、加拿大等國家的大學、研究機構(gòu)以及相關(guān)企事業(yè)單位的80多名專家學者出席了此次會議。本次會議也是2010年北京市自然科學基金成立二十年系列國際學術(shù)交流活動之一。
研究苛刻環(huán)境電子系統(tǒng)對國家戰(zhàn)略安全和國民經(jīng)濟發(fā)展均具有重要的意義和迫切的技術(shù)需求。本次會議圍繞高可靠性和苛刻環(huán)境的應(yīng)用領(lǐng)域、芯片和電子系統(tǒng)的設(shè)計的可信性、硬件設(shè)計的形式化驗證方法(包括等價性驗證、模型驗證、理論驗證)、如何科學而準確地預測芯片、電源、電子線路板、電子系統(tǒng)和設(shè)備的生命周期、故障可預測性MTTF/MTBF如何實現(xiàn)、技術(shù)服務(wù)與人才培養(yǎng)等問題進行廣泛而深入的學術(shù)交流。
會議為高可靠性嵌入式系統(tǒng)領(lǐng)域?qū)<覍W者搭建了良好的交流平臺,促進了中美兩國、中加兩國在高可靠嵌入式系統(tǒng)領(lǐng)域的研究與技術(shù)合作。