【摘 要】
：
针对嵌入式系统的特点,提出一种基于Petri网的嵌入式系统失效模型与分析方法。依据嵌入式系统失效需求,采用Petri网建立嵌入式系统的形式化描述语言,并对嵌入式系统中的基本
【机 构】
：
上海应用技术学院计算机科学与信息工程系,华东理工大学计算机科学与工程系
【基金项目】
：
上海应用技术学院引进人才科研启动项目（YJ2009-17）
论文部分内容阅读
针对嵌入式系统的特点,提出一种基于Petri网的嵌入式系统失效模型与分析方法。依据嵌入式系统失效需求,采用Petri网建立嵌入式系统的形式化描述语言,并对嵌入式系统中的基本元素,如任务、资源、传感器、执行器等进行描述。构造任务间基本关系、任务与设备间交互的模型,并利用组合规则将这些模型动态地集成为一个完整的嵌入式系统失效模型。基于模型的运行特征和状态空间,分析模型的正确性。最后,应用具体实例模拟嵌入式系统失效模型与分析过程,验证了该方法的有效性。
其他文献
对新型洗涤冷却室洗涤冷却管出口处流体的射流深度进行了实验研究,得到了射流深度随弗鲁德数变化的拟合式。借助Fluent商业软件建立了该过程的数学模型,模型计算值与实验值吻
为了及时解决由于关注点横切所产生的＂代码交织＂与＂代码散布＂问题,提出了一种基于Statecharts的面向方面软件设计方法,并利用线性时态逻辑验证了编织过程的有效性。此外,为了验证
为了解决信息融合算法管理过程中的最优算法决策问题，引入Dempster—Sharer证据理论。针对在实际应用过程中，由于相关证据合成而出现的评估结果超估计现象，提出了一种改进的证据
提出了一种以FPGA为实现平台的Rayleigh衰落信道模拟器设计方法。该模拟器采用基于正弦波叠加法的改进Jakes仿真模型,其统计特性与Rayleigh衰落信道吻合度较好。该模型的定点
在无线传感器网络路由协议中采用多跳通信的方式能够减少通讯距离、增强网络通讯的稳定性并提高网络能量利用效率,但是,由于靠近汇聚节点的簇头需要转发大量数据,容易导致能
采用快速末端cDNA扩增法，首次从大黄鱼中克隆到全长为2023bp的凝血酶原类似基因cDNA，编码为617个氨基酸，其中包括80bp的5’末端非编码区及89bp包含poly（A）尾的3’末端非编码区。预