咨询与建议

限定检索结果

文献类型

  • 136 篇 会议
  • 20 篇 期刊文献

馆藏范围

  • 156 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 77 篇 工学
    • 38 篇 计算机科学与技术...
    • 29 篇 软件工程
    • 28 篇 安全科学与工程
    • 18 篇 控制科学与工程
    • 16 篇 信息与通信工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 电子科学与技术(可...
    • 5 篇 机械工程
    • 5 篇 电气工程
    • 4 篇 光学工程
    • 4 篇 建筑学
    • 4 篇 生物工程
    • 3 篇 仪器科学与技术
    • 3 篇 交通运输工程
    • 2 篇 动力工程及工程热...
    • 2 篇 土木工程
    • 2 篇 环境科学与工程(可...
  • 34 篇 理学
    • 17 篇 数学
    • 11 篇 统计学(可授理学、...
    • 10 篇 系统科学
    • 7 篇 物理学
    • 3 篇 生物学
  • 18 篇 管理学
    • 17 篇 管理科学与工程(可...
    • 5 篇 工商管理
  • 7 篇 医学
    • 6 篇 基础医学(可授医学...
    • 6 篇 临床医学
    • 4 篇 药学(可授医学、理...
    • 2 篇 公共卫生与预防医...
  • 2 篇 经济学
    • 2 篇 应用经济学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 农学

主题

  • 32 篇 safety
  • 21 篇 computer archite...
  • 15 篇 hardware
  • 14 篇 system-on-chip
  • 14 篇 iec standards
  • 14 篇 software
  • 10 篇 monitoring
  • 7 篇 reliability
  • 7 篇 software reliabi...
  • 7 篇 vehicles
  • 6 篇 failure rate
  • 6 篇 field programmab...
  • 5 篇 acceleration
  • 5 篇 probability
  • 5 篇 mathematical mod...
  • 4 篇 accident prevent...
  • 4 篇 hazards
  • 4 篇 iso standards
  • 4 篇 process control
  • 4 篇 middleware

机构

  • 25 篇 department of co...
  • 17 篇 computer archite...
  • 13 篇 department of co...
  • 9 篇 icas institute f...
  • 8 篇 institute for co...
  • 7 篇 chair for comput...
  • 7 篇 computer archite...
  • 6 篇 mart learning ed...
  • 6 篇 universitat kass...
  • 4 篇 computer archite...
  • 4 篇 computer archite...
  • 4 篇 university of ka...
  • 4 篇 institute of fun...
  • 4 篇 hima paul hildeb...
  • 4 篇 engineering of r...
  • 3 篇 university of ka...
  • 3 篇 dept. of compute...
  • 3 篇 computer archite...
  • 2 篇 university of ap...
  • 2 篇 university kasse...

作者

  • 44 篇 josef börcsök
  • 29 篇 ali hayek
  • 21 篇 börcsök josef
  • 15 篇 börcsök j.
  • 15 篇 boercsoek josef
  • 14 篇 hayek ali
  • 10 篇 roy abi zeid dao...
  • 8 篇 j. börcsök
  • 8 篇 schwarz m.h.
  • 8 篇 ossmane krini
  • 8 篇 schwarz michael
  • 7 篇 j. borcsok
  • 7 篇 michael schwarz
  • 7 篇 michael schreibe...
  • 7 篇 daou roy abi zei...
  • 7 篇 krini abderrahim
  • 6 篇 holub p.
  • 6 篇 boercsoek j.
  • 6 篇 josef boercsoek
  • 6 篇 borcsok josef

语言

  • 148 篇 英文
  • 6 篇 中文
  • 2 篇 其他
检索条件"机构=Department of Computer Architecture and System Programming University of Kassel"
156 条 记 录,以下是81-90 订阅
On-chip safety system for embedded control applications
On-chip safety system for embedded control applications
收藏 引用
Mediterranean Electrotechnical Conference (MELECON)
作者: Ali Hayek Josef Börcsök Chair for Computer Architecture and System Programming University of Kassel Kassel Germany
In this paper nl approach of an on-chip safety system architecture conforming to the second edition of the standard IEC 61508 is presented. The presented chip considers on-chip redundancy with the presence of diagnost... 详细信息
来源: 评论
Network-based safety-related vibration and position analysis for railway vehicles
Network-based safety-related vibration and position analysis...
收藏 引用
International Conference on Connected Vehicles and Expo (ICCVE)
作者: Samer Telawi Yusuf Sima Bashier Machmur Ali Hayek Josef Börcsök Udo Pinders Walter Schreiber Department of Computer Architecture and System Programming University of Kassel Kassel Germany Universitat Kassel Kassel Hessen DE Reuschling GmbH & Co KG Hattingen Germany
Nowadays, many considerable efforts are focused on the development of efficient and effective systems that increase the productivity of vehicles by controlling and manipulating the extraordinary states, such as slidin... 详细信息
来源: 评论
HICore1: “Safety on a chip” turnkey solution for industrial control
HICore1: “Safety on a chip” turnkey solution for industria...
收藏 引用
International Conference on Application Specific systems (ASAP), architectures and Processors
作者: Ali Hayek Bashier Machmur Michael Schreiber Josef Börcsök Stefan Gölz Mario Epp University of Kassel Chair for Computer Architecture and System Programming Kassel Germany HIMA Paul Hildebrandt GmbH + Co KG Chip-based Solutions Bruhl Germany
In this paper a complete safety controller on a single chip is presented. HICore 1 is a comprehensive solution that includes a certified application specific integrated circuit for safety-critical applications accordi... 详细信息
来源: 评论
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
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 P... 详细信息
来源: 评论
Modeling a safety-related system for continuous non-invasive blood pressure monitoring
Modeling a safety-related system for continuous non-invasive...
收藏 引用
IEEE Biomedical Circuits and systems (BIOCAS)
作者: Huiyun Sheng Michael Schwarz Josef Börcsök Department of Computer architecture and System Programming University of Kassel Kassel Germany
In recent years, Pulse Transit Time (PTT) - based non-invasive continuous blood pressure monitoring systems have been investigated extensively. But the most relevant studies did not pay attention to the safety require... 详细信息
来源: 评论
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
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 P...
来源: 评论
Validation of a SIL3 middleware for safety-related system-on-chips
Validation of a SIL3 middleware for safety-related system-on...
收藏 引用
Proceedings of the International Convention MIPRO
作者: Emil Delic Michael Schreiber Ali Hayek Josef Börcsök Institute for Computer Architecture and System Programming University of Kassel Kassel Germany
The aim is reducing IEC 61508 certification effort for safety-related applications. Therefore, an object-oriented middleware has been implemented which, once being SIL3-certified, would allow transferring safety-relat... 详细信息
来源: 评论
Design and implementation of an FPGA-based 1oo4-architecture for safety-related system-on-chips
Design and implementation of an FPGA-based 1oo4-architecture...
收藏 引用
International Conference on Microelectronics, ICM
作者: Ali Hayek Moneer Al-Bokhaiti Josef Börcsök Chair for Computer Architecture and System Programming University of Kassel Kassel Germany
FPGAs introduce a very attractive platform for the designing process of complex embedded systems. The complexity of these systems should be controlled to fulfill high demands and requirements, especially in safety-rel... 详细信息
来源: 评论
Concept for a SIL3 middleware encapsulating safety-related aspects of applications for an 8051-based SIL3 multi-core system-on-chip
Concept for a SIL3 middleware encapsulating safety-related a...
收藏 引用
Proceedings of the International Convention MIPRO
作者: Michael Schreiber Emil Delic Ali Hayek Josef Börcsök Institute for Computer Architecture and System Programming University of Kassel Kassel Germany
In this paper, a concept for a SIL3 middleware implementing safety-related aspects is proposed. The middleware is intended to be used by applications that are written for a recently developed safety system-on-chip. Ea... 详细信息
来源: 评论
A survey on OPC and OPC-UA: About the standard, developments and investigations
A survey on OPC and OPC-UA: About the standard, developments...
收藏 引用
XXII International Symposium on Information, Communication and Automation Technologies, ICAT
作者: M. H. Schwarz J. Börcsök Safety Computer Technology University of Kassel Kassel Germany Computer Architecture und System Programming University of Kassel Kassel Germany
In 1996, a new standard was announced that should serve as a software interface to exchange process data and to solve the problem to exchange process data using different industrial protocols and communication systems... 详细信息
来源: 评论