Auflistung nach Autor:in "Hanxleden, Reinhard von"
1 - 4 von 4
Treffer pro Seite
Sortieroptionen
- KonferenzbeitragEntwurf einer domänenspezifischen Sprache für elektronische Stellwerke(Software Engineering 2012, 2012) Goerigk, Wolfgang; Hanxleden, Reinhard von; Hasselbring, Wilhelm; Hennings, Gregor; Jung, Reiner; Neustock, Holger; Schaefer, Heiko; Schneider, Christian; Schultz, Elferik; Stahl, Thomas; Weik, Steffen; Zeug, StefanDie Entwicklung elektronischer Stellwerke für den Bahnbetrieb ist ein aufwändiges Unterfangen, welches sich besonders für die zahlreichen Nebenstrecken und andere kleinere Bahnanlagen häufig als unrentabel erweist. Um in Zukunft einerseits mehr Verkehr auf die Schiene zu bringen und zudem die Kosten für den Betrieb der Infrastruktur zu senken, müssen die Hardware-Komponenten günstiger werden, aber auch die Entwicklung der darauf laufenden Software produktiver erfolgen, ohne Ab- striche bei der Sicherheit zu machen. Bisher werden für elektronische Stellwerke Prozessrechner eingesetzt, welche speziell auf das jeweilige Stellwerk zugeschnitten sind. Ebenso wird die Software speziell für die jeweilige Anlage entwickelt. Beide Komonenten müssen für den Betrieb zugelassen werden. Unser Ansatz zur Produktivitätssteigerung setzt einerseits auf den Einsatz standardisierter Hardware-Komponenten aus der Industrieautomation, hier konkret speicherprogrammierbarer Steuerungen, und andererseits auf eine Verbesserung des Softwareentwicklungsprozesses durch den Einsatz modellgetriebener Softwareentwicklung mit domänenspezifischen Sprachen und dazu passenden Werkzeugen. In diesem Beitrag stellen wir aus dem Verbundprojekt MENGES (Modellbasierte Entwurfsmethoden für eine neue Generation elektronischer Stellwerke) den Entwurf und die Implementierung einer domänenspezifischen Sprache für die Programmierung elektronischer Stellwerke vor. Die MENGES-Sprache besteht aus einer Menge textueller Teilsprachen, für deren effiziente Benutzung eine leistungsfähige Werkzeugumgebung zur Analyse der Spezifikationen, zur Code-Generierung und zur zweckgerichteten grafischen Repräsentation von Spezifikationsteilen entwickelt wird.
- KonferenzbeitragInteractive transformations for visual models(INFORMATIK 2011 – Informatik schafft Communities, 2011) Rüegg, Ulf; Motika, Christian; Hanxleden, Reinhard vonModel transformations are an essential and integral concept of Model Driven Engineering (MDE). However, when using state of the art modeling tools, transformations are typically executed silently and at once in the background. This entails three main limitations. First, there is a lack of flexibility. This includes the transformation itself as well as the overall tooling. It is hardly possible to add further visualizations to the execution in a generic and re-usable way, or to react to an executed transformation. Second, no insights of the transformation process are revealed, which makes it both hard for the user to understand and hard for the developer to debug and verify without tooling that supports further debugging facilities. Third, there is few potential for further interactivity. Transformations can be applied but not, i. e., executed in smaller chunks, where the execution of a chunk can be undone. We present a flexible concept to define arbitrary model transformations combined with graphical visualization and user interactivity. In our paper, we focus on applying this concept to monolithic transformations by breaking them up into steps of a certain granularity. The key idea is the integration into a view management, which then serves as a layer on top of the actual transformation execution. The view management maintains generic re-usable visualizations, e. g., highlighting, or automatic layout, and executable fine-granular, or modularized transformations. The visualizations and transformations can be combined in a flexible way while obeying user-interaction. Furthermore, we discuss the question of how interaction can be introduced for a certain transformation and which criteria this transformation has to fulfill. To provide first evaluations, an implementation of the approach has been based on and integrated into the Eclipse platform as part of the Kiel Integrated Environment for Layout Eclipse Rich Client (KIELER) project1. Thus, the implementation can be re-used by EMF-based Eclipse projects. A case-study presents an interactive and visualized transformation implementation of the synchronous textual language Esterel to SyncCharts, a synchronous Statecharts dialect. The decision whether to transform atomic Esterel elements one-by-one, undo applied transformations, or to transform the whole model at once, is left to the user. It is also possible to start with one-by-one transformations and then apply the rest of the overall transformation. Besides, we present a prototype of a structurebased editing implementation. Regarding possible future work, it would be desirable to have a framework that allows the user to easily define explicit model transformations during runtime and combine them with arbitrary visualizations. This would enable users to adapt or create transformations according to their needs. Additionally, further practicability tests should be performed, especially concerning user experiences, to provide profound evaluations.
- KonferenzbeitragSemantics and execution of domain specific models(INFORMATIK 2010. Service Science – Neue Perspektiven für die Informatik. Band 1, 2010) Motika, Christian; Fuhrmann, Hauke; Hanxleden, Reinhard vonIn this paper we present a two-level approach to extend the abstract syntax of models with concrete semantics in order to execute such models. First, a light-weight execution infrastructure for iteratable models with a generic user interface allows the tool smith to provide arbitrary execution and visualization engine implementations for his or her Domain Specific Language (DSL). Second, as a concrete but nevertheless generic implementation of a simulation engine for behavior models, we present semantic model specifications and a runtime interfacing to the Ptolemy II tool suite as a formally founded backbone for model execution. We present our approach as an open source Eclipse integration to be an extension to the Eclipse modeling projects.
- KonferenzbeitragThe Use of Complex Stateflow-Charts with KIEL – An Automotive Case Study(Informatik 2007 – Informatik trifft Logistik – Band 2, 2007) Prochnow, Steffen; Hanxleden, Reinhard vonModeling systems with Statecharts has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications with the paradigms established so far often results in models that are difficult to comprehend and maintain, which severely compromises their practical use. The Kiel Integrated Environment for Layout (KIEL) is a modeling environment for the exploration of alternative editing and representation paradigms. We here report on an adaptation of KIEL to MAT-LAB Simulink/Stateflow, and on an automotive case study.