Global ETD Search

371	Evaluating the expressiveness of specification languages : for stochastic safety-critical systems Jamil, Fahad Rami January 2024 (has links) This thesis investigates the expressiveness of specification languages for stochastic safety-critical systems, addressing the need for expressiveness in describing system behaviour formally. Through a case study and specification language enhancements, the research explores the impact of different frameworks on a set of specifications. The results highlight the importance of continuous development in the specification languages to meet the complex behaviours of systems with probabilistic properties. The findings emphasise the need for extending the chosen specification languages more formally, to ensure that the languages can capture the complexity of the systems they describe. The research contributes valuable insights into improving the expressiveness of specification languages for ensuring system safety and operational reliability. Specification Languages Expressiveness Stochastic Systems Safety-Critical Systems Formal Methods Continuous Stochastic Logic (CSL) Probabilistic Timed Automata (PTA) Stochastic Timed Automata (STA) Probabilistic Contract Formula (PCF) Formal Verification Autonomous Vehicles System Safety Embedded Systems Model Checking ISO 26262 ISO 21448 Automotive Industry Scania Group Case Study System Specifications Specification Frameworks System Reliability Industrial Context Probabilistic Properties Specification Enhancements Computer and Information Sciences Data- och informationsvetenskap
372	The autonomous crewmate : A sociotechnical perspective to implementation of autonomous vehicles in sea rescue Lundblad, Oscar January 2020 (has links) The usage of autonomous vehicles is starting to appear in several different domains and the domain of public safety is no exception. Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) has created a research arena for public safety (WARA-PS) to explore experimental features, usages, and implementation of autonomous vehicles within the domain of public safety. Collaborating in the arena are several companies, universities, and researchers. This thesis examines, in collaboration with Combitech, a company partnered in WARA-PS, how the implementation of autonomous vehicles affects the sociotechnical system of a search and rescue operation during a drifting boat with potential castaways. This is done by creating a case together with domain experts, analyzing the sociotechnical system within the case using cognitive work analysis and then complementing the analyses with the unmanned autonomous vehicles of WARA-PS. This thesis has shown how the WARA-PS vehicles can be implemented in the case of a drifting boat with potential castaways and how the implementation affects the sociotechnical system. Based on the analyses and opinions of domain experts’ future guidelines has been derived to further the work with sociotechnical aspects in WARA-PS. / WARA-PS Human autonomy collaboration Public safety Sea rescue SSRS Emergency services Autonomous vehicles Unmanned aerial vehicle Unmanned Surface Vehicle uav usv SAR Human machine interaction HMI Sociotechnical systems cognitive work analysis CWA sociotechnical perspective implementation drone quadcopter boat rescue at sea case novel technology appropriate technology thematic analysis WASP Maritime swedish sea rescue uxv Human Computer Interaction Information Systems
373	Interaction Design for Remote Control of Military Unmanned Ground Vehicles Saleh, Diana January 2021 (has links) The fast technology development for military unmanned ground vehicles (UGVs) has led to a considerable demand to explore the soldier’s role in an interactive UGV system. This thesis explores how to design interactive systems for UGVs for infantry soldiers in the Swedish Armed Force. This was done through a user-centered design approach in three steps; (1) identifying the design drivers of the targeted military context through qualitative observations and user interviews, (2) using the design drivers to investigate concepts for controlling the UGV, and (3) create and evaluate a prototype of an interactive UGV system design. Results from interviews indicated that design drivers depend on the physical and psychological context of the intended soldiers. In addition, exploring the different concepts showed that early conceptual designs helped the user express their needs of a non-existing system. Furthermore, the results indicate that an interactive UGV system does not necessarily need to be at the highest level of autonomy in order to be useful for the soldiers on the field. The final prototype of an interactive UGV system was evaluated using a demonstration video, a Technology Acceptance Model (TAM), and semi-structured user interviews. Results from this evaluation suggested that the soldiers see the potential usefulness of an interactive UGV system but are not entirely convinced. In conclusion, this thesis argues that in order to design an interactive UGV system, the most critical aspect is the soldiers’ acceptance of the new system. Moreover, for soldiers to accept the concept of military UGVs, it is necessary to understand the context of use and the needs of the soldiers. This is done by involving the soldiers already in the conceptual design process and then throughout the development phases. Human Robot Interaction (HRI) Design Unmanned Ground Vehicles (UGV) Autonomous Systems Human Computer Interaction (HCI) Information Systems Interaction Design User Experience (UX) Unmanned Vehicles (UV) Autonomous Vehicles Interactive Systems User Interface (UI) Research Through Design Military Teleoperation Swedish Armed Forces Human Computer Interaction Information Systems, Social aspects Interaction Technologies Interaktionsteknik

Page generated in 0.044 seconds