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

Euromicro Symposium on Digital System Design

作者： Mahmoud Hussein Reda Nouacer Ansgar Radermacher CEA Laboratory of Model Driven Engineering for Embedded Systems Faculty of Computers and Information Menofia University Egypt CEA Software Reliability and Security Laboratory Gif-sur-Yvette France

Adaptive embedded software systems have the ability to adapt themselves in response to hardware/software failures at runtime. However, ensuring safe adaptive behaviors of these systems is a major challenge. In this paper, we propose an approach to facilitate the validation of such adaptive behaviors. To do so, an architecture description language for automotive embedded systems (EAST-ADL) is used for designing the software. The system design model is then used for generating the embedded software. To ensure that the system behaves correctly at runtime, its adaptive behavior is analyzed using fault injection and monitoring techniques on a virtual platform. This work is part of the European project SafeAdapt, which provides a novel architecture for adaptive systems in the automotive domain. It also describes a particular aspect, virtual validation, in the evolution of the EQUITAS project.

关键词： Adaptation models Adaptive systems Computer architecture Hardware embedded systems Runtime Reliability

来源：评论

学校读者我要写书评

暂无评论

Nonsubsampled contourlet transform based infrared image super-resolution by using sparse dictionary and residual dictionary

International Journal of Multimedia and Ubiquitous Engineeri...

引用

International Journal of Multimedia and Ubiquitous engineering 2016年第7期11卷 219-234页

作者： Li, Kangli Wu, Wei Yang, Xiaomin Zhang, Yingying Yan, Binyu Lu, Wei Jeon, Gwanggil School of Electronics and Information Engineering Sichuan University ChengduSichuan610064 China School of software Engineering Beijing Jiaotong University Beijing100044 China Department of Embedded Systems Engineering University of Incheon 12-1 Songdo-dong Yeonsu-gu Incheon406-772 Korea Republic of

Due to the limitation of hardware, Infrared (IR) image has low-resolution (LR) and poor visual quality. To enhance the Infrared image’s resolution, super-resolution (SR) is a good solution. However, the conventional SR methods have some drawbacks. Firstly, the trained dictionary is an unstructured dictionary, which may lead to worse results. Secondly, the representation of the image is too simple to effectively represent image. Finally, only one high-resolution (HR)-LR dictionary pair is adopted to infer HR IR image. However one HR-LR dictionary pair is not good enough to obtain good results. To resolve these problems, in this paper, firstly, the sparse dictionary is introduced into the IR image SR to get better results. Secondly, nonsubsampled contourlet transform (NSCT) is employed to obtain a better representation of IR image. Finally, to achieve better results, two HR–LR sparse dictionary pairs, which consists of a primitive sparse dictionary pair and a residual sparse dictionary pair, instead of one HR-LR dictionary pair are adopted. The experiment results indicate that the subjective visual effect and objective evaluation acquire excellent performance in the proposed method. Besides, this method is superior to other methods. © 2016 SERSC.

关键词： Image enhancement

来源：评论

学校读者我要写书评

暂无评论

Process and tool support for design patterns with safety requirements 18

Process and tool support for design patterns with safety req...

引用

18th European Conference on Pattern Languages of Program, EuroPLoP 2013

作者： Radermacher, Ansgar Hamid, Brahim Fredj, Manel Ingenierie, Serma Profizi, Jean-Louis CEA LIST Laboratory of Model Driven Engineering for Embedded Systems France IRIT University of Toulouse France Critical Embedded Software Business Unit France ALSTOM Transport Information Solutions France

ISBN: (纸本)9781450334655

The requirement for higher Security and Dependability (S&D) of systems is continuously increasing, even in domains traditionally not deeply involved in such issues. Nowadays, many practitioners express their worries about current S&D software engineering practices. New recommendations should be considered to ground this discipline on two pillars: solid theory and proven principles. We took the second pillar towards software engineering for embedded system applications, focusing on the problem of integrating S&D by design to foster reuse. In this paper, we propose to combine design patterns and Model Driven engineering (MDE) techniques for building component-based applications with safety requirements. The resulting modeling framework serves primarily to capture the basic concepts for specifying safety-oriented design patterns, building an S&D pattern system, and maintain safety properties, with existing modeling artifacts, during the engineering process based on the S&D pattern system. As a proof of concept, we are evaluating the feasibility of the framework through the example of the MooN pattern system for building systems having safety requirements: Communication Based Train Control (CBTC). © 2015 Copyright held by the owner/author(s).

关键词： Application programs

来源：评论

学校读者我要写书评

暂无评论

