CPA: Conference Support Proposal: 2nd ACM/IEEE International Conference on Formal Methods and Models for Co-Design

CPA：会议支持提案：第二届 ACM/IEEE 协同设计形式方法和模型国际会议

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

Proposal to NSF CPA Cluster for Supporting Student Travel to the 2nd ACM/IEEE International Conference on Methods & Models for Co-Design (MEMOCODE.04) As computing systems are becoming increasingly complex, integrated to daily usable artifacts such as cell phones, cars, hand-held devices, medical prosthetics and other wide range of applications, the need for design methodologies which can guarantee successful integration of hardware and software, functional correctness and reliability is gaining importance. Today.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 from the panel discussions, key note talks, and informal discussions that formal method practitioners from both sides have a lot of share in terms of knowledge, experience and techniques. Also, 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 year (in France), 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. As a result, this year the conference is being held in San Diego, California, to bring more US participants, and create a forum for US researchers to exchange formal method ideas, techniques and creative initiatives. This proposal seeks financial support from NSF to support US graduate or advanced undergraduate students attending the conference for the first time, so that they get exposure to various aspects of formal methods, and recognize the importance of formal methods in system design, especially hardware/software safety critical systems. The intellectual impact of this support from NSF would be that the increased attendance of bright young students will fuel more research work in this very important area. The European community has made much more progress than their counter parts in the US due to a much less degree of interest by researchers to pursue formal methods. NSF can make substantial contribution to the enrichment of educational and research objectives of MEMOCODE. The workshop has some funding from sources other than NSF for invited speakers and other expenses. Broader Impact of the requested NSF funding is that it will provide travel support for students of US researchers, to encourage education and research in the workshop topic. The emphasis will be on funding students who do not otherwise have funding sources to attend the conference, and an attempt will be made to fund members of underrepresented groups.

向NSF CPA群集提出的建议，以支持学生前往第二个ACM/IEEE国际共同设计方法和模型的国际会议（MEMOCODE.04），因为计算系统变得越来越复杂，在每日可用的文物中逐日集成到手机，手机，汽车，汽车，手持设备，医疗假设和其他功能的范围，可以使得诸如手机，手机，手持设备和其他功能的范围，可以使自己的范围合作，可以使自己的范围合作，可以使自己的应用程序范围胜任，可以使自己的应用程序范围胜任，可以使自己的范围合理地设置。可靠性变得重要。如今，计算不再限于服务器，工作站和台式计算，但是它们到处都嵌入到各处，最重要的是在医疗领域以及安全关键系统（例如航空电子控制，汽车控制等）等安全关键系统中，但是，历史上的硬件和软件已经单独构建，并且都非常复杂，这些方法是非常复杂的，这些方法可以确保构造硬件或硬件本身就是研究的方法。然而，由于人类社会对无处不在和普遍的计算的依赖越来越依赖，我们面临着形式和数学技术来建模和分析整合硬件和软件的系统。 在2003年，首次是第一次国际ACM/IEEE共同设计（MEMOCODE）会议的正式方法和模型，他们首次汇集了在软件工程领域中应用正式方法的研究人员，以及那些应用正式方法设计和验证硬件系统的研究人员。 从小组讨论，关键音符谈话和非正式讨论中可以看出，来自双方的正式方法在知识，经验和技术方面都有很多份额。同样，硬件软件共同设计问题比以前需要这种共生的需求，这是创建这一系列会议的最初目的。 更重要的是，与欧洲的倡议和研究活动相比，去年在法国举行的会议上参加的美国研究人员认为，在美国正式方法的这一重要领域缺乏研究活动。结果，今年的会议将在加利福尼亚州圣地亚哥举行，以带来更多的美国参与者，并为美国研究人员建立一个论坛，以交换正式的方法，技术和创造性计划。 该提案寻求NSF的财政支持，以支持美国第一次参加会议的研究生或高级本科生，以便他们接触正式方法的各个方面，并认识到形式方法在系统设计中的重要性，尤其是硬件/软件安全关键系统。 NSF支持的智力影响是，聪明的年轻学生的出勤率增加将为这一非常重要的领域提供更多的研究工作。 由于研究人员追求正式方法的兴趣少得多，欧洲社会的进步比在美国的反零件取得了更多的进步。 NSF可以为备忘录的教育和研究目标做出重大贡献。该研讨会从NSF以外的其他来源提供了一些资金，用于受邀演讲者和其他费用。 所请求的NSF资金的更广泛的影响是，它将为美国研究人员的学生提供旅行支持，以鼓励讲习班主题的教育和研究。 重点将是为没有资金来源参加会议的资助学生，并尝试为代表人数不足的团体的成员提供资金。