Copilot and CAN-Bus Connected ECUs Integrated Scenarios for Automotive Diagnosis, Enhanced by Scan Tools, Conversational Agents and AI Technologies

Port automation equipment: current developments, challenges, and future directions

Port automation has progressed from standalone mechanical devices to interconnected, data-driven systems that support global trade. This paper examines how port automation has grown, focusing on equipment systems such as quay cranes, Automated Guided Vehicles (AGVs), and Automated Stacking Cranes (ASCs) and other automated yard equipment. Early improvements boosted lifting capacity and reduced manual effort, while newer approaches integrate artificial intelligence (AI), Internet of Things (IoT) sensors, and digital twin simulations to coordinate equipment in real time. These advances have raised efficiency, lowered emissions, and improved safety. However, some obstacles remain. Port managers must solve cooperation challenges, data protocol differences, and cybersecurity risks. Research indicates that advanced autonomy, including reinforcement learning, dynamic scheduling, and AI-based condition monitoring, will be important to solve these problems. The sector also needs to make standards, which ensure that equipment from different managers can communicate easily. Advances in electrification and energy management can help achieve sustainability targets, including reduced carbon footprints and optimized resource consumption. By examining a combined bibliometric analysis, qualitative content coding, and term-frequency analysis, this study reviews current progress and outlines future directions and emphasizes solutions that account for technical, organizational, and social factors. This approach may help modern ports remain adaptable, reliable, and resilient in a rapidly shifting maritime environment.

StarVerus: LLM-Powered Multi-Agent Collaboration for Industrial Rust Code Verification Automation

A multi-agent collaborative framework, StarVerus, to automate the verification of industrial Rust code and introduces a planner-repairer-actor-rewriter multi-agent paradigm to further enhance the proof repair capabilities.

Future Generation Computer

Challenges and advantages in implementing ADAS systems in buses: a broad overview (Desafios e vantagens na implementação de sistemas ADAS em ônibus: uma visão abrangente)

The implementation of ADAS in buses represents both a significant opportunity and a complex challenge for the future of urban mobility. While ADAS technologies such as lane departure warning, adaptive cruise control, blind spot detection, and autonomous emergency braking have been widely adopted in passenger cars and trucks, their integration into buses has been slower due to unique operational and safety concerns. This paper provides a broad overview of the advantages and obstacles associated with ADAS deployment in public transport vehicles, with particular emphasis on passenger safety, regulatory frameworks, and operational efficiency. Key barriers include the vulnerability of standing passengers during sudden braking events, the unpredictability of pedestrians and cyclists in dense urban environments, and the economic constraints faced by bus operators. At the same time, regulatory initiatives such as Transport for London’s Bus Safety Standard, the European Union’s General Safety Regulation, and Brazil’s MOVER program are driving the gradual adoption of these systems. The benefits of ADAS in buses extend beyond accident reduction, encompassing improved driver ergonomics, reduced fatigue, lower maintenance costs, and enhanced passenger comfort. Case studies from Europe, Brazil, and Asia highlight both the safety potential and the reluctance of drivers to fully embrace these technologies, often due to knowledge gaps and perceived inconvenience. The analysis underscores that successful implementation requires not only technological adaptation but also comprehensive driver training, infrastructure readiness, and public policy support. Ultimately, ADAS in buses should be understood as a transitional step toward autonomous mobility, offering immediate safety gains while reshaping the paradigm of urban transport.

Dependability modeling and evaluation of IPS architectures in the railway sector

A refined stochastic model-based evaluation framework is presented to aid in comparing various IPS redundant architectures with respect to dependability characteristics, mainly focusing on reliability and availability metrics.

Designing an extended reality platform to optimise operation and maintenance for dynamic building envelopes

The design phase of an Extended Reality (XR)-based platform aimed at optimising operation and maintenance for dynamic building envelopes is presented, which uses cloud architecture and consumer smart devices to deliver scalable, cost-effective maintenance workflows with XR technology.