嵌入式系统正变得无处不在而且已互连并网络化，这使得它们更加容易受到安全性的攻击。一大类嵌入式系统，例如SCACA和PCS，都有实时性和安全性的约束。因此，为了保证用户信任这些嵌入式系统能够完成正确的操作，除了满足这些约束条件，获得系统的安全性成为这种保障的关键性挑战。

YOCSEF哈尔滨分论坛于2008年7月8日在哈尔滨工业大学软件学院举办“实时逻辑规范化的实时系统的验证和入侵检测在嵌入式系统中的应用”专题论坛对此进行热烈研讨。主要介绍这种入侵检测系统的挑战，包括：1）正确性：这种IDS没有误报、漏报；或者在很少的资源（如时间、空间、能量）条件下、或者识别策略约束允许下，有很少的误报、漏报。2）有效性、即时性：这种IDS不违反主机嵌入式系统的应用期限限制，而且使用合理的空间开销。3）可扩展性：这种IDS可以扩展到大规模的嵌入式系统中。4）能耗优化：这种IDS不会显著减少嵌入式系统电池能源的使用时间。

本次专题论坛由YOCSEF哈尔滨委员张伟哲主持，特邀美国休斯敦大学Albert Chen教授就当前嵌入式系统及其在入侵检测中应用的研究现状、发展趋势作了专题报告。Albert Chen教授首先报告了“On-Time and Scalable Intrusion Detection in Embedded Systems via Automatic Rule-Base Generation and Semantic Analysis”方面的研究内容，从当前各种嵌入式计算机的研究现状入手，介绍了入侵检测在嵌入式计算领域的重要意义，而后提出了一种基于自动规则生成和语义分析的嵌入式系统IDS检测方法。而后Albert Chen教授报告了“Power-Aware Scheduling and Quality-of-Service Optimization: Enabling Technologies for Next-Generation Embedded Real-Time Systems”的研究。对电力意识的计算进行了综述，提出了Dynamic Voltage Scaling Technique技术的重要性，给出了全新的三模式任务划分方法与动态模式DVS算法，探讨了如何优化调度的服务质量，最后通过实验结果说明了算法的有效性。

主题演讲结束后，参会的几十名YOCESF委员、教师、学生纷纷就嵌入式式系统、入侵检测和电力意识的任务调度的相关问题与Albert Chen教授展开了热烈的讨论。研讨会场气氛活跃。

本次论坛执行主席张伟哲副教授介绍主讲人Albert Cheng教授

主讲人Albert Cheng教授在进行学术报告