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

IEEE International Mixed-Signals, Sensors, and systems Test Workshop, IMS3TW

作者： Benaouneur Senouci Anne-Johan Annema Mark Bentum Hans G. Kerkhoff Telecommunication Engineering Group Computer Architecture for Embedded Systems Group Electrical Engineering Mathematics and Computer Science Faculty University of Twente Enschede Netherlands Integrated Circuit Design Group Electrical Engineering Mathematics and Computer Science Faculty University of Twente Enschede Netherlands Telecommunication Engineering Group University of Twente Enschede Netherlands Computer Architecture for Embedded Systems Group Electrical Engineering Mathematics and Computer Science Faculty University of Twente Enschede Netherlands

A new direction in short-range wireless applications has appeared in the form of high-speed data communication devices for distances of a few meters. Behind these embedded applications, a complex Hardware/Software architecture is built. Dependability is one of the major challenges in these systems. Obviously in such systems, the attribute reliability has to be investigated for various components and at different abstractions levels. This paper presents a hardware platform for wireless system dependability analysis as an alternative for the time consuming global system simulation technique. The platform is built using several instances of one of the commercial FPGA platforms available on the market place. Based on this platform we introduce a new methodology and a flow to investigate the different parts of system dependability at different abstraction levels. The benefits to use the proposed methodology are two fold: first it takes care of the whole system (HW/SW part, mixed RF and wireless part) and second, the hardware platform enables to explore the application's reliability under real environmental conditions in order to study the effect of the environment threats on the system.

关键词： Wireless communication Hardware Reliability System-on-a-chip computer architecture Libraries embedded systems

来源：评论

学校读者我要写书评

暂无评论

Certifiable Development Process for Information Processing in the Measurement Domain on the Base of 3W-Models

Certifiable Development Process for Information Processing i...

引用

IEEE Annual computer Software and Applications Conference Workshops (COMPSACW)

作者： Irina Gushchina Wolfgang Fengler Jirka Ciemala Detlef Streitferdt Computer Architecture and Embedded Systems Group Ilmenau University of Technology Ilmenau Germany Software Architectures and Product Lines Group Ilmenau University of Technology Ilmenau Germany

The paper presents a certifiable development process applicable to hardware and software development for information processing in the measurement domain, especially the dynamic weighing technology. Thereby it is based on the developments of prototypes for new and predecessor systems and product stages. Particular attention is paid to the possibility of calibration.

关键词： Prototypes Mathematical model embedded systems Hardware Safety Measurement uncertainty Field programmable gate arrays

来源：评论

学校读者我要写书评

暂无评论

A Complete Open Source Design Flow for Gowin FPGAs

A Complete Open Source Design Flow for Gowin FPGAs

引用

IEEE International Conference on Field-Programmable Technology (FPT)

作者： Pepijn de Vos Michael Kirchhoff Daniel Ziener Symbiotic EDA University of Twente Enschede Netherlands Group for Computer Architecture and Embedded Systems Technische Universität Ilmenau Ilmenau Germany

ISBN: (纸本)9781665423021;9781665446228

In this paper, we propose an open source design flow for the low cost FPGAs from the company Gowin. Open source design tools are opening the door for custom extensions and modification in the design flow. The proposed design flow which supports almost all Gowin FPGA resources, is based on well-known open source tools, like Yosys and nextpnr, as well as on our proposed open source bitstream generator. The necessary architectural details of the FPGA family are gathered by input fuzzing and comparisons with the vendor tool flow. Experimental results show an almost similar performance as the vendor tools.

关键词： Companies Tools Logic gates Fuzzing Software Generators Design tools

来源：评论

学校读者我要写书评

暂无评论

Towards dependability-aware design of hardware systems using extended program state machines

Towards dependability-aware design of hardware systems using...

引用

2011 14th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, ISORCW 2011

作者： Grüttner, Kim Herrholz, Andreas Kühne, Ulrich Große, Daniel Rettberg, Achim Nebel, Wolfgang Drechsler, Rolf OFFIS - Institute for Information Technology HW/SW Design Methodology Group Oldenburg Germany CoSynth GmbH and Co. KG Oldenburg Germany LSV ENS de Cachan Cachan France University of Bremen Group for Computer Architecture Bremen Germany Carl Von Ossietzky University Oldenburg Embedded Hardware/Software Systems Oldenburg Germany

