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

ACM/IEEE International Conference on Model Driven engineering Languages and systems Companion

作者： Mathias Blumreiter Joel Greenyer Francisco Javier Chiyah Garcia Verena Klos Maike Schwammberger Christoph Sommer Andreas Vogelsang Andreas Wortmann Institute for Software Systems Hamburg University of Technology Software Engineering Group Leibniz Universitat Hannover Heriot-Watt University Software and Embedded Systems Engineering Technische Universitat Berlin Department of Computing Science University of Oldenburg Heinz Nixdorf Institute and Dept. of Computer Science Paderborn University Automated Systems Engineering Technologies Technische Universitat Berlin Software Engineering RWTH Aachen University

ISBN: (纸本)9781728151267

With the increasing complexity of Cyber-Physical systems, their behavior and decisions become increasingly difficult to understand and comprehend for users and other stakeholders. Our vision is to build self-explainable systems that can, at run-time, answer questions about the system's past, current, and future behavior. As hitherto no design methodology or reference framework exists for building such systems, we propose the Monitor, Analyze, Build, Explain (MAB-EX) framework for building self-explainable systems that leverage requirements- and explainability models at run-time. The basic idea of MAB-EX is to first Monitor and Analyze a certain behavior of a system, then Build an explanation from explanation models and convey this EXplanation in a suitable way to a stakeholder. We also take into account that new explanations can be learned, by updating the explanation models, should new and yet un-explainable behavior be detected by the system.

关键词： Explainability Self-adaptive systems Cyber-physical systems Adaptive systems Cyber-physical systems MONITOR Runtime Buildings

来源：评论

学校读者我要写书评

暂无评论

Towards self-explainable cyber-physical systems

arXiv

引用

arXiv 2019年

作者： Blumreiter, Mathias Greenyer, Joel Garcia, Francisco Javier Chiyah Klös, Verena Schwammberger, Maike Sommer, Christoph Vogelsang, Andreas Wortmannz, Andreas Institute for Software Systems Hamburg University of Technology Software Engineering Group Leibniz Universität Hannover Germany Heriot-Watt University Software and Embedded Systems Engineering Technische Universität Berlin Germany Department of Computing Science University of Oldenburg Heinz Nixdorf Institute Dept. of Computer Science Paderborn University Automated Systems Engineering Technologies Technische Universität Berlin Germany Software Engineering RWTH Aachen University

With the increasing complexity of Cyber-Physical systems, their behavior and decisions become increasingly difficult to understand and comprehend for users and other stakeholders. Our vision is to build self-explainable systems that can, at run-time, answer questions about the system's past, current, and future behavior. As hitherto no design methodology or reference framework exists for building such systems, we propose the Monitor, Analyze, Build, Explain (MAB-EX) framework for building self-explainable systems that leverage requirements- A nd explainability models at run-time. The basic idea of MAB-EX is to first Monitor and Analyze a certain behavior of a system, then Build an explanation from explanation models and convey this EXplanation in a suitable way to a stakeholder. We also take into account that new explanations can be learned, by updating the explanation models, should new and yet unexplainable behavior be detected by the system. Copyright © 2019, The Authors. All rights reserved.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

A Qualitative Evaluation of IPv6 for the Industrial Internet of Things

引用

Procedia Computer Science 2018年 134卷 377-384页

作者： Benjamin Feldner Paula Herber HARTING IT Software Development Berlin Germany Software and Embedded Systems Engineering Technische Universität Berlin Germany

IPv6 is the most promising protocol for complex and distributed network applications in the era of the Internet of Things and Industry 4.0. However, its industrial adoption, in particular in smart manufacturing systems, has been much slower than expected. Although the potential advantages of IPv6 for the industrial internet of things are well-known, it is not easily usable in practice. In this paper, we present a qualitative evaluation of IPv6 for the industrial internet of things. We have conducted expert interviews with five industrial IPv6 users. Our key results indicate that the major problems are threefold: First, tool support and existing libraries are incomplete or immature. Second, users still often have to manually configure the IP communication. Third, there are complicated one-fits-all protocols prevalent. We derive recommendations for further developments to advance and ease the use of IPv6 for smart manufacturing systems.

关键词： Industrial Internet of Things Distributed Applications IPv6 Smart Manufacturing

来源：评论

学校读者我要写书评

暂无评论

Information Flow Analysis of Combined Simulink/Stateflow Models

Information Flow Analysis of Combined Simulink/Stateflow Mod...

引用

IEEE International Conference on Enabling Technologies

作者： Marcus Mikulcak Paula Herber Thomas Gothel Sabine Glesner Software and Embedded Systems Engineering Group Technische Universität Berlin Germany

Simulink and Stateflow are widely-used industrial tools for the development of embedded systems, e.g. in the automotive domain. In modern automotive control systems, multiple components are typically interconnected, and, nowadays, also have a connection to the internet. This poses severe threats, as safety-critical components may be subject to remote attacks, which divert control or information flow from non-critical to safety-critical components. In this paper, we present a novel approach for the analysis of information flow in combined Simulink/Stateflow models. The key idea of our approach is that we analyze the information flow in a given model by computing an over-approximation of the control flow and deduce whether all control flow conditions on a given path combined permit information flow or not. With our approach, we safely rule out the existence of information flow on specific paths. Thus, it enables us to reason about non-interference and the compliance with security policies.

关键词： Information Flow Analysis Simulink Stateflow

来源：评论

学校读者我要写书评

暂无评论

Deep Learning Based Edge Defect Detection

Deep Learning Based Edge Defect Detection

引用

International Conference on Emerging Trends and Innovations In engineering And Technological Research (ICETIETR)

