检索结果-内蒙古大学图书馆

2025 International Conference on Control, Automation, and Instrumentation, IC2AI 2025

作者： Borcsok, Josef Schwarz, Michael H. Drabesch, Malte Kinsch, Christian Strobl, Walter Michael Sengolge, Mathilde Breitenbach, Jurgen University of Kassel Dept. of computer architecture and system programming Kassel Germany Universität für Weiterbildung Krems Fakultät für Gesundheit und Medizin Medizin und Forschung Zentrum für Gesundheitswissenschaften und Medizin Dept. für Gesundheitswissenschaften KremsA-3500 Austria

ISBN: (纸本)9798331529604

The use of complex electronic systems in medical technology applications is constantly increasing. These systems are becoming increasingly important, particularly in the area of analyzing the progress of treatment, as they can be used to identify any deficits that may still exist. Although systems are now available from a number of manufacturers, they are not always applicable to all mobile problems, so approaches with adapted system technology must be used. © 2025 IEEE.

关键词： Gait analysis

来源：评论

学校读者我要写书评

暂无评论

GAIWAP (Gait Analysis to Determine the Improvement of Walking Ability in People with Disabilities)

GAIWAP (Gait Analysis to Determine the Improvement of Walkin...

引用

Control, Automation, and Instrumentation (IC2AI), International Conference on

作者： Josef Börcsök Michael H. Schwarz Malte Drabesch Christian Kinsch Walter Michael Strobl Mathilde Sengölge Jürgen Breitenbach Dept. of computer architecture and system programming University of Kassel Kassel Germany Dept. für Gesundheitswissenschaften Fakultät für Gesundheit und Medizin Medizin und Forschung Zentrum für Gesundheitswissenschaften und Medizin Universität für Weiterbildung Krems Krems

ISBN: (数字)9798331529604

ISBN: (纸本)9798331529611

关键词： Legged locomotion Automation Three-dimensional displays Accuracy Instruments People with disabilities Cameras Recording Gait recognition

来源：评论

学校读者我要写书评

暂无评论

Influences of attacks on safety related systems

Influences of attacks on safety related systems

引用

23rd International Congress on Condition Monitoring and Diagnostic Engineering Management, COMADEM 2010

作者： Börcsök, J. Ugljesa, E. Dept. of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9784883254194

Several standards and guidelines give advice on the development of qualitative and quantitative criteria to evaluate safety related systems, in order to apply these in safety critical applications. These standards don't take into account the possibility of an external attack on the safety related system. In this paper, we will describe the current situation and explore methods and models for security and safety related systems with the help of Markov-models.

关键词： Markov processes

来源：评论

学校读者我要写书评

暂无评论

Different aspects to be considered for safety related development

Different aspects to be considered for safety related develo...

引用

23rd International Congress on Condition Monitoring and Diagnostic Engineering Management, COMADEM 2010

作者： Schwarz, M.H. Börcsök, J. Dept. Computer Architecture and System Programming University of Kassel Germany Safety Computer Technology University of Kassel Germany

ISBN: (纸本)9784883254194

This paper presents the recent design and development aspects considered within a current project running at the department of computer architecture and system programming. The project "Safety WLAN architectures for safety critical applications related to diagnostic and predictive maintenance possibilities" includes the aspects of diagnostic and predictive maintenance strategies as well as safety related hardware, reliable software design and reliable wireless communication. This paper considers design strategies for the development of reliable, safe sensor systems for process control.

关键词： Software design

来源：评论

学校读者我要写书评

暂无评论

A Tool for reliable model-based design for programming logic controllers

A Tool for reliable model-based design for programming logic...

引用

1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013

作者： Schwarz, M.H. Sheng, H. Chaaban, W. Börcsök, J. Dept. Safety Computer Technology University of Kassel Kassel Germany Dept. Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9783902823519

This paper presents an automated code generation and validation, verification approach to convert model based developments into IEC 61131-3 conform function blocks. IEC 61131-3 programming languages are supported by PLC manufacturers and software environment developers and provide the possibility that novel and intelligent algorithms can be directly operated on industrial accepted systems. Railway and transportation also receive drastic changes from purely hardware based systems to microcontroller + software driven systems. However, the conversion has to follow certain steps to ensure that the adaptation is done correctly and functionality is not alternated, added or deleted. Concepts suggested by different international standards such as the IEC 61508 can help to derive a tool chain to verify the generated code. © IFAC.

关键词： Manufacture

来源：评论

学校读者我要写书评

暂无评论

Investigation of a safety parameter observer for wireless communication

引用

International Journal of Circuits, systems and Signal Processing 2020年 14卷 1005-1005页

作者： Schwarz, Michael H. Gaus, Larissa Börcsök, Josef Dept. Computer architecture and System programming University Kassel Kassel Germany Dept. Computer architecture and system programming Universität Kassel Kassel Germany

This paper investigates the possibilities to monitor the degree of disturbances of a wireless communication and to use this information to calculate online the necessary safety parameters in order to estimate the probability of failure per hour (PFH) and the safety integrity level (SIL). Depending of the degree of disturbances, addition actions are performed with the intention of keeping the current safety level. A hardware set-up is introduced to get process data and to evaluate the results. © 2020, North Atlantic University Union NAUN. All rights reserved.

关键词： Hamming distance

来源：评论

学校读者我要写书评

暂无评论

Towards safe data flow processing by integration of design by contract in deterministic UML activities

Towards safe data flow processing by integration of design b...

引用

2011 23rd International Symposium on Information, Communication and Automation Technologies, ICAT 2011

作者： Daw, Zamira Vetter, Marcus Boercsoek, Josef Institute of Embedded Systems Hochschule Mannheim - University of Applied Sciences Mannheim Germany Dept. of Computer Architecture and System Programming University of Kassel Kassel Germany

ISBN: (纸本)9781457707469

Data flow processing is a common task of embedded systems which is usually modeled as a pipeline. Errors in a block of this pipeline can be propagated through it thus leading to unexpected and erroneous behaviors. For safety related applications, this pipeline has to be able to identify and react to failures. The DMOSES model-driven development method uses deterministic UML activities to describe and implement data flow processing. This method ensures deterministic behavior of concurrent processing. Design by Contract defines formal, precise and verifiable interfaces for software components. We propose a development method for safe data flow processing based on the integration of this concept in deterministic UML activities. This integration allows the identification of errors by detection of contracts violation. This paper presents an extension of the DMOSES tool for contracts verification at the model level and their monitoring at runtime. © 2011 IEEE.

关键词： Pipelines

来源：评论

学校读者我要写书评

暂无评论

Concept of an Optical Distance and Speed Sensor Using Novel Offsetless Spatial Frequency Filters in the Area of Functional Safety 32

Concept of an Optical Distance and Speed Sensor Using Novel ...

引用

32nd IEEE International Symposium on Industrial Electronics, ISIE 2023

作者： Wasinski, Frank Bonath, Werner Ricklefs, Ubbo Borcsok, Josef Schwarz, Michael Hahn, Eike University of Applied Sciences THM Dept. of Electrical Engineering and Information Technology Giessen Germany Institute for Computer Architecture and System Programming University of Kassel ICAS Kassel Germany

ISBN: (纸本)9798350399714

Optical speed sensors based on the spatial frequency filter method are a proven technology that offer high measurement accuracy over a wide speed range. Newly developed variants also enable measurements at very low speeds and increase the robustness of the method [1]. This makes the sensor very suitable for use in the area of functional safety. A measurement chain up to safety integrity level 3 (SIL3) should be feasible via a combination with a safety system on a chip (SoC) for evaluating the measurement data and an extension of the sensor module to include safety-related elements [2], [3]. By integrating the sensor at IC level, a compact overall solution is to be made possible. After the first successful tests with the safety SoC, further examinations of the measuring method with regard to functional safety are now necessary. © 2023 IEEE.

关键词： system-on-chip

来源：评论

学校读者我要写书评

暂无评论

A Tool for Reliable Model-based Design For programming Logic Controllers

引用

IFAC Proceedings Volumes 2013年第25期46卷 71-76页

作者： M.H. Schwarz H. Sheng W. Chaaban J. Börcsök Dept. Safety Computer Technology University of Kassel Kassel Germany Dept. Computer Architecture and System Programming University of Kassel Kassel Germany

关键词：

来源：评论

学校读者我要写书评

暂无评论

Automatic Detection of Smishing Attacks by Machine Learning Methods 1

Automatic Detection of Smishing Attacks by Machine Learning ...

引用

1st International Informatics and Software Engineering Conference, IISEC 2019

作者： Balim, Caner Gunal, Efnan Sora Afyon Kocatepe University Dept. of Computer Programming Sandikli Vocational School Afyonkarahisar Turkey Eskisehir Osmangazi University Dept. of Computer Engineering Faculty of Engineering and Architecture Eskisehir Turkey

ISBN: (纸本)9781728139920

Phishing is a type of cyber-attack aiming to steal people's confidential information using a bait. Smishing is a form of phishing that is carried out via SMS messages sent to mobile phones. Attackers intend to steal the private information of their victims through the content they send in their SMS messages. Therefore, the detection of smishing messages has a vital role in information security. In this work, a machine learning-based model is proposed to detect smishing messages. Experiments conducted on a relatively large dataset, which contains legitimate and smishing messages, have shown that the proposed model offers a promising detection performance. © 2019 IEEE.

关键词： Large dataset

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：