ISBN: (纸本)9780769543772

Due to the continuous shrinking of the transistor sizes which is strongly driven by Moore's law, reliability becomes a dominant design challenge for embedded systems. Reliability problems arise from permanent errors due to manufacturing, process variations, aging as well as soft errors. As a result, the hardware will consist of unreliable components and hence, the development of embedded systems has to change fundamentally. Therefore, we propose a dependability-aware design approach for hardware systems through integrating dependability into a state-of-the-art system-level design language. Our approach is based on SystemC and extends the Program State Machine model to explicitly observe, diagnose, and compensate faulty behavior. Different compensation mechanisms like run-time reconfiguration or mechanisms for error propagation can be used by the designer during refinement. They are controlled by a new exception-like mechanism. Furthermore, our approach aims to integrate functional verification as well as dependability verification with respect to given fault models. © 2011 IEEE.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Investigating Dependability of Short-Range Wireless embedded systems through Hardware Platform Based Design

Investigating Dependability of Short-Range Wireless Embedded...

引用

Euromicro Symposium on Digital System Design

作者： B. Senouci A.J. Annema M.J. Bentum H.G. Kerkhoff Integrated Circuit Design Group Electrical Engineering Mathematics and Computer Science Faculty Telecommunication Engineering Group Computer Architecture for Embedded Systems /TDT Group Electrical Engineering Mathematics and Computer Science Faculty University of Twente Enschede Netherlands Integrated Circuit Design Group Electrical Engineering Mathematics and Computer Science Faculty University of Twente Enschede Netherlands Telecommunication Engineering Group University of Twente Enschede Netherlands Computer Architecture for Embedded Systems /TDT Group Electrical Engineering Mathematics and Computer Science Faculty University of Twente Enschede Netherlands

Most of the links in future wireless communication networks will be established over relatively short distances. This new direction in wireless communication is adopted and being developed by embedded multimedia applications leaders. Moreover, these short range communications are introduced into critical applications, where the dependability/reliability is mandatory. Thus, dependability concerns around reliability evaluation becomes an essential question to answer, and poses several challenges. Obviously, it's particularly difficult to investigate the reliability of such mixed HW/SW IPs based systems. Therefore, dependability has to be investigated at different abstractions levels, and for all components integrated into the system being designed. In this paper, we discuss the investigation of dependability in wireless short range systems. Firstly we show how a HW platform based dependability investigation can be a very interactive approach; secondly, we describe a real experience in building a wireless hardware platform for short range systems dependability analysis, and finally, based on this wireless network platform, we propose a dependability flow that takes care of the heterogeneous parts of the wireless embedded systems.

关键词： Wireless communication Hardware Software computer architecture Communication system security Reliability System-on-a-chip

来源：评论

学校读者我要写书评

暂无评论

Accurate ICP-based floating-point reasoning 16

Accurate ICP-based floating-point reasoning

引用

Formal Methods in computer Aided Design (FMCAD)

作者： Karsten Scheibler Felix Neubauer Ahmed Mahdi Martin Fränzle Tino Teige Tom Bienmüller Detlef Fehrer Bernd Becker Chair of Computer Architecture University of Freiburg Germany Research Group Hybrid Systems Carl von Ossietzky University of Oldenburg Germany BTC Embedded Systems AG Oldenburg Germany Sick AG Waldkirch Germany

ISBN: (纸本)9780983567868

In scientific and technical software, floating-point arithmetic is often used to approximate arithmetic on physical quantities natively modeled as reals. Checking properties for such programs (e.g. proving unreachability of code fragments) requires accurate reasoning over floating-point arithmetic. Currently, most of the SMT-solvers addressing this problem class rely on bit-blasting. Recently, methods based on reasoning in interval lattices have been lifted from the reals (where they traditionally have been successful) to the floating-point numbers. The approach presented in this paper follows the latter line of interval-based reasoning, but extends it by including bitwise integer operations and cast operations between integer and floating-point arithmetic. Such operations have hitherto been omitted, as they tend to define sets not concisely representable in interval lattices, and were consequently considered the domain of bit-blasting approaches. By adding them to interval-based reasoning, the full range of basic data types and operations of C programs is supported. Furthermore, we propose techniques in order to mitigate the problem of aliasing during interval reasoning. The experimental results confirm the efficacy of the proposed techniques. Our approach outperforms solvers relying on bit-blasting as well as the existing interval-based SMT-solver.

