王雪娇
- 作品数：2 被引量：6H指数：1
- 供职机构：江西理工大学信息工程学院更多>>
- 相关领域：自动化与计算机技术更多>>
- 浅谈智能家居系统的安全问题被引量：6
- 2015年
- "互联网+"引领各个行业走向物联网时代,家电行业也不例外,智能家居系统随着时代的潮流应运而生。人类的生活离不开家庭,离不开家居,高速发展的现代化生活促使原本单一的生活方式走向智能化。智能家居系统提供人类方便舒适的生活的同时,还要保障生命财产的安全。本文介绍了智能家居系统概念,并指出了智能家居系统存在的一些安全隐患,智能家居系统要引领并主导未来家居市场,安全问题不容忽视。
- 王雪娇
- 关键词：智能家居系统安全
- 基于时序图的FSP代数模型自动生成方法研究
- 2016年
- 系统形式建模方法是构建安全系统的重要保障之一。基于系统场景的需求描述,提出UML时序图的FSP代数模型自动生成方法。根据UML时序图与元模型之间的关系自动生成Java框架代码,结合Java框架代码并修改,实现了UML时序图到FSP代数模型自动生成的目的。丰富了系统形式化建模的理论研究,从应用角度为安全苛求系统的安全性分析与研究提供新途径,拓宽了系统需求场景的形式化建模思路。
- 王雪娇王碧
- 关键词：JAVA元模型
