CN113703552A - 一种服务器散热调控方法、设备及存储介质 - Google Patents
一种服务器散热调控方法、设备及存储介质 Download PDFInfo
- Publication number
- CN113703552A CN113703552A CN202110873325.0A CN202110873325A CN113703552A CN 113703552 A CN113703552 A CN 113703552A CN 202110873325 A CN202110873325 A CN 202110873325A CN 113703552 A CN113703552 A CN 113703552A
- Authority
- CN
- China
- Prior art keywords
- heat dissipation
- module
- server
- parameter
- dbus bus
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Granted
Links
- 230000017525 heat dissipation Effects 0.000 title claims abstract description 170
- 238000000034 method Methods 0.000 title claims abstract description 66
- 230000033228 biological regulation Effects 0.000 title claims abstract description 33
- 230000001105 regulatory effect Effects 0.000 claims description 19
- 230000001276 controlling effect Effects 0.000 claims description 18
- 238000004590 computer program Methods 0.000 claims description 9
- 238000012795 verification Methods 0.000 claims description 7
- 230000008676 import Effects 0.000 claims description 3
- 230000008859 change Effects 0.000 abstract description 11
- 238000011160 research Methods 0.000 abstract description 4
- 230000008569 process Effects 0.000 description 6
- 230000009471 action Effects 0.000 description 3
- 238000011161 development Methods 0.000 description 3
- 230000006870 function Effects 0.000 description 2
- 238000013461 design Methods 0.000 description 1
- 230000000694 effects Effects 0.000 description 1
- 238000002474 experimental method Methods 0.000 description 1
- 230000000750 progressive effect Effects 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
- 239000002699 waste material Substances 0.000 description 1
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING; CALCULATING OR COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F1/00—Details not covered by groups G06F3/00 - G06F13/00 and G06F21/00
- G06F1/16—Constructional details or arrangements
- G06F1/20—Cooling means
- G06F1/206—Cooling means comprising thermal management
-
- Y—GENERAL TAGGING OF NEW TECHNOLOGICAL DEVELOPMENTS; GENERAL TAGGING OF CROSS-SECTIONAL TECHNOLOGIES SPANNING OVER SEVERAL SECTIONS OF THE IPC; TECHNICAL SUBJECTS COVERED BY FORMER USPC CROSS-REFERENCE ART COLLECTIONS [XRACs] AND DIGESTS
- Y02—TECHNOLOGIES OR APPLICATIONS FOR MITIGATION OR ADAPTATION AGAINST CLIMATE CHANGE
- Y02D—CLIMATE CHANGE MITIGATION TECHNOLOGIES IN INFORMATION AND COMMUNICATION TECHNOLOGIES [ICT], I.E. INFORMATION AND COMMUNICATION TECHNOLOGIES AIMING AT THE REDUCTION OF THEIR OWN ENERGY USE
- Y02D10/00—Energy efficient computing, e.g. low power processors, power management or thermal management
Landscapes
- Engineering & Computer Science (AREA)
- Theoretical Computer Science (AREA)
- Human Computer Interaction (AREA)
- Physics & Mathematics (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Stored Programmes (AREA)
Abstract
本申请公开了一种服务器散热调控方法、设备及存储介质，该方法包括：在openbmc架构下，开发散热调校模块；将散热模块和散热调校模块同时连入相同的dbus总线上，以将散热参数关联到dbus总线的参数变量中；对dbus总线的参数变量进行更改，以对服务器进行散热调控。这样将开发的散热调校模块与散热模块通过dbus总线进行连接，散热参数不再是写死的数据，而是成为一个dbus总线的变量，通过更改散热调校模块的dbus总线变量即可更改散热模块的散热参数，无需频繁的更改、编译、烧录代码，节约时间，节省人力，提高工作效率，同时基于openbmc架构开发功能模块，增加了国产自研能力，节省了成本。
Description
技术领域
本发明涉及服务器技术领域，特别是涉及一种服务器散热调控方法、设备及存储介质。
背景技术
在服务器发展背景下，基板管理控制器(Baseboard Manager Controller,简称BMC)的基础代码同时向开源的openbmc方向发展，openbmc是BMC的一个开源项目，用于BMC的代码开发，应用可靠，并且开源免费，是BMC代码未来的发展方向。
目前，对于服务器的散热方案需要散热工程师根据散热模块在实际测试和实验中不断调整。传统的方法通过频繁更改BMC软件代码并不断烧录验证算法来实现散热方案的导入。这样就需要一名BMC开发人员和散热工程师一起来调试散热方案，增加了人力成本，同时BMC的代码较大，更改、编译和烧录的过程至少二十分钟，散热工程师不能快速便利的更改散热调控方案，导致时间的浪费，影响工作效率，同时频繁的更改代码增加了代码的错误风险。
发明内容
有鉴于此，本发明的目的在于提供一种服务器散热调控方法、设备及存储介质，可以无需频繁的更改、编译、烧录代码，节约时间，节省人力，提高工作效率。其具体方案如下：
一种服务器散热调控方法，包括：
在openbmc架构下，开发散热调校模块；
将散热模块和所述散热调校模块同时连入相同的dbus总线上，以将散热参数关联到所述dbus总线的参数变量中；
对所述dbus总线的参数变量进行更改，以对服务器进行散热调控。
优选地，在本发明实施例提供的上述服务器散热调控方法中，所述将散热参数关联到所述dbus总线的参数变量中，包括：
将散热参数中的P值、I值、D值、SetPonit值统一关联到所述dbus总线的参数变量中。
优选地，在本发明实施例提供的上述服务器散热调控方法中，所述对所述dbus总线的参数变量进行更改，包括：
对用户账户权限进行验证；
验证通过时，显示所述散热调校模块的接口界面；
通过所述散热调校模块的接口界面对所述dbus总线的参数变量进行更改。
优选地，在本发明实施例提供的上述服务器散热调控方法中，在所述对所述dbus总线的参数变量进行更改之后，还包括：
将更改后的参数变量加载到所述散热调校模块中，并通过所述dbus总线传递至所述散热模块。
优选地，在本发明实施例提供的上述服务器散热调控方法中，在所述对用户账户权限进行验证之前，所述散热调校模块的接口为隐藏状态；
验证未通过时，所述散热调校模块的接口为隐藏状态。
优选地，在本发明实施例提供的上述服务器散热调控方法中，在所述通过所述dbus总线传递至所述散热模块之后，还包括：
判断所述散热模块的当前散热参数是否合适；
若是，则判定所述散热模块的当前散热参数为目标参数；
若否，则重新对所述dbus总线的参数变量进行更改。
优选地，在本发明实施例提供的上述服务器散热调控方法中，在判定所述散热模块的当前散热参数为目标参数之后，还包括：
通过所述散热调校模块将所述目标参数写入到BMC的flash中。
优选地，在本发明实施例提供的上述服务器散热调控方法中，在所述将所述目标参数写入到BMC的flash中之后，还包括：
重启BMC，以永久导入所述目标参数。
本发明实施例还提供了一种电子设备，包括处理器和存储器，其中，所述处理器执行所述存储器中存储的计算机程序时实现如本发明实施例提供的上述服务器散热调控方法。
本发明实施例还提供了一种计算机可读存储介质，用于存储计算机程序，其中，所述计算机程序被处理器执行时实现如本发明实施例提供的上述服务器散热调控方法。
从上述技术方案可以看出，本发明所提供的一种服务器散热调控方法，包括：在openbmc架构下，开发散热调校模块；将散热模块和散热调校模块同时连入相同的dbus总线上，以将散热参数关联到dbus总线的参数变量中；对dbus总线的参数变量进行更改，以对服务器进行散热调控。
本发明将开发的散热调校模块与散热模块通过dbus总线进行连接，散热参数不再是写死的数据，而是成为一个dbus总线的变量，通过更改散热调校模块的dbus总线变量即可更改散热模块的散热参数，无需频繁的更改、编译、烧录代码，节约时间，节省人力，提高工作效率，同时基于openbmc架构开发功能模块，增加了国产自研能力，节省了成本。此外，本发明还针对服务器散热调控方法提供了相应的设备及计算机可读存储介质，进一步使得上述方法更具有实用性，该设备及计算机可读存储介质具有相应的优点。
附图说明
为了更清楚地说明本发明实施例或相关技术中的技术方案，下面将对实施例或相关技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据提供的附图获得其他的附图。
图1为本发明实施例提供的服务器散热调控方法的流程图。
具体实施方式
下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例仅仅是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。
本发明提供一种服务器散热调控方法，如图1所示，包括以下步骤：
S101、在openbmc架构下，开发散热调校模块；
需要说明的是，国产服务器BMC在openbmc架构下，开发散热调校模块，该模块是隐藏模块，平时不参与BMC任何功能，不影响BMC任何功能使用，只有输入特定的用户名和密码才有模块接口界面在web中显示出来。
S102、将散热模块和散热调校模块同时连入相同的dbus总线上，以将散热参数关联到dbus总线的参数变量中；
在具体实施时，步骤S102将散热参数关联到dbus总线的参数变量中，可以包括：将散热参数中的P(比例)值、I(积分)值、D(微分)值、SetPonit值统一关联到dbus总线的参数变量中。dbus总线的参数变量与散热调校模块的驱动相连接。
S103、对dbus总线的参数变量进行更改，以对服务器进行散热调控。
在本发明实施例提供的上述服务器散热调控方法中，将开发的散热调校模块与散热模块通过dbus总线进行连接，散热参数不再是写死的数据，而是成为一个dbus总线的变量，通过更改散热调校模块的dbus总线变量即可更改散热模块的散热参数，无需频繁的更改、编译、烧录代码，节约时间，节省人力，提高工作效率，同时基于openbmc架构开发功能模块，增加了国产自研能力，节省了成本。
进一步地，在具体实施时，在本发明实施例提供的上述服务器散热调控方法中，步骤S103对dbus总线的参数变量进行更改，可以包括：首先，对用户账户权限进行验证；验证通过时，显示散热调校模块的接口界面；然后，通过散热调校模块的接口界面对dbus总线的参数变量进行更改。
具体地，本发明只需要散热工程师登录特殊BMC的web用户权限账户(即特定的用户名和密码)，即可看到散热调校模块的接口，更改该接口的参数，对散热方案进行调校，就可以完成散热方案的导入，不需要BMC开发人员更改代码，散热工程师独立就可以完成，节省人力成本。
在具体实施时，在本发明实施例提供的上述服务器散热调控方法中，在执行步骤S103对dbus总线的参数变量进行更改之后，还可以包括：将更改后的参数变量加载到散热调校模块中，并通过dbus总线传递至散热模块。也就是说，当输入特定的用户名和密码后，有散热调校模块的接口界面在web中显示出来，散热工程师通过该接口界面，更改参数，再通过web的驱动可以把相关参数加载到散热调校模块中，以访问散热调校模块，之后利用散热调校模块可以将该相关参数通过dbus总线传递至散热模块，以更改散热模块中的变量参数。
在具体实施时，在本发明实施例提供的上述服务器散热调控方法中，在对用户账户权限进行验证之前，散热调校模块的接口为隐藏状态；并且，验证未通过时，散热调校模块的接口为隐藏状态，这样的设置更加明确散热调校模块是隐藏模块。需要说明的是，散热调校模块的接口与散热调校模块相连。
在具体实施时，在本发明实施例提供的上述服务器散热调控方法中，在通过dbus总线传递至散热模块之后，还可以包括：判断散热模块的当前散热参数是否合适；若是，则判定散热模块的当前散热参数为目标参数；若否，则重新对dbus总线的参数变量进行更改。这样散热工程师可根据实际的散热状况更改dbus总线的参数变量(即相关web参数)，直到达到满意的效果，进而完成对散热方案的调控。
在具体实施时，在本发明实施例提供的上述服务器散热调控方法中，在判定散热模块的当前散热参数为目标参数之后，还包括：通过散热调校模块将目标参数写入到BMC的flash中；之后，重启BMC，以永久导入目标参数。这样根据散热调校模块通过web上散热调校模块的接口的特殊配置可以把散热参数永久的写入BMC的flash中，之后能够永久使用该参数进行散热调控，进一步节省了时间，提高了效率。
相应地，本发明实施例还公开了一种电子设备，包括处理器和存储器；其中，处理器执行存储器中存储的计算机程序时实现前述实施例公开的服务器散热调控方法。
关于上述方法更加具体的过程可以参考前述实施例中公开的相应内容，在此不再进行赘述。
进一步地，本发明还公开了一种计算机可读存储介质，用于存储计算机程序；计算机程序被处理器执行时实现前述公开的服务器散热调控方法。
关于上述方法更加具体的过程可以参考前述实施例中公开的相应内容，在此不再进行赘述。
本说明书中各个实施例采用递进的方式描述，每个实施例重点说明的都是与其它实施例的不同之处，各个实施例之间相同或相似部分互相参见即可。对于实施例公开的设备、存储介质而言，由于其与实施例公开的方法相对应，所以描述的比较简单，相关之处参见方法部分说明即可。
专业人员还可以进一步意识到，结合本文中所公开的实施例描述的各示例的单元及算法步骤，能够以电子硬件、计算机软件或者二者的结合来实现，为了清楚地说明硬件和软件的可互换性，在上述说明中已经按照功能一般性地描述了各示例的组成及步骤。这些功能究竟以硬件还是软件方式来执行，取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能，但是这种实现不应认为超出本申请的范围。
结合本文中所公开的实施例描述的方法或算法的步骤可以直接用硬件、处理器执行的软件模块，或者二者的结合来实施。软件模块可以置于随机存储器(RAM)、内存、只读存储器(ROM)、电可编程ROM、电可擦除可编程ROM、寄存器、硬盘、可移动磁盘、CD-ROM、或技术领域内所公知的任意其它形式的存储介质中。
综上，本发明实施例提供的一种服务器散热调控方法，包括：在openbmc架构下，开发散热调校模块；将散热模块和散热调校模块同时连入相同的dbus总线上，以将散热参数关联到dbus总线的参数变量中；对dbus总线的参数变量进行更改，以对服务器进行散热调控。这样将开发的散热调校模块与散热模块通过dbus总线进行连接，散热参数不再是写死的数据，而是成为一个dbus总线的变量，通过更改散热调校模块的dbus总线变量即可更改散热模块的散热参数，无需频繁的更改、编译、烧录代码，节约时间，节省人力，提高工作效率，同时基于openbmc架构开发功能模块，增加了国产自研能力，节省了成本。此外，本发明还针对服务器散热调控方法提供了相应的设备及计算机可读存储介质，进一步使得上述方法更具有实用性，该设备及计算机可读存储介质具有相应的优点。
最后，还需要说明的是，在本文中，诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来，而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且，术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含，从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素，而且还包括没有明确列出的其他要素，或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下，由语句“包括一个……”限定的要素，并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
以上对本发明所提供的服务器散热调控方法、设备及存储介质进行了详细介绍，本文中应用了具体个例对本发明的原理及实施方式进行了阐述，以上实施例的说明只是用于帮助理解本发明的方法及其核心思想；同时，对于本领域的一般技术人员，依据本发明的思想，在具体实施方式及应用范围上均会有改变之处，综上所述，本说明书内容不应理解为对本发明的限制。
Claims (10)
1.一种服务器散热调控方法，其特征在于，包括：
在openbmc架构下，开发散热调校模块；
将散热模块和所述散热调校模块同时连入相同的dbus总线上，以将散热参数关联到所述dbus总线的参数变量中；
对所述dbus总线的参数变量进行更改，以对服务器进行散热调控。
2.根据权利要求1所述的服务器散热调控方法，其特征在于，所述将散热参数关联到所述dbus总线的参数变量中，包括：
将散热参数中的P值、I值、D值、SetPonit值统一关联到所述dbus总线的参数变量中。
3.根据权利要求2所述的服务器散热调控方法，其特征在于，所述对所述dbus总线的参数变量进行更改，包括：
对用户账户权限进行验证；
验证通过时，显示所述散热调校模块的接口界面；
通过所述散热调校模块的接口界面对所述dbus总线的参数变量进行更改。
4.根据权利要求3所述的服务器散热调控方法，其特征在于，在所述对所述dbus总线的参数变量进行更改之后，还包括：
将更改后的参数变量加载到所述散热调校模块中，并通过所述dbus总线传递至所述散热模块。
5.根据权利要求4所述的服务器散热调控方法，其特征在于，在所述对用户账户权限进行验证之前，所述散热调校模块的接口为隐藏状态；
验证未通过时，所述散热调校模块的接口为隐藏状态。
6.根据权利要求5所述的服务器散热调控方法，其特征在于，在所述通过所述dbus总线传递至所述散热模块之后，还包括：
判断所述散热模块的当前散热参数是否合适；
若是，则判定所述散热模块的当前散热参数为目标参数；
若否，则重新对所述dbus总线的参数变量进行更改。
7.根据权利要求6所述的服务器散热调控方法，其特征在于，在判定所述散热模块的当前散热参数为目标参数之后，还包括：
通过所述散热调校模块将所述目标参数写入到BMC的flash中。
8.根据权利要求7所述的服务器散热调控方法，其特征在于，在所述将所述目标参数写入到BMC的flash中之后，还包括：
重启BMC，以永久导入所述目标参数。
9.一种电子设备，其特征在于，包括处理器和存储器，其中，所述处理器执行所述存储器中存储的计算机程序时实现如权利要求1至8任一项所述的服务器散热调控方法。
10.一种计算机可读存储介质，其特征在于，用于存储计算机程序，其中，所述计算机程序被处理器执行时实现如权利要求1至8任一项所述的服务器散热调控方法。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110873325.0A CN113703552B (zh) | 2021-07-30 | 2021-07-30 | 一种服务器散热调控方法、设备及存储介质 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202110873325.0A CN113703552B (zh) | 2021-07-30 | 2021-07-30 | 一种服务器散热调控方法、设备及存储介质 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN113703552A true CN113703552A (zh) | 2021-11-26 |
| CN113703552B CN113703552B (zh) | 2024-02-09 |
Family
ID=78651208
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202110873325.0A Active CN113703552B (zh) | 2021-07-30 | 2021-07-30 | 一种服务器散热调控方法、设备及存储介质 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN113703552B (zh) |
Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20040210797A1 (en) * | 2003-04-17 | 2004-10-21 | Arm Limited | On-board diagnostic circuit for an integrated circuit |
| US20090125159A1 (en) * | 2007-11-09 | 2009-05-14 | Delta Electronics, Inc | Heat dissipating system |
| US9335986B1 (en) * | 2013-12-11 | 2016-05-10 | Amazon Technologies, Inc. | Hot patching to update program code and/or variables using a separate processor |
| US20160186706A1 (en) * | 2014-07-15 | 2016-06-30 | Brazil Green Energy Technologies, Llc | Systems and methods for fuel state control with fuel recirculation and preheat |
| CN109960661A (zh) * | 2019-04-18 | 2019-07-02 | 苏州浪潮智能科技有限公司 | 一种资产信息管理方法、装置、设备及存储介质 |
| WO2020019724A1 (zh) * | 2018-07-27 | 2020-01-30 | 郑州云海信息技术有限公司 | 服务器中传感器数据的获取方法、获取系统和相关装置 |
| CN111858238A (zh) * | 2020-06-29 | 2020-10-30 | 山东云海国创云计算装备产业创新中心有限公司 | 一种cpu状态数据的管理方法、装置及设备 |
-
2021
- 2021-07-30 CN CN202110873325.0A patent/CN113703552B/zh active Active
Patent Citations (7)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US20040210797A1 (en) * | 2003-04-17 | 2004-10-21 | Arm Limited | On-board diagnostic circuit for an integrated circuit |
| US20090125159A1 (en) * | 2007-11-09 | 2009-05-14 | Delta Electronics, Inc | Heat dissipating system |
| US9335986B1 (en) * | 2013-12-11 | 2016-05-10 | Amazon Technologies, Inc. | Hot patching to update program code and/or variables using a separate processor |
| US20160186706A1 (en) * | 2014-07-15 | 2016-06-30 | Brazil Green Energy Technologies, Llc | Systems and methods for fuel state control with fuel recirculation and preheat |
| WO2020019724A1 (zh) * | 2018-07-27 | 2020-01-30 | 郑州云海信息技术有限公司 | 服务器中传感器数据的获取方法、获取系统和相关装置 |
| CN109960661A (zh) * | 2019-04-18 | 2019-07-02 | 苏州浪潮智能科技有限公司 | 一种资产信息管理方法、装置、设备及存储介质 |
| CN111858238A (zh) * | 2020-06-29 | 2020-10-30 | 山东云海国创云计算装备产业创新中心有限公司 | 一种cpu状态数据的管理方法、装置及设备 |
Non-Patent Citations (1)
| Title |
|---|
| 阎军;孙兴盛;王乜;王舒;毛火华;刘书田;: "半导体照明灯具典型散热结构分析与优化", 固体力学学报, no. 1 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN113703552B (zh) | 2024-02-09 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| US6978454B2 (en) | Checking computer program installation | |
| CN110286941A (zh) | 灰度发布方法、装置、存储介质及电子设备 | |
| US20070022411A1 (en) | System and method for compiling program code ahead of time | |
| CN104391791A (zh) | 嵌入式控制算法的测试方法及装置 | |
| CN111541554A (zh) | 一种区块链数据处理方法、装置和电子设备 | |
| Pietsch et al. | Generating realistic test models for model processing tools | |
| JP2000066919A (ja) | 制約有効性チェック | |
| US11514219B1 (en) | System and method for assertion-based formal verification using cached metadata | |
| CN113703552A (zh) | 一种服务器散热调控方法、设备及存储介质 | |
| Bidkar et al. | Virtual ECU Development for Vehicle Diagnostics Software Testing using UDS Protocol | |
| CN114138597B (zh) | 一种操作系统性能调优装置、方法、设备及存储介质 | |
| CN113791794B (zh) | 面向超算应用的算例自动部署方法及系统 | |
| CN113254158B (zh) | 一种深度学习系统的部署方法和装置 | |
| KR101759893B1 (ko) | 분산자원 모의운전을 위한 시나리오 기반 가상장비 관리 장치 | |
| Pitchford | Embedded software quality, integration, and testing techniques | |
| KR20140121583A (ko) | 애플리케이션 자동검증 시스템 및 방법 | |
| Beuche et al. | Managing flexibility: Modeling binding-times in simulink | |
| KR20100065046A (ko) | 임베디드 기반 시스템의 응용 시험 장치 및 방법 | |
| JP5076785B2 (ja) | プラント運用計画装置、そのプログラム | |
| US8892694B2 (en) | Declarative system configurations | |
| Gokhale | Analysis of software reliability and performance | |
| CN112182591B (zh) | 一种基于Linux系统的web应用可信运行环境校验方法 | |
| Ciarlini et al. | Automatic derivation of meaningful experiments for hybrid systems | |
| Piskac | New applications of software synthesis: Verification of configuration files and firewall repair | |
| WO2022185418A1 (ja) | デバッグ支援プログラム、デバッグ支援装置、デバッグ支援方法および機械学習装置 |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant |