Model-based systems engineering approaches are commonly used to develop safetycritical mechatronic systems. Recently, a new SysML-based method for the dependability analysis of Unmanned Aerial Vehicles (UAVs) has been...
详细信息
Model-based systems engineering approaches are commonly used to develop safetycritical mechatronic systems. Recently, a new SysML-based method for the dependability analysis of Unmanned Aerial Vehicles (UAVs) has been introduced. The method consists of three main steps: (i) creation of a structural SysML model using building blocks from the underlying UAV dependability profile that extends the model with block-level reliability and time properties, (ii) transformation of the semi-formal SysML model into a formal Dual-Graph Error Propagation Model (DEPM) that captures relevant structural and behavioral properties of the system, (iii) DEPM-based evaluation of system dependability metrics using Markov chain models and state-of-the-art probabilistic model checking techniques. This paper describes the practitioner experiences and lessons learned after the application of the aforementioned method to a sophisticated real-world embedded fault-tolerant inertial navigation system. The case study revealed two particular limitations that have been overcome by the optimization of the method against the state-space explosion of underlying Markov chain models and the introduction of a new computation algorithm for DEPMs with realistic extremely low fault activation probabilities.
"Artificial lung" is a device that simulates breathing process of occupants in a room. This allows you to safely test, e.g., the impact of HVAC systems on the spread of pathogens. The paper describes the con...
详细信息
By continuing to use fossil fuels we are bound to pollute the atmosphere, and consequently, unwanted greenhouse and climate change effects will come to dominate every part of the earth. Wind power energy represents an...
详细信息
Network optimization and continued availability depend on a number of capabilities that are part of network management. The Maintenance, operating and also offering a safeguarded interaction network is very complicate...
详细信息
Operating in the proximity of humans has been a long-term challenge in robotics research. To achieve this objective, one of the main issues is to ensure safe and comfortable physical human-robot interaction (pHRI). In...
详细信息
'The cloud' points out to servers, the databases and software that run on those servers. The Internet has always been constructed of infrastructure, servers and clients. Clients send their requests to servers,...
详细信息
There are many types of bio-signals with various control application prospects. In this work possible control application domain of electroencephalographic signal obtained from an easily available, inexpensive EEG hea...
详细信息
This study proposes methods that can be used to examine and interpret comments that users have made after watching videos on YouTube on a particular topic. YouTube tutorials are very popular among young people. They h...
详细信息
The European eSafety initiative aims to improve the safety and efficiency of road transport. The main element of eSafety is the pan-European eCall project—an in-vehicle system which idea is to inform about road colli...
详细信息
This paper presents a conversational interface that uses the speech recognition and synthesis and animation abilities of two Microsoft software agents in order to assure a more natural and efficient interface with an ...
详细信息
This paper presents a conversational interface that uses the speech recognition and synthesis and animation abilities of two Microsoft software agents in order to assure a more natural and efficient interface with an autonomous robot. The interface is used in the robotics educational process. The basic commands to be given by voice (back, right, etc.) and the control of the agents are implemented in Visual Basic. More complex control programs can be implemented and tested in Matlab and after that executed with a simple voice command. This program is used as a part of an integrated educational strategy in autonomous robotics and was evaluated by a group of students. First experimental results related to the use of this conversational interface compared to traditional robot simulation environments and control of real robots are presented in this paper with related discussions.
暂无评论