咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 76 篇 工学
    • 38 篇 计算机科学与技术...
    • 29 篇 软件工程
    • 28 篇 安全科学与工程
    • 18 篇 控制科学与工程
    • 16 篇 信息与通信工程
    • 8 篇 生物医学工程(可授...
    • 7 篇 电子科学与技术(可...
    • 5 篇 机械工程
    • 4 篇 光学工程
    • 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 篇 农学

主题

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

机构

  • 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...

作者

  • 42 篇 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 篇 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 篇 ossmane krini
  • 6 篇 borcsok josef

语言

  • 146 篇 英文
  • 5 篇 中文
  • 2 篇 其他
检索条件"机构=Institute for Computer Architecture and System Programming University of Kassel"
153 条 记 录,以下是81-90 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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 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...
来源: 评论
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... 详细信息
来源: 评论
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 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... 详细信息
来源: 评论
Tool to Derive and Calculate Safety Parameter
Tool to Derive and Calculate Safety Parameter
收藏 引用
International Conference on Information, Communication and Automation Technologies
作者: O. Krini J. Borcsok Computer Architecture and System Programming University of Kassel
The objective is the new development of a Software-Tool, known as FRCas, to calculate the failure rates from various components. This Software-Tool should offer the User the opportunity to determine the failure rate f... 详细信息
来源: 评论
Optimization of Diagnostics with Respect to the Diagnostic Coverage and the Cost Function
Optimization of Diagnostics with Respect to the Diagnostic C...
收藏 引用
International Conference on Information, Communication and Automation Technologies
作者: H. D. Wacker P. Holub J. Borcsok Computer Architecture and System Programming University of Kassel
In this paper the authors study a Safety Instrumented system (SIS) subjected to periodically performed diagnostic measures or tests. They focus their interest onto partial tests similar to partial stroke tests, which ... 详细信息
来源: 评论