Logo des Repositoriums

Auflistung nach Autor:in "Weiss, Roland"

1 - 5 von 5
  • Zeitschriftenartikel
    DWARF-driven Equivalence Checking of UML Statecharts and Software Components
    (Softwaretechnik-Trends Band 31, Heft 3, 2011) Heckeler, Patrick; Behrend, Jörg; Ruf, Jürgen; Kropf, Thomas; Rosenstiel, Wolfgang; Weiss, Roland
    This article presents an instrumentation-free runtime verification methodology built upon an external observer which uses DWARF1 -statements to monitor system behavior. The observer delivers information about variable values used for state-encoding and method calls representing transitions. These information are passed to an engine which parses the system specification in terms of a UML statechart. It is transformed into an executable automaton which acts as a golden reference for equivalence checking. The presented approach makes it possible to perform verification directly on the target architecture and keeps up test significance by avoiding modification of the executable caused by injected monitors or other code probes
  • Konferenzbeitrag
    Modeling and predicting performance impacts in a service-oriented, industrial software system from the automation domain
    (Informatik 2009 – Im Focus das Leben, 2009) Koziolek, Heiko; Weiss, Roland; Doppelhamer, Jens
  • Konferenzbeitrag
    State-based coverage analysis and UML-driven equivalence checking for C++ state machines
    (FM+AM`2010 – Second International Workshop on Formal Methods and Agile Methods, 2010) Heckeler, Patrick; Behrend, Jörg; Kropf, Thomas; Ruf, Jürgen; Rosenstiel, Wolfgang; Weiss, Roland
    This paper presents a methodology using an instrumentation-based behavioral checker to detect behavioral deviations of a C++ object implementing a finite state machine (FSM) and the corresponding specification defined as a UML state chart. The approach is able to link the source code with the appropriate states and provides a coverage analysis to show which states have been covered by unit, system and integration tests. Furthermore, the approach provides statistical information about the distribution of covered lines of code among all included files and directories. As a proof of concept the presented approach has been implemented in terms of a C++-library and has been successfully applied to OPC UA, an industrial automation infrastructure software.
  • Konferenzbeitrag
    Towards software sustainability guidelines for long-living industrial systems
    (Software Engineering 2011 – Workshopband, 2011) Koziolek, Heiko; Weiss, Roland; Durdik, Zoya; Stammel, Johannes; Krogmann, Klaus
    Long-living software systems are sustainable if they can be cost-effectively maintained and evolved over their complete life-cycle. Software-intensive systems in the industrial automation domain are typically long-living and cause high evolution costs, because of new customer requirements, technology changes, and failure reports. Many methods for sustainable software development have been proposed in the scientific literature, but most of them are not applied in industrial practice. We identified typical evolution scenarios in the industrial automation domain and conducted an extensive literature search to extract a number of guidelines for sustainable software development based on the methods found in literature. For validation purposes, we map one evolution scenario to these guidelines in this paper.
  • Zeitschriftenartikel
    Towards Sustainable Industrial Automation Systems
    (Softwaretechnik-Trends Band 30, Heft 2, 2010) Weiss, Roland; Koziolek, Heiko; Stammel, Johannes; Durdik, Zoya
    We identified a set of open issues in the context of software aging and long-living systems with respect to the application domain of industrial automation systems, e.g. process control [7] and SCADA (supervisory control and data acquisition) systems. Existing systems in the automation domain suffer from expensive evolution and maintenance as well as from long release cycles. One of the root causes for this is that longevity was not considered during their construction. Most of the solutions that can be found today are not domain-specific, and tend to focus rather on symptoms than on causes. Therefore, we initiated a research project which has the target to define more clearly what domain-specific longevity means, to survey existing approaches, and to derive methods and techniques for addressing the mentioned problem in the industrial automation domain. In this contribution we present the objectives of this project and outline our state of progress.