关键词： Cognition Lattices Iterative closest point algorithm Open area test sites Context Computational modeling Encoding

来源：评论

学校读者我要写书评

暂无评论

Towards Dependability-Aware Design of Hardware systems Using Extended Program State Machines

Towards Dependability-Aware Design of Hardware Systems Using...

引用

IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops (ISORCW)

作者： Kim Gruttner Andreas Herrholz Ulrich Kuhne Daniel Grosse Achim Rettberg Wolfgang Nebel Rolf Drechsler HW/SW Design Methodology Group OFFIS Institute of Information Technology Oldenburg Germany CoSynth GmbH and Company KG Oldenburg Germany LSV ENS de Cachan Cachan France Group for Computer Architecture University of Brethemen Bremen Germany Embedded Hardware/Software Systems Carl von Ossietzky University슠of슠Oldenburg Oldenburg Germany

关键词： Computational modeling Hardware Circuit faults computer architecture Fault tolerance Switches Adaptation model

来源：评论

学校读者我要写书评

暂无评论

Self-Awareness for Autonomous systems

引用

PROCEEDINGS OF THE IEEE 2020年第7期108卷 971-975页

作者： Dutt, Nikil Regazzoni, Carlo S. Rinner, Bernhard Yao, Xin Nikil Dutt (Fellow IEEE) received the Ph.D. degree from the University of Illinois at Urbana–Champaign Champaign IL USA in 1989.""He is currently a Distinguished Professor of computer science (CS) cognitive sciences and electrical engineering and computer sciences (EECS) with the University of California at Irvine Irvine CA USA. He is a coauthor of seven books. His research interests include embedded systems electronic design automation (EDA) computer architecture distributed systems healthcare Internet of Things (IoT) and brain-inspired architectures and computing.""Dr. Dutt is a Fellow of ACM. He was a recipient of the IFIP Silver Core Award. He has received numerous best paper awards. He serves as the Steering Committee Chair of the IEEE/ACM Embedded Systems Week (ESWEEK). He is also on the steering organizing and program committees of several premier EDA and embedded system design conferences and workshops. He has served on the Editorial Boards for the IEEE Transactions on Very Large Scale Integration (VLSI) Systems and the ACM Transactions on Embedded Computing Systems and also previously served as the Editor-in-Chief (EiC) for the ACM Transactions on Design Automation of Electronic Systems. He served on the Advisory Boards of the IEEE Embedded Systems Letters the ACM Special Interest Group on Embedded Systems the ACM Special Interest Group on Design Automationt and the ACM Transactions on Embedded Computing Systems. Carlo S. Regazzoni (Senior Member IEEE) received the M.S. and Ph.D. degrees in electronic and telecommunications engineering from the University of Genoa Genoa Italy in 1987 and 1992 respectively.""He is currently a Full Professor of cognitive telecommunications systems with the Department of Electrical Electronics and Telecommunication Engineering and Naval Architecture (DITEN) University of Genoa and a Co-Ordinator of the Joint Doctorate on Interactive and Cognitive Environments (JDICE) international Ph.D. course started initially as EU Erasmus Mundus Project and

Autonomous systems are able to make decisions and potentially take actions without direct human intervention, which requires some knowledge about the system and its environment as well as goal-oriented reasoning. In computer systems, one can derive such behavior from the concept of a rational agent with autonomy (“control over its own actions”), reactivity (“react to events from the environment”), proactivity (“act on its own initiative”), and sociality (“interact with other agents”) as fundamental properties \n[1]\n. Autonomous systems will undoubtedly pervade into our everyday lives, and we will find them in a variety of domains and applications including robotics, transportation, health care, communications, and entertainment to name a few. \nThe articles in this month’s special issue cover concepts and fundamentals, architectures and techniques, and applications and case studies in the exciting area of self-awareness in autonomous systems.

关键词： Special issues and sections Autonomous systems Self-aware Robot sensing systems Computational modeling

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：