Logo des Repositoriums

Auflistung nach Schlagwort "Safety"

1 - 10 von 16
  • Konferenzbeitrag
    6th Workshop on Avionics Systems und Software Engineering (AvioSE'24)
    (Software Engineering 2024 (SE 2024), 2024) Reich, Marina; Annighoefer, Bjoern; Schweiger, Andreas
  • Konferenzbeitrag
    7th Workshop "Automotive HMI”: Safety meets User Experience (UX)
    (Mensch und Computer 2018 - Workshopband, 2018) Riener, Andreas; Geisler, Stefan; van Laack, Alexander; Frison, Anna-Katharina; Detjen, Henrik; Pfleging, Bastian
    Automotive user interfaces and automated vehicle technology pose numerous challenges to support all diverse facets of user needs. These range from inexperienced, thrill-seeking, young novice drivers to elderly drivers with a mostly opposite set of preferences together with their natural limitations. To allow assessing the (hedonic) quality of automotive user interfaces and automated driving technology (i. e., UX) already during development, the proposed workshop is dedicated to the quest of finding objective, quantifiable criteria to describe future driving experiences. The workshop is intended for HCI, AutomotiveUI, and “Human Factors” researchers and practitioners as well for designers and developers. In adherence to the conference main topic “Interaktion – Verbindet – Alle”, this workshop calls in particular for contributions in the in the areas of human factors and ergonomics (user acceptance, trust, user experience, driving fun, natural user interfaces, etc.) with focus on hedonic quality and design of user experience to enhance the safety feeling in ADS.
  • Textdokument
    Designing The Technology For Pet Owners' Psychological Safety And Pet Physical Safety: identifying the challenges, needs and conceptualizing solutions for pet location tracking
    (Mensch und Computer 2023 - Workshopband, 2023) Zhukova, Daria; Kulon, Urszula
    The scale of pet ownership significantly increased in last years, with 92.9 million dogs and 113.6 million cats estimated to be pets in Europe. The following research focuses on how pet location tracking technology design can support pet owners’ mental safety and pets’ physical safety during times of separation. Through participatory design consisting of mind maps, brainstorming and user stories, the target audience identified their primary concerns and developed solutions that an ideal location-tracking mobile app could provide including the mapping of the surroundings, social networks, safe zones or heat maps. The attendees’ insight showed that they anticipate a significantly more broad set of functionalities than just location itself. In the user stories participants expressed their perception of their mental safety in different scenarios of physical separation in case their pet was lost, they left the pet in one’s care or if they had to leave their pet in order to go to work. 29 out of 30 inputs concerning the feelings after using the ’ideal’ app were in the positive spectrum of calmness, happiness and feeling in control. We found that a well design location tracking app can reduce the anxiety and concerns of pet owners.
  • Textdokument
    GAFAI: Proposal of a Generalized Audit Framework for AI
    (INFORMATIK 2022, 2022) Markert,Thora; Langer,Fabian; Danos,Vasilios
    ML based AI applications are increasingly used in various fields and domains. Despite the enormous and promising capabilities of ML, the inherent lack of robustness, explainability and transparency limits the potential use cases of AI systems. In particular, within every safety or security critical area, such limitations require risk considerations and audits to be compliant with the prevailing safety and security demands. Unfortunately, existing standards and audit schemes do not completely cover the ML specific issues and lead to challenging or incomplete mapping of the ML functionality to the existing methodologies. Thus, we propose a generalized audit framework for ML based AI applications (GAFAI) as an anticipation and assistance to achieve auditability. This conceptual risk and requirement driven approach based on sets of generalized requirements and their corresponding application specific refinements as contributes to close the gaps in auditing AI.
  • Konferenzbeitrag
    Immersive Virtual Reality Training for the Operation of Chemical Reactors
    (DELFI 2020 – Die 18. Fachtagung Bildungstechnologien der Gesellschaft für Informatik e.V., 2020) Tehreem, Yusra; Pfeiffer, Thies
    This paper discusses virtual reality (VR) training for chemical operators on hazardous or costly operations of chemical plants. To this end, a prototypical training scenario is developed which will be deployed to industrial partners and evaluated regarding efficiency and effectiveness. In this paper, the current version of the prototype is presented, that allows life-sized trainings in a virtual simulation of a chemical reactor. Building up on this prototype scenario, means for measuring performance, providing feedback, and guiding users through VR-based trainings are explored and evaluated, targeting at an optimized transfer of knowledge from virtual to real world. This work is embedded in the Marie-Skłodowska-Curie Innovative Training Network CHARMING3, in which 15 PhD candidates from six European countries are cooperating.
  • Zeitschriftenartikel
    Proving properties of autonomous car manoeuvres in urban traffic
    (it - Information Technology: Vol. 63, No. 4, 2021) Schwammberger, Maike
    As automated driving techniques are increasingly capturing the market, it is particularly important to consider vital functional properties of these systems. We present an overview of an approach that uses an abstract model to logically reason about properties of autonomous manoeuvres at intersections in urban traffic. The approach introduces automotive-controlling timed automata crossing controllers that use the traffic logic UMLSL (Urban Multi-lane Spatial Logic) to reason about traffic situations. Safety in the context of collision freedom is mathematically proven. Liveness (something good finally happens) and fairness (no queue-jumping) are examined and verified using a model-checking tool for timed automata, UPPAAL.
  • Zeitschriftenartikel
    Qualitätssicherung Software-basierter technischer Systeme – Problembereiche und Lösungsansätze
    (Informatik-Spektrum: Vol. 21, No. 5, 1998) Liggesmeyer, Peter; Rothfelder, Martin; Rettelbach, Michael; Ackermann, Thomas
      Die Qualitätssicherung Software-basierter technischer Systeme erfordert ganzheitliche Betrachtungsweisen und Techniken, die auf unterschiedlich realisierte Systemkomponenten - z.B. Software, elektronische Komponenten, technische Prozesse - gleichermaßen anzuwenden sind. Eine ökonomisch und technisch sinnvolle Qualitätssicherung fordert die Verwendung angepaßter Lösungen. Im folgenden werden Problembereiche umrissen und exemplarische Lösungsansätze diskutiert. Es werden Techniken vorgestellt, die von formal vollständigen Sicherheitsnachweisen über statistisch abgesicherte Analysen von Maßen (z.B. Zuverlässigkeitsmaßen) bis zu informalen, aber systematischen Prüftechniken reichen.Summary  Quality assurance of software-based systems requires a comprehensive approach and techniques that can be applied to different components, e.g., software, electronic components, technical processes. To satisfy economical and technical requirements demands adequate solutions. In the following several problem areas and approaches are discussed. The techniques include formally complete safety proofs, statistical analysis of measures, e.g., reliability measures, and informal, but systematic test techniques.
  • Konferenzbeitrag
    Risk-Oriented Security Engineering
    (Automotive - Safety & Security 2017 - Sicherheit und Zuverlässigkeit für automobile Informationstechnik, 2017) Ebert, Christof
    Virtually every connected system will be attacked sooner or later. A 100% secure solution is not feasible. Therefore, advanced risk assessment and mitigation is the order of the day. Risk-oriented security engineering for automotive systems helps in both designing for robust systems as well as effective mitigation upon attacks or exploits of vulnerabilities. Security must be integrated early in the design phase of a vehicle to understand the threats and risks to car functions. The security analysis provides requirements and test vectors and adequate measures can be derived for balanced costs and efforts. The results are useful in the partitioning phase when functionality is distributed to ECUs and networks. We will show with concrete examples how risk-oriented cyber security can be successfully achieved in automotive systems. Three levers for automotive security are addressed: (1) Product, i.e., designing for security for components and the system, (2) Process, i.e., implementing cyber security concepts in the development process and (3) Field, i.e., ensuring security concepts are applied during service activities and effective during regular operations.
  • Zeitschriftenartikel
    Safety of Autonomous Cognitive-oriented Robots
    (KI - Künstliche Intelligenz: Vol. 30, No. 1, 2016) Ertle, Philipp
  • Konferenzbeitrag
    Software Traceability in the Automotive Domain: Challenges and Solutions
    (Software Engineering and Software Management 2019, 2019) Steghöfer, Jan-Philipp; Maro, Salome; Staron, Miroslaw
    In the automotive domain, the development of all safety-critical systems has to comply with safety standards such as ISO 26262. These standards require established traceability, the ability to relate artifacts created during development of a system, to ensure resulting systems are well-tested and therefore safe. Our study [MSS18] contrasts general traceability challenges and solutions with those specific to the automotive domain, and investigates how they manifest in practice. We combine a tertiary literature review to identify general challenges and solutions, a case study with an automotive supplier as validation for how challenges and solutions are experienced in practice, and a multi-vocal literature review to identify challenges and solutions specific to the automotive domain. We found 22 challenges and 16 unique solutions in the reviews. 17 challenges were identified in the case study; six remain unsolved. We discuss challenges and solutions from the perspectives of academia, tool vendors, consultants and users, and identify differences between scientific and “grey” literature. We discuss why challenges remain unsolved and propose solutions. Our findings indicate that there is a significant overlap between general traceability challenges and those in the automotive domain but that they are experienced differently.