Logo des Repositoriums

Auflistung nach Autor:in "Herber, Paula"

1 - 4 von 4
  • Textdokument
    Automatisierte HW/SW Co-Verifikation von SystemC Modellen mit Hilfe von Timed Automata
    (Ausgezeichnete Informatikdissertationen 2010, 2011) Herber, Paula
    SystemC 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.
  • Zeitschriftenartikel
    Ernst Denert Preis 2023
    (Softwaretechnik-Trends Band 44, Heft 2, 2024) Bodden, Eric; Acar, Yasemin; Felderer, Michael; Hasselbring, Wilhelm; Herber, Paula; Rumpe, Bernhard
    In its 32nd edition, the Ernst Denert Software Engineering Prize 2023 was awarded at the 2024 Software Engineering conference, for an outstanding contribution to software engineering by the Fachbereich Softwaretechnik of the GI, in cooperation with the Austrian Computer Society (OCG) and the the Swiss Informatics Society (SI). The Ernst Denert Software Engineering prize is awarded annually for outstanding work that was created in the field of methods, tools and processes of software development within the sphere of activity of the GI, OCG or SI. The winner for the year 2023 is: Dr. Muhammad Numair Mansur with his dissertation “Automatically De tecting and Mitigating Issues in Program An alyzers”. Abstracts of the nominated dissertations can be found in this issue of Software Technology Trends.
  • Konferenzbeitrag
    Formal Verification of Intelligent Hybrid Systems that are modeled with Simulink and the Reinforcement Learning Toolbox
    (Software Engineering 2023, 2023) Adelt, Julius; Liebrenz, Timm; Herber, Paula
    Reinforcement 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].
  • Konferenzbeitrag
    Towards Identifying Spurious Paths in Combined Simulink/Stateflow Models
    (Informatik 2016, 2016) Mikulcak, Marcus; Göthel, Thomas; Herber, Paula; Glesner, Sabine