身体萌芽 发表于 2025-3-27 00:06:32
http://reply.papertrans.cn/84/8322/832147/832147_31.pngTOXIN 发表于 2025-3-27 01:22:24
Runtime Verification of Autonomous Driving Systems in CARLAomplex multi-agent dynamics. This enables the design exploration at the early system development stages, reducing high infrastructure costs and high risks. However, due to the high-dimensional input and state spaces of closed-loop autonomous driving systems, their testing and verification is very chenormous 发表于 2025-3-27 08:39:58
SOTER on ROS: A Run-Time Assurance Framework on the Robot Operating SystemOperating System (ROS). The safety of DMR systems cannot always be guaranteed at design time, especially when complex, off-the-shelf components are used that cannot be verified easily. SOTER addresses this by providing a language-based approach for run-time assurance for DMR systems. SOTER implementlattice 发表于 2025-3-27 10:19:57
Scalable Online Monitoring of Distributed Systemsires totally-ordered observations, which are often unavailable in a distributed setting. Scalability is also problematic, especially for online first-order monitors, which must be parallelized in practice to handle high volume, high velocity data streams. We argue that scalable online monitors must多节 发表于 2025-3-27 17:18:00
Actor-Based Runtime Verification with MESAtors to check for properties specified in data parameterized temporal logic and state machines. The tool is implemented as an internal Scala DSL. We employ the actor programming model to implement MESA where monitors are captured by concurrent actors that communicate via messaging. The paper presentAfflict 发表于 2025-3-27 20:28:09
Placement of Runtime Checks to Counteract Fault Injectionsrs or on purpose as fault injections. Error Detection Codes add redundancy and make it possible to check for faults during runtime, making systems more resilient to bitflips. Codes require data integrity to be checked regularly. Such checks need to be used sparingly, because they cause runtime overhCumulus 发表于 2025-3-27 21:55:52
http://reply.papertrans.cn/84/8322/832147/832147_37.pngsperse 发表于 2025-3-28 02:31:50
Test4Enforcers: Test Case Generation for Software EnforcersIndeed, the implementation of software enforcers can be tricky, due to the heterogeneity of the situations that they must be able to handle. Assessing their ability to steer the behavior of the target system without introducing any side effect is an important challenge to fully trust the resulting s使增至最大 发表于 2025-3-28 06:52:49
http://reply.papertrans.cn/84/8322/832147/832147_39.png善于骗人 发表于 2025-3-28 10:58:33
Analysing the Performance of Python-Based Web Services with the , Frameworknd powerful tools for analysing monitoring results. We conclude with a brief description of how . was used to improve our understanding of the performance of a critical web service at the CMS Experiment at CERN.