05 Fakultät Informatik, Elektrotechnik und Informationstechnik
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/6
Browse
51 results
Search Results
Item Open Access Mining Java packages for developer profiles : an exploratory study(2017) Ramadani, Jasmin; Wagner, StefanItem Open Access A comprehensive safety engineering approach for software-intensive systems based on STPA(2015) Abdulkhaleq, Asim; Wagner, Stefan; Leveson, NancyFormal 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.Item Open Access CorefAnnotator : a new annotation tool for entity references(2018) Reiter, NilsItem Open Access Languages, methods, and tools for software specification(1989) Ludewig, JochenSpecification systems consist of methods, languages, and tools; the languages may be more or less formal. In this paper, the general ideas of semi-formal specification systems are presented, and some examples are shown.Item Open Access Modelling the quality economics of defect-detection techniques(2006) Wagner, StefanThere are various ways to evaluate defect-detection techniques. However, for a comprehensive evaluation the only possibility is to reduce all influencing factors to costs. There are already some models and metrics for the cost of quality that can be used in that context. These models allow the structuring of the costs but do not show all influencing factors and their relationships. This paper proposes an analytical model for the economics of defect-detection techniques that can be used for analysis and optimisation of the usage of such techniques. In particular we analyse the sensitivity of the model and how the model can be applied in practice.Item Open Access Scrum for cyber-physical systems: a process proposal(2014) Wagner, StefanAgile development processes and especially Scrum are chang- ing the state of the practice in software development. Many companies in the classical IT sector have adopted them to successfully tackle various challenges from the rapidly changing environments and increasingly complex software systems. Companies developing software for embedded or cyber-physical systems, however, are still hesitant to adopt such processes. Despite successful applications of Scrum and other agile methods for cyber-physical systems, there is still no complete process that maps their specific challenges to practices in Scrum. We propose to fill this gap by treating all design artefacts in such a development in the same way: In software development, the final design is already the product, in hardware and mechanics it is the starting point of production. We sketch the Scrum extension Scrum CPS by showing how Scrum could be used to develop all design artefacts for a cyber physical system. Hardware and mechanical parts that might not be available yet are simulated. With this approach, we can directly and iteratively build the final software and produce detailed models for the hardware and mechanics production in parallel. We plan to further detail Scrum CPS and apply it first in a series of student projects to gather more experience before testing it in an industrial case study.Item Open Access Dynamic ontology supported user interface for personalized decision support(2012) Bosch, Harald; Thom, Dennis; Heinze, Geoffrey-Alexeij; Wokusch, Stefan; Ertl, ThomasEuropean citizens are increasingly aware of the influence of air quality and weather on their health and quality of life. At the same time, more environmental information is freely available through a plethora of websites, dedicated portals, and web services. In order to exploit these data for personal decisions one has to identify, retrieve, and combine the information that is relevant to one's personal situation, planned activity, and information need. Often, this task is hindered by different data formats, display styles and data resolutions. The PESCaDO system is a web-based decision support system addressing this issue. The inquiry to the system, as well as the system's result, can cover a broad range of environmental aspects and personal situations and is therefore quite complex. In this work we present a novel approach on how the system can actively assist users in all steps of the decision making process, especially by enhancing the user interaction. This approach combines an intelligent dialog steering method based on analyzing the domain ontology with flexible, dynamic data visualizations for a situation depending orchestration of data sources. Both aspects have been evaluated in on-line user studies, as well as with an expert evaluation of the whole system.Item Open Access Maschinelles Lernen für intelligente Automatisierungssysteme mit dezentraler Datenhaltung am Anwendungsfall Predictive Maintenance(2019) Maschler, Benjamin; Jazdi, Nasser; Weyrich, MichaelFür eine hohe Ergebnisqualität sind Machine Learning Algorithmen auf eine breite Datenbasis angewiesen. Studien zeigen jedoch, dass viele Unternehmen nicht bereit sind, ihre Daten mit anderen Unternehmen, beispielsweise in Form einer gemeinsamen Daten-Cloud, zu teilen. Ziel sollte es daher sein, effizientes maschinelles Lernen mit einer dezentralen Datenhaltung, die den Verbleib vertraulicher Daten im jeweiligen Ursprungs-Unternehmen ermöglicht, zu ermöglichen. In diesem Artikel wird diesbezüglich ein neuartiges Konzept vorgestellt und hinsichtlich seiner Potentiale für intelligente Automatisierungssysteme am Beispiel des Anwendungsfalls Predictive Maintenance analysiert. Die Umsetzbarkeit des Konzepts unter Nutzung verschiedener bestehender Ansätze wird diskutiert, bevor schließlich auf potentielle Mehrwerte für Anlagenbetreiber sowie -hersteller unter besonderer Berücksichtigung der Perspektive kleiner und mittlerer Unternehmen eingegangen wird.Item Open Access Software quality models : purposes, usage scenarios and requirements(2009) Deißenböck, Florian; Juergens, Elmar; Lochmann, Klaus; Wagner, StefanSoftware quality models are a well-accepted means to support quality management of software systems. Over the last 30 years, a multitude of quality models have been proposed and applied with varying degrees of success. Despite successes and standardisation efforts, quality models are still being criticised, as their application in practice exhibits various problems. To some extent, this criticism is caused by an unclear definition of what quality models are and which purposes they serve. Beyond this, there is a lack of explicitly stated requirements for quality models with respect to their intended mode of application. To remedy this, this paper describes purposes and usage scenarios of quality models and, based on the literature and experiences from the authors, collects critique of existing models. From this, general requirements for quality models are derived. The requirements can be used to support the evaluation of existing quality models for a given context or to guide further quality model development.Item Open Access CASE - eine kritische Übersicht(1989) Ludewig, JochenCASE ist aus dem Bedürfnis entstanden, den Prozeß der Software-Entwicklung durch Werkzeuge so zu unterstützen, daß die Produktivität gesteigert und die Qualität erhöht wird. Solche Werkzeuge sind auf der Basis moderner Rechner und Betriebssysteme möglich. Für die Interessenten ist es allerdings nicht leicht, die seriösen Produktinformationen von den überzogenen Werbesprüchen zu unterscheiden. Der Beitrag zielt zunächst darauf ab, das Wort CASE mit einem klaren Begriff zu verbinden. Der Zusammenhang zwischen Werkzeugen und Methoden wird ausführlich diskutiert. Weitere Schwerpunkte sind eine Übersicht der Werkzeuge, die unter den Begriff CASE fallen, eine Zusammenstellung der wichtigsten Anforderungen, eine Klassifikation von Werkzeugausstattungen und eine Diskussion ungelöster Probleme heutiger Werkzeuge. Einige Prognosen für die zukünftige Entwicklung des Software Engineerings schließen den Vortrag ab.