1、SETTA 2021：可靠软件工程的前沿探索

于 2025-06-10 15:30:29 发布
阅读量19 收藏
点赞数
CC 4.0 BY-SA版权
分类专栏： 可靠的软件工程：理论与实践 文章标签： SETTA 2021 可靠软件工程 形式化方法
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/w7x8y9z/article/details/149356209

SETTA 2021：可靠软件工程的前沿探索

1. SETTA 2021 会议概述

SETTA 2021 即第 7 届可靠软件工程理论、工具与应用国际研讨会，于 2021 年 11 月 25 - 27 日在北京举行。该会议由中国科学院软件研究所赞助并组织。其目的是汇聚国际研究人员，交流形式化方法与软件工程之间的研究成果和想法，重点促进与中国计算机科学和软件工程界的互动，以激发基于兴趣的研究合作。此前，SETTA 研讨会已在南京（2015 年）、北京（2016 年）、长沙（2017 年）、北京（2018 年）、上海（2019 年）和广州（2020 年）成功举办。

SETTA 2021 设有主赛道和期刊优先赛道。主赛道吸引了来自 12 个国家研究人员共同撰写的 39 篇投稿，每篇投稿至少由 3 名程序委员会成员在额外评审人员的协助下进行评审。经在线讨论，最终 16 篇论文被接受在会议上展示。期刊优先赛道与《计算机科学与技术学报》合作组织，吸引了 14 篇符合条件的投稿，经标准评审流程被期刊接受的论文预计作为 SETTA 2021 会议议程的一部分进行展示。会议还包括三场主题演讲，演讲者分别是来自亚琛工业大学的 Joost - Pieter Katoen、拉德堡德大学的 Frits Vaandrager 以及香港科技大学的 Charles Zhang。

会议的成功举办离不开众多人员的努力，包括当地组织委员会、论文作者、指导委员会成员、程序委员会成员、额外评审人员、特邀演讲者以及会议总主席陈昭、宣传主席付松和当地组织主席吴志林。

2. 会议组织架构

  • 程序委员会 ：成员来自世界各地的知名