作者： P K Vidheesha Jerin K Antony Jobymol Jacob VLSI and Embedded Systems Model Engineering College Thrikkakara Engineer-Embedded Software Ignitarium Technology Solutions Pvt Ltd Model Engineering College Thrikkakara

ISBN: (纸本)9781538657454

An important aspect in the process of production is the difficulty to predict all possible problems or defects before initializing the product. It is necessary to have a continuous inspection process of products to ensure their qualities. In addition, some defects transcend the product quality issues. Many of the inspection processes of products, are still performed manually. The drawbacks of such human inspection is that it is time consuming and costlier. Moreover, the efficiency of human labor can be easily affected by environmental and personal factors. In this context, automated inspection processes are highly advantageous. In this work, a system to automatically identify edge defects in planar objects eg: Razor blades is implemented.

关键词： Inspection Blades Training Image edge detection Neurons Neural networks

来源：评论

学校读者我要写书评

暂无评论

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

来源：评论

学校读者我要写书评

暂无评论

Human Activity Recognition Using Motion Sensors 18

Human Activity Recognition Using Motion Sensors

引用

Proceedings of the 16th ACM Conference on embedded Networked Sensor systems

作者： Soyoung Jeong Taewoo Kim Rasit Eskicioglu Ajou University Department of Software and Computer Engineering YeongtongGu Suwon GyunggiDo South Korea University of Duisburg-Essen Networked Embedded Systems Essen Germany

ISBN: (纸本)9781450359528

Body-worn inertial sensors has become a convenient tool for sensing and recognizing human activities. The work presented in this poster uses Nordic Semiconductor's Thingy:52 IoT Sensor kit as the data collection device. We built a body area network with four Thingy:52 devices that collect data of the wearer. In this work, we focused only on periodic and continuous activities and experimented with walking and running.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Context-Driven Mobile Learning Using Fog Computing

Context-Driven Mobile Learning Using Fog Computing

引用

International Conference on Platform Technology and Service (PlatCon)

作者： Hameed Pinjari Anand Paul Gwanggil Jeon Seungmin Rho School of Computer Science and Engineering Kyungpook National University Daegu South Korea Department of Embedded Systems and Engineering Incheon National University Incheon South Korea Department of Media Software Sungkyul University Anyang South Korea

There has been a rapid development in mobile, cloud computing and sensor technologies which enables learners to learn more effectively, flexibly and efficiently from anywhere. Using mobile devices for learning exploits the features of mobile computing such that they can be used to develop customizable systems that help in context-aware learning. Mobile learning refers to the use of mobile devices for the purpose of learning while on the move. In this paper we propose to apply fog computing in mobile learning in order to achieve efficient context-aware learning. Using fog computing reduces the latency and the time complexity of using a mobile learning application.

关键词： Cloud computing Task analysis Edge computing Computer architecture Mobile handsets Servers Mobile computing

来源：评论

学校读者我要写书评

暂无评论

NesJ: A Java to NesC Translation Engine with Runtime Validation for Wireless Sensor Networks

NesJ: A Java to NesC Translation Engine with Runtime Validat...

引用

IEEE SoutheastCon

作者： Jiannan Zhai Luyao Cheng Kewen Li Stepan Mazokha Institute for Sensing and Embedded Network Systems Engineering Florida Atlantic University Boca Raton FL USA School of Computing Clemson University Clemson SC USA Institute of Software China University of Petroleum Qingdao Shandong China

ISBN: (纸本)9781538661345

embedded system application development for Wireless Sensor Networks (WSN) can be challenging, due to the low-power and lean-resource nature of the embedded system hardware, and most embedded system SDKs lack support for Object Oriented Programming (OOP). NesC is the embedded programming language used to develop applications for TinyOS, a widely-used operating system for WSNs, and it suffers from its steep learning curve and complexity of debugging and validation. In this paper, we present NesJ, a translation engine that converts applications written in Java, a widely-used OOP language, to NesC with built-in support for runtime validation. (i) We describe the rules used to guide the translation process. (ii) We present the design of the translation engine. (iii) Finally, we demonstrate our approach with case studies.

关键词： WSN NesC souce-to-souce translation runtime validation

来源：评论

学校读者我要写书评

暂无评论

Towards Service-Oriented Design of Hybrid systems Modeled in Simulink

Towards Service-Oriented Design of Hybrid Systems Modeled in...

引用

IEEE Annual International Computer software and Applications Conference (COMPSAC)

作者： Timm Liebrenz Paula Herber Thomas Göthel Sabine Glesner Technische Universität Berlin Software and Embedded Systems Engineering Berlin Germany

Simulink is widely used in model-driven ***, the complexity of hybrid systems that are modeled in Simulink limits the applicability of reuse techniques, which impedes cost-efficient design of complex systems. In particular, a systematic use and reuse of complex submodels, e.g. components with varying structure and functionality, is currently not supported. In this paper, we present an approach for service-oriented design in Simulink. The main idea is that we create a modular representation of complex Simulink structures as services with an expressive and formally defined dynamic interface. A dynamic interface captures not only the types of input and output signals but also their discrete and continuous behavior. Our main contribution is threefold: First, we introduce services in Simulink. Second, we transfer the concept of feature modeling to Simulink to express the variability of a service. Third, we introduce the novel concept of hybrid contracts to define the dynamic interface of a service. With our approach, we enable the designer (1) to define hybrid services that are reusable, and (2) to efficiently develop complex hybrid systems from a given set of services. We demonstrate this with a case study of a hybrid temperature control system.

关键词： software packages Contracts Adaptation models Switches Cloning Interoperability Heating systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：