论文部分内容阅读
本文介绍了时间Petri网模型在实时嵌入式软件系统的安全性分析中的应用,并通过一个实例介绍了时间Petri网的动态分析法,最后给出了相应方法的具体措施.
基于时间Petri网的实时嵌入式软件系统安全性分析
【摘 要】
：
本文介绍了时间Petri网模型在实时嵌入式软件系统的安全性分析中的应用,并通过一个实例介绍了时间Petri网的动态分析法,最后给出了相应方法的具体措施.
【机 构】
：
中国矿业大学能源科学与工程学院工业工程教研室
【出 处】
：
现代计算机：下半月版
【发表日期】
：
2001年6期
其他文献
青岛，一座幸福的城市，一座洋溢着青春的城市。来到这里，你会被她的独特风情所陶醉，也会被她的热情友善所感动。走在街头，随处可见多样的建筑风格，如万花筒般绚烂。
9月13日,由浙江省台州市人民政府、中国宇航学会主办的中国（台州）氢能产业发展高峰论坛暨氢能小镇首批入园项目签约仪式,在美丽的海滨城市台州举办。
【正】公司成立于2007年,致力于中国职业教育软实力的实施服务,协助各职业学校建设现代职业教育强校,培养新型技术技能人才,构筑智慧校园。目前已累计服务职业院校超过300所
本文介绍了如何用VB6.0编制“华容道”游戏，并描述了软件的功能及其实现方法。作者根据事件驱动的程序设计思想，重点介绍了实现游戏基本规则和自动动画演示功能的方法，并给出了
【正】教育惠民工程打造区域智慧教育模式优质教育信息惠民行动计划由教育部牵头,会同人力资源社会保障部等部门组织实施。以促进教育公平,提高教育质量,加快缩小区域、城乡
人类历史上观测到过很多次超新星爆发,几乎每年都有数十次。但是在银河系附近,只有10颗超新星爆发,这10颗超新星爆发是肉眼可见的,分别发生在公元185年、369年、386年、1006
4月2日，波音公司向美国加州中区地方法院提出一项临时禁令动议，要求阻止俄政府即将出售海射公司的行为，称这项出售可能妨碍其按去年的一项即决判决从俄能源公司收取至少3亿美元
<正>倍肯集团创办于1993年,是中国健康服务领域领先的整体解决方案供应商。被主办方中国信息协会信息惠民分会选为企业发言代表。倍肯集团副总裁金刚在企业优秀解决方案交流