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

14th ACM International Conference on Modeling, Analysis, and Simulation of Wireless and Mobile systems, MSWiM'11

作者： Steine, Marcel Ngo, Cuong Viet Oliver, Ramon Serna Geilen, Marc Basten, Twan Fohler, Gerhard Decotignie, Jean-Dominique Department of Electrical Engineering Eindhoven University of Technology Netherlands Dept. of Real-Time Systems Technische Universtät Kaiserslautern Germany Real-Time Software and Networking CSEM Neuchâtel Switzerland Embedded Systems Institute Eindhoven Netherlands

ISBN: (纸本)9781450308984

Network dynamics, such as mobility and increase in network load, can influence the performance of aWireless Sensor Net- work (WSN). In this paper, we introduce a method which exploits design-time knowledge of the application scenario dynamics to construct a proactive run-time reconfiguration approach. The approach anticipates for the impact that predefined dynamic events can have on the performance of the WSN by switching between various modes of operation defined at design-time. A mode defines the values for the controllable parameters of the network protocol stack. Our approach explicitly differentiates between parameters that can be adapted locally, per node, and those that should be considered globally for the whole WSN. Design-time defini- tion of modes results in a very low run-time overhead as we only require detection of the mode to use and a low overhead synchronization to change global parameters. The approach is made robust by using a recovery approach for nodes un- aware of their global mode after, for example, (re-)joining the network. Experiments with an office monitoring deploy- ment and extensive simulations of a cow-health monitoring scenario show that our approach can easily be adopted by practical WSN deployments and results in a significant re- duction in resource usage, e.g., power consumption in our examples, at a very low run-time overhead cost. Copyright 2011 ACM.

关键词： Design

来源：评论

学校读者我要写书评

暂无评论

Intelligent task mapping using machine learning

Intelligent task mapping using machine learning

引用

International Conference on Computational Intelligence and software engineering

作者： Tetzlaff, Dirk Glesner, Sabine Group Software Engineering for Embedded Systems Berlin Institute of Technology Germany

ISBN: (纸本)9781424453924

Task scheduling and task allocation, which are vital parts of mapping parallel programs to concurrent architectures, must take into account the interprocessor communication, whose overheads have emerged as the major performance limitation in parallel applications. Furthermore, its power consumption is an important research focus which must be addressed. Finding an optimal solution requires information about the runtime behavior, which is not known at compile time. Moreover, the computational complexity leads to heuristic approaches based on conservative assumptions that are unable to exploit all of the program's optimization potential. In this paper, we propose a novel approach to automatically generate architecture- and application-specific heuristics for power- and communication-aware task mapping using machine learning techniques to predict how programs behave at runtime. The key advantage of machine learning techniques is their ability to find relevant information in a high-dimensional space. This yields more precise heuristics than those based on pure static assumptions, as our experimental results show. Because learning is done in an off-line training phase once per architecture, the compile time itself is not extended as in other heuristic approaches like genetic or evolutionary algorithms. ©2010 IEEE.

关键词： Heuristic methods

来源：评论

学校读者我要写书评

暂无评论

Towards the semi-automatic verification of parameterized real-time systems using network invariants

Towards the semi-automatic verification of parameterized rea...

引用

8th IEEE International Conference on software engineering and Formal Methods, SEFM 2010

作者： Glesner, Sabine Göthel, Thomas Software Engineering for Embedded Systems Berlin Institute of Technology TU Berlin Berlin Germany

ISBN: (纸本)9780769541532

Real-time systems often have to cope with an unbounded number of components. For example, an operating system scheduler has to be able to manage an arbitrary number of threads. At the same time, the correctness of central control units such as schedulers is crucial for the correctness of the whole system. However, the comprehensive and semi-automatic verification of real-time systems that are parameterized with an unbounded number of components is still an open problem. In this paper, we propose an approach in which parameterized systems can be verified using a combination of theorem proving and model checking. The interactive theorem prover is used for the overall verification task delegating subsequent proof-goals to automatic verification tools. The central proof method is based on network invariants. The idea of network invariants is to over approximate all instances of a parameterized system and to perform the verification on the abstract model. We have adopted an existing network invariant approach for the verification of centralized real-time systems such as schedulers and formalized the theory in the Isabelle/HOL theorem prover. Preliminary results on applying our framework to small examples are promising and make it worth to evaluate the approach with larger case studies in future work. © 2010 IEEE.

关键词： Real time systems

来源：评论

学校读者我要写书评

暂无评论

Specification, verification and implementation of business processes using CSP

Specification, verification and implementation of business p...

引用

2010 4th International Symposium on Theoretical Aspects of software engineering, TASE 2010

作者： Kleine, Moritz Göthel, Thomas Technische Universität Berlin Software Engineering Group Germany Technische Universität Berlin Software Engineering for Embedded Systems Germany

ISBN: (纸本)9780769541488

Nowadays, the problem in business process management (BPM) is that BPM systems should both be easy to use for business process developers and be based on a sound formal method. Business process management systems are often based on semiformal modeling techniques such as event-driven process chains (EPC) or UML. Unlike semiformal modeling techniques, the process calculus CSP comes with mature verification support. Surprisingly little work has been done on using CSP for business process modeling and management. In this paper, we present our approach to business process management, which is based on the observation that CSP is well suited not only for specifying business processes and verifying workflows but also for executing workflows using our CSP4J framework. We report on a workflow server, which is specified in CSP and implemented using our CSP4J framework. The server accepts workflows that are modeled in CSP and also implemented using CSP4J. This allows us to integrate the mature verification support of CSP into both the management system itself and the development process of the end users' business process definitions. © 2010 IEEE.

