Requirements-Aided Automatic Test Case Generation for Industrial Cyber-physical Systems
工业网络物理系统需要复杂的分布式软件来协调许多异构的机电组件并控制多个物理过程。工业自动化软件通常以模型驱动的方式开发，其中称为工厂模型的物理过程的抽象与控制代码一起共同开发和迭代细化。测试这样的多维系统是非常困难的，因为通常模型可能不准确，与后续的改进不准确对应，并且软件最终必须在真实工厂上进行测试，特别是在核电站等安全关键系统中。本文提出了一个框架，其中高层次的功能需求被用来自动生成测试用例的模型驱动的工程过程中的所有抽象层次的设计。需求最初以自然语言指定，然后使用形式化本体进行分析和指定。然后，在设计和开发阶段，需求本体连同控制器和工厂模型一起被细化，使得测试用例可以在任何阶段自动生成。一个有代表性的工业水处理系统的案例研究说明了所提出的形式主义的优势。CESAR欧洲项目提出的需求元模型用于需求工程，而IEC 61131-3和模型驱动的概念用于设计和开发阶段。从所提出的框架称为REBATE（基于需求的自动测试引擎）的工具是用来生成和执行越来越具体的控制器和工厂模型的测试用例。
2021-08-17 cs.SE
An Evaluation of Requirements Modeling for Cyber-Physical Systems via LLMs
本文提出CPSBench基准，通过实体识别和交互提取两个任务系统评估七种先进大语言模型在CPSs需求建模中的能力与局限，并建立幻觉分类体系，为自动化需求建模提供启示。
2024-08-05 cs.SE
Towards an Automated Requirements-driven Development of Smart Cyber-Physical Systems
Charles University in Prague（布拉格查理大学）；Faculty of Mathematics and Physics（数学与物理学院）
自适应不变精化方法（IRM-SA）是一种针对智能信息物理系统（sCPS）开发的设计方法。它允许将系统需求系统地转换为表示为基于集成的组件系统（EBCS）的系统架构。然而，由于需求是使用自然语言捕获的，因此存在由于自然语言需求的模糊性而导致其被误解的危险，这最终可能导致设计错误。因此，需要设计过程的自动化和验证。在本文中，我们（i）分析自然语言的要求到IRM-SA模型的翻译过程，（ii）确定可以使用自然语言处理技术自动化和/或验证的各个步骤，（iii）提出合适的方法。
2016-03-29 cs.CL cs.SE
Falsification of Multiple Requirements for Cyber-Physical Systems Using Online Generative Adversarial Networks and Multi-Armed Bandits
Åbo Akademi University（奥博学术大学）
我们认为伪造的安全需求的信息物理系统表示在信号时序逻辑（STL）的问题。这个问题可以通过STL鲁棒性函数转化为优化问题。在本文中，我们的重点是伪造系统的多个要求。我们建议使用在线生成对抗网络（GANs）作为测试生成器来解决这种合取要求。我们的主要贡献是一个算法，伪造的合取要求$φ_1 \land \cdots \land φ_n$通过使用GAN为每个要求$φ_i$分别。该算法借鉴了多臂强盗算法的思想，每一步只训练一个GAN，节省了资源。我们的实验表明，除了节省资源，这种多臂强盗算法可以伪造的要求，在测试系统上的执行次数较少时，相比（i）一个算法训练一个单一的GAN的完整的合取要求和（ii）算法总是在每一步训练$n$ GANs。
2022-05-23 cs.LG cs.SE
Demonstrators for Industrial Cyber-Physical System Research: A Requirements Hierarchy Driven by Software-Intensive Design
Faculty of Engineering Technology, University of Twente（特温特大学工程技术学院）
针对研究项目中演示器需求不明确的问题，提出一个演示器需求细化框架，定义五个层次的需求层次，并通过两个研究项目验证其有效性。
2026-05-22 cs.SE
Developments in Connected Vehicles and the Requirement for Increased Cybersecurity
Institute of Technology Sligo（斯莱戈理工学院）
本文针对智能交通联网功能普及带来的网络攻击风险，分析三类攻击与网络漏洞，指出车企盲目增设远程连接的问题，为未来车辆网络安全设计验证提供参考。
2021-11-23 cs.CR cs.SE
Using a Cyber Digital Twin for Continuous Automotive Security Requirements Verification
数字孪生（DT）是物理对象的数字表示，用于在构建之前对其进行模拟或在部署对象之后预测故障。在这篇文章中，我们介绍了我们的方法，它适用于一个网络数字孪生（CDT）的概念，汽车软件的安全分析的目的。在我们的方法中，汽车固件被转换为CDT，其中包含自动提取的，从固件的安全相关的信息。基于CDT，我们评估安全需求，通过自动化分析和需求验证，使用策略执行检查和漏洞检测。对CDT的评估是不断进行的，并结合了新的安全要求和新披露的漏洞所产生的新检查。我们将我们的方法应用于大约100个汽车固件。在预生产阶段，每个固件平均检测到约600个公开披露的漏洞和80个未知的弱点。因此，使用CDT能够有效地持续验证安全要求。
2021-09-30 cs.CR cs.SE
Early Validation of High-level Requirements on Cyber-Physical Systems
针对安全关键型网络物理系统（CPS）高层需求早期验证问题，提出将需求转换为事件演算并利用无接地s(CASP)等ASP求解器推理的方法，相关初步成果已被ICLP'24接收。
2025-02-13 cs.LO cs.SE
Requirement falsification for cyber-physical systems using generative models
Faculty of Science and Engineering, Åbo Akademi University（Åbo Akademi大学科学与工程学院）
本文提出OGAN算法，利用生成模型自动为信息物理系统生成反例输入，以在运行前发现缺陷，并在ARCH-COMP基准上验证了其高效性和有效性。
2025-02-28 cs.LG cs.SE
Black-box Integration of Heterogeneous Modeling Languages for Cyber-Physical Systems
RWTH Aachen University（亚琛工业大学）
机器人属于一类信息物理系统，其中复杂的软件作为移动终端必须在复杂的环境中完成任务。为分析和代码生成而对机器人应用程序进行建模需要用于逻辑软件架构和系统行为的建模语言。MontiArcAutomaton建模框架集成了六种独立开发的建模语言来建模机器人应用程序：组件和连接器架构描述语言，自动机，I/O表，类图，OCL和Java DSL。我们描述了我们如何将这些语言集成到MontiArcAutomaton的一个后验的黑盒集成方式。
2014-09-08 cs.RO cs.SE
Search-based Trace Diagnostic for Cyber-Physical Systems
Gran Sasso Science Institute (GSSI)（格兰萨索科学研究所）；University of Brasília（巴西利亚大学）；McMaster University（麦克马斯特大学）；University of Bergamo（贝加莫大学）
针对信息物理系统轨迹诊断问题，提出基于进化搜索的SBTD技术，通过黑盒轨迹检查与进化算法生成诊断，在34个实验中29个达到专家对齐，并扩展到完整HLS基准。
2026-09-15 cs.SE
Ensembling LLMs for AI-Augmented Cybersecurity Software Requirements Generation
Universidad Politécnica de Madrid（马德里理工大学）
本研究提出生成后融合策略，利用信息检索数据融合算子集成大语言模型的多次随机运行，以提升网络安全需求生成的召回率和精确率，实验表明均匀融合和朴素贝叶斯融合显著优于单次配置，将噪声转化为实用资产。
2026-09-10 cs.SE
Formal Requirement Elicitation and Debugging for Testing and Verification of Cyber-Physical Systems
School of Computing, Informatics and Decision Systems Arizona State University（亚利桑那州立大学计算、信息与决策系统学院）
本文提出一个用于物理系统形式化规格的 elicitation 与调试框架，通过图形界面处理规格 elicitation，提供两种调试算法以解决规格错误，通过用户研究验证框架能有效解决常见规格错误。
2018-07-27 cs.LO cs.SE cs.SY
Janus: A Systems Engineering Approach to the Design of Industrial Cyber-Physical Systems
采用系统工程方法来设计工程系统所带来的好处是很好理解和记录的。然而，对于软件系统，由于需求的可变性和软件的延展性，需要不同的方法。随着工业信息物理系统的设计，人们面临着设计具有重要软件组件的工程系统的挑战。此外，该软件组件必须能够与企业的业务系统和工业系统进行无缝交互。在本文中，我们提出了Janus，它与BDI代理框架，提供了一种基于代理的工业网络物理系统的设计方法。Janus方法的核心是开发传统系统工程中的逻辑架构，然后将逻辑需求分配给BDI（信念欲望意图）代理架构，该架构源自系统的物理架构。Janus的起源在产品制造，在本文中，我们将其应用到问题的故障定位，隔离和服务恢复（FLISR）的变电站。
2021-08-02 cs.SE
Early Validation of Cyber-Physical Space Systems via Multi-Concerns Integration
网络物理空间系统是在物理空间内运行的工程系统，其设计要求取决于空间，例如，关于位置或移动行为。它们是由计算和物理组件的无缝集成构建的，并依赖于这种集成。典型的例子包括软件驱动的代理（如移动机器人）探索空间并执行动作以完成特定任务的系统。这种系统的设计通常依赖于不同涉众表达的多个关注点，捕获系统的不同方面。我们提出了一个模型驱动的方法，支持（a）分离的关注在设计过程中，（b）系统和半自动集成的单独建模的关注，最后（c）早期验证通过统计模型检验。我们评估我们的方法在两个不同的案例研究的网络物理空间系统。
2020-07-13 cs.SE
Formal requirement and architecture specifications of a multi-agent robotic system
多智能体机器人系统的规范工程中最具挑战性的任务之一是正式指定和架构的系统，特别是作为一个多智能体机器人系统是并发的并发处理，往往有动态的环境。形式化的需求和体系结构规范以及从抽象到具体概念的逐步细化在系统的形式化中起着重要作用。本文提出了正式的需求和架构规范方面的一种方法，支持分析方面的功能以及非功能属性逐步细化从抽象到具体的规范和正式的架构定义。这些正式的规范已被举例说明的案例研究。随着形式化规范技术的日益成熟，我们构建正确的复杂多智能体机器人系统的能力也在迅速增长。
2015-01-21 cs.MA cs.SE
Towards a Value-Complemented Framework for Enabling Human Monitoring in Cyber-Physical Systems
本文提出一个基于价值分类法和价值策略的概念框架，将CPS运行时监控需求与人类价值关联并建立可追溯性，以解决人机协作中的隐私与安全等问题。
2025-05-03 cs.SE
Trace-Checking CPS Properties: Bridging the Cyber-Physical Gap
网络物理系统结合了软件和物理组件。规范驱动的CPS跟踪检查工具通常为用户提供一种规约语言来表达感兴趣的需求，并提供一个自动过程来检查这些需求是否保持CPS的执行跟踪。尽管存在用于CPS的若干规约语言，但它们通常不足以表达与软件和物理组件及其交互相关的复杂CPS属性的规范。在本文中，我们提出了（一）混合逻辑信号（HLS），一个基于逻辑的语言，允许复杂的CPS要求的规范，和（ii）TheEodorE，一个有效的SMT为基础的跟踪检查程序。这个过程减少了在执行跟踪上检查CPS需求的问题，检查SMT公式的可满足性。我们评估了我们的贡献，使用一个有代表性的工业案例研究在卫星领域。我们通过考虑我们案例研究的212个要求来评估HLS的表达能力。HLS可以表达所有212个需求。我们还通过运行747个跟踪要求组合的跟踪检查程序来评估TheEodorE的适用性。在74.5%的案件中，EodorE能够做出判决。最后，我们比较了HLS和TheEodorE与其他规约语言和跟踪检查工具的文献。我们的研究结果表明，从实用的角度来看，我们的方法提供了一个更好的表现力和性能之间的权衡。
2021-09-15 cs.FL cs.LO cs.SE
CPuS-IoT : A Cyber-Physical Microservice and IoT-based Framework for Manufacturing Assembly Systems
今天的客户具有个性化的需求，这导致制造业增加产品种类和减少产量。制造系统，更具体地说，装配系统（AS）应该允许制造资产的快速适应，以响应不断变化的市场需求，导致大规模定制。与此同时，由于第四次工业革命，制造业时代正在发生变化，即，工业4.0将把传统的制造环境转变为基于物联网的环境。在此背景下，本文介绍了制造和AS领域的网络物理微服务的概念，并提出了基于网络物理微服务和物联网（CPuS-IoT）的框架。CPuS-IoT框架利用了微服务架构风格和物联网技术的优势，同时也利用了该领域现有的基于传统技术的巨大投资，以支持工业4.0时代可进化AS的生存周期。它为捕获模型驱动工程（MDE）方法所使用的领域知识提供了坚实的基础，以半自动化AS的开发，进化和操作，并为装配系统专家和物联网专家建立通用词汇表。CPuS-IoT方法和框架有效地将MDE与IoT和微服务架构范式相结合。一个日常生活产品的组装的案例研究，通过演示的方法，即使在这个领域的非专家。
2019-02-12 cs.SE
Cyber-Physical Microservices: An IoT-based Framework for Manufacturing Systems
信息和通信技术的最新进展使制造业的发展能够满足社会的新要求。网络物理系统、物联网（IoT）和云计算在被称为工业4.0的第四次工业革命中发挥着关键作用。微服务架构已经发展成为SOA的替代方案，并有望解决软件开发中的许多挑战。在本文中，我们采用了微服务的概念，并描述了一个框架，制造系统的网络物理微服务的关键构造。制造工厂流程被定义为采用编排或编排模式的原始网络物理微服务的组合。物联网技术用于系统集成，模型驱动工程用于为不熟悉微服务和物联网的工业工程师半自动化开发过程。两个案例研究证明了所提出的方法的可行性。
2018-04-01 cs.SE
Automated Repair of Cyber-Physical Systems
针对信息物理系统（CPS）人工调试成本高且自动化程序修复（APR）研究有限的问题，本项目提出结合基于频谱的故障定位（SBFL）、补丁生成与先进AI技术的可扩展APR方法，以解决故障定位、测试执行时间长及适应度函数局限等挑战。
2025-01-29 cs.SE
SmartValidator: A Framework for Automatic Identification and Classification of Cyber Threat Data
安全运营中心（SOC）使用各种网络威胁信息（CTI）来验证安全事件和警报。安全专家根据CTI手动定义不同类型的规则和脚本来执行验证任务。这些规则和脚本需要不断更新，因为不断变化的威胁，不断变化的SOC的要求和CTI的动态性质。更新规则和脚本的手动过程会延迟对攻击的响应。为了减轻人类专家的负担并加快响应速度，我们提出了一种新的基于人工智能（AI）的框架SmartValidator。SmartValidator利用机器学习（ML）技术实现警报的自动验证。它由三层组成，执行数据汇集、模型构建和警报验证任务。它将验证任务投影为分类问题。而不是建立和保存模型的所有可能的要求，我们建议自动构建验证模型的基础上SOC的要求和CTI。我们构建了一个概念验证（Proof of Concept，简称PMM）系统，其中包含8种ML算法、2种特征工程技术和18项需求，以研究SmartValidator的有效性和效率。评估结果表明，当自动构建预测模型用于对网络威胁数据进行分类时，75%的模型的F1得分高于0.8，这表明该模型具有足够的性能，可用于现实世界的组织。结果进一步表明，预测模型的动态构建所需的模型比所有可能要求的预构建模型少99%。该框架可以被各个行业遵循，以根据其CTI和SOC的偏好加速和自动化警报和事件的验证。
2022-03-15 cs.CR cs.SE
Vulnerability Coordination Under the Cyber Resilience Act
University of Southern Denmark（南丹麦大学）；KU Leuven（鲁汶大学）；University of Oxford（牛津大学）
本文解读欧盟《网络弹性法案》中的漏洞协调强制要求，对比美欧相关漏洞概念，分析公共部门相关实践调整，为网络安全监管研究提供参考。
2025-11-15 cs.CR cs.CY cs.SE
Signal-Based Properties of Cyber-Physical Systems: Taxonomy and Logic-based Characterization
信息物理系统（CPS）的行为通常由传感器和执行器处理的输入和输出信号来定义。CPS的需求规范通常使用基于信号的时间属性来表示。表达这样的需求是具有挑战性的，因为（1）可以用于表征信号行为的许多特征;（2）规范语言的表达性的广泛变化（即，时间逻辑），用于定义基于信号的时间属性。因此，系统和软件工程师需要有效的指导，根据他们必须定义的需求类型，选择适当的信号行为类型和适当的规范语言。在本文中，我们提出了一个分类的各种类型的信号为基础的属性，并提供，为每一种类型，一个全面而详细的描述，以及在时序逻辑的形式化。此外，我们回顾了国家的最先进的基于信号的时序逻辑的分类中确定的属性类型的表达。此外，我们报告我们的分类法的应用程序进行分类的工业案例研究在航空航天领域的需求规格，以评估使用我们的分类法中包括的属性类型的可行性和后者的完整性。
2020-12-28 cs.SE eess.SP
Extending Behavior Trees for Robotic Missions with Quality Requirements
Chalmers University of Technology（查尔姆斯理工大学）；University of Gothenburg（哥德堡大学）；Carnegie Mellon University（卡内基梅隆大学）
针对现有行为树模型无法体现机器人任务质量需求的问题，本文提出行为树扩展方案，构建元模型并开发DSL集成至BehaviorTree.CPP，初步验证了可行性，为质量属性融入机器人任务行为模型提供了途径。
2025-03-21 cs.RO cs.SE
Learning test generators for cyber-physical systems
Faculty of Science and Engineering（科学与工程学院）；Åbo Akademi University（奥布学术大学）
针对信息物理系统运行时验证现有方法仅能生成单个反例的问题，提出WOGAN算法，通过迭代训练Wasserstein生成对抗网络自动构建测试生成器，可生成效果媲美SOTA、多样性堪比均匀随机采样的多反例测试用例。
2024-10-04 cs.LG cs.SE
Towards Building AI-CPS with NVIDIA Isaac Sim: An Industrial Benchmark and Case Study for Robotics Manipulation
University of Alberta（阿尔伯塔大学）；The University of Tokyo（东京大学）；NVIDIA AI Tech Centre（英伟达人工智能技术中心）
本文提出基于NVIDIA Isaac Sim的机器人操作工业基准，涵盖八个任务和多个AI控制器，并开发兼容物理仿真器与OpenAI Gym的证伪框架，为AI赋能机器人系统的可靠设计与评估提供基础。
2023-07-31 cs.RO cs.SE
Software Repositories and Machine Learning Research in Cyber Security
Department of Computer Science, University of Wisconsin-Eau Claire（威斯康星大学欧克莱尔分校计算机科学系）
本文研究如何利用 CAPEC、CVE 等安全仓库及监督机器学习方法，在软件需求阶段自动识别漏洞，以提升安全软件开发能力。
2023-11-01 cs.CR cs.LG cs.SE
Towards A Catalogue of Requirement Patterns for Space Robotic Missions
University of Manchester（曼彻斯特大学）
针对空间机器人任务需求难以形式化验证的问题，本文验证现有机器人规范模式在空间任务的适用性，构建空间任务需求语料库，新增5种需求模式及相关变体并完成专家评估。
2025-11-18 cs.FL cs.LO cs.RO
An Alignment Between the CRA's Essential Requirements and the ATT&CK's Mitigations
University of Southern Denmark（南丹麦大学）
本文评估了MITRE ATT&CK框架缓解措施与欧盟CRA基本网络安全要求的对齐情况，发现总体对齐良好，仅在数据最小化、数据擦除、漏洞协调及威胁情报等方面存在差距，有助于弥合法律与技术框架间的鸿沟。
2025-10-15 cs.CR cs.SE
Integrating Security in Resource-Constrained Cyber-Physical Systems
针对网络级攻击的防御机制通常基于加密技术的使用，例如提供数据完整性保证的消息认证码。然而，这种机制需要大量的资源，这妨碍了它们在资源有限的网络物理系统中的持续使用。最近，它显示了如何利用植物的物理特性，以放宽这些要求的系统中，传感器测量和执行器的命令是通过一个受损的网络传输;特别是，间歇使用的数据认证，仍然可以提供质量控制（QoC）保证，即使在存在虚假数据注入攻击。因此，在这项工作中，我们专注于将安全性集成到现有系统中，以防止这些攻击。我们介绍了一种设计时的方法，将QoS的要求，在存在的攻击到端到端的实时控制事务，其中包括数据采集和认证，通信和控制的时间约束。这允许我们制定一种基于混合整数线性规划的方法，用于合成可分配的任务和消息参数（即，最后期限和偏移），其维持所部署的控制器的定时要求，同时增加针对攻击的足够级别的保护;具体地，该方法提供适当的间歇认证策略，其确保在攻击下的期望QoC级别。为了进一步减少与安全相关的带宽开销，我们建议使用累积消息身份验证。此外，我们引入了一种方法，机会主义使用剩余的资源，以进一步提高整体质量保证，同时确保系统的可扩展性。最后，我们证明了我们的方法在合成汽车系统以及汽车案例研究的适用性。
2018-11-08 cs.CR cs.SE
SROS2: Usable Cyber Security Tools for ROS 2
Alias Robotics（Alias机器人公司）；Universität Klagenfurt（克拉根福大学）；UC San Diego（加州大学圣地亚哥分校）；Ca’ Foscari University of Venice（威尼斯福斯卡里大学）；Secura Factors srls（Secura Factors有限责任公司）；NeoFarm（NeoFarm公司）
ROS 2正在迅速成为机器人行业的标准。基于DDS作为其默认通信中间件并用于安全关键场景，为机器人和ROS计算图增加安全性越来越成为一个问题。目前的工作介绍SROS2，一系列的开发工具和库，方便增加安全性的ROS 2图。专注于SROS2中以可用性为中心的方法，我们提出了一种系统地保护图形的方法，同时遵循DevSecOps模型。我们还展示了我们的安全工具的使用，提出了一个应用案例研究，考虑使用流行的Navigation2和SLAM堆栈应用在TurtleBot3机器人保护图。我们分析了SROS2的当前功能，并讨论了不足之处，为未来的贡献和扩展提供了见解。最终，我们将SROS2作为ROS 2的可用安全工具，并认为如果没有可用性，机器人技术的安全性将大大受损。
2022-08-04 cs.CR cs.DC cs.NI
Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers
University of Auckland（奥克兰大学）；IIT Bhubaneswar（布巴内斯瓦尔印度理工学院）
网络物理系统（CPS）（诸如在自动驾驶车辆内发现的那些）越来越多地采用基于人工神经网络（ANN）的控制器。为了确保这些控制器的安全性，最近有大量的活动来正式验证基于ANN的设计。这些方法存在两个挑战：（1）此类系统的验证困难且耗时。(2)这些经过验证的控制器无法适应频繁的需求变化，这在自动驾驶等情况下是典型的。这就提出了一个问题：如何重新使用经过培训和验证的控制器，这些控制器已经经过昂贵的培训和验证过程，以处理需求变化？本文首次提出了一个新的框架，能够处理在运行时的需求变化，通过一种机制，我们长期的运行时交换这一挑战。我们的方法通过多个预先验证的控制器的持续交换和选择过程来发挥作用。它代表了智能设计面向组件工程的关键一步，因为它保留了原始控制器的行为，同时引入了额外的功能。为了证明我们方法的有效性，我们利用了现有的自动驾驶案例研究以及一组较小的基准。这些表明，引入的开销是非常小的，该方法是非常可扩展的。
2021-09-24 cs.FL cs.RO cs.SE
ACT: Automated CPS Testing for Open-Source Robotic Platforms
Arizona State University（亚利桑那州立大学）；Arkansas State University（阿肯色州立大学）
本文提出ACT框架，通过自动化持续测试开源CPS软件与机器人平台，解决多模块开发中测试不足的问题，并通过案例验证其有效性。
2026-04-13 cs.RO cs.SE cs.SY
Using Indexed and Synchronous Events to Model and Validate Cyber-Physical Systems
时间转换模型（TTM）是基于事件的描述，用于建模，指定和验证离散实时系统。一个事件可以是自发的、公平的或有特定界限的时间。TTM具有文本语法、操作语义和支持线性时间时态逻辑的自动化工具。我们扩展了TTM及其工具，具有两个新的建模功能，用于编写高级规范：索引事件和同步事件。索引事件允许对一组参与者共同的行为进行简明描述。索引结构允许我们选择一个特定的参与者，并为该参与者指定一个时间属性。我们使用索引事件来验证训练控制系统的需求。同步事件允许开发人员将同步状态更新分解为单独事件的操作。为了指定同步动作之间的预期数据流，我们使用primed变量来引用后状态（即，一个是由于采取同步动作而产生的）。TTM工具自动从同步事件中推断出数据流，并报告由于循环数据流而导致的不一致错误。我们使用同步事件来验证核停堆系统的部分要求。在这两个案例研究中，我们展示了新的符号如何促进系统需求的正式验证，并使用TTM工具来验证安全性，活性和实时性。
2015-06-11 cs.LO cs.SE
Exploring Emerging Technologies for Requirements Elicitation Interview Training: Empirical Assessment of Robotic and Virtual Tutors
Boğaziçi University（海峡大学）
本研究提出REIT架构，基于机器人和虚拟导师实现需求获取访谈培训，实证评估显示两者各有优劣，机器人提升学习效果，虚拟代理更易用。
2023-08-30 cs.RO cs.SE
Towards Comprehensive Legislative Requirements for Cyber Physical Systems Testing in the European Union
本文分析欧盟CPS合规测试面临的法律、需求与软件工程挑战，探讨自动化合规响应的难点，并为更有效的决策提供整体概览。
2024-12-05 cs.CY cs.SE cs.SY
RoboREIT: an Interactive Robotic Tutor with Instructive Feedback Component for Requirements Elicitation Interview Training
Boğaziçi University（海峡大学）
RoboREIT是一种交互式机器人导师，通过人形机器人模拟访谈并提供情境化反馈，解决需求获取访谈培训的可扩展性问题，首次将社交机器人用于该教育领域，获得81%的有用性认可。
2023-04-15 cs.HC cs.RO cs.SE
AutoRepair: Automated Repair for AI-Enabled Cyber-Physical Systems under Safety-Critical Conditions
AutoRepair框架通过基于优化的迭代搜索自动识别并修复DNN控制器中的不安全行为，在6个工业级CPS实例上验证了其能显著提升系统可靠性。
2023-04-12 cs.SE cs.SY eess.SY