Towards the automatic verification of behavior preservation at the transformation level for operational model transformations 4

Towards the automatic verification of behavior preservation ...

引用

4th Workshop on the Analysis of Model Transformations, AMT 2015 - co-located with the 18th International Conference on Model Driven engineering Languages and systems, MODELS 2015

作者： Dyck, Johannes Giese, Holger Lambers, Leen Schlesinger, Sebastian Glesner, Sabine System Analysis and Modeling Group Hasso Plattner Institute at the University of Potsdam Germany Software Engineering for Embedded Systems Technical University of Berlin Germany

The correctness of model transformations and, in particular, behavior preservation is important for model-driven engineering of high quality software. Behavior preservation verification techniques have been pre-sented with automatic tool support for the instance level, i.e. for a given source and target model specified by the model transformation. However, up until now there is no automatic verification approach avail-able for operational model transformations at the transformation level, i.e. for all source and target models specified by an operational model transformation. In this paper, we outline a first approach towards the automatic verification of behavior preservation for operational model transformations at the transformation level extending our previous re-sults for relational model transformations. In particular, we show that in restricted cases the behavior preservation problem for an operational model transformation can be reduced to invariant checking for graph transformation with priorities illustrated by a simple example.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Systematic generation of standard compliant tool support of diagrammatic modeling languages 15

Systematic generation of standard compliant tool support of ...

引用

ACM/IEEE International Conference on Model Driven engineering Languages and systems (MODELS)

作者： Alexis Fouché Florian Noyrit Sébastien Gérard Maged Elaasar CEA Laboratory of Model Driven Engineering for Embedded Systems Gif-sur-Yvette France Crossplatform Software Inc. Ottawa Canada Department of Systems and Computer Engineering Carleton University Ottawa Canada

ISBN: (纸本)9781467369084

In the Model-Driven engineering community, the abstract syntax of modeling languages is usually defined and implemented using metamodeling techniques. However, it is not the case for the concrete syntax of graphical modeling languages. Indeed, this concern is mostly specified by informal means. This practice leaves considerable leeway in the implementation and raises several standards compliance issues. Hence, toolsmiths can only rely on their interpretation of the standard and lack of systematic way to build conforming tool support. In this context, a first normative specification of the concrete syntax of UML 2.5 has been recently released using Diagram Definition. In this paper, we propose an approach that uses those formal specifications to systematically generate modeling language tool support that guarantees compliance to standard notation. We assess the approach on a subset of the UML class diagram implemented within the open-source Papyrus tool.

关键词： Unified modeling language Syntactics Standards Concrete Visualization Shape Grammar

来源：评论

学校读者我要写书评

暂无评论

Infrared Image Super-Resolution by Using Sparse Dictionary and Nonsubsampled Contourlet Transform

Infrared Image Super-Resolution by Using Sparse Dictionary a...

引用

International Conference on Advanced Information Technology and Sensor Application (AITS)

作者： Kangli Li Wei Wu Xiaomin Yang Yingying Zhang Binyu Yan Wei Lu Gwanggil Jeon Sichuan University School of Electronics and Information Engineering Chengdu China Beijing Jiaotong University School of software Engineering Beijing China Department of Embedded Systems Engineering University of Incheon Incheon Republic of Korea

Due to the limitation of hardware, Infrared (IR) image has low-resolution (LR) and poor visual quality. Infrared image super-resolution (SR) is a good solution for this problem. However, the conventional SR methods have some drawbacks. Firstly, the trained dictionary is an unstructured dictionary, which may lead to worse results. Secondly, the representation of the image is too simple to effectively represent image. To resolve these problems, in this paper, firstly, the sparse dictionary is introduced into the IR image SR to get better results. Secondly, nonsubsampled contour let transform (NSCT) is employed in the proposed method to obtain a better representation of IR image. The experiment results indicate that the subjective visual effect and objective evaluation are acquired excellent performance in the proposed method. Besides, this method is superior to other methods in the paper.

关键词： Dictionaries Image resolution Transforms Feature extraction Training Interpolation Image reconstruction

来源：评论

学校读者我要写书评

暂无评论

Data-dependent controller synthesis to enable reliable and safe interoperability of medical devices 14

Data-dependent controller synthesis to enable reliable and s...

引用

8th International Conference on Pervasive Computing Technologies for Healthcare, PERVASIVEHEALTH 2014

作者： Bathelt-Tok, Franziska Glesner, Sabine Blankenstein, Oliver Software Engineering for Embedded Systems Technische Universität Berlin Germany Endocrinology Charité Berlin Germany

ISBN: (纸本)9781631900112

