身体萌芽 发表于 2025-3-27 00:06:32

http://reply.papertrans.cn/84/8322/832147/832147_31.png

TOXIN 发表于 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 ch

enormous 发表于 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 implement

lattice 发表于 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 present

Afflict 发表于 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 overh

Cumulus 发表于 2025-3-27 21:55:52

http://reply.papertrans.cn/84/8322/832147/832147_37.png

sperse 发表于 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.
页: 1 2 3 [4] 5 6
查看完整版本: Titlebook: Runtime Verification; 20th International C Jyotirmoy Deshmukh,Dejan Ničković Conference proceedings 2020 Springer Nature Switzerland AG 202