嵌入式周期控制系统的建模与分析.docVIP

嵌入式周期控制系统的建模与分析 【摘要】：嵌入式周期控制系统广泛应用于汽车电子,航空电子等安全攸关的嵌入式领域.一般来说,这些控制系统都具有周期性行为,它们的共同特点是：(1)以模式为基础.一个周期控制系统由一组模式组成,系统处于一个模式表示系统处于一个特定的状态.每个模式或是包含若干子模式,或是周期性地进行控制计算.(2)面向计算.在一个模式中,周期控制系统会执行包含复杂的计算过程的控制算法.例如,在特点的模式下,一个汽车电子控制系统可以需要处理大量的即时数据,以便确定车辆的位置和姿态.(3)周期性.周期控制系统是一个反应式系统,可能会连续运行很长一段时间.每个模式的行为由其自身的周期决定.因此,大部分的计算任务都是在一个周期内完成的.如果没有发生模式切换,那么这些计算任务还将在下一个周期再次执行.在周期结束时,如果满足特定的条件,系统将从当前模式转入其它模式. 尽管这类系统被广泛地应用于航天／航空,汽车电子等安全攸关的嵌入式领域,但是工业界仍然缺少一种针对这一领域的形式化建模语言.我们曾对现有的建模语言做过广泛的调研,这些语言或是较为复杂,使用门槛较高,或是过于通用,难以处理这类系统的特征.因此,我们根据领域工程师的需求,设计了SPARDL建模框架.该框架主要包括两个部分,第一部分是作为建模标记的模式图(ModeDiagram),第二部分是规范语言SPRL. 模式图