Imagen de Portada

Automating Physics-Based Reasoning for SysML Model Validation

Fuente: arXiv

Guardado en:

Detalles Bibliográficos
Autores principales:	Chambers, Candice, Mueller, Summer, Ganeriwala, Parth, Sen, Chiradeep, Bhattacharyya, Siddhartha
Formato:	Preprint
Publicado:	2025
Materias:	Systems and Control Emerging Technologies Software Engineering
Acceso en línea:	Acceder al recurso
Etiquetas:	Agregar Etiqueta Sin Etiquetas, Sea el primero en etiquetar este registro!

Ejemplares similares

Design and Validation of Learning Aware HMI For Learning-Enabled Increasingly Autonomous Systems
por: Ganeriwala, Parth, et al.
Publicado: (2025)

Digital requirements engineering with an INCOSE-derived SysML meta-model
por: Wheaton, James S., et al.
Publicado: (2024)

SHIA: A Direct SysML-Hardware Interface Architecture for Model-Centric Verification
por: Lewis, Charles, et al.
Publicado: (2026)

A SysML Profile for the Standardized Description of Processes during System Development
por: Beers, Lasse, et al.
Publicado: (2024)

Beyond Formal Semantics for Capabilities and Skills: Model Context Protocol in Manufacturing
por: da Silva, Luis Miguel Vieira, et al.
Publicado: (2025)

AI Simulation by Digital Twins: Systematic Survey, Reference Framework, and Mapping to a Standardized Architecture
por: Liu, Xiaoran, et al.
Publicado: (2025)

Data Architectures for AI-Ready Interoperable Public Transportation Ecosystems
por: Da Silva, Diego, et al.
Publicado: (2026)

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

DTInsight: A Tool for Explicit, Interactive, and Continuous Digital Twin Reporting
por: Fiter, Kérian, et al.
Publicado: (2025)

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

DevOps Automation Pipeline Deployment with IaC (Infrastructure as Code)
por: Saxena, Adarsh, et al.
Publicado: (2025)

From Neural Sensing to Stimulation: An Interdisciplinary Roadmap for Neurotechnology
por: Serrano, Ruben Ruiz-Mateos, et al.
Publicado: (2025)

LLM4VV: Evaluating Cutting-Edge LLMs for Generation and Evaluation of Directive-Based Parallel Programming Model Compiler Tests
por: Sollenberger, Zachariah, et al.
Publicado: (2025)

Model Discovery and Graph Simulation: A Lightweight Gateway to Chaos Engineering
por: Krasnovsky, Anatoly A.
Publicado: (2025)

Uncertainty Modeling for SysML v2
por: Zhang, Man, et al.
Publicado: (2026)

Quantum Software Architecture Framework (QSAF): A Component-Based Framework for Designing Hybrid Quantum-Classical Systems
por: Kiwelekar, Arvind W., et al.
Publicado: (2026)

Utilizing Composer Packages to Accelerate Laravel-Based Project Development Among Students: A Pedagogical and Practical Framework
por: Wahid, Rohaizah Abdul, et al.
Publicado: (2025)

Verification of Digital Twins using Classical and Statistical Model Checking
por: Gunasekaran, Raghavendran, et al.
Publicado: (2025)

Investigating the Role of Cultural Values in Adopting Large Language Models for Software Engineering
por: Lambiase, Stefano, et al.
Publicado: (2024)

Model Context Protocol (MCP) at First Glance: Studying the Security and Maintainability of MCP Servers
por: Hasan, Mohammed Mehedi, et al.
Publicado: (2025)

From over-reliance to smart integration: using Large-Language Models as translators between specialized modeling and simulation tools
por: Giabbanelli, Philippe J., et al.
Publicado: (2025)

Programmers Aren't Obsolete Yet: A Syllabus for Teaching CS Students to Responsibly Use Large Language Models for Code Generation
por: Cipriano, Bruno Pereira, et al.
Publicado: (2025)

Model Context Protocol (MCP) Tool Descriptions Are Smelly! Towards Improving AI Agent Efficiency with Augmented MCP Tool Descriptions
por: Hasan, Mohammed Mehedi, et al.
Publicado: (2026)

TwinArch: A Digital Twin Reference Architecture
por: Somma, Alessandra, et al.
Publicado: (2025)

Process Analytics -- Data-driven Business Process Management
por: Stierle, Matthias, et al.
Publicado: (2025)

The Rise of the Software-Defined Vehicle: Architectures, Enabling Technologies, and Future Opportunities
por: Liotou, Eirini, et al.
Publicado: (2026)

Towards Change Impact Analysis in Microservices-based System Evolution
por: Cerny, Tomas, et al.
Publicado: (2025)

Reformulating Regression Test Suite Optimization using Quantum Annealing -- an Empirical Study
por: Trovato, Antonio, et al.
Publicado: (2024)

A Semantic Framework for Patient Digital Twins in Chronic Care
por: Elgammal, Amal, et al.
Publicado: (2025)

A Domain-specific Language and Architecture for Detecting Process Activities from Sensor Streams in IoT
por: Seiger, Ronny, et al.
Publicado: (2025)

Service Weaver: A Promising Direction for Cloud-native Systems?
por: Johnson, Jacoby, et al.
Publicado: (2024)

Beyond words and actions: Exploring Multimodal Analytics and Collaboration in the Digital Age
por: Miranda, Diego, et al.
Publicado: (2024)

Digital Twin Evolution for Sustainable Smart Ecosystems
por: Michael, Judith, et al.
Publicado: (2024)

A Context-Driven Approach for Co-Auditing Smart Contracts with The Support of GPT-4 code interpreter
por: Bouafif, Mohamed Salah, et al.
Publicado: (2024)

Software-Defined Vehicle Ecosystems in Transformation -- A Systematic Literature Review
por: Hietala, Heidi, et al.
Publicado: (2026)

Using quantum annealing to generate test cases for cyber-physical systems
por: Araujo, Hugo, et al.
Publicado: (2025)

Systems of Twinned Systems: A Systematic Literature Review
por: Adesanya, Feyi, et al.
Publicado: (2025)

A Construction-Phase Digital Twin Framework for Quality Assurance and Decision Support in Civil Infrastructure Projects
por: Islam, Md Asiful, et al.
Publicado: (2026)

Nix: A Solution With Problems
por: Zwinger, Matias
Publicado: (2026)

A Curated List of Open-source Software-only Energy Efficiency Measurement Tools: A GitHub Mining Study
por: Cannizza, Manuela Bechara, et al.
Publicado: (2026)