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.

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硬件或软件的构建本身就是研究主题。然而，由于人类社会对人类社会对无处不在和普遍的计算的依赖越来越依赖，我们面临着建模和分析整合硬件和软件的系统的需求。验证硬件系统。与会者认为，双方的正式方法从业者在知识，经验和技术方面有很多分享。 2004年，第二个国际ACM/MEMOCODE在加利福尼亚州的桑迪戈举行。人们强调的是，硬件软件共同设计的问题比以前需要这种共生的问题，这是创建此系列会议的最初目的。更重要的是，与欧洲的倡议和研究活动相比，在过去两年中，美国研究人员在过去两年中出席了会议，在美国的这一重要方法中缺乏研究活动。