WORKSHOP ON EMBEDDED SOFTWARE

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

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.