Auflistung nach Autor:in "Scheerer, Max"
1 - 2 von 2
Treffer pro Seite
Sortieroptionen
- TextdokumentHolistische Verifikation von Hybriden Quantenprogrammen durch Software Bounded Model Checking(INFORMATIK 2021, 2021) Klamroth,Jonas; Scheerer, Max; Denninger, OliverQuantencomputer erschließen uns durch ihren überpolynomiellem Speedup neue Anwendungsfelder für schwer-berechenbare Probleme. Der Entwurf von Quantenalgorithmen ist bisher allerdings komplex und fehleranfällig. Daher ist zu erwarten, dass vorerst nur einzelne Subroutinen eines Programms auf Quantencomputern umgesetzt werden. Um die Korrektheit solcher Programme garantieren zu können, sind neue Ansätze erforderlich. In dieser Arbeit stellen wir einen Ansatz zum vollautomatischen Nachweis der Korrektheit von Programmen mit eingebetteten Quantenalgorithmen vor. Dazu bauen wir auf Bounded-Model-Checking-Verfahren auf, welche die Fehlerfreiheit hinsichtlich einer gegebenen Spezifikation beweisen können. Als Spezifikationssprache verwenden wir JML. Dabei werden die Quantenalgorithmen als Quantenschaltkreis beschrieben und in Java eingebettet. Wir zeigen die Umsetzbarkeit unseres Ansatzes an zwei etablierten Quantenalgorithmen.
- KonferenzbeitragSimuLizar NG: An extensible event-oriented simulation engine for self-adaptive software architectures(Softwaretechnik-Trends Band 39, Heft 3, 2019) Krach, Sebastian Dieter; Scheerer, MaxSoftware simulation constitutes an essential mechanism for design time architecture analysis. Domain-specific software, e.g. of cyber-physical systems, requires domain-specific extensions to the architecture models and their execution semantics. Existing simulators are cumbersome to extend, do not support self-adaptivity or do not scale well. In this paper we present concepts of SimuLizar NG, a scalable simulation engine for the SimuLizar approach. Its principal goal is to facilitate domain-specific extension and adaptations to the model interpretation semantic while at the same time ensuring reactive simulation execution in demanding scalability scenarios.