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

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

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.