Image de couverture de livre

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

Fuente: arXiv

Enregistré dans:

Détails bibliographiques
Auteurs principaux:	Lewis, Charles, Elsokary, Amal, Ji, Siyuan
Format:	Preprint
Publié:	2026
Sujets:	Software Engineering Systems and Control
Accès en ligne:	Acceder al recurso
Tags:	Ajouter un tag Pas de tags, Soyez le premier à ajouter un tag!

Documents similaires

Digital requirements engineering with an INCOSE-derived SysML meta-model
par: Wheaton, James S., et autres
Publié: (2024)

Automating Physics-Based Reasoning for SysML Model Validation
par: Chambers, Candice, et autres
Publié: (2025)

A SysML Profile for the Standardized Description of Processes during System Development
par: Beers, Lasse, et autres
Publié: (2024)

LLM-Assisted Semantic Alignment and Integration in Collaborative Model-Based Systems Engineering Using SysML v2
par: Li, Zirui, et autres
Publié: (2025)

A SysML-based language for evaluating the integrity of simulation and physical embodiments of Cyber-Physical systems
par: Dudek, Wojciech, et autres
Publié: (2023)

Towards Formalising Stakeholder Context using SysML v2
par: Harrison, Matthew, et autres
Publié: (2026)

Uncertainty Modeling for SysML v2
par: Zhang, Man, et autres
Publié: (2026)

Multi-Robot System Architecture design in SysML and BPMN
par: Sadik, Ahmed R., et autres
Publié: (2024)

DarTwin made precise by SysMLv2 -- An Experiment
par: Haugen, Øystein, et autres
Publié: (2025)

Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
par: Van Kenhove, Michiel, et autres
Publié: (2024)

Bacterial chemotaxis control process analysis with SysML
par: James D. Johansen
Publié: (2024)

A Theory-driven Interpretation and Elaboration of Verification and Validation
par: Kannan, Hanumanthrao, et autres
Publié: (2025)

Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
par: Foster, Simon, et autres
Publié: (2020)

Exploration of Evolving Quantum Key Distribution Network Architecture Using Model-Based Systems Engineering
par: Ishida, Hayato, et autres
Publié: (2025)

Structural Verification for Reliable EDA Code Generation without Tool-in-the-Loop Debugging
par: Jayasuriya, Dinithi, et autres
Publié: (2026)

RAN Tester UE: An Automated Declarative UE Centric Security Testing Platform
par: Ueltschey, Charles Marion, et autres
Publié: (2025)

Exploring Robustness of Image Recognition Models on Hardware Accelerators
par: Louloudakis, Nikolaos, et autres
Publié: (2023)

A Modifiable Architectural Design for Commercial Greenhouses Energy Economic Dispatch Testbed
par: Clausen, Christian Skafte Beck, et autres
Publié: (2024)

Coordinating Stakeholders in the Consideration of Performance Indicators and Respective Interface Requirements for Automated Vehicles
par: Schubert, Richard, et autres
Publié: (2026)

Code Generation for Machine Learning using Model-Driven Engineering and SysML
par: Raedler, Simon, et autres
Publié: (2023)

Digital requirements engineering with an INCOSE-derived SysML meta-model
par: Wheaton, James S., et autres
Publié: (2024)

An Architecture for Remote Container Builds and Artifact Delivery Using a Controller-Light Jenkins CI/CD Pipeline
par: Paul, Kawshik Kumar, et autres
Publié: (2025)

Paving the Way for SysML v2: An ESA MBSE Methodology Implementation Review
par: Matteo Duroy, et autres
Publié: (2026)

ForzaETH Race Stack -- Scaled Autonomous Head-to-Head Racing on Fully Commercial off-the-Shelf Hardware
par: Baumann, Nicolas, et autres
Publié: (2024)

Enhancing Holonic Architecture with Natural Language Processing for System of Systems
par: Ashfaq, Muhammad, et autres
Publié: (2024)

A Model-Based Approach to Automated Digital Twin Generation in Manufacturing
par: Alexopoulos, Angelos, et autres
Publié: (2025)

A Patient-Centric Blockchain Framework for Secure Electronic Health Record Management: Decoupling Data Storage from Access Control
par: Romel, Tanzim Hossain, et autres
Publié: (2025)

Reasonable Experiments in Model-Based Systems Engineering
par: Cederbladh, Johan, et autres
Publié: (2025)

Ladder Logic Translation using Large Language Models in Industrial Automation
par: Ogundare, Oluwatosin, et autres
Publié: (2026)

Using Large Language Models for Black-Box Testing of FMU-Based Simulations
par: Mughees, Abdullah, et autres
Publié: (2026)

ProOPF: Benchmarking and Improving LLMs for Professional-Grade Power Systems Optimization Modeling
par: Shen, Chao, et autres
Publié: (2026)

Asset Administration Shell-Based OCL Validation Framework for Model-Based System Engineering
par: Parkash, Om, et autres
Publié: (2026)

Extending Resource Constrained Project Scheduling to Mega-Projects with Model-Based Systems Engineering & Hetero-functional Graph Theory
par: Hosseini, Amirreza, et autres
Publié: (2025)

Investigating Robustness in Cyber-Physical Systems: Specification-Centric Analysis in the face of System Deviations
par: Zhang, Changjian, et autres
Publié: (2023)

A Container-based Approach For Proactive Asset Administration Shell Digital Twins
par: Ellwein, Carsten, et autres
Publié: (2025)

A Formal-Methods Approach to Provide Evidence in Automated-Driving Safety Cases
par: Krook, Jonas, et autres
Publié: (2022)

Arguing from Hazard Analysis in Safety Cases: A Modular Argument Pattern
par: Gleirscher, Mario, et autres
Publié: (2017)

TensorConvolutionPlus: A python package for distribution system flexibility area estimation
par: Chrysostomou, Demetris, et autres
Publié: (2025)

Looking back and forward: A retrospective and future directions on Software Engineering for systems-of-systems
par: Cavalcante, Everton, et autres
Publié: (2024)

APIKS: A Modular ROS2 Framework for Rapid Prototyping and Validation of Automated Driving Systems
par: Zacchi, João-Vitor, et autres
Publié: (2025)