Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker h...
详细信息
Rich and multifaceted domain specific specification languages like the Autonomic System Specification Language (ASSL) help to design reliable systems with self-healing capabilities. The GEAR game-based Model Checker has been used successfully to investigate in depth properties of the ESA ExoMars Rover. We show here how to enable GEAR's game-based verification techniques for ASSL via systematic model extraction from a behavioral subset of the language, and illustrate it on a description of the Voyager II space mission. This way, we close the gap between the design-time and the run-time techniques provided in the SHADOWS platform for self-healing of concurrency, performance, and functional issues.
The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These const...
详细信息
The central challenge in resource constrained systems is indeed that there is often a dramatic problem of resources: little memory, no display (i.e., mediated control and interaction), and weak processors. These constraints are due to various reasons, including cost (in economies of scale little amounts can make a big difference) and constraints mandated by the host environment such as limitations on weight, size, bandwidth, or power consumption. In addition to structural issues, that already force designers to stretch and squeeze pushing the design to the limit, other problems may affect the design process itself, e.g. when developers must program for a system that is itself still under design: such concurrent development includes easily critical unknown unknowns. Design efforts under these conditions are difficult at best, and it is not clear how much of these constraints and pressures are really unavoidable. We believe that a perspective of designing for simplicity would frame the situation in a more favorable way, leading to systems that better use available resources, are more robust, and easier to maintain and use. In the course of the ITSy project, we interviewed IT experts and industry practitioners about their perspectives on simplicity principles within their research and practice, collecting insights and anecdotal evidence on some phenomena, as well as suggestions for possible principles. In this paper, we apply initial results from this empirical understanding of simplicity to the domain of resource constrained system design. We identify some recurring themes from the outcome of the interviews, and match these understandings for one specific embedded system case study.
Within the field of Requirements Engineering (RE), the increasing significance of Explainable Artificial Intelligence (XAI) in aligning AI-supported systems with user needs, societal expectations, and regulatory stand...
详细信息
Within the field of Requirements Engineering (RE), the increasing significance of Explainable Artificial Intelligence (XAI) in aligning AI-supported systems with user needs, societal expectations, and regulatory stand...
Within the field of Requirements Engineering (RE), the increasing significance of Explainable Artificial Intelligence (XAI) in aligning AI-supported systems with user needs, societal expectations, and regulatory standards has garnered recognition. In general, explainability has emerged as an important non-functional requirement that impacts system quality. However, the supposed trade-off between explainability and performance challenges the presumed positive influence of explainability. If meeting the requirement of explainability entails a reduction in system performance, then careful consideration must be given to which of these quality aspects takes precedence and how to compromise between them. In this paper, we critically examine the alleged trade-off. We argue that it is best approached in a nuanced way that incorporates resource availability, domain characteristics, and considerations of risk. By providing a foundation for future research and best practices, this work aims to advance the field of RE for AI.
Process modeling can play a central role in problem-based software development education with regard to qualifying students for the design and implementation of software applications for their specific needs without p...
详细信息
Process modeling can play a central role in problem-based software development education with regard to qualifying students for the design and implementation of software applications for their specific needs without putting the focus on the technical part of coding. eXtreme Model Driven Design (XMDD) is a paradigm that focuses on the What (solving problems), rather than on the How (the technical skills of writing code). In this way it renders application design and implementation less daunting, thus accessible and more appealing to people that are either less technically skilled, or simply not interested at all in learning usual programming. In this paper we report on our experiences with the use of the jABC process modeling framework for teaching service-based software development in an XMDD fashion to students of different fields and on different levels of education.
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during O...
详细信息
ISBN:
(数字)9783642347818
ISBN:
(纸本)9783642347801
This volume contains a selection of revised papers that were presented at the Software Aspects of Robotic systems, SARS 2011 Workshop and the Machine Learning for System Construction, MLSC 2011 Workshop, held during October 17-18 in Vienna, Austria, under the auspices of the International Symposium Series on Leveraging Applications of Formal Methods, Verification, and Validation, ISoLA. The topics covered by the papers of the SARS and the MLSC workshop demonstrate the breadth and the richness of the respective fields of the two workshops stretching from robot programming to languages and compilation techniques, to real-time and fault tolerance, to dependability, software architectures, computer vision, cognitive robotics, multi-robot-coordination, and simulation to bio-inspired algorithms, and from machine learning for anomaly detection, to model construction in software product lines to classification of web service interfaces. In addition the SARS workshop hosted a special session on the recently launched KOROS project on collaborating robot systems that is borne by a consortium of researchers of the faculties of architecture and planning, computer science, electrical engineering and information technology, and mechanical and industrial engineering at the Vienna University of Technology. The four papers devoted to this session highlight important research directions pursued in this interdisciplinary research project.
Embodying users through avatars based on motion tracking and reconstruction is an ongoing challenge for VR application developers. High quality VR systems use full-body tracking or inverse kinematics to reconstruct th...
详细信息
ISBN:
(数字)9781728176758
ISBN:
(纸本)9781728176765
Embodying users through avatars based on motion tracking and reconstruction is an ongoing challenge for VR application developers. High quality VR systems use full-body tracking or inverse kinematics to reconstruct the motion of the lower extremities and control the avatar animation. Mobile systems are limited to the motion sensing of head-mounted displays (HMDs) and typically cannot offer *** propose an approach to reconstruct gait motions from a single head-mounted accelerometer. We train our models to map head motions to corresponding ground truth gait phases. To reconstruct leg motion, the models predict gait phases to trigger equivalent synthetic animations. We designed four models: a threshold-based, a correlation-based, a Support Vector Machine (SVM) -based and a bidirectional long-term short-term memory (BLSTM) -based model. Our experiments show that, while the BLSTM approach is the most accurate, only the correlation approach runs on a mobile VR system in real time with sufficient accuracy. Our user study with 21 test subjects examined the effects of our approach on simulator sickness and showed significantly less negative effects on disorientation.
暂无评论