Waste is causing a serious environmental problem. Waste management and circular economy offers a best alternative for preserving the environment and protecting nature resources. This paper presents an AI-based system ...
详细信息
real-time data processing is facing many issues as a result of the Internet of Things' rapid expansion, especially at the network's edge where latency, bandwidth, and compute resources are limited. The creatio...
详细信息
Sign language is the primary mode of communication for deaf and hard of hearing community. This paper discusses the development of a realtime sign language recognition system by deploying deep learning techniques. Fo...
详细信息
PyBlkSim is a block-based simulator developed for discrete-time simulations. PyBlkSim is useful for simulating a wide range of real-world discrete-timesystems including systems belonging to signal processing and comm...
详细信息
The CropMaster is an autonomous rover system designed to enhance Scotch Bonnet production by improving disease management, crop sorting, autonomous navigation, and real-time environmental monitoring. Equipped with sen...
详细信息
Formal verification of embedded system software can profoundly influence both safety and security, and has the potential to alter the development process substantially. However, the complexity of formal verification, ...
详细信息
ISBN:
(纸本)9783031783760;9783031783777
Formal verification of embedded system software can profoundly influence both safety and security, and has the potential to alter the development process substantially. However, the complexity of formal verification, along with stringent time-to-market and resource constraints of embeddedsystems, has posed significant barriers to its adoption. Moreover, ensuring the accessibility of formal methods in the design and implementation of embeddedsystems remains a major challenge. In our paper, we evaluate formal methods and demonstrate the accessibility and benefits within a critical area of many industries: ieee754 floating-point values are widely used and due to their fixed size, they can only approximate real numbers. For the most part, their behavior aligns with programmer expectations;however, certain corner cases exist in which they are susceptible to value cancellation, rounding errors, and deviations from standard mathematical rules. Such discrepancies can be problematic when calculated results diverge from software developer expectations, potentially leading to fatal errors. We propose SafeFloatZone which allows for the identification of safe domains for algorithms utilizing ieee754 floating-point numbers. The approach is rooted in formal verification, leveraging modern, efficient Satisfiability Modulo Theories (SMT) solvers to deduce preconditions for functions, thereby providing stronger guarantees of correctness. In this work we demonstrate how SafeFloatZone can readily benefit embedded system developers and show that it is transferable to a variety of algorithms based on ieee754 floating-point numbers.
This paper reports a nonplanar passive wireless differential microsensor integrated with intravenous (IV) catheters of small diameters to facilitate in situ real-time monitoring of concentrations of drugs or other tar...
详细信息
Unmanned Aerial Vehicles (UAVs), commonly known as drones, have experienced rapid growth and widespread adoption across military and civilian applications in recent years. This paper offers a comprehensive survey of U...
详细信息
Accurate detection and classification of sensor faults are vital for maintaining the integrity and reliability of air quality monitoring systems, where faulty data can degrade decision-making and hinder timely environ...
详细信息
The wavelet transform is commonly used as a feature extraction method for brain signal decoding, but extracting this type of feature has a high energy cost as the wavelet transform relies on computing a convolution op...
详细信息
暂无评论