张成志
- 作品数：6 被引量：7H指数：2
- 供职机构：香港科技大学更多>>
- 发文基金：广东省科技计划工业攻关项目更多>>
- 相关领域：自动化与计算机技术更多>>
- 开源软件库生态治理技术研究综述:二十年进展被引量：1
- 2024年
- 在“人-机-物”三元融合、泛在计算的时代蓝海下,“开放多变”“需求多样”和“场景复杂”的软件部署和运行环境对开源软件库生态的治理技术提出了更多需求和更高期望.为进一步推动构建可信软件供应链生态,围绕泛在计算模式、打造自主可控的技术体系,聚焦于开源软件库管理生态,收集近20多年来(2001–2023)发表于软件工程领域较高影响力的学术期刊和会议的348篇论文,对开源软件库生态治理技术的研究工作进行梳理.讨论开源软件库生态的建模与分析、演化与维护、质量保证和管理等方面的工作,总结研究现状、问题、挑战与趋势.
- 王莹伍盈欣王莹陈子莺许畅于海许畅
- 一种验证分布式协议活性属性容错机制的模型检测方法被引量：3
- 2021年
- 云计算是一种通过网络以服务的方式向用户提供按需收费的计算资源的模式,目前企业逐渐将业务部署、数据处理转移到云计算平台上进行。因为可扩展性、性能等各方面需求,所以云平台部署在分布式系统上。由于分布式系统采用大量的商品机通过复杂的结构进行搭建,因此分布式系统中组件发生故障是无法避免的。为了提高分布式系统的可靠性,技术人员在开发分布式系统时为其设计了容错机制。为了保证容错机制在分布式系统发生故障时能真正有效地工作,故障注入是检验容错机制的方法之一,通过人为地向系统中注入特定的故障,观察系统的行为并检验容错机制是否正确工作。由于分布式系统的并发特性,传统软件测试方法无法对其进行完全测试,近年来越来越多地使用模型检测技术来对分布式系统进行验证。现有的模型检测技术注重对分布式系统的安全性属性和活性属性的检测,忽略了对容错机制尤其是活性属性容错机制的检测,所以如何验证系统的活性属性容错机制是目前面临的挑战。采用抽象模型检测方法会引入模型与实际系统不匹配的问题。同时,采用实现级模型检测方法会加剧模型检测中的状态空间爆炸问题。本文提出了一个实现级模型检测工具LTMC(Liveness Properties Fault Tolerance Model Checker),结合故障注入技术对分布式协议的安全性属性与活性属性及其容错机制进行验证。同时,基于分布式系统节点的角色,本文提出了一种对等约减策略PRP(Peer Reduction Policy)对LTMC需要搜索的状态空间进行约减,缓解了状态空间爆炸问题。此外,LTMC通过引入逻辑时钟机制,优先搜索那些更有实际价值的事件执行路径。LTMC能够有目标地在待验证系统运行的特定时刻注入特定的故障,而不依赖于随机故障注入策略;当待验证系统发生改变时,只需要简单地对工�
- 陆超逸聂长海张成志
- 关键词：分布式系统容错机制
- 一种用于仿真的机械系统及其自动化控制系统
- 本实用新型提出一种用于仿真的机械系统及其自动化控制系统，该机械系统包括：具有一个竖直旋转轴的天线支架，该天线支架由电机驱动来绕竖直轴旋转，其中所述天线支架还支持手动调节天线与水平面的角度；具有一个竖直旋转轴和一个平移轴的...
- 张成志罗国梁
- 文献传递
- 针对RFID标签的可读区域决定RFID天线放置的方法与系统
- 本发明是针对RFID标签的可读区域决定RFID天线放置的方法与系统。本发明描述了自动RFID天线放置的装置、系统及附带方法，并说明了获得RFID可读区域的方法。装备系统包括一个可组装可调整的安装框架(“PAMF”)，此框...
- 张成志倪明选
- 文献传递
- ContractGuard:面向以太坊区块链智能合约的入侵检测系统被引量：3
- 2020年
- 以太坊智能合约本质上是一种在网络上由相互间没有信任关系的节点共同执行的已被双方认证程序。目前,大量的智能合约被用于管理数字资产,使智能合约成为黑客的重要攻击对象。常见的攻击方法是通过利用智能合约的漏洞来实现特定操作的入侵攻击。ContractGuard是首次提出面向以太坊区块链智能合约的入侵检测系统,它能检测智能合约的潜在攻击行为。ContractGuard的入侵检测主要依赖检测潜在攻击可能引发的异常控制流来实现。由于智能合约运行在去中心化的环境以及在高度受限的环境中运行,现有的IDS技术或者工具等以外部拦截形式的部署架构不适合于以太坊智能合约。为了解决这些问题,通过设计一个嵌入式的架构,实现了把ContractGuard直接嵌入智能合约的执行代码中,作为智能合约的一部分。在运行时刻,ContractGuard通过相应的context-tagged无环路径来实现入侵检测,从而保护智能合约。由于嵌入了额外的代码,ContractGuard一定程度上会增加智能合约的部署开销与运行开销,为了降低这两方面的开销,基于以太坊智能合约的特性对ContractGuard进行优化。实验结果显示,可有效地检测83%的异常行为,其部署开销仅增加了36.14%,运行开销仅增加了28.17%。
- 赵淦森谢智健王欣明王欣明张成志林成创张成志陈冰川Chunming Rong
- 关键词：区块链入侵检测系统异常检测
- 针对RFID标签的可读区域决定RFID天线放置的方法与系统
- 本发明的名称是“针对RFID标签的可读区域决定RFID天线放置的方法与系统”。本发明描述了自动RFID天线放置的装置、系统及附带方法，并说明了获得RFID可读区域的方法。装备系统包括一个可组装可调整的安装框架(“PAMF...
- 张成志倪明选
- 文献传递
