@article{StecherZiegltrumReiprichetal.2025, author = {Stecher, Dominik and Ziegltrum, Lukas and Reiprich, Paul and Fuchs, Christian and Maier, Andreas and Schmidt, Jochen}, title = {Neural network synthetic dataset generation for fault detection in district heating substations}, series = {Smart Energy}, volume = {20}, journal = {Smart Energy}, publisher = {Elsevier}, doi = {10.1016/j.segy.2025.100206}, pages = {100206}, year = {2025}, abstract = {District heating systems (DHS) play a vital role in sustainable heating solutions and the decarbonization of the energy sector. However, inefficiencies due to undetected faults in substations result in high return temperatures, increasing heat losses, and limiting the integration of renewable energy sources. The lack of publicly available labeled datasets poses a significant challenge for fault detection using supervised learning models. To address this issue, this study explores three machine learning-based synthetic data generation techniques - time series forecasting, generative adversarial networks (GANs), and fault signature transfer. These methods aim to increase publicly available data either by sharing the generating model or a synthetic dataset. The novelty lies in the combination of advanced supervised machine learning methods being applied to a large, fully labeled data set to create new, equally labeled data for publication, as, to our knowledge, no such dataset has been compiled before. We evaluate our methods on the first-of-its-kind ILSE dataset, which includes real-world smart meter data from 547 substations and 1,162 reviewed faults from a German DHS network, including detailed root cause information. Overall, time series forecasting achieves an MAPE of 3\% to 10\% for inlet and outlet temperature and 25\% to 40\% for heat load and flow rate, both of which are within year-to-year variance. For GANs, specifically TimeGAN, we found a discriminative score of about 0.10 compared to 0.24 in the original publication when tested on Energy benchmark data. Fault signature transfer has yet to yield usable results, most likely due to the high variance in the fault signatures, fault duration, and overlapping or multiple root causes. Finally, fault data in the synthetic data is not yet good enough for practical use, e.g. training a fault detector.}, language = {en} } @inproceedings{HambergerMurgulSchmidtetal.2025, author = {Hamberger, Anna and Murgul, Sebastian and Schmidt, Jochen and Heizmann, Michael}, title = {Fretting-Transformer: Encoder-Decoder Model for MIDI to Tablature Transcription}, series = {Proceedings of the 50th International Computer Music Conference 2025}, booktitle = {Proceedings of the 50th International Computer Music Conference 2025}, publisher = {The International Computer Music Association}, pages = {438 -- 445}, year = {2025}, abstract = {Music transcription plays a pivotal role in Music Information Retrieval (MIR), particularly for stringed instruments like the guitar, where symbolic music notations such as MIDI lack crucial playability information. This contribution introduces the Fretting-Transformer, an encoderdecoder model that utilizes a T5 transformer architecture to automate the transcription of MIDI sequences into guitar tablature. By framing the task as a symbolic translation problem, the model addresses key challenges, including string-fret ambiguity and physical playability. The proposed system leverages diverse datasets, including DadaGP, GuitarToday, and Leduc, with novel data pre-processing and tokenization strategies. We have developed metrics for tablature accuracy and playability to quantitatively evaluate the performance. The experimental results demonstrate that the Fretting-Transformer surpasses baseline methods like A* and commercial applications like Guitar Pro. The integration of context-sensitive processing and tuning/capo conditioning further enhances the model's performance, laying a robust foundation for future developments in automated guitar transcription.}, language = {en} } @article{StecherNeumayerRamachandranetal.2024, author = {Stecher, Dominik and Neumayer, Martin and Ramachandran, Adithya and Hort, Anastasia and Maier, Andreas and B{\"u}cker, Dominikus and Schmidt, Jochen}, title = {Creating a labelled district heating data set: From anomaly detection towards fault detection}, series = {Energy}, volume = {313}, journal = {Energy}, publisher = {Elsevier}, doi = {10.1016/j.energy.2024.134016}, pages = {134016}, year = {2024}, abstract = {For an efficient operation of district heating systems, being able to detect anomalies and faults at an early stage is highly desirable. Here, data-driven machine learning methods can be a cornerstone, particularly for fault detection in district heating substations, where the availability of heat meter data keeps increasing. However, the creation of data sets suitable for training such machine learning models poses challenges to researchers and practitioners alike. To address this problem, we propose a systematic and domain-specific process for data set creation for fault detection in the form of practical guidelines. This process concretizes the data science and data mining cross-industry standard CRISP-DM for the district heating domain and focuses on the process steps of goal definition, data acquisition and understanding, and data curation. We aim to enable researchers and practitioners to create data sets for fault detection in the district heating domain and therefore also enable the creation or improvement of machine learning models in this domain. In addition, we propose a minimum viable feature set for fault detection in district heating networks with the goal of enabling better cooperation between researchers and easier transfer of the resulting machine learning models, to better proliferate new progress in the field.}, language = {en} } @phdthesis{Wenninger2024, author = {Wenninger, Marc}, title = {Demand Response Management Using Machine Learning Methods}, doi = {10.25593/open-fau-448}, school = {Technische Hochschule Rosenheim}, year = {2024}, abstract = {The worldwide transformation of electricity production from fossil and nuclear energy sources to renewable energy sources is accompanied by many challenges. One of those challenges is finding an equilibrium of supply and demand - an important balance for the stability of electric grids. Production and consumption are kept in balance by adapting electricity production to consumption. Most renewable energy sources do not produce energy when demanded, but when natural conditions are suitable. As energy cannot yet be stored efficiently, over-production is as much of a problem as underproduction. Demand Response (DR) is the means for end-users to contribute to the balancing challenge. Providing the end-users with an incentive such as time-based pricing that changes according to the supply will encourage users to contribute to the equilibrium. Users' contribution usually has implications for their daily habits and can be associated with discomfort, thus it requires a high level of involvement. Lowering the required involvement is therefore seen as an important step toward an acceptance of time-based pricing. Since the 1980s, machine learning has been seen as a solution to lower the barrier for private households to participate. The idea is to provide households with information about their electricity consumption, make recommendations on behavior changes or take automated actions. Such information can be retrieved from monitoring a household's electricity consumption. This thesis contributes to the process of extracting information and knowledge from monitored electricity consumption in private households using machine learning. An overview of data sources and general approaches is provided. Based on this research, the Machine Learning Demand Response Model (MLDR) is introduced, defining the relation between data, knowledge, and actions. This model enhances the understanding of the individual steps required to transform monitored electricity consumption data into individual recommendations or automated actions. These steps are: data monitoring, appliance identification, appliance usage segmentation, and appliance usage prediction. For each of these steps, this thesis provides an overview of the current research state and introduces new approaches. A new monitoring system for both individual appliances and household mains is introduced. The system was used to collect a scientific dataset called Domestic Energy Demand Dataset of Individual Appliances in Germany (DEDDIAG). It contains measurements of 50 individual appliances located in 15 homes, recorded with a sample rate of 1 Hz over a period of up to 3.5 years. The dataset has been enriched with manual appliance usage annotations as well as demographic data describing the household. The system, as well as the dataset, has been published under an open-source license. Based on this dataset, an appliance category identification algorithm is introduced. The algorithm extracts features using a wavelet transformation and classifies data using the k-Nearest-Neighbor (kNN) classifier. It was evaluated and published as a challenge baseline for DEDDIAG. Next to this approach that relies on low sample rates, a high sample rate algorithm is introduced. The algorithm is based on transforming one voltage-current cycle, known as the voltage-current (V-I) trajectory, into two separate Recurrence Plots (RPs) which are then classified using a Convolutional Neural Network (CNN) in combination with Spacial Pyramid Pooling (SPP). The al-gorithm is evaluated on three different datasets and compared to previously proposed algorithms. Finding the start and stop of an appliance is the basis for deriving usage patterns. This appliance event segmentation has received little attention from other researchers, and the most commonly used algorithm, a lower-bound thresholding approach, has never been evaluated. Using the manual annotations created for DEDDIAG, this approach is evaluated using a newly introduced performance metrics called Jaccard-Time-Span-Event-Score (JTES). Together with this, a new segmentation algorithm using Support Vector Machine (SVM) is presented. Finally, based on the usage events that were determined, a combined statistical model for appliance usage prediction is introduced. It predicts future appliance usage based on the preferred time of day and the elapsed time since it was used last. It is evaluated on the GREEND dataset as well as the DEDDIAG. The thesis concludes with an outlook of potential future work.}, language = {en} } @book{Schmidt2023, author = {Schmidt, Jochen}, title = {Grundkurs Informatik - Das {\"U}bungsbuch: 163 Aufgaben mit L{\"o}sungen}, edition = {3}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3658434427}, doi = {10.1007/978-3-658-43443-4}, publisher = {Technische Hochschule Rosenheim}, pages = {216}, year = {2023}, abstract = {Das Buch richtet sich an Studierende der Informatik oder verwandter Studieng{\"a}nge und enth{\"a}lt {\"U}bungsaufgaben mit L{\"o}sungen aus Gebieten, die typischerweise in den ersten Semestern als Grundlagen behandelt werden. Ausgenommen ist der Bereich des Programmierens. Das Buch erg{\"a}nzt den Grundkurs Informatik mit {\"U}bungen zu ausgew{\"a}hlten Kapiteln, ist aber auch in Kombination mit anderen Lehrb{\"u}chern verwendbar.}, language = {de} } @book{ErnstSchmidtBeneken2023, author = {Ernst, Hartmut and Schmidt, Jochen and Beneken, Gerd}, title = {Grundkurs Informatik: Grundlagen und Konzepte f{\"u}r die erfolgreiche IT-Praxis - Eine umfassende, praxisorientierte Einf{\"u}hrung}, edition = {8}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {9783658417789}, doi = {10.1007/978-3-658-41779-6}, publisher = {Technische Hochschule Rosenheim}, pages = {915}, year = {2023}, abstract = {Das Buch bietet eine umfassende und praxisorientierte Einf{\"u}hrung in die wesentlichen Grundlagen und Konzepte der Informatik. Es umfasst den Stoff, der typischerweise in den ersten Semestern eines Informatikstudiums vermittelt wird, vertieft Zusammenh{\"a}nge, die dar{\"u}ber hinausgehen und macht sie verst{\"a}ndlich. Die Themenauswahl orientiert sich an der langfristigen Relevanz f{\"u}r die praktische Anwendung. Praxisnah und aktuell werden die Inhalte f{\"u}r Studierende der Informatik und verwandter Studieng{\"a}nge sowie f{\"u}r im Beruf stehende Praktiker vermittelt.}, language = {de} } @article{NeumayerStecherGrimmetal.2023, author = {Neumayer, Martin and Stecher, Dominik and Grimm, Sebastian and Maier, Andreas and B{\"u}cker, Dominikus and Schmidt, Jochen}, title = {Fault and anomaly detection in district heating substations: A survey on methodology and data sets}, series = {Energy}, volume = {276}, journal = {Energy}, doi = {10.1016/j.energy.2023.127569}, pages = {127569}, year = {2023}, abstract = {District heating systems are essential building blocks for affordable, low-carbon heat supply. Early detection and elimination of faults is crucial for the efficiency of these systems and necessary to achieve the low temperatures targeted for 4th generation district heating systems. Especially methods for fault and anomaly detection in district heating substations are currently of high interest, as faults in substations can be repaired quickly and inexpensively, and smart meter data are becoming widely available. In this paper, we review recent scientific publications presenting data-driven approaches for fault and anomaly detection in district heating substations with a focus on methods and data sets. Our review indicates that researchers use a wide variety of methods, mostly focusing on unsupervised anomaly detection rather than fault detection. This is due to a lack of labeled data sets, preventing the use of supervised learning methods and quantitative analysis. Together with the lack of publicly available data sets, this impedes the accurate comparison of individual methods. To overcome this impediment, increase the comparability of different methods and foster competition, future research should focus on establishing publicly available data sets, and industry-relevant metrics as benchmarks.}, language = {en} } @inproceedings{FraunholzSchoerghoferVrinssenKoenigetal.2021, author = {Fraunholz, Daniel and Sch{\"o}rghofer-Vrinssen, Richard and K{\"o}nig, Hartmut and M{\"u}hlbauer, Wolfgang and Zahoransky, Richard}, title = {Mobility-Enabling Edge Cloud Infrastructure: Testbed and Experimental Evaluation}, series = {2021 IEEE Cloud Summit}, booktitle = {2021 IEEE Cloud Summit}, pages = {19 -- 24}, year = {2021}, abstract = {Mobility management is a key feature of mobile edge computing. We present an edge cloud infrastructure testbed to explore various mobility scenarios. The design objection of this testbed has been a flexible open platform based on commodity hardware that can easily be scaled with more edge devices and compute resources to perform various edge cloud experiments. As first experiments on our testbed, we have investigated the feasibility of task migration among edge devices caused by edge device overload and unpredictable user movements. We describe the migration process and present some measurements to demonstrate the feasibility.}, language = {en} } @inproceedings{WenningerBayerlMaieretal.2021, author = {Wenninger, Marc and Bayerl, Sebastian P. and Maier, Andreas and Schmidt, Jochen}, title = {Recurrence Plot Spacial Pyramid Pooling Network for Appliance Identification in Non-Intrusive Load Monitoring}, series = {2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA)}, booktitle = {2021 20th IEEE International Conference on Machine Learning and Applications (ICMLA)}, pages = {108 -- 115}, year = {2021}, abstract = {Parameter free Non-intrusive Load Monitoring (NILM) algorithms are a major step toward real-world NILM scenarios. The identification of appliances is the key element in NILM. The task consists of identification of the appliance category and its current state. In this paper, we present a param- eter free appliance identification algorithm for NILM using a 2D representation of time series known as unthresholded Recurrence Plots (RP) for appliance category identification. One cycle of voltage and current (V-I trajectory) are transformed into a RP and classified using a Spacial Pyramid Pooling Convolutional Neural Network architecture. The performance of our approach is evaluated on the three public datasets COOLL, PLAID and WHITEDv1.1 and compared to previous publications. We show that compared to other approaches using our architecture no initial parameters have to be manually tuned for each specific dataset.}, language = {en} } @inproceedings{BayerlWenningerSchmidtetal.2021, author = {Bayerl, Sebastian P. and Wenninger, Marc and Schmidt, Jochen and Wolff von Gudenberg, Alexander and Riedhammer, Korbinian}, title = {STAN: A stuttering therapy analysis helper}, series = {2021 IEEE Spoken Language Technology Workshop (SLT)}, booktitle = {2021 IEEE Spoken Language Technology Workshop (SLT)}, pages = {2}, year = {2021}, abstract = {Stuttering is a complex speech disorder identified by repetitions, prolongations of sounds, syllables or words and blockswhile speaking. Specific stuttering behaviour differs strongly,thus needing personalized therapy. Therapy sessions requirea high level of concentration by the therapist. We introduce STAN, a system to aid speech therapists in stuttering therapysessions. Such an automated feedback system can lower the cognitive load on the therapist and thereby enable a more consistent therapy as well as allowing analysis of stuttering over the span of multiple therapy sessions.}, language = {en} } @article{WenningerMaierSchmidt2021, author = {Wenninger, Marc and Maier, Andreas and Schmidt, Jochen}, title = {DEDDIAG, a domestic electricity demand dataset of individual appliances in Germany}, series = {Scientific Data}, volume = {8}, journal = {Scientific Data}, number = {176}, pages = {15}, year = {2021}, abstract = {Real-world domestic electricity demand datasets are the key enabler for developing and evaluating machine learning algorithms that facilitate the analysis of demand attribution and usage behavior. Breaking down the electricity demand of domestic households is seen as the key technology for intelligent smart-grid management systems that seek an equilibrium of electricity supply and demand. For the purpose of comparable research, we publish DEDDIAG, a domestic electricity demand dataset of individual appliances in Germany. The dataset contains recordings of 15 homes over a period of up to 3.5 years, wherein total 50 appliances have been recorded at a frequency of 1 Hz. Recorded appliances are of significance for load-shifting purposes such as dishwashers, washing machines and refrigerators. One home also includes three-phase mains readings that can be used for disaggregation tasks. Additionally, DEDDIAG contains manual ground truth event annotations for 14 appliances, that provide precise start and stop timestamps. Such annotations have not been published for any long-term electricity dataset we are aware of.}, language = {en} } @inproceedings{ZahoranskyMuehlbauerKoenig2020, author = {Zahoransky, Richard and M{\"u}hlbauer, Wolfgang and K{\"o}nig, Hartmut}, title = {Towards Mobility Support in Edge Clouds}, series = {2020 IEEE Cloud Summit}, booktitle = {2020 IEEE Cloud Summit}, editor = {IEEE,}, publisher = {IEEE Xplore}, pages = {1 -- 6}, year = {2020}, abstract = {Mobile-access edge clouds provide distributed com-pute capacities for low-latency applications. 5G technology willpave the way for such mobile deployment scenarios. In thispaper, we propose an edge cloud infrastructure that supportslow-latency video analysis connected with bandwidth reductionfor a moving group of persons. As example, we consider a mobilebody camera scenario that monitors the situation in a certain areaand transmits it to an operations center. Our discussion focuseson three aspects: mobility support, low-latency video processing,and bandwidth reduction. For this, we propose a mobile edgecloud infrastructure with a central cloud. In order to optimizevideo processing we optimize the edge cloud device assignmentof the cameras depending on their movement by reassigning itto another cloud device. This requires live migration of ongoingvideo analysis between edge devices. Finally we discuss the useof a mobile central cloud.}, language = {en} } @article{Frank2017, author = {Frank, Ludwig}, title = {The Binomial and Negative Binomial Distribution in Discrete Time Markov Chains}, series = {Markov Processes And Related Fields}, volume = {23}, journal = {Markov Processes And Related Fields}, number = {3}, pages = {377 -- 400}, year = {2017}, abstract = {The classical results of the binomial and negative binomial probability distribution are generalized by means of homogeneous Discrete Time Markov Chains to series of stochastically independent random trials. These have not only two possible outcomes but two groups of them -- different kinds of successes and failures with occurrence probabilities depending on the outcome of the previous trial. This generalization allows a uniform view of occupation time, first passage time and recurrence time. Our results are consequently derived and presented in matrix form, the probabilities as well as the moments. They can be applied to all Discrete Time Markov Chains, especially in computer capacity planning, performability and economics.}, language = {en} } @book{Schmidt2020, author = {Schmidt, Jochen}, title = {Grundkurs Informatik - Das {\"U}bungsbuch: 148 Aufgaben mit L{\"o}sungen}, edition = {2}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3-658-30332-7}, publisher = {Technische Hochschule Rosenheim}, pages = {187}, year = {2020}, language = {de} } @book{ErnstSchmidtBeneken2020, author = {Ernst, Hartmut and Schmidt, Jochen and Beneken, Gerd}, title = {Grundkurs Informatik: Grundlagen und Konzepte f{\"u}r die erfolgreiche IT-Praxis - Eine umfassende, praxisorientierte Einf{\"u}hrung}, edition = {7}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3-658-30330-3}, publisher = {Technische Hochschule Rosenheim}, pages = {863}, year = {2020}, abstract = {Zahlensysteme und bin{\"a}re Arithmetik - Nachricht und Information - Codierung und Datenkompression - Verschl{\"u}sselung - Schaltalgebra, Schaltnetze und Elemente der Computerhardware - Rechnerarchitekturen - Rechnernetze - Betriebssysteme - prozedurale und objektorientierte Programmierung (C und Java) - Automatentheorie und formale Sprachen - Berechenbarkeit und Komplexit{\"a}t - Suchen und Sortieren - B{\"a}ume und Graphen - Software-Engineering - Datenbanken - Anwendungsprogrammierung im Internet (HTML, CSS, JavaScript und PHP) - Deep Learning mit neuronalen Netzen}, language = {de} } @article{WenningerStecherSchmidt2019, author = {Wenninger, Marc and Stecher, Dominik and Schmidt, Jochen}, title = {SVM-Based Segmentation of Home Appliance Energy Measurements}, series = {Proceedings 8th IEEE International Conference on Machine Learning and Applications -ICMLA 2019}, journal = {Proceedings 8th IEEE International Conference on Machine Learning and Applications -ICMLA 2019}, pages = {1666 -- 1670}, year = {2019}, abstract = {Generating a more detailed understanding of domestic electricity demand is a major topic for energy suppliers and householders in times of climate change. Over the years there have been many studies on consumption feedback systems to inform householders, disaggregation algorithms for Non-Intrusive-Load-Monitoring (NILM), Real-Time-Pricing (RTP) to promote supply aware behavior through monetary incentives and appliance usage prediction algorithms. While these studies are vital steps towards energy awareness, one of the most fundamental challenges has not yet been tackled: Automated detection of start and stop of usage cycles of household appliances. We argue that most research efforts in this area will benefit from a reliable segmentation method to provide accurate usage information. We propose a SVM-based segmentation method for home appliances such as dishwashers and washing machines. The method is evaluated using manually annotated electricity measurements of five different appliances recorded over two years in multiple households.}, language = {en} } @article{WenningerBayerlSchmidtetal.2019, author = {Wenninger, Marc and Bayerl, Sebastian P. and Schmidt, Jochen and Riedhammer, Korbinian}, title = {Timage - A Robust Time Series Classification Pipeline}, series = {Artificial Neural Networks and Machine Learning - ICANN 2019: Text and Time Series. ICANN 2019. Lecture Notes in Computer Science}, volume = {11730}, journal = {Artificial Neural Networks and Machine Learning - ICANN 2019: Text and Time Series. ICANN 2019. Lecture Notes in Computer Science}, publisher = {Springer}, address = {Cham}, year = {2019}, abstract = {Time series are series of values ordered by time. This kind of data can be found in many real world settings. Classifying time series is a difficult task and an active area of research. This paper investigates the use of transfer learning in Deep Neural Networks and a 2D representation of time series known as Recurrence Plots. In order to utilize the research done in the area of image classification, where Deep Neural Networks have achieved very good results, we use a Residual Neural Networks architecture known as ResNet. As preprocessing of time series is a major part of every time series classification pipeline, the method proposed simplifies this step and requires only few parameters. For the first time we propose a method for multi time series classification: Training a single network to classify all datasets in the archive with one network. We are among the first to evaluate the method on the latest 2018 release of the UCR archive, a well established time series classification benchmarking dataset.}, language = {en} } @book{Schmidt2019, author = {Schmidt, Jochen}, title = {Grundkurs Informatik - Das {\"U}bungsbuch: 148 Aufgaben mit L{\"o}sungen}, edition = {1}, publisher = {Springer Vieweg}, address = {Wiesbaden}, isbn = {978-3658259440}, publisher = {Technische Hochschule Rosenheim}, pages = {196}, year = {2019}, language = {de} } @misc{Hoefig2016, author = {H{\"o}fig, Kai}, title = {Analyzing the availability of a system}, year = {2016}, abstract = {An apparatus and method for analyzing availability of a system including subsystems each having at least one failure mode with a corresponding failure effect on the system are provided. The apparatus includes a degraded mode tree generation unit configured to automatically generate a degraded mode tree. The degraded mode tree includes at least one degraded mode element representing a degraded system state of the system that deviates from a normal operation state of the system based on a predetermined generic system meta model stored in a database including Failure Mode and Effects Analysis elements representing subsystems, failure modes, failure effects, and diagnostic measures. The apparatus also includes a processor configured to evaluate the generated degraded mode tree for calculation of the availability of the system.}, language = {en} } @misc{HoefigZeller2016, author = {H{\"o}fig, Kai and Zeller, Marc}, title = {Automated Qualification of a Safety Critical System}, year = {2016}, abstract = {A method for automated qualification of a safety critical system including a plurality of components is provided. A functional safety behavior of each component is represented by an associated component fault tree element. The method includes automatically performing a failure port mapping of output failure modes to input failure modes of component fault tree elements based on a predetermined generic fault type data model stored in a database.}, language = {en} } @misc{Hoefig2016, author = {H{\"o}fig, Kai}, title = {Automated Recertification of a Safety Critical System}, year = {2016}, abstract = {A method for automated recertification of a safety critical system with at least one altered functionality is provided. The method includes providing a failure propagation model of the safety critical system. The method also includes updating the failure propagation model of the safety critical system according to the at least one altered functionality using inner port dependency traces between inports and outports of a failure propagation model element representing the at least one altered functionality. The method includes calculating top events of the updated failure propagation model, and comparing the calculated top events with predetermined system requirements to recertify the safety critical system.}, language = {en} } @misc{GuoHoefig2015, author = {Guo, Zhensheng and H{\"o}fig, Kai}, title = {Integrated Model-Based Safety Analysis}, year = {2015}, abstract = {A method for integrated model-based safety analysis includes integrating a safety analysis model into a system development model of a safety-critical system. The system development model includes model components. The safety analysis model models a failure logic separately for each of the model components. The method includes representing dependencies among the model components with a design structure matrix. The design structure matrix represents each of the model components with a row and a column and shows dependencies between model components with corresponding entries. The method also includes sequencing the design structure matrix, and identifying at least one dependency loop and loop components in the sequenced design structure matrix. The loop components are part of the at least one dependency loop.}, language = {en} } @techreport{Jarz2012, type = {Working Paper}, author = {Jarz, Ewald}, title = {Skriptum Gesch{\"a}ftsprozesse}, pages = {72}, year = {2012}, abstract = {In diesem Skriptum sind die wesentlichen Methoden zur Modellierung, Gestaltung, Planung, Steuerung und Automatisierung von Gesch{\"a}ftsprozessen zusammengefasst und erl{\"a}utert.}, language = {de} } @inproceedings{JarzMayr2008, author = {Jarz, Ewald and Mayr, Ingemar}, title = {Automated Documentation as Support at the Implementation of ITIL Processes}, series = {Information and Communication Technologies for Sustainable Development - Workshop Proceedings: Sozopol, Bulgaria, 2007}, booktitle = {Information and Communication Technologies for Sustainable Development - Workshop Proceedings: Sozopol, Bulgaria, 2007}, editor = {Scientific-technical Union of Mechanical Engineering,}, publisher = {TUS}, address = {Sofia}, pages = {308 -- 309}, year = {2008}, abstract = {The present paper examines which benefit an automated documentation of the IT infrastructure can have for the configuration management process of ITIL, and whether it is possible to fully automate documentation. The result is the conclusion that the documentation process can be fully automated. It follows from this analysis that the automated documentation can "only" supply information for the ITIL configuration management, respectively for the CMDB.}, language = {en} } @inproceedings{Jarz2007, author = {Jarz, Ewald}, title = {Best Practice in Business Process Orientation and ERP Systems in Austria}, series = {Information and Communication Technologies for Sustainable Development - Workshop Proceedings: Sozopol, Bulgaria, 2007}, booktitle = {Information and Communication Technologies for Sustainable Development - Workshop Proceedings: Sozopol, Bulgaria, 2007}, editor = {ASO,}, publisher = {TUS}, address = {Sofia}, pages = {7 -- 9}, year = {2007}, abstract = {In this paper a general overview of economic data of Austria is given and best practices in the field of business process orientation and ERP system integration are illustrated.}, language = {en} } @inproceedings{Jarz2004, author = {Jarz, Ewald}, title = {Multimedia Contents and their Ability of Representation}, series = {Multimedia Applications in Education Conference (MApEC) Proceedings}, booktitle = {Multimedia Applications in Education Conference (MApEC) Proceedings}, editor = {Joanneum Research,}, publisher = {FH JOANNEUM}, address = {Graz}, pages = {17}, year = {2004}, abstract = {The strong technical orientation of the previous multimedia evolution shows a lack of theoretical foundation. Both during the evolution and application of multimedia technology, well-founded theoretical concepts are missing. The intention of this paper is to show categories of different information representations and interaction types and their strengths in representing contents. A classification of multimedia information and interaction types is given also as an overview of the problem fields of multimedia, especially in the field of learning theory. This classification is used to give some guidelines for using and combining multimedia contents in multimedia systems.}, language = {en} } @article{Jarz1998, author = {Jarz, Ewald}, title = {Theoretical Aspects of Multimedia}, series = {Desidoc Bulletin of Information Technology}, volume = {1998}, journal = {Desidoc Bulletin of Information Technology}, number = {18/6}, publisher = {Defence Scientific Information \& Documentation Centre}, address = {Dehli}, pages = {18}, year = {1998}, abstract = {This paper is an interdisciplinary synopsis about multimedia learning systems and mass information systems, and presents an action model for construction of these systems and the embedding of this model in an existing concept of system planning. First step in the paper is the containment and definition of the term 'multimedia' on the basis of general criterions of the human-machine-human communication. Result is a taxonomy to classify scientific research areas in this field. The second part follows an examination of different concepts of learning theories by means of a five dimensional raster. Output of this examination are two models fitting for computer based learning in general. The third part discusses information presentation and interaction possibilities at the human - machine - interface. Therefore a consistent raster is acquired, where psychological perception parameters and technical parameters of information presentations and interaction possibilities are examined. This results in the so-called storyboarding, which is the description of a process adapted from theater, film and TV for developing a multimedia script. The combination of learntheoretical concepts with the process of storyboarding of multimedia applications and the embedding in a system planning action model is described in the fourth part. The result of this last part shows a phase concept for system planning of multimedia learning systems and mass information systems.}, language = {en} } @book{Jarz1997, author = {Jarz, Ewald}, title = {Entwicklung multimedialer Systeme}, publisher = {Gabler}, address = {Wiesbaden}, isbn = {3-8244-6523-X}, publisher = {Technische Hochschule Rosenheim}, pages = {361}, year = {1997}, abstract = {Die Arbeit ist eine Anleitung zur Planung und Erstellung von IT-Systemen, die auch Filme, Sprache, Musik, Animationen und virtuelle Welten - also die gesamte Palette multimedialer Darstellungen - beinhalten. Solche Programme werden haupts{\"a}chlich in drei Bereichen eingesetzt: Im Spielebereich (z.B. Autorennen, Erlebnisspiele), im Aus- und Weiterbildungsbereich (z.B. multimediale Lernprogramme) und im Bereich von elektronisch unterst{\"u}tzten Informationssystemen (z.B. Pr{\"a}sentationen, Produktvorstellungen und Produktkataloge u.a. auch auf CD-ROM oder Kiosksysteme wie etwa Informationsterminals auf Messen u.{\"a}.). Die Arbeit besch{\"a}ftigt sich vorwiegend mit Lernsystemen. Das Schwierige an der Verwendung multimedialer Darstellungen wie Film, Musik usw. ist, dass in die "trockene" Programmierung Aspekte wie Regie, Dramaturgie, psychologische und didaktische Aspekte einfließen. Daher ist die interdisziplin{\"a}re Sichtweise bei der Entwicklung multimedialer Systeme besonders wichtig. Die Arbeit betrachtet die Problematik also nicht techniklastig (obwohl nat{\"u}rlich die technischen Aspekte nicht außer Acht gelassen werden), sondern nutzerorientiert. Die Arbeit ist f{\"u}r drei Bereiche bedeutend: erstens f{\"u}r den Bereich der Wissenschaft(stheorie), zweitens f{\"u}r den Aus- und Weiterbildungssektor und drittens f{\"u}r die Entwickler von multimedialen Systemen. Aus der Sicht der Wissenschaft liefert die Arbeit eine klare Einteilung f{\"u}r multimediale Arbeitsbereiche. M{\"o}gliche k{\"u}nftige Forschungsbereiche werden aufgezeigt und begriffliche Unklarheiten offengelegt und ausger{\"a}umt. Weiters wird die interdisziplin{\"a}re Bandbreite der Thematik geschildert und damit eine umfassende Darstellung der Problematik vorgenommen. In diesem Sinn kann die Arbeit fast als Lexikon gesehen werden. Aus der Sicht des Aus- und Weiterbildungssektors dient diese Arbeit als Zusammenfassung bestehender Lernkonzepte, in der ein eigenst{\"a}ndiger, einfacher Raster in Hinblick auf multimediale Systeme entwickelt wird. Dabei werden Erfahrungen aus mehreren multimedialen Programmen eingearbeitet, die vom Autor am Institut f{\"u}r Wirtschaftsinformatik (mit)entwickelt und evaluiert worden sind. Eine Erkenntnis ist, dass der Wissensstand des Benutzers auf dem Lerngebiet eine entscheidende Rolle spielt. Lernsysteme f{\"u}r Anf{\"a}nger m{\"u}ssen anders gestaltet werden als f{\"u}r Fortgeschrittene. Das wie wird in der Arbeit beschrieben. Aus der Sicht der Entwickler von multimedialen Systemen ist die Arbeit von Bedeutung, da sie die Unterschiede bei der Entwicklung im Vergleich zu traditionellen Programmen herausarbeitet und daf{\"u}r eine Vorgangsweise anbietet. Die Vorgangsweise ist eine Art multimediales Drehbuch, das als Storyboard bezeichnet wird. In der Arbeit wird beschrieben wie die einzelnen dramaturgischen, didaktischen und psychologischen Aspekte in das Storyboard eingearbeitet werden und letztlich das System in einem entsprechenden Umfeld eingesetzt werden kann.}, language = {de} } @article{Jarz1997, author = {Jarz, Ewald}, title = {Multimedia-based Case Studies in Education: Design, Development, and Evaluation of Multimedia-Based Case Studies}, series = {Journal of Educational Multimedia and Hypermedia (JEMH) der AACE}, volume = {1997}, journal = {Journal of Educational Multimedia and Hypermedia (JEMH) der AACE}, number = {1}, pages = {23}, year = {1997}, abstract = {The use of multimedia can significantly improve the quality of case studies, especially with regard to their presentation of reality. The development of multimedia case studies poses a challenge of both a creative and a technical nature. This paper describes the various stages of the development of the case study itself as well as an action model which supports the application of didactical aims in a multimedia case study. This paper then describes experiences with a multimedia case study used at the Department of Information Systems for training students in data processing for business purposes. The report includes a description of how the case study was integrated as a didactic element in a university course, with special emphasis being given to theoretical aspects of presentation and learning. Additionally, a description of the case study and its development rounds off the article. The experiences were gained within the framework of an explorational, empirical study whose results are presented at the end of this paper and form the basis of suggestions for how the case study could be developed further.}, language = {en} } @inproceedings{JarzKainzWalpoth1996, author = {Jarz, Ewald and Kainz, Gerhard and Walpoth, Gerhard}, title = {Multimedia-based Case Studies in Education}, series = {Proceedings of ED-MEDIA 96 - World Conference on Educational Multimedia and Hypermedia: Boston, AACE}, booktitle = {Proceedings of ED-MEDIA 96 - World Conference on Educational Multimedia and Hypermedia: Boston, AACE}, pages = {6}, year = {1996}, abstract = {This contribution describes experiences with a multimedia case study used at the Department of Information Systems for training students in data processing for business purposes. The report includes a description of how the case study was integrated as a didactic element in a university course, with special emphasis being given to theoretical aspects of presentation and learning. Additionally, a description of the case study and its development rounds off the article. The experiences were gained within the framework of an explorational, empirical study whose results are presented at the end of this paper and form the basis of suggestions for how the case study could be developed further.}, language = {en} } @inproceedings{JarzKainzWalpoth1995, author = {Jarz, Ewald and Kainz, Gerhard and Walpoth, Gerhard}, title = {The Design and Development of Multimedia-based Case Studies}, series = {Educational Multimedia and Hypermedia; Proceedings of ED-MEDIA 95 - World Conference on Educational Multimedia and Hypermedia: Graz, AACE 1995}, booktitle = {Educational Multimedia and Hypermedia; Proceedings of ED-MEDIA 95 - World Conference on Educational Multimedia and Hypermedia: Graz, AACE 1995}, editor = {Hermann, Maurer}, publisher = {AACE 1995}, address = {Graz}, pages = {6}, year = {1995}, abstract = {The use of multimedia can significantly improve the quality of case studies, especially with regard to their presentation of reality. The development of multimedia case studies poses a challenge of both a creative and a technical nature. This paper describes the various stages of the development of the case study itself as well as an action model which supports the application of didactical aims in a multimedia case study.}, language = {en} } @inproceedings{Jarz2014, author = {Jarz, Ewald}, title = {Review of the Austrian and German E-Governance Concept}, series = {VI-th International Scientific Conference "E-GOVERNANCE" jointly with the "Science Days - 2014" of TU-Sofia, 2014}, booktitle = {VI-th International Scientific Conference "E-GOVERNANCE" jointly with the "Science Days - 2014" of TU-Sofia, 2014}, editor = {TUS,}, pages = {16}, year = {2014}, language = {en} } @phdthesis{Jarz1996, author = {Jarz, Ewald}, title = {Theorien und Modelle zur Systemplanung multimedialer Lern- und Masseninformationssysteme}, school = {Technische Hochschule Rosenheim}, year = {1996}, abstract = {Ergebnis der Arbeit ist eine interdisziplin{\"a}re Zusammenschau zum Erkenntnisobjekt "multimediale Lern- und Masseninformationssysteme" und darauf aufbauend die Vorstellung eines Vorgehensmodell zur Konstruktion dieser Systeme und die Einbettung dieses Modells in ein bestehendes Systemplanungskonzept. Dazu wird in der Arbeit zun{\"a}chst der Begriff Multimedia anhand von allgemeinen Kriterien der Mensch-Maschine-Mensch - Kommunikation eingegrenzt und definiert. Ergebnis ist eine Systematik zur Einordnung von wissenschaftlichen Forschungsgebieten in diesem Bereich. Im zweiten Schritt erfolgt eine Untersuchung lerntheoretischer Konzepte anhand eines f{\"u}nfdimensionalen Rasters. Ergebnis sind zwei Modelle, die sich zur elektronisch unterst{\"u}tzten Wissensvermittlung im allgemeinen eignen. Im dritten Schritt erfolgt eine Auseinandersetzung mit Informationsdarstellungen und Interaktionsm{\"o}glichkeiten an der Mensch-Maschine-Schnittstelle. Dazu wird ein konsistentes Raster erarbeitet, anhand dessen wahrnehmungspsychologische und technische Parameter von Informationsdarstellungen und Interaktionsm{\"o}glichkeiten untersucht werden. Ergebnis ist die Beschreibung von einem aus der Theater-, Film- und Fernsehbranche adaptierten Prozeß zur Erstellung eines multimedialen Drehbuchs, dem Storyboard. Der vierte Schritt beschreibt die Kombination der lerntheoretischen Konzepte mit dem Prozeß des Storyboardings multimedialer Anwendungen und die Einbettung in ein systemplanerisches Vorgehen dazu. Ergebnis ist ein Phasenkonzept zur Systemplanung multimedialer Lern- und Masseninformationssysteme.}, language = {de} } @inproceedings{ZellerHoefigSchwinn2017, author = {Zeller, Marc and H{\"o}fig, Kai and Schwinn, Jean-Pascal}, title = {ArChes—Automatic generation of component fault trees from continuous function charts}, series = {2017 IEEE 15th International Conference on Industrial Informatics (INDIN), July 2017, Emden, Germany.}, booktitle = {2017 IEEE 15th International Conference on Industrial Informatics (INDIN), July 2017, Emden, Germany.}, year = {2017}, abstract = {The growing size and complexity of software in embedded systems poses new challenges to the safety assessment of embedded control systems. In industrial practice, the control software is mostly treated as a black box during the system's safety analysis. The appropriate representation of the failure propagation of the software is a pressing need in order to increase the accuracy of safety analyses. However, it also increase the effort for creating and maintaining the safety analysis models (such as fault trees) significantly. In this work, we present a method to automatically generate Component Fault Trees from Continuous Function Charts. This method aims at generating the failure propagation model of the detailed software specification. Hence, control software can be included into safety analyses without additional manual effort required to construct the safety analysis models of the software. Moreover, safety analyses created during early system specification phases can be verified by comparing it with the automatically generated one in the detailed specification phased.}, language = {en} } @inproceedings{ZellerHoefig2016, author = {Zeller, Marc and H{\"o}fig, Kai}, title = {INSiDER: Incorporation of system and safety analysis models using a dedicated reference model}, series = {2016 Annual Reliability and Maintainability Symposium (RAMS)}, booktitle = {2016 Annual Reliability and Maintainability Symposium (RAMS)}, pages = {1 -- 6}, year = {2016}, abstract = {In order to enable model-based, iterative design of safety-relevant systems, an efficient incorporation of safety and system engineering is a pressing need. Our approach interconnects system design and safety analysis models efficiently using a dedicated reference model. Since all information are available in a structured way, traceability between the model elements and consistency checks enable automated synchronization to guarantee that information within both kind of models are consistent during the development life-cycle.}, language = {en} } @inproceedings{MoehrleZellerHoefigetal.2015, author = {M{\"o}hrle, Felix and Zeller, Marc and H{\"o}fig, Kai and Rothfelder, Martin and Liggesmeyer, Peter}, title = {Automated compositional safety analysis using component fault trees}, series = {Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2015), November 2015, Gaithersburg, MD.}, booktitle = {Proceedings of the IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW 2015), November 2015, Gaithersburg, MD.}, pages = {152 -- 159}, year = {2015}, abstract = {Safety assurance is a major challenge in the design of today's complex embedded systems and future Cyber-physical systems. Especially changes in a system's architectural design invalidate former safety analyses and require an adaptation of related safety analysis models in order to restore consistency. In this work, we present an approach for automatically generating mappings between failure ports in compositional safety analysis models. This way, automatic and system-wide safety analyses are enabled that can be easily repeated after making modifications to the system's architecture. We demonstrate the feasibility of our approach using a case study from the automotive domain.}, language = {en} } @inproceedings{MoehrleZellerHoefigetal.2016, author = {M{\"o}hrle, Felix and Zeller, Marc and H{\"o}fig, Kai and Rothfelder, Martin and Liggesmeyer, Peter}, title = {Automating compositional safety analysis using a failure type taxonomy for component fault trees}, series = {Risk, Reliability and Safety: Innovating Theory and Practice: Proc. of ESREL}, booktitle = {Risk, Reliability and Safety: Innovating Theory and Practice: Proc. of ESREL}, pages = {1380 -- 1387}, year = {2016}, abstract = {Safety assurance is a major challenge in the design of today's complex embedded systems and future Cyber-physical systems. Changes in a system's architectural design invalidate former safety analyses and require a manual adaptation of related safety analysis models in order to restore consistency. In this work, we present an approach for automating the compositional assembly of Component Fault Trees by automatically generating mappings between their input and output failure modes. Therefore, we propose a taxonomy of failure types for annotating model elements and deriving a model of the failure propagation. This way, automatic and system-wide safety analyses can be executed and easily repeated after making modifications to the system's architecture. We demonstrate the feasibility of our approach using an example ethylene vaporization unit from an industrial domain.}, language = {en} } @inproceedings{MoehrleBizikZelleretal.2017, author = {M{\"o}hrle, Felix and Bizik, Kai and Zeller, Marc and H{\"o}fig, Kai and Rothfelder, Martin and Liggesmeyer, Peter}, title = {A Formal Approach for Automating Compositional Safety Analysis Using Flow Type Annotations In Component Fault Trees}, series = {Proceedings of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability - Theory and Applications., Portorož, Slovenia: Taylor \& Francis (CRC Press).}, booktitle = {Proceedings of the 27th European Safety and Reliability Conference (ESREL): Safety and Reliability - Theory and Applications., Portorož, Slovenia: Taylor \& Francis (CRC Press).}, year = {2017}, abstract = {Safety assurance is a major challenge in the design of modern embedded systems that has become increasingly difficult in recent years. Growing system sizes and the rise of Cyber-Physical systems confront safety engineers with large sets of configurations to be analyzed. Current approaches are usually carried out at design time and do not address the need for automated assessments in the field. With Component Fault Trees (CFTs) there exists a component-based methodology that enables an efficient modular composition of safety artifacts. The combined model is a system-level CFT that can be analyzed by means of popular Fault Tree Analysis techniques that are widely accepted in the industry. However, when composing models, their interfacing elements must be connected manually which impedes the automation of the procedure. In this work, we introduce the notion of flow types that represent a particular kind of component interaction and define a taxonomy of related failure behavior. By annotating CFTs with types, a machine-readable vocabulary is provided that allows for an automated interconnection of their interfaces. This way, the automatic composition of models according to system architecture is enabled, allowing for automated safety assessments on system-level. We demonstrate the feasibility of our approach using an example ethylene vaporization unit.}, language = {en} } @inproceedings{JungJedlitschkaHoefigetal.2013, author = {Jung, Jessica and Jedlitschka, Andreas and H{\"o}fig, Kai and Domis, Dominik and Hiller, Martin}, title = {A controlled experiment on component fault trees}, series = {International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2013)}, booktitle = {International Conference on Computer Safety, Reliability, and Security (SAFECOMP 2013)}, publisher = {Springer}, address = {Berlin, Heidelberg}, pages = {285 -- 292}, year = {2013}, abstract = {In safety analysis for safety-critical embedded systems, methods such as FMEA and fault trees (FT) are strongly established in practice. However, the current shift towards model-based development has resulted in various new safety analysis methods, such as Component Integrated Fault Trees (CFT). Industry demands to know the benefits of these new methods. To compare CFT to FT, we conducted a controlled experiment in which 18 participants from industry and academia had to apply each method to safety modeling tasks from the avionics domain. Although the analysis of the solutions showed that the use of CFT did not yield a significantly different number of correct or incorrect solutions, the participants subjectively rated the modeling capacities of CFT significantly higher in terms of model consistency, clarity, and maintainability. The results are promising for the potential of CFT as a model-based approach.}, language = {en} } @inproceedings{JungHoefigDomisetal.2013, author = {Jung, Jessica and H{\"o}fig, Kai and Domis, Dominik and Jedlitschka, Andreas and Hiller, Martin}, title = {Experimental comparison of two safety analysis methods and its replication}, series = {2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, December 2013, Baltimore, MD, USA.}, booktitle = {2013 ACM / IEEE International Symposium on Empirical Software Engineering and Measurement, December 2013, Baltimore, MD, USA.}, isbn = {978-0-7695-5056-5}, pages = {223 -- 232}, year = {2013}, abstract = {(Background) Empirical Software Engineering (SE) strives to provide empirical evidence about the pros and cons of SE approaches. This kind of knowledge becomes relevant when the issue is whether to change from a currently employed approach to a new one or not. An informed decision is required and is particularly important in the development of safety-critical systems. For example, for the safety analysis of safety-critical embedded systems, methods such as Failure Mode and Effect Analysis (FMEA) and Fault Tree Analysis (FTA) are used. With the advent of model-based systems and software development, the question arises whether safety engineering methods should also be adopted. New technologies such as Component Integrated Fault Trees (CFT) come into play. Industry demands to know the benefits of these new methods over established ones such as Fault Trees (FT). (Methods) For the purpose of comparing CFT and FT with regard to the capabilities of the safety analysis methods (such as quality of the results) and to the participants' rating of the consistency, clarity, and maintainability of the methods, we designed a comparative study as a controlled experiment using a within-subject design. The experiment was run with seven academic staff members working towards their PhD. The study was replicated with eleven domain experts from industry. (Results) Although the analysis of the tasks' solutions showed that the use of CFT did not yield a significantly different number of correct or incorrect solutions, the participants rated the modeling capacities of CFT higher in terms of model consistency, clarity, and maintainability. (Conclusion) From this first evidence, we conclude that CFT have the potential of being beneficial for companies looking for a safety analysis approachfor projects using model-based development.}, language = {en} } @inproceedings{HoefigZellerSchorp2015, author = {H{\"o}fig, Kai and Zeller, Marc and Schorp, Konstantin}, title = {Automated failure propagation using inner port dependency traces}, series = {2015 11th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Mai 2015, Montreal, QC, Canada.}, booktitle = {2015 11th International ACM SIGSOFT Conference on Quality of Software Architectures (QoSA), Mai 2015, Montreal, QC, Canada.}, pages = {123 -- 128}, year = {2015}, abstract = {Safety assurance is a major challenge in the design of complex embedded and Cyber-physical Systems. Especially, changes and adoptions during the design or run-time of an embedded system invalidate former safety analyses and require an adaptation of the system's safety analysis models. In this paper, we present a methodology to fill up empty safety analysis artifacts in component fault trees using so-called inner port dependency traces to describe failure propagation. Thus, enabling a imprecise but rapid safety analysis of an entire system at early development stages or during system run-time for the automated certification of Cyber-physical Systems. We evaluate our approach using case study from the automotive domain.}, language = {en} } @inproceedings{HoefigZellerHeilmann2015, author = {H{\"o}fig, Kai and Zeller, Marc and Heilmann, Reiner}, title = {ALFRED: a methodology to enable component fault trees for layered architectures}, series = {2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), August 2015,Funchal, Portugal. IEEE.}, booktitle = {2015 41st Euromicro Conference on Software Engineering and Advanced Applications (SEAA), August 2015,Funchal, Portugal. IEEE.}, pages = {167 -- 176}, year = {2015}, abstract = {Identifying drawbacks or insufficiencies in terms of safety is important also in early development stages of safety critical systems. In industry, development artefacts such as components or units, are often reused from existing artefacts to save time and costs. When development artefacts are reused, their existing safety analysis models are an important input for an early safety assessment for the new system, since they already provide a valid model. Component fault trees support such reuse strategies by a compositional horizontal approach. But current development strategies do not only divide systems horizontally, e.g., By encapsulating different functionality into separate components and hierarchies of components, but also vertically, e.g. Into software and hardware architecture layers. Current safety analysis methodologies, such as component fault trees, do not support such vertical layers. Therefore, we present here a methodology that is able to divide safety analysis models into different layers of a systems architecture. We use so called Architecture Layer Failure Dependencies to enable component fault trees on different layers of an architecture. These dependencies are then used to generate safety evidence for the entire system and over all different architecture layers. A case study applies the approach to hardware and software layers.}, language = {en} } @inproceedings{HoefigDomis2011, author = {H{\"o}fig, Kai and Domis, Dominik}, title = {Failure-Dependent execution time analysis}, series = {Proceedings of the Joint ACM SIGSOFT Conference-QoSA and ACM SIGSOFT Symposium-ISARCS on Quality of Software Architectures-QoSA and Architecting Critical Systems-ISARCS, Boulder, Colorado, USA, June 2011.}, booktitle = {Proceedings of the Joint ACM SIGSOFT Conference-QoSA and ACM SIGSOFT Symposium-ISARCS on Quality of Software Architectures-QoSA and Architecting Critical Systems-ISARCS, Boulder, Colorado, USA, June 2011.}, publisher = {ACM}, address = {New York, NY, USA}, pages = {115 -- 122}, year = {2011}, abstract = {The growing complexity of safety-critical embedded systems is leading to an increased complexity of safety analysis models. Often used fault tolerance mechanisms have complex failure behavior and produce overhead compared to systems without such mechanisms. The question arises whether the overhead for fault tolerance is acceptable for the increased safety of a system. Manually modeling the timing behavior is cost intensive and error prone. Current approaches of safety analysis and execution time analysis are not able to reflect the timing behavior of complex mechanisms according to failures. In this paper, we describe an approach that combines safety analysis models with execution times to extract different execution times for different failure conditions. This provides a detailed view on the safety behavior in combination with the produced overhead and allows to find and certify appropriate fault tolerance mechanisms.}, language = {en} } @inproceedings{HoefigArmbrusterSchmidt2014, author = {H{\"o}fig, Kai and Armbruster, Michael and Schmidt, Reiner}, title = {A vehicle control platform as safety element out of context.}, series = {HiPEAC Computing Systems Week, Barcelona, Spain, May 2014.}, booktitle = {HiPEAC Computing Systems Week, Barcelona, Spain, May 2014.}, year = {2014}, language = {en} } @inproceedings{Hoefig2011, author = {H{\"o}fig, Kai}, title = {FDTA-A Tool Chain for Failure-Dependent Timing Analysis}, series = {Proc. of the 11th International Workshop on Worst-Case Execution Time Analysis}, booktitle = {Proc. of the 11th International Workshop on Worst-Case Execution Time Analysis}, year = {2011}, abstract = {Embedded real-time systems are growing in complexity, which goes far beyond simplistic closedloop functionality. Current approaches of worst-case execution time (WCET) analysis are used to verify deadlines of such systems, especially when they are safety critical. These approaches calculate or measure WCET as a single value that is expected as an upper bound for a system's execution time. Overestimations are taken into account to make this upper bound a safe bound, but modern processor architectures with caches, multi-threading, and instruction pipelines often expand those overestimations for safe upper bounds into unrealistic areas. Some approaches try to overcome this problem by calculating multiple upper bounds and argue that each single upper bound will hold for a certain probability (probabilistic worst-case execution time). Even though some of them tackle the problem of obtaining reliable probabilistic values for such upper bounds, more effort is required. Therefore, we present in this paper how probabilities of safety analysis models can be combined with elements of system development models to calculate a probabilistic worst-case execution time. This approach can be applied to systems that use mechanisms belonging to the area of fault tolerance, since such mechanisms are usually quantified in safety analyses to certify the system as being highly reliable or safe.}, language = {en} } @inproceedings{Hoefig2012, author = {H{\"o}fig, Kai}, title = {Failure-dependent timing analysis-a new methodology for probabilistic worst-case execution time analysis}, series = {International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance.}, booktitle = {International GI/ITG Conference on Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance.}, publisher = {Springer}, address = {Berlin, Heidelberg}, pages = {61 -- 75}, year = {2012}, abstract = {Embedded real-time systems are growing in complexity, which goes far beyond simplistic closed-loop functionality. Current approaches for worst-case execution time (WCET) analysis are used to verify the deadlines of such systems. These approaches calculate or measure the WCET as a single value that is expected as an upper bound for a system's execution time. Overestimations are taken into account to make this upper bound a safe bound, but modern processor architectures expand those overestimations into unrealistic areas. Therefore, we present in this paper how of safety analysis model probabilities can be combined with elements of system development models to calculate a probabilistic WCET. This approach can be applied to systems that use mechanisms belonging to the area of fault tolerance, since such mechanisms are usually quantified using safety analyses to certify the system as being highly reliable or safe. A tool prototype implementing this approach is also presented which provides reliable safe upper bounds by performing a static WCET analysis and which overcomes the frequently encountered problem of dependence structures by using a fault injection approach.}, language = {en} } @inproceedings{DomisHoefigTrapp2010, author = {Domis, Dominik and H{\"o}fig, Kai and Trapp, Mario}, title = {A consistency check algorithm for component-based refinements of fault trees}, series = {2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE), November 2010, San Jose, CA, USA.}, booktitle = {2010 IEEE 21st International Symposium on Software Reliability Engineering (ISSRE), November 2010, San Jose, CA, USA.}, pages = {171 -- 180}, year = {2010}, abstract = {The number of embedded systems in our daily lives that are distributed, hidden, and ubiquitous continues to increase. Many of them are safety-critical. To provide additional or better functionalities, they are becoming more and more complex, which makes it difficult to guarantee safety. It is undisputed that safety must be considered before the start of development, continue until decommissioning, and is particularly important during the design of the system and software architecture. An architecture must be able to avoid, detect, or mitigate all dangerous failures to a sufficient degree. For this purpose, the architectural design must be guided and verified by safety analyses. However, state-of-the-art component-oriented or model-based architectural design approaches use different levels of abstraction to handle complexity. So, safety analyses must also be applied on different levels of abstraction, and it must be checked and guaranteed that they are consistent with each other, which is not supported by standard safety analyses. In this paper, we present a consistency check for CFTs that automatically detects commonalities and inconsistencies between fault trees of different levels of abstraction. This facilitates the application of safety analyses in top-down architectural designs and reduces effort.}, language = {en} } @incollection{ArmengaudMacherMassoneretal.2018, author = {Armengaud, Erik and Macher, Georg and Massoner, Alexander and Frager, Sebastian and Adler, Rasmus and Schneider, Daniel and Longo, Simone and Melis, Massimiliano and Groppo, Riccardo and Villa, Federica and O'Leary, Padraig and Bambury, Kevin and Anita, Finnegan and Zeller, Marc and H{\"o}fig, Kai and Papadopoulos, Yiannis and Hawkins, Richard and Kelly, Tim}, title = {DEIS: Dependability Engineering Innovation for Industrial CPS}, series = {Advanced Microsystems for Automotive Applications 2017}, booktitle = {Advanced Microsystems for Automotive Applications 2017}, publisher = {Springer}, address = {Cham}, publisher = {Technische Hochschule Rosenheim}, pages = {151 -- 163}, year = {2018}, abstract = {The open and cooperative nature of Cyber-Physical Systems (CPS) poses new challenges in assuring dependability. The DEIS project (Dependability Engineering Innovation for automotive CPS. This project has received funding from the European Union's Horizon 2020 research and innovation programme under grant agreement No 732242, see http://www.deis-project.eu) addresses these challenges by developing technologies that form a science of dependable system integration. In the core of these technologies lies the concept of a Digital Dependability Identity (DDI) of a component or system. DDIs are modular, composable, and executable in the field facilitating (a) efficient synthesis of component and system dependability information over the supply chain and (b) effective evaluation of this information in-the-field for safe and secure composition of highly distributed and autonomous CPS. The paper outlines the DDI concept and opportunities for application in four industrial use cases.}, language = {en} } @inproceedings{AdlerDomisHoefigetal.2010, author = {Adler, Rasmus and Domis, Dominik and H{\"o}fig, Kai and Kemmann, S{\"o}ren and Kuhn, Thomas and Schwinn, Jean- Pascal and Trapp, Mario}, title = {Integration of component fault trees into the UML}, series = {International Conference on Model Driven Engineering Languages and Systems.}, booktitle = {International Conference on Model Driven Engineering Languages and Systems.}, publisher = {Springer-Verlag}, address = {Berlin, Heidelberg}, pages = {312 -- 327}, year = {2010}, abstract = {Efficient safety analyses of complex software intensive embedded systems are still a challenging task. This article illustrates how model-driven development principles can be used in safety engineering to reduce cost and effort. To this end, the article shows how well accepted safety engineering approaches can be shifted to the level of model-driven development by integrating safety models into functional development models. Namely, we illustrate how UML profiles, model transformations, and techniques for multi language development can be used to seamlessly integrate component fault trees into the UML.}, language = {en} } @inproceedings{Jarz2006, author = {Jarz, Ewald}, title = {Experiences with Multimedia based Case Studies}, series = {MApEC - Multimedia Applications in Education Conference Proceedings 2006}, booktitle = {MApEC - Multimedia Applications in Education Conference Proceedings 2006}, editor = {Grabe, Daniela and Zimmermann, Lisa}, publisher = {FH JOANNEUM}, address = {Graz}, url = {http://nbn-resolving.de/urn:nbn:de:bvb:861-opus4-10717}, pages = {188 -- 192}, year = {2006}, abstract = {This paper shows the experiences made with a multimedia based case study in academic education. The case study has been used within three courses of business process engineering. It was compared to a case study based solely on text. 13 assumptions have been evaluated. The main conclusion is that the multimedia based case study is much more practice oriented than a text based case study. Also the solutions of the students, which did the multimedia based case study, have been of higher quality. But on the other hand the expectations of the students to a multimedia based system are hard to meet. Based on these experiences some hints in further developing of multimedia based case studies are formulated.}, language = {en} }