Results 81 to 90 of about 8,146 (201)
On the Execution and Runtime Verification of UML Activity Diagrams
SoftwareThe unified modelling language (UML) is an industrial de facto standard for system modelling. It consists of a set of graphical notations (also known as diagrams) and has been used widely in many industrial applications.
François Siewe, Guy Merlin Ngounou
doaj +1 more source
A foundation for runtime monitoring [PDF]
, 2017 Runtime Verification is a lightweight technique that complements other verification methods in an effort to ensure software correctness. The technique poses novel questions to software engineers: it is not easy to identify which specifications are ...
Francalanza, Adrian +15 more
core +1 more source
Runtime safety assurance methods for cyber physical systems based on simplex architecture
Shenzhen Daxue xuebao. Ligong banRuntime safety assurance is a method that can ensure security attributes being satisfied during system operation. The simplex architecture-based runtime safety assurance methods are able to provide the safety guarantees even in the presence of unverified
WANG Qiang +3 more
doaj +1 more source
Runtime Verification using LARVA
Kalpa Publications in Computing, 2018 Larva, which has been in use and continuous development for almost a decade, has been extended in several ways and used in a wide range of scenarios, from industrial deployment to educational ones. In this paper we give an overview of Larva and give an overview of its extensions and uses.
Christian Colombo 0001, Gordon J. Pace
openaire +2 more sources
Runtime Verification-Based Safe MARL for Optimized Safety Policy Generation for Multi-Robot Systems
Big Data and Cognitive ComputingThe intelligent warehouse is a modern logistics management system that uses technologies like the Internet of Things, robots, and artificial intelligence to realize automated management and optimize warehousing operations. The multi-robot system (MRS) is
Yang Liu, Jiankun Li
doaj +1 more source
COST Action IC1402 Runtime Verification Beyond Monitoring
, 2018 In this paper we report on COST Action IC1402 which studies Runtime Verification approaches beyond Monitoring. COST Actions are funded by the European Union and are an efficient networking instrument for researchers, engineers and scholars to cooperate ...
Schneider, Gerardo, +6 more
core
Automatically generating runtime monitors from tests [PDF]
, 2016 A large portion of the software development industry relies on testing as the main technique for quality assurance while other techniques which can provide extra guarantees are largely ignored.
Colombo, Christian +6 more
core
Research on monitoring method during the construction of safety-critical software
Xibei Gongye Daxue XuebaoThe C language is widely used in aerospace and other critical areas due to its flexibility and high efficiency. However, C programs have safety risks, such as unrestricted pointer operations and lack of boundary checks for arrays and strings, which can ...
WANG Ben +3 more
doaj +1 more source
Leveraging DTrace for Runtime Verification [PDF]
, 2016 DTrace, short for “dynamic tracing”, is a powerful diagnostic tool and tracing framework. It is invaluable for performance monitoring, tuning, and for getting insights into almost any aspect of a running system. In this paper we investigate how we can leverage the DTrace operating system-level instrumentation framework [9] to conduct runtime ...
Carl Martin Rosenberg +2 more
openaire +1 more source
IEEE AccessThe design of critical components in cyber-physical systems (CPS) demands rigorous guarantees of safety and correctness, particularly in safety-critical domains such as autonomous vehicles and industrial automation.
Soomin Cho, Inhye Kang, Jin Hyun Kim
doaj +1 more source