@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} } @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} } @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} } @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{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{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{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{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{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{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} }