关键词： Calculations

来源：评论

学校读者我要写书评

暂无评论

Polynomial-time hierarchy of computable reals

引用

Journal of Computational Information systems 2011年第4期7卷 1108-1115页

作者： Chen, Qingliang Su, Kaile Wu, Lijun Department of Computer Science Jinan University Guangzhou 510632 China Key Laboratory of Embedded System and Service Computing Ministry of Education Tongji University Shanghai China Key Laboratory of High Confidence Software Technologies Ministry of Education Peking University Beijing China Institute for Integrated and Intelligent Systems Griffith University Brisbane Australia School of Computer Science and Engineering University of Electronic Science and Technology Chengdu 610054 China

In mathematics, various representations of real numbers have been investigated and all these representations are proved to be mathematically equivalent. Furthermore, it is known that all effective versions of these representations lead to the same class of "computable real numbers". However, when subrecursive (such as primitive recursive) is taken into account, these representations can lead to different notions of "computable real numbers". This paper will look into the polynomial-time version of the problem for computable real numbers under different representations. We will summarize the known results to exhibit the comprehensive hierarchy they form. Our goal is to clarify systematically how the polynomial-time computability depends on the representations of the real numbers. Copyright © 2011 Binary Information Press.

关键词： Polynomial approximation

来源：评论

学校读者我要写书评

暂无评论

Proving consistency of VDM models using HOL 10

Proving consistency of VDM models using HOL

引用

25th Annual ACM Symposium on Applied Computing, SAC 2010

作者： Vermolen, Sander D. Hooman, Jozef Larsen, Peter Gorm Software Engineering Research Group Delft University of Technology Delft Netherlands Embedded Systems Institute Radboud University Nijmegen Netherlands Engineering College of Aarhus Dalgas Avenue 2 Aarhus Denmark

ISBN: (纸本)9781605586380

Although consistency of formal models is crucial, consistency proofs should not be a large burden to the user. Hence, it is important to have access to efficient proof support which is able to automate a large part of the consistency proofs. We have developed a tool that automatically translates a large subset of VDM and its associated proof obligations, which ensure model consistency, to the theorem prover HOL. In addition, powerful tactics have been constructed to discard most of the proof obligations automatically. The application of our approach to four case studies shows that a high degree of automation can be achieved. © 2010 ACM.

关键词： Theorem proving

来源：评论

学校读者我要写书评

暂无评论

Intelligent Task Mapping Using Machine Learning

Intelligent Task Mapping Using Machine Learning

引用

International Conference on Computational Intelligence and software engineering (CiSE)

作者： Dirk Tetzlaff Sabine Glesner Group Software Engineering of Embedded Systems Berlin Institute of Technology Germany

关键词： Runtime Machine learning Heuristic algorithms Computer architecture Training Processor scheduling Resource management

来源：评论

学校读者我要写书评

暂无评论

Specification, Verification and Implementation of Business Processes Using CSP

Specification, Verification and Implementation of Business P...

引用

Theoretical Aspects of software engineering (TASE)

作者： Moritz Kleine Thomas Göthel Software Engineering Group Technische Universität Berlin Germany Software Engineering for Embedded Systems Technische Universität Berlin Germany

关键词： Business Unified modeling language Petri nets Semantics Process control Servers Synchronization

来源：评论

学校读者我要写书评

暂无评论

Consistent modeling using multiple UML profiles 10

Consistent modeling using multiple UML profiles

引用

Proceedings of the 13th international conference on Model driven engineering languages and systems: Part I

作者： Florian Noyrit Sébastien Gérard François Terrier Bran Selic CEA LIST Laboratory of Model Driven Engineering for Embedded Systems Gif-sur-Yvette France Malina Software Corp. Nepean Ontario Canada

ISBN: (纸本)9783642161445

The design of complex technical system invariably involves multiple domain-specific languages to cover the many different facets of such systems. However, unless the languages are designed to be used in combination, this typically leads to conflicting specifications that are difficult to reconcile due to the ontological and other differences between the languages used. In this paper, we describe a pragmatic but systematic approach to resolving this problem for the special but common case in which the domain-specific languages are all defined as UML profiles.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Virtual integration of model-based functions under autosar

引用

AutoTechnology 2010年第1期10卷 46-50页

作者： Michailidis, Alexander Ringler, Thomas Hedenetz, Bernd Kowalewski, Stefan Department of E/E Architectures and Standards Group Research and Advanced Engineering Division Daimler AG Böblingen Germany Team E/E System Design and Applications Group Research and Advanced Engineering Division Daimler AG Böblingen Germany Software for Embedded Systems RWTH Aachen University Germany

The functionality of comfort and interior systems such as interior light, seat heating, central locking is typically distributed on several Electronic Control Units (ECU). These systems very often consist of a central main function and many other smaller so-called client functions. The system or rather the ECU integration and thus the examination of the interplay of the functions with one another or with the hardware specific software is carried out in the right branch of the V-model according to the availability of the real ECUs. The construction of such models was up to now not practical due to the inconsistent ECU software architectures at the different suppliers. With the extensive adoption of the standardized Autosar software architecture and a consistent function-oriented Autosar SWC description, the design of virtual integration models in the earlier stages of development is for the first time possible with a reasonable effort.

关键词： software architecture

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：