嵌入式系统开发中敏捷方法的应用研究综述

伴随着计算机技术的迅速发展,嵌入式系统软件的应用领域得以不断拓宽,这使得嵌入式系统开发面临着日益严峻的质量、成本以及项目周期等方面的压力.另一方面,敏捷方法已在传统的软件项目当中得到越来越多的应用.很多研究都表明,敏捷方法在适应需求变更、提升生产效率和最终产品的质量方面都发挥出显著的作用.因此,在嵌入式系统软件开发中应用敏捷方法,自然也得到研究者和实践者的日益关注.应用系统评价(systematicreview)方法,试图尽可能系统地了解嵌入式系统开发过程中敏捷方法的应用状况和研究进展.通过对敏捷宣言提出以来12年间49篇相关文献的概况和分析,试图回答如下3 个问题：1) 在不同类型的嵌入式系统开发中,敏捷方法的总体应用情况如何? 2) 敏捷方法或实践是如何解决各类嵌入式软件开发中的挑战的? 3) 敏捷方法(实践)该如何通过扩展和改进,以更好地适应嵌入式系统开发?研究表明,尽管应用程度存在一定的差异,但敏捷方法已在不同类型的嵌入式开发中得到了应用.传统的敏捷方法也需要进行多种改变,以适应这些不同类型的嵌入式开发项目的特征.     

Intelligent Systems and Formal Methods in Software Engineering

Formal methods in software engineering are an increasingly important application area for intelligent systems. The field has outgrown the area of academic case studies, and industry is showing serious interest. This installment of Trends & Controversies looks at the state of the art in formal methods and discusses the developments that make successful applications possible.     

单片机应用系统最小功耗的软、硬件设计

从便携式应用系统对功耗实际的要求出发 ,首先通过软件设计来实现单片机CPU的最小功耗模式 ,然后结合外围芯片的特点 ,提出了在最小功耗要求下实现存储 ,打印及通讯的硬件方案 ,实践证明这些方法是易于实现且行之有效的。     

用多项式近似的图象逆滤波及空间移变系统图象的恢复

光(电)成像系统的特性会引起图象降质，但如果能够根据系统的传递函数确定其逆滤波函数，就可以对这种降质图象进行一定的恢复．为此，提出了一种用多项式近似的图象逆滤波的图象恢复方法，该方法就是首先将连续的逆滤波函数按泰勒级数展开，并用多项式来近似表示，通过对用多项式表达的用于图象恢复的逆滤波函数作反傅里叶变换，就可得到恢复图象在空间域中的近似运算公式，该运算是图象信号及其各阶导数的线性组合，而不是复杂的反卷积操作．同时还详细分析了方法的原理，并推导了算法公式，最后给出了空移不变和移变系统图象的恢复处理结果．实验表明，该方法特别适合于空间移变系统降质图象的恢复，如场曲恢复．