Research on reconfiguration time analysis method of integrated modular avionics system by Zheng Xiaopeng, Wang Xiaohui, Chen Chunyan

Subjects: “…integrated modular avionics system…”
Get full text

A Perspective on Software-in-the-Loop and Hardware-in-the-Loop Within Digital Twin Frameworks for Automotive Lighting Systems by George Balan, Philipp Neninger, Enrique Ruiz Zúñiga, Elena Serea, Dorin-Dumitru Lucache, Alexandru Sălceanu

“…This study presents a structured integration of Software-in-the-Loop (SiL) and Hardware-in-the-Loop (HiL) testing within a digital twin (DT) framework for validating headlamp systems. …”
Get full text

System-Level Design, Modeling, and Verification of GALS Cyber-Physical Systems by Weiyi Zhang, Zoran Salcic, Avinash Malik

“…The research also features a unified colored Petri nets (CPNs)-based modeling framework that bridges cyber and physical domains and enables holistic system verification. The approach comprises three stages: 1) design using SystemGALS for cyber-domain control and data flow, alongside Simulink for physical process modeling; 2) integration of CPN derived from SystemGALS and Simulink for unified representation; 3) formal analysis on the CPN model. …”
Get full text

Intelligent air traffic control using NLP-enhanced speech recognition and natural language generation by Amany M. Sarhan, Rawda Fathy, Hesham A. Ali

“…The proposed architecture is designed to enable scalable integration of AI tools and NLP technologies in ATC systems. …”
Get full text

Construction and efficiency analysis of an embedded system-based verification platform for edge computing by Junjie Cao, Zhiyong Yu, Baohong Zhu, Min Cao, Jian Yang

Get full text

Perancangan Sistem Informasi Manajemen Rantai Pasok Minyak Sawit Mentah Berbasis GIS by Ringgo Afrinando

“…This information is not yet integrated with the map of plantation, so it will allow errors and inaccuracies in the planning, management and maintenance of oil palm plantations. …”
Get full text