讲座题目:Challenges and Results in Embedded Systems Virtual Prototyping

主讲人:Vania Joloboff 研究员

主持人:陈仪香 教授

开始时间:2013-03-27 15:00——16:00

讲座地址:中山北路校区数学馆201

主办单位:软件学院和科技处

报告人简介：

    Vania Joloboff,法国国家信息与自动化研究院(INRIA)研究员, 现任中法信息、自动化与应用数学联合实验室（LIAMA）的欧方主任，同时领导一个在中国的嵌入式系统发展的研究小组。先后创立并领导法国Sophia-Antipolis实验室Bull 研究中心，担任法国Silicomp集团CTO以及Open Software Foundation（OSF）的技术总监，一直致力于嵌入式系统与技术研究，其中领导发展的OSF Motif技术后来被DEC, HP,IBM以及SUN公司应用于CDE桌面解决方案中。Joloboff教授在法国格勒诺布尔大学获得博士学位，并先后在法国格勒诺布尔大学和尼斯大学从事教研工作。现任中国科学院深圳先进技术研究院的特聘研究员。Joloboff教授在2003至2004年担任J联盟主席，2002年至2004年的STIP联盟的董事会成员，1988年至1995年，任X联盟技术委员会成员，参与制定 X Windows标准规范。2000年，在他的管理下，获得的TurboJ软件JAVA Pro的嵌入式Java产品奖。

报告摘要：

   The talk will consider the methods used and results we have achieved in the FORMES project, in particular results achieved in simulation speed,in generation of simulators from specifications (instead of manual coding), and on going research in performance prediction and proof of correctness of the simulator.The talk will consider the methods used and results we have achieved in the FORMES project, in particular results achieved in simulation speed,in generation of simulators from specifications (instead of manual coding), and on going research in performance prediction and proof of correctness of the simulator.