CPA: Conference Support: 3rd ACM/IEEE International Conference on Formal Methods and Models for Codesig; Universite of Verona, Italy

CPA：会议支持：第三届 ACM/IEEE Codesig 形式化方法和模型国际会议；

• 批准号: 0537160
• 负责人: Sandeep Shukla
• 金额: $ 0.6万
• 依托单位: Virginia Polytechnic Institute and State University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2005
• 资助国家: 美国
• 起止时间: 2005-07-15 至 2006-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0537160&HistoricalAwards=false
• 关键词: CPA; Conference; Support; 3rd; ACM

ABSTRACT0537160Sandeep K. ShuklaVirginia Polytechnic Institute @ State UniversityToday's computing is no longer limited to servers, work stations and desktop computing, but they are embedded everywhere, most importantly in the medical space, as well as in the safety critical systems such as avionics control, automotive control etc. However, historically hardware and software have been built separately, and both being extremely complex, the methodologies that ensure correct construction of hardware or software are themselves research topics. Yet, we are faced with the need for formal and mathematical techniques to model and analyze systems which integrate both hardware and software,because of the increasing reliance of human society on ubiquitous and pervasive computing.In 2003 the First International ACM/IEEE Formal Methods and Models for Co-Design (MEMOCODE) conference, for the first time, brought together researchers who apply formal methods in software engineering fields, and those who apply formal methods to design and validate hardware systems. It was felt by attendees that formal method practitioners from both sides have a lot to share in terms of knowledge, experience and techniques. In 2004 the Second International ACM/MEMOCODE was held in SanDiego, California. It was emphasized that the hardware-software co-design problem imposes an ever than before need for this symbiosis, which was the original aims of creating this series of conferences. More importantly, the US researchers present at the conference last two years felt that there is a lack of research activity in this important area of formal methods in the US, compared to the initiatives and research activities in Europe.

摘要0537160 Sandeep K. Shukla弗吉尼亚理工学院@州立大学今天的计算不再局限于服务器，工作站和桌面计算，但它们无处不在，最重要的是在医疗领域，以及航空电子控制，汽车控制等安全关键系统中。确保硬件或软件的正确构造的方法本身就是研究主题。然而，由于人类社会对普适计算的日益依赖，我们面临着对形式化和数学技术的需求，以建模和分析集成了硬件和软件的系统。2003年，第一届国际ACM/IEEE形式化方法和模型的协同设计（MEMOCODE）会议，第一次，汇集了研究人员谁适用于软件工程领域的正式方法，以及那些应用形式化方法来设计和验证硬件系统的人。与会者认为，双方的正式方法从业者在知识、经验和技术方面有很多可以分享的地方。2004年，第二届国际ACM/MEMOCODE在加州圣地亚哥举行。有人强调，硬件-软件协同设计问题比以往任何时候都更需要这种共生关系，这是创建这一系列会议的最初目的。更重要的是，过去两年出席会议的美国研究人员认为，与欧洲的倡议和研究活动相比，美国在正式方法这一重要领域缺乏研究活动。