Universität Stuttgart

Permanent URI for this communityhttps://elib.uni-stuttgart.de/handle/11682/1

Browse

Filters

2011 - 201925

Settings

Publication Type: search.filters.UBSTyp.KonferenzbeitragInstitute: search.filters.UBSInstitut.Fakultätsübergreifend / Sonstige EinrichtungStart date: 2010End date: 2019

Search Results

Now showing 1 - 10 of 25
  • Thumbnail Image
    ItemOpen Access
    Empirical research plan: effects of sketching on program comprehension
    (2016) Baltes, Sebastian; Wagner, Stefan
    Sketching is an important means of communication in software engineering practice. Yet, there is little research investigating the use of sketches. We want to contribute a better understanding of sketching, in particular its use during program comprehension. We propose a controlled experiment to investigate the effectiveness and efficiency of program comprehension with the support of sketches as well as what sketches are used in what way.
  • Thumbnail Image
    ItemOpen Access
    A comprehensive safety engineering approach for software-intensive systems based on STPA
    (2015) Abdulkhaleq, Asim; Wagner, Stefan; Leveson, Nancy
    Formal verification and testing are complementary approaches which are used in the development process to verify the functional correctness of software. However, the correctness of software cannot ensure the safe operation of safety-critical software systems. The software must be verified against its safety requirements which are identified by safety analysis, to ensure that potential hazardous causes cannot occur. The complexity of software makes defining appropriate software safety requirements with traditional safety analysis techniques difficult. STPA (Systems-Theoretic Processes Analysis) is a unique safety analysis approach that has been developed to identify system hazards, including the software-related hazards. This paper presents a comprehensive safety engineering approach based on STPA, including software testing and model checking approaches for the purpose of developing safe software. The proposed approach can be embedded within a defined software engineering process or applied to existing software systems, allow software and safety engineers integrate the analysis of software risks with their verification. The application of the proposed approach is illustrated with an automotive software controller.
  • Thumbnail Image
    ItemOpen Access
    DNS of multiple bubble growth and droplet formation in superheated liquids
    (2018) Loureiro, Daniel Dias; Reutzsch, Jonathan; Dietzel, Dirk; Kronenburg, Andreas; Weigand, Bernhard; Vogiatzaki, Konstantina
    Flash boiling can occur in rocket thrusters used for orbital manoeuvring of spacecraft as the cryogenic propellants are injected into the vacuum of space. For reliable ignition, a precise control of the atomization process is required as atomization and mixing of fuel and oxidizer are crucial for the subsequent combustion process. This work focuses on the microscopic process leading to the primary break-up of a liquid oxygen jet, caused by homogeneous nucleation and growth of vapour bubbles in superheated liquid. Although large levels of superheat can be achieved, sub-critical injection conditions ensure distinct gas and liquid phases with a large density ratio. Direct numerical simulations (DNS) are performed using the multiphase solver FS3D. The code solves the incompressible Navier-Stokes equations using the Volume of Fluid (VOF) method and PLIC reconstruction for the phase interface treatment. The interfaces are tracked as multiple bubbles grow, deform and coalesce, leading to the formation of a spray. The evaporation rate at the interface and approximate vapour properties are based on pre-computed solutions resolving the thermal boundary layer surrounding isolated bubbles, while liquid inertia and surface tension effects are expected to play a major role in the final spray characteristics which can only be captured by DNS. Simulations with regular arrays of bubbles demonstrate how the initial bubble spacing and thermodynamic conditions lead to distinct spray characteristics and droplet size distributions.
  • Thumbnail Image
    ItemOpen Access
    Acoustic and seismic emissions from wind turbines
    (2017) Calarco, Francesca; Cheng, Po Wen; Zieger, Toni; Ritter, Joachim
    With regards to the interdisciplinary “TremAc” Project funded by the German Federal Ministry for Economic Affairs and Energy, this paper examines acoustic and seismic emissions generated by wind turbines with the aim of identifying a better understanding of their interaction. Measurement campaigns will be carried out in the field around a single wind turbine plant and results in terms of acoustic and seismic signals will be correlated and then evaluated in relation to environmental factors such as wind speed, wind direction and temperature as well as to data related to the wind turbines-specifications (e.g. rotation speed).
  • Thumbnail Image
    ItemOpen Access
    Synchronisierung von digitalen Modellen mit realen Fertigungszellen auf Basis einer Ankerpunktmethode am Beispiel der Automobilindustrie
    (2017) Ashtari Talkhestani, Behrang; Schlögl, Wolfgang; Weyrich, Michael
    Die zunehmende Produktvielfalt und die Verkürzung der Produktlebenszyklen erfordern eine schnelle und kostengünstige Rekonfiguration bestehender Produktionssysteme [1]. Um diesen Herausforderungen zu begegnen, ist ein aktuelles digitales Modell der bestehenden Fertigungszelle, im Folgenden Digitaler Zwilling genannt, eine geeignete Lösung. Der Digitale Zwilling führt zu einer Kostenreduktion durch Verkürzung der Umrüstzeiten durch virtuelle Planung und Simulation basierend auf dem aktuellen Zustand der realen Produktionsanlage als auch durch eine frühzeitige Erkennung von Konstruktions- oder Prozessablauffehlern in der Produktionsanlage. Voraussetzung für die Verwendbarkeit des Digitalen Zwillings vom Produktionssystem ist allerdings, dass ein aktuelles (virtuelles) Anlagenmodell von den mechatronischen Bestandteilen der realen Anlage während der verschiedenen Phasen ihres Lebenszyklus existiert. In diesem Beitrag wird die domänenübergreifende, mechatronische Datenstruktur der virtuellen Fertigungszellen in der Automobilindustrie diskutiert. Es wird eine systematische Ankerpunktmethode vorgestellt, mithilfe derer die Abweichungen zwischen den virtuellen Modellen und der Realität detektiert und ermittelt werden können. Basierend darauf wird eine sogenannte regelbasierte Konsistenzprüfung zur durchgängigen, domänenübergreifenden Synchronisierung der aktuellen mechatronischen Ressourcenkomponenten der Produktionssysteme mit deren virtuellem Anlagemodell vorgestellt.
  • Thumbnail Image
    ItemOpen Access
    Inverse fuzzy arithmetic for the quality assessment of substructured models
    (2015) Iroz, Igor; Carvajal, Sergio; Hanss, Michael; Eberhard, Peter
    The dynamical analysis of complex structures often suffers from large computational efforts, so that the application of substructuring methods has gained increasing importance in the last years. Substructuring enables dividing large finite element models and reducing the resulting multiple bodies, yielding a reduction of, in this case, complex eigenvalue calculation time. This method is used to predict the appearance of friction-induced vibrations such as squeal in brake systems. Since the method is very sensitive to changes in parameter values, uncertainties influencing the results are included and identified. As uncertain parameters, standard coupling elements are considered and modeled by so-called fuzzy numbers, which are particularly well suited to represent epis- temic uncertainties of modeled physical phenomena. The influence of these uncertainties is transferred to undamped and damped eigenfrequencies of a substructured model by means of direct fuzzy analyses. An inverse fuzzy arithmetical approach is applied to identify the uncertain parameters that optimally cover the undamped reference eigenfrequencies of a non-substructured, full model. If a validity criteria is defined, a positive decision in favor of the most adequate model can be performed.
  • Thumbnail Image
    ItemOpen Access
    The Quamoco product quality modelling and assessment approach
    (2012) Wagner, Stefan; Lochmann, Klaus; Heinemann, Lars; Kläs, Michael; Trendowicz, Adam; Plösch, Reinhold; Seidl, Andreas; Goeb, Andreas; Streit, Jonathan
    Published software quality models either provide abstract quality attributes or concrete quality assessments. There are no models that seamlessly integrate both aspects. In the project Quamoco, we built a comprehensive approach with the aim to close this gap. For this, we developed in several iterations a meta quality model specifying general concepts, a quality base model covering the most important quality factors and a quality assessment approach. The meta model introduces the new concept of a product factor, which bridges the gap between concrete measurements and abstract quality aspects. Product factors have measures and instruments to operationalise quality by measurements from manual inspection and tool analysis. The base model uses the ISO 25010 quality attributes, which we refine by 200 factors and 600 measures for Java and C# systems. We found in several empirical validations that the assessment results fit to the expectations of experts for the corresponding systems. The empirical analyses also showed that several of the correlations are statistically significant and that the maintainability part of the base model has the highest correlation, which fits to the fact that this part is the most comprehensive. Although we still see room for extending and improving the base model, it shows a high correspondence with expert opinions and hence is able to form the basis for repeatable and understandable quality assessments in practice.
  • Thumbnail Image
    ItemOpen Access
    Mining valence, arousal, and dominance - possibilities for detecting burnout and productivity?
    (2016) Mäntylä, Mika; Adams, Bram; Destefanis, Giuseppe; Graziotin, Daniel; Ortu, Marco
    Similar to other industries, the software engineering domain is plagued by psychological diseases such as burnout, which lead developers to lose interest, exhibit lower activity and/or feel powerless. Prevention is essential for such diseases, which in turn requires early identification of symptoms. The emotional dimensions of Valence, Arousal and Dominance (VAD) are able to derive a person's interest (attraction), level of activation and perceived level of control for a particular situation from textual communication, such as emails. As an initial step towards identifying symptoms of productivity loss in software engineering, this paper explores the VAD metrics and their properties on 700,000 Jira issue reports containing over 2,000,000 comments, since issue reports keep track of a developer's progress on addressing bugs or new features. Using a general-purpose lexicon of 14,000 English words with known VAD scores, our results show that issue reports of different type (e.g., Feature Request vs. Bug) have a fair variation of Valence, while increase in issue priority (e.g., from Minor to Critical) typically increases Arousal. Furthermore, we show that as an issue's resolution time increases, so does the arousal of the individual the issue is assigned to. Finally, the resolution of an issue increases valence, especially for the issue Reporter and for quickly addressed issues. The existence of such relations between VAD and issue report activities shows promise that text mining in the future could offer an alternative way for work health assessment surveys.
  • Thumbnail Image
    ItemOpen Access
    Interdisciplinary system courses - teaching agile systems engineering
    (2019) Seitz, Andreas; Avezum, Mariana; Bruegge, Bernd; Wagner, Stefan
    With the advent of technologies like the Internet of Things, Industry 4.0 and Cyber-Physical Systems, many software engineering courses turn into system engineering courses. Recent advances in technologies such as 3D printing and low-cost micro controllers enable to teach agile hard- and software co-design in system engineering courses. In this paper, we describe Interdisciplinary System Courses (ISC) - a teaching approach based on interdisciplinary projects, light-weight agile techniques and solving real problems by integrating industry customers. We describe our experiences from an exploratory case study where we applied ISC in a two-week international summer school with a customer from the aerospace industry. We derive a set of hypotheses on the effects of ISC.
  • Thumbnail Image
    ItemOpen Access
    Assessment of overload capabilities of power transformers by thermal modelling
    (2011) Schmidt, Nicolas; Tenbohlen, Stefan; Skrzypek, Raimund; Dolata, Bartek
    This contribution presents an approach to determine the overload capabilities of oil-cooled power transformers depending on the ambient temperature. For this purpose the investigated method introduces a simplified, empirical based thermal model that predicts changes in oil temperature with high accuracy. This model considers the entire transformer as a single, homogenous tempered body with a certain thermal capacity. All electrical losses are perceived as an input of equally distributed heat and assumed to be the sum of the load and no-load losses given by the transformer design. In contrary to earlier approaches the heat exchange with the ambience is modelled as a complex function depending first of all on the temperature difference between the transformer and its surroundings. Furthermore, the loading rate, material properties, levels of temperatures and emerging temperature gradients are taken into account as influencing factors determining the heat exchange. To display the behaviour of a specific transformer, the model employs several empirical factors. For determination of these empirical factors an evaluation time of two to four representative weeks of transformer operation is found to be sufficient. To validate the created model and test its operational reliability, measuring data from several ONAN- and ONAF-transformers are consulted. These data sets comprise the top oil and ambient temperature as well as the loading rate and the status of the cooling system. Furthermore, the corresponding name plate data is integrated. Subsequently to the calculation of the top oil temperature, the maximum constant loading rate resulting in a hot-spot temperature below critical level is determined based upon the remarks of IEC 60076 - 7 [1]. Finally, a characteristic linear function for each investigated transformer displaying the maximum loading rate depending solely on the ambient temperature is derived. In case of the investigated ONAN- and ONAF-transformers within a power range of 31.5 - 63 MVA, significant overload potentials could be disclosed.