Auflistung nach Autor:in "Herber, Paula"
1 - 3 von 3
Treffer pro Seite
Sortieroptionen
- TextdokumentAutomatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata(Ausgezeichnete Informatikdissertationen 2010, 2011) Herber, PaulaSystemC hat sich zum de-facto Standard zur Modellierung und Simulation im HW/SW Co-Design entwickelt. Existierende Verifikationstechniken für SystemC sind jedoch meist ad hoc und unsystematisch. Wir präsentieren ein formal fundiertes Framework zur systematischen und umfassenden Co-Verifikation von SystemC Modellen. Das Framework basiert auf einer von uns definierten formalen Semantik für SystemC und verwendet eine Kombination von Model Checking und Konformitätstesten zur automatisierten Qualiätssicherung während des gesamten Entwurfsablaufs. Wir demonstrieren die Leistungsfähigkeit unseres Ansatzes mit einem Packet Switch und einem System zur Anti-Blockier- und Anti-Schlupf-Regulierung.
- KonferenzbeitragFormal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox(Software Engineering 2023, 2023) Adelt, Julius; Liebrenz, Timm; Herber, PaulaReinforcement Learning (RL) is a powerful technique to control intelligent hybrid systems (HS) in dynamic and uncertain environments. However, formally guaranteeing safe behavior of intelligent HS is hard because formal descriptions are often not available in industrial design processes and hard to obtain for RL. Furthermore, the intertwined discrete and continuous behavior of hybrid systems results in limited scalability of automatic verification methods, such as model checking. This makes deductive verification desirable. In this paper, we summarize our approach for deductive verification of intelligent HS with embedded RL components that are modeled with Simulink and the RL Toolbox. This paper was originally published at the Formal Methods conference 2021 (FM21) [ALH21].
- KonferenzbeitragTowards Identifying Spurious Paths in Combined Simulink/Stateflow Models(Informatik 2016, 2016) Mikulcak, Marcus; Göthel, Thomas; Herber, Paula; Glesner, Sabine