Due to the lack of formal data treatment within the controller synthesis process, a lot of manual effort is needed to enable a reliable and safe interoperability of medical devices. This manual effort makes the process time-consuming, expensive, error-prone and, thus, reduces the will to apply it to real-world questions. To tackle this problem we build up the basis for the generic modeling and correct composition of data related device behavior using algebraic Petri nets. Hence, we are able to synthesize controllers that ensure safety critical and data-dependent functional properties cost-efficiently and automatically so that devices can be combined properly and almost independently from their manufacturers. Copyright © 2014 ICST.

关键词： Interoperability

来源：评论

学校读者我要写书评

暂无评论

Optimal residential load scheduling based on time varying pricing scheme

Optimal residential load scheduling based on time varying pr...

引用

Student Conference on Research and Development (SCOReD)

作者： Haider Tarish Haider Ong Hang See W. Elmenreich Department of Computer and Software Engineering University of Al-Mustansiriyah Baghdad Iraq Department of Electronics and Communication Engineering Universiti Tenaga Nasional Kajang Selangor Malaysia Institute of Networked and Embedded Systems/Lakeside Labs Alpen-Adria-Universität Klagenfurt Klagenfurt Austria

ISBN: (纸本)9781467395731

Demand response (DR) has been getting widespread attention for smart grids to manage the required power demand with the available power supply resources. The recent integration of information and communication technology (ICT) systems has presented new opportunities for residential load scheduling systems to improve energy consumption by shifting or curtailing the demand required with respect to price change or emergency cases. In this paper, an optimal residential load scheduling system (ORLS) is proposed for dynamic scheduling of household appliances on the basis of a time of use (TOU) pricing scheme using iterative optimization method. The proposed load scheduling system encourages customers to manage their energy consumption to achieve lower energy bills and balance load consumption. Simulation results show that employing the proposed ORLS system benefits the customers by reducing their energy bill and the utility companies by decreasing the peak load of required customer load demand. The proposed residential load scheduling system based on TOU allows customers to reduce their energy bills by up to 31% and to decrease the peak load by up to 35%.

关键词： Home appliances Companies Energy consumption Load management Pricing Load modeling Dynamic scheduling

来源：评论

学校读者我要写书评

暂无评论

Temperature-aware software-based self-testing for delay faults 15

Temperature-aware software-based self-testing for delay faul...

引用

Design, Automation and Test in Europe Conference and Exhibition

作者： Ying Zhang Zebo Peng Jianhui Jiang Huawei Li Masamro Fujita School of Software Engineering Tongji University China Embedded Systems Lab Linköping University Sweden State Key Laboratory of Computer Architecture Chinese Academy of Sciences China VLSI Design and Education Center University of Tokyo Japan

ISBN: (纸本)9783981537048

Delay defects under high temperature have been one of the most critical factors to affect the reliability of computer systems, and the current test methods don't address this problem properly. In this paper, a temperature-aware software-based self-testing (SBST) technique is proposed to self-heat the processors within a high temperature range and effectively test delay faults under high temperature. First, it automatically generates high-quality test programs through automatic test instruction generation (ATIG), and avoids over-testing caused by nonfunctional patterns. Second, it exploits two effective powerintensive program transformations to self-heat up the processors internally. Third, it applies a greedy algorithm to search the optimized schedule of the test templates in order to generate the test program while making sure that the temperature of the processor under test is within the specified range. Experimental results show that the generated program is successful to guarantee delay test within the given temperature range, and achieves high test performance with functional patterns.

关键词： Delays Program processors Temperature distribution Power dissipation Circuit faults Schedules

来源：评论

学校读者我要写书评

暂无评论

Methods of model quality in the automotive area

Methods of model quality in the automotive area

引用

software engineering 2014

作者： Reicherdt, Robert Glesner, Sabine Software Engineering of Embedded Systems Technische Universität Berlin Ernst-Reuter-Platz 7 Berlin10587 Germany

ISBN: (纸本)9783885796213

MATLAB Simulink is the most widely used industrial tool for developing complex embedded systems in the automotive industry. These models often consist of multiple thousands of blocks and a large number of hierarchy levels. The increasing complexity leads to challenges for quality assurance as well as for maintenance of the models. In this article, we present an novel approach for slicing Simulink Models using dependence graphs and demonstrate its efficiency using case studies from the automotive and avionics domain. With slicing we can reduce the complexity of the models removing unrelated elements, thus paving the way for subsequent static quality assurance methods. Moreover, slicing enables the use of techniques like change impact analysis on the model level. © Gessellschaft für Informatik, Bonn 2014.

关键词： Quality assurance

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：