SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
Fuente:
arXiv
Enregistré dans:
| Auteurs principaux: | Lewis, Charles, Elsokary, Amal, Ji, Siyuan |
|---|---|
| Format: | Preprint |
| Publié: |
2026
|
| Sujets: | |
| Accès en ligne: | |
| 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)
par: Wheaton, James S., et autres
Publié: (2024)
Automating Physics-Based Reasoning for SysML Model Validation
par: Chambers, Candice, et autres
Publié: (2025)
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)
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)
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)
par: Dudek, Wojciech, et autres
Publié: (2023)
Towards Formalising Stakeholder Context using SysML v2
par: Harrison, Matthew, et autres
Publié: (2026)
par: Harrison, Matthew, et autres
Publié: (2026)
Uncertainty Modeling for SysML v2
par: Zhang, Man, et autres
Publié: (2026)
par: Zhang, Man, et autres
Publié: (2026)
Multi-Robot System Architecture design in SysML and BPMN
par: Sadik, Ahmed R., et autres
Publié: (2024)
par: Sadik, Ahmed R., et autres
Publié: (2024)
DarTwin made precise by SysMLv2 -- An Experiment
par: Haugen, Øystein, et autres
Publié: (2025)
par: Haugen, Øystein, et autres
Publié: (2025)
Cyber-physical WebAssembly: Secure Hardware Interfaces and Pluggable Drivers
par: Van Kenhove, Michiel, et autres
Publié: (2024)
par: Van Kenhove, Michiel, et autres
Publié: (2024)
Bacterial chemotaxis control process analysis with SysML
par: James D. Johansen
Publié: (2024)
par: James D. Johansen
Publié: (2024)
A Theory-driven Interpretation and Elaboration of Verification and Validation
par: Kannan, Hanumanthrao, et autres
Publié: (2025)
par: Kannan, Hanumanthrao, et autres
Publié: (2025)
Towards Deductive Verification of Control Algorithms for Autonomous Marine Vehicles
par: Foster, Simon, et autres
Publié: (2020)
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)
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)
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)
par: Ueltschey, Charles Marion, et autres
Publié: (2025)
Exploring Robustness of Image Recognition Models on Hardware Accelerators
par: Louloudakis, Nikolaos, et autres
Publié: (2023)
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)
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)
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)
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)
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)
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)
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)
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)
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)
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)
par: Romel, Tanzim Hossain, et autres
Publié: (2025)
Reasonable Experiments in Model-Based Systems Engineering
par: Cederbladh, Johan, et autres
Publié: (2025)
par: Cederbladh, Johan, et autres
Publié: (2025)
Ladder Logic Translation using Large Language Models in Industrial Automation
par: Ogundare, Oluwatosin, et autres
Publié: (2026)
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)
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)
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)
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)
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)
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)
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)
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)
par: Gleirscher, Mario, et autres
Publié: (2017)
TensorConvolutionPlus: A python package for distribution system flexibility area estimation
par: Chrysostomou, Demetris, et autres
Publié: (2025)
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)
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)
par: Zacchi, João-Vitor, et autres
Publié: (2025)
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)