科研基地

 

国家可信嵌入式软件工程研究中心(筹)

       国家可信嵌入式软件工程技术研究中心于2013年经国家科技部批准建立,由中国电子科技集团第三十二研究所、华东师范大学共同组建,是国内以可信和嵌入式为关键技术的国家级工程研究中心。该中心以中电科32所“锐华”(Reworks)嵌入式操作系统产品和华东师范大学可信计算技术为基础,形成可信嵌入式软件行业规范与标准体系,实施面向可信嵌入式系统的形式化建模分析技术、系统设计与可信集成环境技术、可信度量体系与分析技术、仿真测试与验证评估技术等共性技术研究和平台开发,为嵌入式系统提供可信软件工程技术支撑,提高重大装备自主可控率,推动高端装备行业全面发展。研究成果成功应用于轨道交通、汽车电子、核电控制、工业自动化、航空航天、军事电子装备等安全攸关领域。

 

可信软件国际联合研究中心

        可信软件国际联合研究中心2015年11月经科技部评审认定,这是继教育部可信软件国际合作联合实验室之后,我院可信软件领域获批的第二个省部级以上的国际交流合作基地。可信软件国际联合研究中心是由华东师范大学、法国高师集团、荷兰莱顿大学、荷兰国家数学与计算机中心、法国里昂LIP实验室、法国雷恩IRISA实验室等国际知名高校和研究所共同组建。旨在联合国际优质资源,汇聚国际一流人才,可信软件国际联合研究中心的成立将为我院建设面向国际科技前沿、具有高水平科研开发与合作提供更好的研究平台和更多的发展机遇。我们也将充分发挥我院可信软件理论与应用的研究优势,紧密协同国际国内合作单位,加强与其他国际合作基地的横向联系,优势互补,不断提高国际科技合作水平和学科创新实力。

 

 

 教育部软硬件协同设计与应用工程研究中心

       教育部软硬件协同设计技术与应用工程研究中心于2007年10月获教育部批准,2012年11月通过验收。中国工程院卢锡城院士出任第一届技术委员会主任, 中国科学院何积丰院士担任第二届技术委员会主任。“中心”以华东师范大学为依托,联合上海嵌入式系统研究所,以及各相关企业和机构为伙伴,构建以应用导向的创新平台。

       中心明确以软硬件协同设计技术的研发以及在相关领域应用为目标,从事系统级软硬件协同设计技术与应用,研发涉及物联网以及云计算等信息领域现代研发高地, 除了在高可信芯片设计、软硬件集成后的形式化验证等领域取得了系统研究成果外, 还在智能传感器网络、车载信息采集OBD技术与产品、数字医疗、智慧校园、以及云媒体互动平台等方面取得了具有知识产权可以进行成果转化的研发成果。

 

教育部可信软件国际合作联合实验室

       可信软件国际联合实验室于2015年5月获批筹建,由荷兰莱登大学(Leiden University)、荷兰国家数学和计算机科学研究院 (Research in Mathematics and Computer Science)、法国里昂高师并行计算实验室 (Laboratory of Parallel Computing)、法国国家信息与自动化研究所 (National Institute for Research in Computer and Control)以及我校等单位共同组建。国际联合实验室将围绕国家自主可控安全软件产业的发展战略,深入开展可信软件理论、可信嵌入式系统、数据可信处理、信息安全这四个方向的研究。通过积聚国内外学术界与工业界的资源,在产出高水平科研成果的同时,培养高层次人才,促进可信软件学科的发展,服务国内的战略需求,推动可信软件产业的发展,逐步把实验室打造成为可信软件领域国际一流的学研产中心。

 

上海市高可信计算重点实验室

        2007年12月获准筹建上海市高可信计算重点实验室,建立了成熟的研究队伍(拥有中国科学院院士1人、国家杰青2人、国家自然科学二等奖获得者2人、上海市青年科技启明星3人、上海曙光学者2人、教授18人、博士生导师15人),承担了国家973项目6项、863项目6项(其中军口项目2项)、国家自然基金项目21项,上海市科委研究项目12项,部委项目4项。上海市高可信计算重点实验室在2009年7月顺利通过验收会,实验室在高可信计算理论、可信软件构造平台、可信计算应用等三个研究方向上取得了显著成绩,凝聚了高水平人才,发表了一批高质量的学术论文,获得了多项重点科研项目,共主办了八次国际学术会议,学术交流活跃,并按照实验室“开放、流动、联合、竞争”的运行机制,积极开展航天、海洋、金融等领域相关的可信计算应用研究。

 

上海市可信物联网软件协同创新中心

       2012年6月获上海市教育委员会批准筹建,2014年10月通过验收获得批准。中心主要围绕国家科技战略与产业振兴在物联网领域的规划,结合上海市高新技术产业对物联网基础设施建设的需求,实施面向安全关键系统的物联网软件可信设计、产品实现与工程服务,成立产业联盟,聚焦航空航天、汽车电子、智能交通、高端装备制造、数字医疗、核电技术等重点领域,掌握一批核心关键技术及相关知识产权,推动产业组织方式创新,构建产学研的一体化平台,以提升国家物联网系统自主创新和差异化竞争能力,促进上海、长三角及国家的技术成果共享与转化,为经济结构调整和产业升级提供工程技术支撑。
 

 

华东师范大学计算机科学与软件工程学院
www.sei.ecnu.edu.cn Copyright School of Computer Science and Software Engineering
院长信箱:yuanzhang@sei.ecnu.edu.cn | 院办电话:021-62232550 | 学院地址:上海中山北路3663号理科大楼| 招聘信息