arrow
返回

A Modeling Framework for Hardware-Software Systems with Machine Learning Components

delete2026-01-01
delete0
PRE
AI
F
Francesco Bedini *
T
Tino Jungebloud
R
Ralph Maschotta
A
Armin Zimmermann
DOI:10.1007/978-3-031-96841-9_11delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
人工智能在各个工业领域日益受到重视,凭借传统软件难以实现或不易达到的先进功能,正改变着流程和决策方式。各行业正投入资源发展人工智能驱动的解决方案,这些方案有望提升运营效率并促进各自领域的创新。然而,机器学习也带来了新的挑战,例如如何管理决策过程中产生的模糊性。本文展示了设计并实施了一个框架,该框架能够对基于时间的软硬件系统进行建模和仿真,以评估不确定性在多种运行环境中传播的潜在影响。这至关重要,因为此类不确定性可能导致代价高昂的系统故障,并影响其他非功能性需求,如系统效率、可靠性乃至安全性。我们的方法包括建立一种具有形式执行语义的新型领域专用语言,其语义通过随机着色Petri网界定。所得模型随后可通过自动转换为随机着色Petri网进行静态分析和仿真,从而便于计算多种可靠性和效率指标。
Keyword:
DSL
SCPN
Stochastic colored petri net
EMF
Modeling
Simulation

期刊

M
MODEL-BASED SOFTWARE AND SYSTEMS ENGINEERING, MODELSWARD 2024
IF:
0
论文数:
13
被引数:
0

机构

T
Technische Universitat Ilmenau
学者数:
2.4K
论文数: 2.0K
被引数: 20
引用论文

引用论文

Verifying SysML activity diagrams using formal transformation to Petri nets
err2019-11-12
err0
PREAI
errEdward Huang; Leon F. McGinnis; Steven W. Mitchell
err分享
err收藏
Grand challenges in model-driven engineering: an analysis of the state of the research
err2020-01-06
err0
errOAAI
errAntonio Bucchiarone; Jordi Cabot; Richard F. Paige; Alfonso Pierantonio
err分享
err收藏
Recurrent Autoencoder for Weld Discontinuity Prediction
err2024-06-01
err1
errOAAI
errWalther, Dominik; Junger, Christina; Schmidt, Leander; Schricker, Klaus; Notni, Gunther; Bergmann, Jean Pierre; Maeder, Patrick
err分享
err收藏
err
IF0
err
err0
PREAI
err
err分享
err收藏
err分享
err收藏
学者 查看更多内容