Autor*innen mit den meisten Dokumenten
Auflistung nach:
Neueste Veröffentlichungen
- KonferenzbeitragSimuLizar: Design-Time Modeling and Performance Analysis of Self-Adaptive Systems(Software Engineering 2013, 2013) Becker, Matthias; Becker, Steffen; Meyer, JoachimModern software systems adapt themselves to changing environments in order to meet quality-of-service requirements, such as response time limits. The engineering of the system's self-adaptation logic does not only require new modeling methods, but also new analysis of transient phases. Model-driven software performance engineering methods already allow design-time analysis of steady states of nonadaptive system models. In order to validate requirements for transient phases, new modeling and analysis methods are needed. In this paper, we present SimuLizar, our initial model-driven approach to model self-adaptive systems and to analyze the performance of their transient phases. Our evaluation of a proof of concept load balancer system shows the applicability of our modeling approach. In addition, a comparison of our performance analysis with a prototypical implementation of our example system provides evidence that the prediction accuracy is sufficient to identify unsatisfactory self-adaptations.
- KonferenzbeitragTaking the pick out of the bunch - type-safe shrinking of metamodels(Software Engineering 2013, 2013) Bergmayr, Alexander; Wimmer, Manuel; Retschitzegger, Werner; Zdun, UweTo focus only on those parts of a metamodel that are of interest for a specific task requires techniques to generate metamodel snippets. Current techniques generate strictly structure-preserving snippets, only, although restructuring would facilitate to generate less complex snippets. Therefore, we propose metamodel shrinking to enable type-safe restructuring of snippets that are generated from base metamodels. Our approach allows to shrink a selected set of metamodel elements by automatic reductions that guarantee type-safe results by design. Based on experiments with 12 different metamodels from various application domains, we demonstrate the benefits of metamodel shrinking supported by our prototypical implementation build on top of the Eclipse Modeling Framework (EMF).
- 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.
- KonferenzbeitragAnforderungen an das Software-Engineering in der Automatisierungstechnik(Software Engineering 2013, 2013) Vogel-Heuser, Birgit; Diedrich, Christian; Fay, Alexander; Göhner, PeterAutomatisierte Systeme sind komplexe Hardware-Software-Systeme, die zu einem hohen Maß von der Qualität des zugrundeliegenden Software- Engineering abhängen. Der Beitrag soll durch die Klärung der spezifischen Anforderungen zu einem besseren Verständnis von Automatisierungstechnik und Software-Engineering führen und die Grundlagen für eine engere Zusammenarbeit legen. Es werden die wesentlichen Anforderungen identifiziert, die sich aus dem funktionalen Aufbau sowie aus den Randbedingungen des Lebenszyklus automatisierter Systeme ergeben. Auf dieser Grundlage können Methoden und Werkzeuge verbessert und so die Qualität des Software-Engineering gesteigert werden.
- Konferenzbeitrag5. Workshop „Design For Future - Langlebige Softwaresysteme“(Software Engineering 2013, 2013) Sauer, Stefan; Klatt, Benjamin; Ruhroth, Thomas
- KonferenzbeitragWieviel Usability-Engineering braucht das Requirements-Engineering?(Software Engineering 2013, 2013) Rupp, ChrisSoftware Produkte sind nicht immer einfach und intuitiv benutzbar, was uns Nutzer oft verzweifeln und verärgern lässt. Dies liegt daran, dass wir Endbenutzer zu selten in den Entwicklungsprozess mit eingebunden werden, obwohl die Produkte für uns entwickelt werden. Unsere Ziele und Bedürfnisse werden oft gar nicht betrachtet oder kommen viel zu kurz. Doch was kann man aus Requirements Engineering Sicht tun, um dieser Problematik entgegenzuwirken? Im Rahmen eines Innovationsprojektes beschäftigen sich die SOPHISTen mit der Frage, wie viel Usability Engineering das Requirements Engineering braucht, um die Benutzbarkeit von Softwareprodukten zu stärken und dem User ein positives Nutzungserlebnis zu bieten. Wir suchen nach methodischen Schnittpunkten beider Disziplinen, um anschließend einige Usability-Engineering-Methoden in das Requirements Engineering zu transferieren. Weiter forschen wir an der Erstellung eines Vorgehensmodells, bei dem sich Usability-Engineering-Methoden und Requirements Engineering Methoden eingliedern. Sie bekommen über folgende auch für Requirements Engineers spannende Themen aus dem Usability Engineering etwas zu hören: Das Personas-Konzept nach Cooper - und wie es das klassische Stakeholder- Relationship-Management ergänzt, Die Szenariobasierte Erstellung von Kontextszenarien mit anschließender Erhebung von Anforderungen, Sowie ein Vorgehensmodell, das Usability-Engineering-Methoden und Requirements Engineering Methoden einordnet. Seien Sie gespannt, welche Zusatzerkenntnisse man aus einem professionellen Usability Engineering als Requirements Engineer ziehen kann.
- KonferenzbeitragDie Saarbrücker Graduiertenschule der Informatik(Software Engineering 2013, 2013) Zeller, Andreas
- Editiertes BuchSoftware Engineering 2013(2013)
- Konferenzbeitrag6. Arbeitstagung Programmiersprachen (ATPS 2013)(Software Engineering 2013, 2013) Knoop, Jens; Voigtländer, Janis
- KonferenzbeitragModellierung von Vorgehensmodellen -Paradigmen, Sprachen, Tools(Software Engineering 2013, 2013) Kuhrmann, Marco; Fernández Méndez, Daniel; Linssen, Oliver; Knapp, Alexander