Logo des Repositoriums

Auflistung nach Autor:in "Leucker, Martin"

1 - 4 von 4
  • Konferenzbeitrag
    Counterexample guided abstraction refinement of product-line behavioural models
    (Software Engineering 2016, 2016) Cordy, Maxime; Heymans, Patrick; Legay, Axel; Schobbens, Pierre-Yves; Dawagne, Bruno; Leucker, Martin
    The model-checking problem for Software Products Lines (SPLs) is harder than for single systems: variability constitutes a new source of complexity that exacerbates the state-explosion problem. Abstraction techniques have successfully alleviated state explosion in single-system models. However, they need to be adapted to SPLs, to take into account the set of variants that produce a counterexample. In this paper, we recall the main ideas of a paper published elsewhere that applies CEGAR (Counterexample-Guided Abstraction Refinement) and desings new forms of abstraction specifically for SPLs. Experiments are carried out to evaluate the efficiency of our new abstractions. The results show that our abstractions, combined with an appropriate refinement strategy, hold the potential to achieve large reductions in verification time, although they sometimes perform worse.
  • Zeitschriftenartikel
    Klassifikationsbäume in Echtzeit
    (Softwaretechnik-Trends Band 29, Heft 4, 2009) Leucker, Martin; Löser, Moritz; Nowotka, Dirk; Rischen, Joachim
  • Konferenzbeitrag
    Lightweight Verification 2008
    (INFORMATIK 2008. Beherrschbare Systeme - dank Informatik. Band 2, 2008) Leucker, Martin; Seidl, Helmut
  • Konferenzbeitrag
    Mildner, malte schmitzvom forschungsprototypen zur industriellen nutzung einer qualitätsgesicherten me-dizinischen softwarekomponente - technologietransfer im CMSSE
    (Software-engineering and management 2015, 2015) Bußhaus, Timm; Fischer, Stefan; Kühn, Franziska; Leucker, Martin
    Im Rahmen des Projektes OR.NET - Sichere dynamische Vernetzung in Operationssaal und Klinik werden Konzepte und Implementierungen für eine Kommunikationsinfrastruktur von Medizinprodukten entwickelt und hinsichtlich Standardisierung vorbereitet. Die Akzeptanz der Lösung in der Wirtschaft wird durch die Be- teiligung namhafter Industriepartner und die Integration in Demonstratoren an mehreren Klinikstandorten in Deutschland ausgebaut. Im OR.NET-Projekt wird insbesondere ein Protokoll für einen Kommunikationsstack standardisiert. Am Center for Me- dical Software and Systems Engineering (CMSSE) wird dieser Kommunikationsstack unter Berücksichtigung der europäischen Medical Device Directive für die industrielle Nutzung entwickelt, um Herstellern die Möglichkeit zu geben, ihn in ihren Medizinprodukten einzusetzen. Dieses Papier beschreibt die wesentlichen Technologien des Kommunikationsstacks, die Vorgaben der Medical Device Directive sowie die notwendigen Schritte für einen Technologietransfer im Bereich von Medizinprodukten am Beispiel der Entwicklung des Kommunikationsstacks im Rahmen des CMSSE.