A simulation model, and more generically, a model, is founded on its assumptions. Assurance of the model’s correctness and correct use is needed to achieve accreditation. Often the exercise of working with a specific code misunderstands the ove...
The utilization of hyperspectral imaging sensors has gained a significant relevance among many different applications due to their capability for collecting a huge amount of information across the electromagnetic spectrum. These sensors have been tra...
Continuous manufacturing (CM) is defined as a process in which the input material(s) are continuously fed into and transformed, and the processed output materials are continuously removed from the system. CM can be considered as matching the FDA’s so...
The main aim of this paper was to revisit scientific manuscripts and identify key food safety performance indicators that may be applicable in different types of food company. A total of 48 papers has been analyzed, and results show that indicators m...
An observing network has been established along the United States west coast that provides up to 20 years of observations to support early warning, preparedness and studies of atmospheric rivers (ARs). The Hydrometeorology Testbed–West Legacy O...
Simulation-based testing is playing an increasingly important role in the development and validation of automated driving functions, as real-world testing is often limited by cost, safety, and scalability. An essential part of this is the simulation...
Dynamic and changeable business scenarios pose significant challenges to the adaptability and verifiability of process models. Despite its widespread adoption as an ISO-standard modeling language, Business Process Model and Notation (BPMN) faces inhe...
As the demand for more complex circuits increases, so does the duration of creating and testing them. The most time-consuming task in circuit development is notoriously the verification process, primarily due to the large number of simulations (hundr...
The development of complex products is challenged by diverse requirements, interdisciplinary coupling, intricate behaviors, and prolonged lifecycles. Traditional document-based systems engineering methods exhibit deficiencies in requirement validatio...
Code conversion, encompassing translation, optimization, and generation, is becoming increasingly critical in information systems and the software industry. Traditional validation methods, such as test cases and code coverage metrics, often fail to e...
An evaluation of decision fusion methods based on Dempster-Shafer Theory (DST) and its modifications is presented in the article, studied over real biometric data from the engineered multimodal banking client verification system. First, the approache...
Mechatronic systems are a class of cyber-physical systems, whose increasing complexity makes their validation and verification more and more difficult, while their requirements become more challenging. This paper introduces a development method based...
Cable tension monitoring is important to control the structural performance variation of cable-supported structures. Based on the elasto-magnetic effect and the self-induction phenomenon, a new non-destructive evaluation method was proposed for cable...
The study of business process analysis and optimisation has attracted significant scholarly interest in the recent past, due to its integral role in boosting organisational performance. A specific area of focus within this broader research field is p...
Contemporary business process modeling lacks a systematic framework for converting unstructured requirements into structured models. Traditional manual approaches fail to support integrated lifecycle management from requirements elicitation to iterat...
2 August 2023
Clinical laboratories frequently conduct method verification studies to ensure that the process meets quality standards for its intended use, such as patient testing. They play a pivotal role in healthcare, but issues such as accurate statistical ass...
The paper discusses the relation between the “non-statement view” of the structuralist program in philosophy of science and agent-based simulation and the use of this relation for a deeper understanding of the verification and the validat...
14 December 2023
This research presents the prediction of temperatures in the chamber of a solar dryer using artificial neural networks (ANN). The dryer is a forced-flow type and indirect. Climatic conditions, temperatures, airflow, and geometric parameters were cons...
Power industrial control systems (ICSs) have evolved into tightly coupled cyber-physical systems, which enlarges the attack surface and makes online vulnerability verification risky for critical infrastructure. Existing software-only simulators usual...
Specification and Description Language (SDL) is a language that can represent the behavior and structure of a model completely and unambiguously. It allows the creation of frameworks that can run a model without the need to code it in a specific prog...
Automatic signature verification has been widely studied for authentication purposes in real life, but limited data availability still poses a significant challenge. To address this issue, we propose a method with a denoising diffusion probabilistic...
The suggested approach makes it feasible to screen large metabolomics data, sample sets with retained data quality or to retrieve significant metabolic information from small sample sets that can be verified over multiple studies. Hierarchical multiv...
The Serial Peripheral Interface (SPI) protocol plays a crucial role in wearable and IoT devices, enabling high-speed communication between microcontrollers and peripherals such as sensors, displays, and connectivity modules. With the increasing compl...
Computational thinking has been increasingly recognised as a core component of mathematics education, particularly in areas where analytical reasoning and computational practices intersect. However, limited empirical research has examined how computa...
A quality by design (QbD) approach as part of process development in the regulated, pharmaceutical industry requires many experiments. Due to the large number, process development is time consuming and cost intensive. A key to modern process developm...
A non-destructive verification method was explored in this work using the Barkhausen noise (BN) method for induction hardening depth measurements. The motive was to investigate the correlation between the hardness depth, microstructure, and the Barkh...
Designing prequalified connections is a process of iterative calculation, in which certain dimensions are varied until the verifications and restrictions stipulated by the standard are met. This is a slow process that can be automated using various s...
Degree attestation verification and traceability are complex one-to-one processes between the Higher Education Commission (HEC) and universities. The procedure shifted to the digitalized manner, but still, on a certain note, manual authentication is...
This work develops an effective platform to enhance the data collection process for researchers. The proposed platform connects researchers who need specific datasets with data curators, employing blockchain and artificial intelligence (AI) technique...
This paper presents how Model-Based System Engineering (MBSE) could be leveraged in order to mitigate security risks at an early stage of system development. Primarily, MBSE was used to manage complex engineering projects in terms of system requireme...
This study focuses on the formal verification of a parallel version of the minimax algorithm using the mCRL2 modeling language, applied to the game of Connect 4. The research aims to ensure that the algorithm behaves correctly in concurrent execution...
The paper presents the results of the verification of the neural method for assessing the humidity of saline brick walls. The method was previously developed by the authors and can be useful for the nondestructive assessment of the humidity of walls...
Multi-step task solving with large language models in intelligent electronic systems and interactive environments requires stronger process control and execution reliability. To address local error accumulation during multi-step execution, this paper...
The widespread availability of generative artificial intelligence has increased the volume of images and videos shared online, while making it difficult to verify origin and integrity after routine post-processing such as re-encoding, resizing, and t...
The design of Hybrid-Electric Regional (HER) aircraft represents a great challenge due to the systems’ complexity and their level of integration and results in a great expense of resources. To overcome these issues, the Open Digital Environment...
The complexity of internal control in commercial banks continues to increase, and relevant reports exhibit notable lag and template issues. In response to the demand to transform unstructured disclosures into actionable insights, this study proposes...
In this paper, the Merkle-Transformer model is introduced as an innovative approach designed for financial data processing, which combines the data integrity verification mechanism of Merkle trees with the data processing capabilities of the Transfor...
The emergence of BPML (Business Process Modeling Language) has favored the development of languages for the composition of services. Process-oriented approaches produce imperative languages, which are rigid to change at run-time because they focus on...
16 December 2021
The remote microphone system (RMS) must be appropriately working when fitting it in a person with hearing loss. For this verification process, the concept of transparency is adopted. If it is not transparent, the hearing aid (HA) may not capture the...
As the coverage of China’s carbon emissions trading market expands from the power industry to the cement, steel, and electrolytic aluminum industries, the measurement and verification of carbon emissions of Chinese enterprises become increasing...
The lack of sufficient guarantee about the authenticity of running smart contracts is a major entry barrier to blockchain networks. By authenticity,we refer to the smart contract ownership or provenance; this implies perfect matching between a publis...
Based on a SEIRD model (Susceptible, Exposed, Infective, Recovered and Deceased) for COVID-19 infection with a new parametrization using a high infection rate, and a low fatality, we define the model in System Dynamics, Python, and Specification and...
In the field of model-based design of Cyber–Physical Systems (CPS), seamless traceability of the process, from requirements to models to simulation results, is becoming increasingly important. It can be used to support several activities such as vari...
The development of semi-automated assembly systems that are capable of accommodating heterogeneous operations remains challenging when equipment standardisation must coexist with task-specific functional requirements. This study proposes a requiremen...
This study examines the use of blockchain technology in ESG reporting, with a focus on carbon emissions accounting within supply chains. Using a design science methodology, it develops a blockchain-based framework that integrates automated data colle...
Future generations of wireless networks at high-frequency spectrum suffer from limited coverage and Non-Line- of-Sight signal blockage, challenging emerging applications, such as smart industries and intelligent automation systems. Collaborative and...
Product optimization for casting and post-casting manufacturing processes is becoming compulsory to compete in the current global manufacturing scenario. Casting design, simulation and verification tools are becoming crucial for eliminating oversized...
In multitasking systems, concurrent execution leads to an exponential growth of the state space, posing significant challenges for formal verification. This complexity is further exacerbated in hybrid systems that integrate discrete and continuous dy...
With the increasing demands for higher treatment efficiency, better effluent quality, and energy conservation in Urban Wastewater Treatment Plants (WWTPs), research has already been conducted to construct an optimized control system for Anaerobic-Ano...
Artificial intelligence (AI) is increasingly being applied in clinical laboratories to support laboratory processes and interpretation of test results. Recent developments in machine learning, deep learning, and large language models have expanded th...
of 20