Buchumschlag

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification

Fuente: arXiv

Gespeichert in:

Bibliographische Detailangaben
Hauptverfasser:	Lewis, Charles, Elsokary, Amal, Ji, Siyuan
Format:	Preprint
Veröffentlicht:	2026
Schlagworte:	Software Engineering Systems and Control
Online-Zugang:	Acceder al recurso
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Ähnliche Einträge

Digital requirements engineering with an INCOSE-derived SysML meta-model
von: Wheaton, James S., et al.
Veröffentlicht: (2024)

Automating Physics-Based Reasoning for SysML Model Validation
von: Chambers, Candice, et al.
Veröffentlicht: (2025)

A SysML Profile for the Standardized Description of Processes during System Development
von: Beers, Lasse, et al.
Veröffentlicht: (2024)

LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
von: Li, Zirui, et al.
Veröffentlicht: (2025)

A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
von: Dudek, Wojciech, et al.
Veröffentlicht: (2023)

Towards Formalising Stakeholder Context using SysML v2
von: Harrison, Matthew, et al.
Veröffentlicht: (2026)

Uncertainty Modeling for SysML v2
von: Zhang, Man, et al.
Veröffentlicht: (2026)

Multi-Robot System Architecture design in SysML and BPMN
von: Sadik, Ahmed R., et al.
Veröffentlicht: (2024)

DarTwin made precise by SysMLv2 -- An Experiment
von: Haugen, Øystein, et al.
Veröffentlicht: (2025)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
von: Van Kenhove, Michiel, et al.
Veröffentlicht: (2024)

Bacterial chemotaxis control process analysis with SysML
von: James D. Johansen
Veröffentlicht: (2024)

A Theory-driven Interpretation and Elaboration of Verification and Validation
von: Kannan, Hanumanthrao, et al.
Veröffentlicht: (2025)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
von: Foster, Simon, et al.
Veröffentlicht: (2020)

Exploration of Evolving Quantum Key Distribution Network Architecture Using Model-Based Systems Engineering
von: Ishida, Hayato, et al.
Veröffentlicht: (2025)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
von: Jayasuriya, Dinithi, et al.
Veröffentlicht: (2026)

RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
von: Ueltschey, Charles Marion, et al.
Veröffentlicht: (2025)

Exploring Robustness of Image Recognition Models on Hardware Accelerators
von: Louloudakis, Nikolaos, et al.
Veröffentlicht: (2023)

A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
von: Clausen, Christian Skafte Beck, et al.
Veröffentlicht: (2024)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
von: Schubert, Richard, et al.
Veröffentlicht: (2026)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
von: Raedler, Simon, et al.
Veröffentlicht: (2023)

Digital requirements engineering with an INCOSE-derived SysML meta-model
von: Wheaton, James S., et al.
Veröffentlicht: (2024)

An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
von: Paul, Kawshik Kumar, et al.
Veröffentlicht: (2025)

Paving the Way for SysML v2: An ESA MBSE Methodology Implementation Review
von: Matteo Duroy, et al.
Veröffentlicht: (2026)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
von: Baumann, Nicolas, et al.
Veröffentlicht: (2024)

Enhancing Holonic Architecture with Natural Language Processing for System of Systems
von: Ashfaq, Muhammad, et al.
Veröffentlicht: (2024)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
von: Alexopoulos, Angelos, et al.
Veröffentlicht: (2025)

A Patient-Centric Blockchain Framework for Secure Electronic Health Record Management: Decoupling Data Storage from Access Control
von: Romel, Tanzim Hossain, et al.
Veröffentlicht: (2025)

Reasonable Experiments in Model-Based Systems Engineering
von: Cederbladh, Johan, et al.
Veröffentlicht: (2025)

Ladder Logic Translation using Large Language Models in Industrial Automation
von: Ogundare, Oluwatosin, et al.
Veröffentlicht: (2026)

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
von: Mughees, Abdullah, et al.
Veröffentlicht: (2026)

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
von: Shen, Chao, et al.
Veröffentlicht: (2026)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
von: Parkash, Om, et al.
Veröffentlicht: (2026)

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
von: Hosseini, Amirreza, et al.
Veröffentlicht: (2025)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
von: Zhang, Changjian, et al.
Veröffentlicht: (2023)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
von: Ellwein, Carsten, et al.
Veröffentlicht: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
von: Krook, Jonas, et al.
Veröffentlicht: (2022)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
von: Gleirscher, Mario, et al.
Veröffentlicht: (2017)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
von: Chrysostomou, Demetris, et al.
Veröffentlicht: (2025)

Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems
von: Cavalcante, Everton, et al.
Veröffentlicht: (2024)

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
von: Zacchi, João-Vitor, et al.
Veröffentlicht: (2025)