Results 91 to 100 of about 4,913 (260)

Runtime Verification using VALOUR

Kalpa Publications in Computing, 2018
In this paper we give an overview of Valour, a runtime verification tool which has been developed in the context of a project to act as a backend verification tool for financial transaction software. A Valour script is written by the user and is then compiled into a verification system.
Shaun Azzopardi, Christian Colombo 0001, Jean-Paul Ebejer, Edward Mallia, Gordon J. Pace   +4 more
openaire   +2 more sources

From Devices to Systems: Integration Strategies for Micro‐Supercapacitors in Microsystems

Advanced Science, EarlyView.
Micro‐supercapacitors are evolving from device‐level energy storage toward system‐level functional units in integrated microsystems. This Review presents a system‐oriented design framework in which integration serves as the key link between application requirements, system constraints, device architectures, and material selection. Monolithic and hybrid
Zhuohao Liu, Gang Li, Kaiying Wang
wiley   +1 more source

Runtime safety assurance methods for cyber physical systems based on simplex architecture

Shenzhen Daxue xuebao. Ligong ban
Runtime 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, CHEN Qiang, CAO Weipeng, HE Wenfeng   +3 more
doaj   +1 more source

Advances in Computational and Experimental Approaches to Chemical Short‐Range Order Formation in Multi‐Principal Element Alloys

Advanced Science, EarlyView.
Chemical short‐range order (CSRO) plays a central role in governing the behavior of multi‐principal element alloys. This perspective critically assesses computational and experimental approaches for quantifying, characterizing, and validating CSRO, emphasizing modeling–experiment cross‐validation pathways that enable more reliable interpretation of ...
Mohsen Asle Zaeem, Peter K. Liaw
wiley   +1 more source

Runtime Verification-Based Safe MARL for Optimized Safety Policy Generation for Multi-Robot Systems

Big Data and Cognitive Computing
The 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

Conformal Reconfigurable Intelligent Surfaces: A Cylindrical Geometry Perspective

Advanced Electronic Materials, EarlyView.
Cylindrical reconfigurable intelligent surfaces are explored for low‐complexity beam steering using one‐bit meta‐atoms. A multi‐level modeling approach, including optimization‐based synthesis, demonstrates that even minimal hardware can support directive scattering.
Filippo Pepe, Ivan Iudice, Giuseppe Castaldi, Marco Di Renzo, Vincenzo Galdi   +4 more
wiley   +1 more source

Fundamental Challenges, Physical Implementations, and Integration Strategies for Ising Machines in Large‐Scale Optimization Tasks

Advanced Electronic Materials, EarlyView.
Ising machines are emerging as specialized hardware solvers for computationally hard optimization problems. This review examines five major platforms—digital CMOS, analog CMOS, emerging devices, coherent optics, and quantum systems—highlighting physics‐rooted advantages and shared bottlenecks in scalability and connectivity.
Hyunjun Lee, Joon Pyo Kim, Sanghyeon Kim
wiley   +1 more source

Research on monitoring method during the construction of safety-critical software

Xibei Gongye Daxue Xuebao
The 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, DING Chengjun, LIN Wei, MA Chunyan   +3 more
doaj   +1 more source

Model‐Based Time‐Modulated Write Algorithm for 1R Analog Memristive Crossbar Arrays

Advanced Electronic Materials, EarlyView.
A novel model‐based time‐modulated write algorithm efficiently programs analog 1R memristive crossbar arrays by varying pulse duration at a fixed voltage. By leveraging a physics‐based compact model and a dynamic gain mechanism, this approach overcomes device nonlinearities and parasitic effects.
Richard Schroedter, Ahmet Samil Demirkol, Ioannis Messaris, Christian Bruchatz, Eter Mgeladze, Stefan Slesazeck, Thomas Mikolajick, Ronald Tetzlaff   +7 more
wiley   +1 more source

From Timed Automata to Go: Formally Verified Code Generation and Runtime Monitoring for Cyber-Physical Systems

IEEE Access
The 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