Auflistung nach Autor:in "Henkler, Stefan"
1 - 7 von 7
Treffer pro Seite
Sortieroptionen
- Konferenzbeitrag3. Workshop zur Zukunft der Entwicklung softwareintensiver eingebetteter Systeme (ENVISON2020)(Software Engineering 2013, 2013) Bender, Ottmar; Böhm, Wolfgang; Henkler, Stefan; Sander, Dietmar; Vogelsang, Andreas; Weyer, Thorsten
- Konferenzbeitrag4. Workshop zur Zukunft der Entwicklung softwareintensiver eingebettetet Systeme (ENVISION2020)(Software Engineering 2014, 2014) Bender, Ottmar; Böhm, Wolfgang; Henkler, Stefan; Sander, Oliver; Vogelsang, Andreas; Weyer, Thorsten
- KonferenzbeitragAutomata-based refinement checking for real-time systems(Software Engineering 2013, 2013) Brenner, Christian; Heinzemann, Christian; Schäfer, Wilhelm; Henkler, StefanModel-driven development of real-time safety-critical systems requires to support refinement of behavioral model specifications using, for example, timed simulation or timed bisimulation. Such refinements, if defined properly, guarantee that (safety and liveness) properties, which have been verified for an abstract model, still hold for the refined model. In this paper, we propose an automatic selection algorithm selecting the most suitable refinement definition concerning the type of model specification applied and the properties to be verified. By extending the idea of test automata construction for refinement checking, our approach also guarantees that a refined model is constructed correctly concerning the selected and applied refinement definition. We illustrate the application of our approach by an example of an advanced railway transportation system.
- KonferenzbeitragA design space exploration framework for model-based software-intensive embedded system development(Software Engineering 2013 - Workshopband, 2013) Büker, Matthias; Henkler, Stefan; Schlegel, Stefanie; Thaden, EikeWe propose an abstract framework for Design Space Exploration (DSE) in the context of model-based embedded system development. The goal is to enable the integration of a set of concrete DSE methods addressing different system characteristics and design goals while still having a common understanding of design artifacts.
- KonferenzbeitragFünfter workshop zur zukunft der entwicklung softwareintensiver eingebetteter systeme (ENVISION2020)(Software-engineering and management 2015, 2015) Bender, Ottmar; Böhm, Wolfgang; Houdek, Frank; Henkler, Stefan; Vogelsang, Andreas; Weyer, Thorsten
- KonferenzbeitragModeling and verifying dynamic communication structures based on graph transformations(Software Engineering 2010, 2010) Henkler, Stefan; Hirsch, Martin; Priesterjahn, Claudia; Schäfer, WilhelmCurrent and especially future software systems increasingly exhibit socalled self* properties (e. g. , self healing or self optimization). In essence, this means that software in such systems needs to be reconfigurable at runtime to remedy a detected failure or to adjust to a changing environment. Reconfiguration includes adding or deleting software components as well as adding or deleting component interaction. As a consequence, the state space of self* systems becomes so complex, that current verification approaches like model checking or theorem proving usually do not scale. Our approach addresses this problem by first defining a so-called “regular” system architecture with clearly defined interfaces and predefined patterns of communication such that dependencies between concurrently running component interactions are minimized with respect to the system under construction. The construction of such architectures and especially its reconfiguration is controlled by using graph transformation rules which define all possible reconfigurations. It is formally proven that such a rule set cannot produce any “non-regular” architecture. Then, the verification of safety and liveness properties has to be carried out for only an initially and precisely defined set of so-called coordination patterns rather than on the whole system.
- KonferenzbeitragA pattern-based requirement specification language: mapping automotive specific timing requirements(Software Engineering 2011 – Workshopband, 2011) Reinkemeier, Philipp; Stierand, Ingo; Rehkop, Philip; Henkler, StefanToday most requirement specifications are documents written in natural language. Natural language however is abiguous. Thus computer-aided verification of system-models against such requirement specifications is generally impossible. In this paper we propose a textual requirement specification language (RSL), that is based on patterns, which have a formally defined semantics. RSL is able to express requirements from multiple aspects (e.g. real-time, safety, etc.) on a system. In order to apply RSL in the domain of automotive systems, it has to support timing requirements as the Timing Augmented Description Language (TADL). TADL is the comming standard for handling timing information in the automotive domain. In this paper, we present a mapping of TADL constraints to RSL patterns.