WORKSHOP ON EMBEDDED SOFTWARE

嵌入式软件研讨会

• 批准号: 0318299
• 负责人: Rajeev Alur
• 金额: $ 1.5万
• 依托单位: University of Pennsylvania
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2003
• 资助国家: 美国
• 起止时间: 2003-07-15 至 2004-06-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0318299&HistoricalAwards=false
• 关键词: WORKSHOP; EMBEDDED; SOFTWARE

AlurEMSOFT 2003 Workshop - the Third International Workshop on Embedded Software, is held October 13-15, 2003 in Philadelphia on the campus of the University of Pennsylvania. The proceedings of EMSOFT 2003 are published as a volume in the Lecture Notes in Computer Science series by Springer.The purpose of EMSOFT 2003 is to bring together researchers, developers, and students from academia, industry, and governments so that the science of embedded software and the technology of their applications an be advanced. The purview of the workshop spans all areas of embedded software, including system design and integration methodologies, scheduling and execution time analysis, models of computation and formal methods, communication protocols, and fault tolerance. Currently, academic papers on embedded software are dispersed at many different conferences, and EMSOFT offers a unique venue with the central focus on principles of embedded software.

AlurEMSOFT 2003研讨会-第三届嵌入式软件国际研讨会，于2003年10月13日至15日在费城宾夕法尼亚大学校园举行。EMSOFT 2003会议录是Springer出版的Lecture Notes in Computer Science series的一卷，其目的是将学术界、工业界和政府的研究人员、开发人员和学生聚集在一起，以促进嵌入式软件科学及其应用技术的发展。 研讨会的范围涵盖嵌入式软件的所有领域，包括系统设计和集成方法，调度和执行时间分析，计算模型和形式化方法，通信协议和容错。 目前，关于嵌入式软件的学术论文分散在许多不同的会议上，而EMSOFT提供了一个独特的场所，集中关注嵌入式软件的原理。