05 Fakultät Informatik, Elektrotechnik und Informationstechnik
Permanent URI for this collectionhttps://elib.uni-stuttgart.de/handle/11682/6
Browse
31 results
Search Results
Item 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 Experiences with applying STPA to software-intensive systems in the automotive domain(2013) Abdulkhaleq, Asim; Wagner, StefanHazard analysis is one of the most important elements in developing safe-critical systems. STPA (Systems-Theoretic Process Analysis) is a modern technique based on the new accident causation model STAMP (System-Theoretic Accident Model and Process) for analyzing hazard and safety issues, which can be applied early in the design process of a system to achieve an acceptable risk level. We have applied STPA to a well-known example of safety-critical systems in the automotive industries: Adaptive Cruise Control (ACC). The results of the application of STPA to our case study and the limitations and difficulties of applying STPA are presented.Item Open Access Alte und neue Sprachkonzepte: Einstufung und Bewertung(1990) Ludewig, JochenDie "4th Generation Languages" entsprechen dem Katalog einer Fertighausfabrik. Lösungen können aus vorhandenen Komponenten schnell und billig zusammengesetzt werden - oder sie sind nicht möglich. Die Stärken liegen also in Geschwindigkeit und Kosten von Standardlösungen, die Schwächen in der mangelnden Flexibilität bei speziellen Problemen, insbesondere auch bei der Erweiterung vorhandener Software-Systeme.Item Open Access The use of application scanners in software product quality assessment(2011) Wagner, StefanSoftware development needs continuous quality control for a timely detection and removal of quality problems. This includes frequent quality assessments, which need to be automated as far as possible to be feasible. One way of automation in assessing the security of software are application scanners that test an executing software for vulnerabilities. At present, common quality assessments do not integrate such scanners for giving an overall quality statement. This paper presents an integration of application scanners into a general quality assessment method based on explicit quality models and Bayesian nets. Its applicability and the detection capabilities of common scanners are investigated in a case study with two open-source web shops.Item Open Access Einfluss der Abschlussimpedanz von Hochvoltkabeln auf Funkstörgrößen in elektrisch angetriebenen Kraftfahrzeugen(2012) Reuter, Martin; Waible, Manuel; Tenbohlen, Stefan; Köhler, WolfgangIn diesem Beitrag wird die Frage untersucht, welche Auswirkung die Fehlanpassung von Kfz-Hochvoltkabeln auf EMV-Störgrößen in der Komponentenmessung nach CISPR 25 hat.Item Open Access Trends in picture communication(1993) Speidel, JoachimIn the past years significant progress was made with digital transmission of audiovisual services and most interesting trends are visible for the future. Such applications encompass interactive services, like videoconferencing, ISDN-videophone, storage of moving video and audio in computers or on CD, e.g. for multimedia applications. For distribution services, there is an unbroken trend from TV to HDTV. Strong emphasis is on compressed digital video even for transmission to the home.Item Open Access Process model for the development of system requirements specifications for railway systems(2002) Bitsch, FriedemannIn this paper a process model for the development of system requirements specifications for railway systems is introduced. Demands of the approval of system requirements specifications, which arise from recent European railway standards, are taken into account. The aim is to obtain a system specification, which is unambiguous and easy to understand for all parties involved and in which safety aspects are considered in detail. Correlations between the development of a precise system specification, the performance of safety relevant correctness checks and the performance of risk analysis are presented. Especially the identification, specification and formalisation of safety requirements are treated with regard to correctness checks referred to safety aspects by using model checking. It is also demonstrated how different techniques of risk analysis can be supported by a system model in diagrams of the Unified Modelling Language (UML). This work has been developed in close co-operation with the Institute of Railway Systems Engineering and Traffic Safety (IfEV), Technical University of Braunschweig, Germany within the scope of the project SafeRail (see http://www.ias.uni-stuttgart.de/projekte/saferail/).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.Item Open Access Computer-aided safety analysis of computer-controlled systems : a case example(2000) Biegert, UweComputer controlled systems consist of a complex interaction between technical process, human task and software. For the development of safety critical systems new method are required, which not only consider one of these parts of a computer-controlled system. In this paper a qualitative modeling method is presented. The method is called SQMA, Situationbased Qualitative Modeling and Analysis and it origin goes back to Qualitative Reasoning. First, all parts of a system are modeled separated and then combined to a unique model of a computer-controlled system. With this qualitative model a computer supported hazard analysis can be realised.Item Open 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, JonathanPublished 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.