了解本专栏 订阅专栏 解锁全文 超级会员免费看
中国计算机学会（CCF）推荐学术会议-C（计算机科学理论）：SETTA 2025
iaast的博客
07-14 263
时间地点：2025年12月1日-牛津·英国。录用率：44.7%（2024年）所属领域：计算机科学理论。
KCL 论文被 SETTA 2022 会议录用
光谷码农
10-28 500
近日，由 KusionStack 团队成员撰写的关于 KCL 创新论文被 SETTA 2022 国际会议长文录用。Symposium on Dependable Software Engineering（以下简称 SETTA）可靠软件工程研讨会旨在将国际研究人员聚集在一起，就缩小形式化方法与软件工程之间的差距交流研究成果和想法。例如，将形式化技术和工具应用于工程大型系统（如网络物理系统 (CPS)...
ISSTA 2024盛大开幕：中国学者的录取数和投稿量均位列第一
ConferenceEye的博客
09-19 927
主办方依照惯例，公布了关键数据与统计信息，在提交论文的领域分布上，"Bug finding"、"Empirical studies experience reports and reproducibility studies"、"Security"成为了本年度的前三热门领域。ISSTA 2024共录用143篇论文，录用率为20.6%，展示了会议的参与度和学术成果的丰富性以及大会的高学术标准和竞争的激烈程度。9月16日与17日，大会安排了丰富的社交活动，为与会者提供了交流与建立联系的平台。
四天倒计时，SETTA会议你准备好了吗?
ConferenceEye的博客
08-19 771
SETTA 2024（Symposium on Dependable Software Engineering: Theories, Tools and Applications，可信软件工程：理论、工具与应用国际会议）是由中国科学院软件研究所（ISCAS）发起的国际性年度学术会议，至今已成功举办9届。购物天堂，美食之都，文化交融的典范，自由开放的国际都市，吸引着世界各地的目光与脚步。讨论如何将这些理论框架和技术扩展到复杂系统的设计和验证中，以提升其应用范围。探讨软件工程中的理论、技术和工具的。
软件工程领域大牛：谢涛教授（美国伊利诺伊大学香槟分校）介绍
the Blog of 等不到天亮丶等时光
11-07 5668
抬头仰望星空，神游万里，总有高人。 今日，介绍谢涛教授。
hgame2023 week1 writeup
01-15 4979
hgame2023 WEEK1
SETTA 2020 国际学术会议即将召开，欢迎大家参加！
算法码上来
11-22 933
会议简介 SETTA（Symposium on Dependable Software Engineering: Theories, Tools and Applications，可信...
hgame2022-week1
网安小菜鸡
01-15 5241
hgame2022-week1 wp(部分）
Mkyong 中文博客翻译（六十八）
龙哥盟
11-05 396
原文：Mkyong 协议：CC BY-NC-SA 4.0 Struts 2 @ResultPath 注释示例 原文：http://web.archive.org/web/20230101150211/http://www.mkyong.com/struts2/struts-2-resultpath-annotation-example/ 在 Struts 2 中， @ResultPath 注释用于控制 Struts 2 将在哪里找到存储的结果或 JSP 页面。默认情况下，它会从“ WEB-INF/c
【嵌入式系统】基于STM32的步进电机精准运动控制：硬件搭建、代码实现及性能优化
最新发布
07-24
内容概要：本文详细介绍了如何使用STM32微控制器精确控制步进电机，涵盖了从原理到代码实现的全过程。首先，解释了步进电机的工作原理，包括定子、转子的构造及其通过脉冲信号控制转动的方式。接着，介绍了STM32的基本原理及其通过GPIO端口输出控制信号，配合驱动器芯片放大信号以驱动电机运转的方法。文中还详细描述了硬件搭建步骤，包括所需硬件的选择与连接方法。随后提供了基础控制代码示例，演示了如何通过定义控制引脚、编写延时函数和控制电机转动函数来实现步进电机的基本控制。最后，探讨了进阶优化技术，如定时器中断控制、S形或梯形加减速曲线、微步控制及DMA传输等，以提升电机运行的平稳性和精度。 适合人群：具有嵌入式系统基础知识，特别是对STM32和步进电机有一定了解的研发人员和技术爱好者。 使用场景及目标：①学习步进电机与STM32的工作原理及二者结合的具体实现方法；②掌握硬件连接技巧，确保各组件间正确通信；③理解并实践基础控制代码，实现步进电机的基本控制；④通过进阶优化技术的应用，提高电机控制性能，实现更精细和平稳的运动控制。 阅读建议：本文不仅提供了详细的理论讲解，还附带了完整的代码示例，建议读者在学习过程中动手实践，结合实际硬件进行调试，以便更好地理解和掌握步进电机的控制原理和技术细节。同时，对于进阶优化部分，可根据自身需求选择性学习，逐步提升对复杂控制系统的理解。
微电网优化技术及其算法研究：从Yalmip+Cplex到粒子群与遗传算法的应用 指南
07-24
内容概要：本文详细探讨了微电网优化技术及其相关算法的研究，涵盖多种优化方法和技术手段。主要内容包括：（1）使用Yalmip+Cplex进行微电网优化建模，涉及光伏、风电、蓄电池和电网的协调配置；（2）采用粒子群算法优化微电网及综合能源系统，通过群体智能算法优化能源分配；（3）介绍多目标算法优化综合能源系统，以及遗传算法在光伏出力预测和风光负荷典型场景生成中的应用；（4）讨论拉丁超立方抽样方法在生成代表性场景中的作用。每种方法均配有详细的代码分析，帮助读者深入理解其实现细节。 适合人群：对微电网优化技术和算法感兴趣的科研人员、工程师及相关领域的学生。 使用场景及目标：适用于希望深入了解微电网优化技术及其实际应用的人士，旨在提供理论与实践相结合的学习材料，帮助读者掌握不同优化算法的具体实现方式。 其他说明：本文不仅介绍了各种优化算法的基本原理，还提供了相应的代码实例，便于读者动手实践并加深理解。
基于arduino uno r3主控的环境监测系统设计
07-24
通过传感器采集TVOC（总挥发性有机物）、HCHO（甲醛）和eCO2（等效二氧化碳）数据，并显示在LCD屏幕上，同时支持数据记录到SD卡，以及通过旋转编码器进行交互。结合RTC时间戳将数据记录至SD卡，并通过LCD显示屏和旋转编码器实现用户交互。系统具备三屏数据显示、智能SD卡管理、时间设置和数据记录控制等核心功能。 该设备通过软串口与TVOC传感器通信，获取TVOC、HCHO和eCO2数据。这些数据会显示在LCD屏幕上，用户可以通过旋转编码器切换显示屏幕（三个屏幕：TVOC+HCHO、eCO2、最后记录）。同时，设备支持将数据记录到SD卡（记录状态由记录按钮控制）。设备还包含一个实时时钟（RTC）用于时间戳。旋转编码器长按可以进入时间设置模式，调整年、月、日、时、分、秒。
MATLAB语音识别系统：基于GUI的数字0-9识别及深度学习模型应用 · GUI v1.2
07-24
内容概要：本文介绍了一款基于MATLAB的语音识别系统，主要功能是识别数字0到9。该系统采用图形用户界面（GUI），方便用户操作，并配有详尽的代码注释和开发报告。文中详细描述了系统的各个组成部分，包括音频采集、信号处理、特征提取、模型训练和预测等关键环节。此外，还讨论了MATLAB在此项目中的优势及其面临的挑战，如提高识别率和处理背景噪音等问题。最后，通过对各模块的工作原理和技术细节的总结，为未来的研究和发展提供了宝贵的参考资料。 适合人群：对语音识别技术和MATLAB感兴趣的初学者、学生或研究人员。 使用场景及目标：适用于希望深入了解语音识别技术原理的人群，特别是希望通过实际案例掌握MATLAB编程技巧的学习者。目标是在实践中学习如何构建简单的语音识别应用程序。 其他说明：该程序需要MATLAB 2019b及以上版本才能正常运行，建议使用者确保软件环境符合要求。
西门子S7-1500 PLC在新能源电池组装线及机器人通信中的应用与编程案例 v1.1
07-24
西门子S7-1500 PLC及其相关技术在新能源电池组装线上的应用。主要内容涵盖了西门子Sicar标准程序案例，包括与西门子工控机、WinCC Runtime的结合，以及多种编程语言（如SCL、GRAPH）的应用。文中还探讨了西门子PLC S7-1500与KUKA机器人的TCP/IP通讯、六轴伺服电机控制、Modbus通讯、PN通讯控制西门子V90伺服电机、巴鲁夫RFID总线模组通讯等技术细节。此外，文章还提到与MES系统的对接，实现了生产数据的实时反馈和优化。最后，文章强调了这些技术的学习价值和应用前景，特别是对于电气编程者和希望提升自动化水平的企业。 适合人群：电气工程师、自动化技术人员、从事新能源电池生产的研发人员。 使用场景及目标：适用于新能源电池生产线的设计与优化，帮助企业和技术人员掌握先进的自动化控制技术，提高生产效率和产品质量。 其他说明：文中提供的大量学习资料和实际案例有助于读者深入了解并应用于实际项目中。
PLC精准配方控制的三轴螺丝机与流水线智能联动系统：支持触摸屏操作与三菱FX3GA控制器，螺丝数量与数据存储可灵活调整
07-24
如何利用PLC（可编程逻辑控制器）为三轴吸钉式自动锁螺丝机编写配方程序，并使其与流水线无缝协作。主要内容涵盖PLC与三轴螺丝机的结合、配方设定、运动控制、信号交互以及显控触摸屏与三菱FX3GA PLC的配合。PLC作为核心控制单元，负责接收流水线到位信号并控制三轴螺丝机的运动，确保高效、精准的打螺丝作业。同时，通过显控触摸屏，操作员可以方便地调整参数和监控设备状态。 适合人群：从事工业自动化领域的工程师和技术人员，尤其是那些希望提升生产线效率和精度的专业人士。 使用场景及目标：适用于现代化工厂的自动化生产线，旨在提高生产效率、减少人工干预、增强生产的灵活性和智能化水平。 其他说明：文中提到的系统已在实际设备中得到应用，证明了其可行性和可靠性。通过预设的配方程序，该系统能轻松应对多种产品的生产需求，是未来制造业发展的趋势之一。
【地理信息系统】基于GEE-API的地表高程路径分析服务：获取路径沿线高程数据及百分位统计信息的设计与实现
07-24
内容概要：本文档详细介绍了GP_elevationPath类及其相关方法，该类继承自GEE_Service，主要用于获取路径沿线的高程数据。它通过Google Earth Engine (GEE) API来处理地理空间数据。文中定义了关键函数getElevationAlongPath，该函数接收路径、采样距离、数据比例尺和百分位数组作为参数，经过一系列复杂的地理计算（如将路径分割为多个线段、创建采样点、获取每个点的高程信息等），最终返回包括各个采样点的高程百分位数据在内的结果。此外，还提供了singleRequest方法用于处理来自用户的JSON格式请求，检查请求是否合法并调用getElevationAlongPath进行具体的数据处理。 适合人群：熟悉Python编程语言，特别是对地理信息系统(GIS)和遥感领域有一定了解的研究人员或开发者。 使用场景及目标：①需要从Google Earth Engine获取特定路径上高程数据的研究项目；②开发基于Web的应用程序时，用于提供路径高程信息服务；③帮助用户理解如何使用GEE API与Python结合来处理地理空间数据。 其他说明：此文档提供的代码示例包含了详细的错误处理机制，确保当输入数据不正确或出现异常情况时能够及时反馈给用户。同时，它也展示了如何利用GEE平台丰富的影像资源和强大的数据分析能力来进行定制化的地理空间分析任务。
汇川MD500E变频器全套开发方案：源马程序+解析+仿真模型，PMSM控制算法资料齐全，远程验证定制生产技术服务
07-24
汇川MD500E变频器的开发方案，涵盖源码解析、原理图、仿真模型以及多种定制服务。首先，文章深入剖析了MD500E变频器的核心源码，包括PMSM的FOC控制算法、电阻、电感、磁链等参数的辨识算法、无感FOC控制算法、电流环自整定算法和磁链观测器算法。其次，提供了详细的原理图，展示了变频器的电路布局和控制逻辑。此外，还提供了全套仿真模型和测试系统，可以在仿真环境中模拟各种工况，提前发现潜在问题并进行优化。最后，文中提到严格的供货商管理和生产文件管理，确保生产的透明化和可追溯性。同时，支持软件的二次开发和定制服务，满足用户的个性化需求。 适合人群：从事变频器开发的技术人员、电气工程师、自动化控制系统设计师。 使用场景及目标：适用于需要深入了解汇川MD500E变频器内部机制的研发人员，旨在帮助他们掌握核心技术，提升开发效率，解决实际应用中的问题。 其他说明：本文不仅提供了详尽的技术细节，还强调了生产和供应链管理的重要性，有助于全面理解和实施变频器开发项目。
Unity火灾逃生模拟仿真：提升画质与全场景漫游的消防安全培训平台
07-24
内容概要：本文介绍了基于Unity开发的火灾逃生模拟仿真系统。该系统采用最新的Unity渲染管线，实现了真实镜面反射和PBR材质，提升了视觉效果的真实感。同时，系统支持全场景漫游和自由视角转换，用户可根据提示选择合理的逃生方式。此外，文中详细描述了系统的各个组成部分，如场景建模、角色与AI设计、镜面反射与PBR材质实现、全场景漫游与视角转换、提示与交互设计，以及打包与发布流程。最后，系统不仅提供了可执行的exe文件，还附带了完整的项目源码和说明文档，便于用户深入了解和二次开发。 适合人群：对Unity开发感兴趣的技术人员、从事消防安全教育的专业人士、希望了解虚拟现实应用的学生和研究人员。 使用场景及目标：适用于消防培训和演练，旨在提高人们对火灾逃生知识的理解和实际操作能力。 其他说明：该系统不仅强调用户体验和技术实现，还关注于教育意义和社会价值，未来将继续优化和完善，为更多人提供服务。
springboot216新闻资讯系统.zip
07-24
springboot216新闻资讯系统
springboot 整合seta
03-29
### Spring Boot 整合 Seta 示例教程 Seta 并不是一个常见的开源框架名称，在当前主流技术栈中并未广泛提及。如果此处指的是某种特定工具或框架，请进一步确认其具体含义。然而，假设这里可能是指类似于 MyBatis 或其他 ORM 工具的技术实现，则可以参考以下通用整合流程。 #### 一、环境准备 为了成功将任何新的库（如假定的 Seta）集成到 Spring Boot 中，需完成如下准备工作： 1. **安装 JDK**：确保已安装适合版本的 JDK (通常推荐使用最新 LTS 版本)[^1]。 2. **IDE 配置**：建议使用 IntelliJ IDEA 或 Eclipse 等支持 Maven/Gradle 构建系统的 IDE。 3. **数据库设置**：准备好目标数据库并创建测试表结构[^1]。 #### 二、依赖引入 在 `pom.xml` 文件中添加必要的依赖项。以下是针对虚构框架 “Seta” 的示例配置： ```xml <dependencies> <!-- Spring Boot Starter --> <dependency> <groupId>org.springframework.boot</groupId> <artifactId>spring-boot-starter</artifactId> </dependency> <!-- 数据源连接池 --> <dependency> <groupId>com.zaxxer</groupId> <artifactId>HikariCP</artifactId> </dependency> <!-- 假设 Setta 对应的依赖 --> <dependency> <groupId>com.example.seta</groupId> <artifactId>seta-spring-boot-starter</artifactId> <version>1.0.0</version> </dependency> <!-- MySQL Driver --> <dependency> <groupId>mysql</groupId> <artifactId>mysql-connector-java</artifactId> </dependency> </dependencies> ``` 注意替换上述 `<groupId>` 和 `<artifactId>` 为实际可用值[^2]。 #### 三、配置文件调整 编辑项目的 `application.yml` 或者 `application.properties` 来指定数据源参数以及 Seta 相关属性： ```yaml spring: datasource: url: jdbc:mysql://localhost:3306/testdb?useSSL=false&serverTimezone=UTC username: root password: secret driver-class-name: com.mysql.cj.jdbc.Driver # 自定义 seta 属性 seta: mapper-locations: classpath:mappers/*.xml type-aliases-package: com.example.domain ``` 以上 YAML 设置指定了 JDBC URL、用户名密码以及其他必要选项。 #### 四、编写 Mapper 接口 按照 Seta 官方文档指导设计对应的 DAO 层接口。例如： ```java import org.apache.ibatis.annotations.Select; import java.util.List; public interface UserMapper { @Select("SELECT * FROM users WHERE age >= #{minAge}") List<User> findUsersByMinAge(int minAge); } ``` 此代码片段展示了通过注解方式定义 SQL 查询语句的方法。 #### 五、启动类声明扫描路径 最后一步是在主程序入口处启用组件自动发现机制： ```java @SpringBootApplication(scanBasePackages = {"com.example"}) @MapperScan(basePackages = "com.example.mapper") public class DemoApplication { public static void main(String[] args) { SpringApplication.run(DemoApplication.class, args); } } ``` 至此完成了整个整合过程概述。 ---
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值