电竞投注

电竞投注southwest jiaotong university school of mathematics

系统可信性自动验证国家…

电竞投注  >  学术科研  >  科研平台  >  系统可信性自动验证国家…

系统可信性自动验证国家地方联合工程实验室

national-local joint engineering laboratory of system credibility automatic verification 


xitongkexinxingzidongyanzhengguojiadifanglianhegongchengshiyanshiyu2016nian10yuehuoguojiafagaiweipizhundianjingtouzhu,shizaisichuanshengxitongkexinxingzidongyanzhenggongchengshiyanshi(yousichuanshengfagaiweiyu2014nianpizhunchengli)dejichushangshenggeercheng。shiyanshiweiraoxinxianquandezhongdaxuqiu,zaiyuanchuangdezidongtuilitixiweihexinjichudezhichengxia,xingchengkexueyouxiaodexitongkexinxingzidongyanzhengjishu,yanfaxitongkexinxingzidongyanzhenggongjujizhenduizhongyaolingyudezhuanyongyanzhengxitong,baituoxitongkexinxingzidongyanzhengjishuduiguowaideyilai,tigaodianjingtouzhuguozaikexinxingyanzhenglingyudezizhuchuangxinnengli,weixitongdekexinyunxingtigongkexuejishubaozhang。

shiyanshixingchengleyizhiyixuyangjiaoshouweixueshudaitourendeyanjiutuandui,zhuyaocongshikexinxingzidongyanzhenglingyudexiangguanlilunyujishuyanjiu,tongshichengdanboshihouhezuoyanjiu、boshiyushuoshi、fangwenxuezhedengrencaipeiyanggongzuo。shiyanshizhuzhongguojidianjingtouzhuhezuo,yuyingguoulsterdaxuegongtongjianlile“advanced machine intelligence(xianjinjiqizhineng)”lianheyanjiuzhongxin,bingyuyingguojianqiaodaxue、niujindaxueyijiduogeguojiadezhimingyuanxiaojianlilemiqiedexueshudianjingtouzhuyuhezuoguanxi。 

       

实验室现拥有形式化系统、自动推理系统和可信性自动验证三个研发平台,其研发成果居国际先进水平。

shiyanshizizhuyanfalechengxukexinxingzidongyanzhenggongjuscavel。gaigongjujuyouzhijieyanzhengyuanma、yanzhengxuqiushezhilinghuo、cuowudingweizhunque、kuaisugaoxiaodetedian,keyanzhengc、plcchengxuzhongdeshuzuyuejie、beilingchu、youfuhaozhengshuyichu、fudianshuyichudengquexian。scavelyiweishejihangkonghangtian、guofangjungong、hegongye、weixingdaohang、guidaojiaotong、xinxidianzidenglingyudeduogedanweitigongleyanzhengdianjingtouzhu,qixiaoguoxianxianleyanzhenggongjudeduyounengli。

  


national-local joint engineering laboratory of system credibility automatic verification was approved by the national development and reform commission in 2016. this engineering laboratory is an upgraded version of the system credibility automatic verification engineering lab of sichuan province approved by sichuan provincial development and reform commission in 2014. eyeing on the great demand of the information security industry, the laboratory establishes the effective technology of system credibility automatic verification and develops system credibility automatic verification tools and special verification systems for the important areas based on the novel automated reasoning system, which can get rid of the dependence of the system credibility automatic verification technology on foreign countries, and improve the independent innovation capability of china in the field of credibility verification, and provide the scientific and technical support for the reliability of the system.

the laboratory has established a research team with professor xu yang as the academic leader. it mainly engages in the research on the theories and techniques of automated verification of credibility, and also undertakes the training work of postdoctoral research cooperation, doctor, master, visiting scholar and so on. in addition, laboratory pays great attention to international communication and cooperation. it has established the advanced machine intelligence joint research center with ulster university in uk, and the close academic communication and cooperation relationship with the university of cambridge, university of oxford and other well-known universities.

the laboratory now has built three research and development platforms, which are formalization system platform, automatic reasoning system platform, credibility automatic verification platform, and its research and development results have reached the advanced international level.

电竞投注 the laboratory has developed the program credibility automatic verification tool scavel. this tool has some important properties, e.g., direct verification of the source code, flexible setting for validation requirements, accurate fault location, high efficiency and it can verify multiple defects for c and plc program such as array bounds, divide by zero, signed integer overflow, floating point overflow, etc. scavel has provided verification services for multiple units from aerospace, defense industry, nuclear industry, satellite navigation, rail transportation, information electronics and other fields, which shows its unique ability.






电竞投注-电竞赛事投注平台 电竞投注-电竞赛事投注平台 电竞投注-电竞赛事投注平台 电竞投注-电竞赛事投注平台 电竞投注-电竞赛事投注平台 电竞投注-电竞赛事投注平台 电竞投注-电竞赛事投注平台