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

Design, Automation and Test in Europe Conference and Exhibition

作者： Victor Pollex Timo Feld Frank Slomka Ulrich Margull Ralph Mader Gerhard Wirrer Institute of Embedded Systems/Real-Time Systeme Ulm University Ulm Germany Faculty of Electrical Engineering and Computer Science Ingolstadt University of Applied Sciences Ingolstadt Germany Continental AG Regensburg Germany

ISBN: (纸本)9781450321532

Engine control units in the automotive industry are particular challenging real-time systems regarding their real-time analysis. Some of the tasks of such an engine control unit are triggered by the engine, i.e. the faster the angular velocity of the engine, the more frequent the tasks are executed. Furthermore, the execution time of a task may vary with the angular velocity of the engine. As a result the worst case does not necessarily occur when all tasks are activated simultaneously. Hence this behavior cannot be addressed appropriately with the currently available real-time analysis methods. In this paper we make a first step towards a real-time analysis for an engine control unit. We present a sufficient real-time analysis assuming that the angular velocity of the engine is arbitrary but fixed.

关键词： Angular velocity Real-time systems Time factors Camshafts Timing Ignition

来源：评论

学校读者我要写书评

暂无评论

Short paper: Experimental analysis of misbehavior detection and prevention in VANETs

Short paper: Experimental analysis of misbehavior detection ...

引用

IEEE Vehicular Networking Conference (VNC)

作者： Norbert Bißmeyer Klaus Henrik Schröder Jonathan Petit Sebastian Mauthofer Kpatcha M. Bayarou Fraunhofer-Institut fur Sichere Informationstechnologie Darmstadt Hessen DE Computer Science Darmstadt University of Technology Darmstadt Germany Distributed and Embedded Security Group University of Twente Twente Netherlands Mobile Networks Fraunhofer Institute for Secure Information Technology (SIT) Darmstadt Germany

Vehicular Ad-hoc Networks (VANETs) aim to increase, among others, traffic safety and efficiency by warning and informing the driver about road events and hazards. Due to their direct impact on drivers' safety, external and internal attacks have to be prevented. While authentication prevents most of the external attacks, internal attackers are still able to misuse the system and inject fake - but authenticated - messages. Therefore, misbehavior detection and prevention mechanisms are required to mitigate such attacks. In this paper we provide a categorization of internal attackers to identify most relevant attack variants. Instead of using simulations, as done by most related works, we use an implementation on real vehicles to demonstrate the feasibility of location-based attacks. Especially, we demonstrate that a malware application installed on a vehicle can provoke false warnings on benign vehicles that are within the attacker's communication range. This exemplary attack is possible due to insufficiently specified VANET security standards. By using our proposed countermeasures, we show that this internal attack is detected and blocked, preventing false driver warnings.

关键词： Vehicles Telecommunication standards Vehicular ad hoc networks Receivers Gold Malware

来源：评论

学校读者我要写书评

暂无评论

An Investigation on the Accuracy of Regional Ocean Models Through Field Trials

An Investigation on the Accuracy of Regional Ocean Models Th...

引用

IEEE International Conference on Robotics and Automation

作者： Ryan N. Smith Kimia Nazarzadeh Jonathan Kelly Gaurav S. Sukhatme School of Electrical Engineering and Computer Science Queensland University of Technology Brisbane QLD 4001 Australia. Robust Robotics Group Computer Science and Artificial Intelligence Laboratory Massachusetts Institute of Technology Cambridge MA 02142 USA. Robotic Embedded Systems Laboratory Department of Computer Science University of Southern California Los Angeles CA 90089 USA.

ISBN: (纸本)9781467356404

Recent efforts in mission planning for underwater vehicles have utilised predictive models to aid in navigation, optimal path planning and drive opportunistic sampling. Although these models provide information at a unprecedented resolutions and have proven to increase accuracy and effectiveness in multiple campaigns, most are deterministic in nature. Thus, predictions cannot be incorporated into probabilistic planning frameworks, nor do they provide any metric on the variance or confidence of the output variables. In this paper, we provide an initial investigation into determining the confidence of ocean model predictions based on the results of multiple field deployments of two autonomous underwater vehicles. For multiple missions of two autonomous gliders conducted over a two-month period in 2011, we compare actual vehicle executions to simulations of the same missions through the Regional Ocean Modeling System in an ocean region off the coast of southern California. This comparison provides a qualitative analysis of the current velocity predictions for areas within the selected deployment region. Ultimately, we present a spatial heat-map of the correlation between the ocean model predictions and the actual mission executions. Knowing where the model provides unreliable predictions can be incorporated into planners to increase the utility and application of the deterministic estimations.

关键词： Regional Ocean Models Through Field Trials mission planning underwater vehicles

来源：评论

学校读者我要写书评

暂无评论

Development of a Practical computer Network Course through Netkit Virtualization Tool

引用

Procedia computer science 2013年 18卷 2583-2586页

作者： Paulo H.M. Gurgel Luiz H.C. Branco Ellen F. Barbosa Kalinka R.L.J.C. Branco Critical Embedded Systems Laboratory Institute of Mathematics and Computer Science University of São Paulo Avenida Trabalhador São-Carlense 400 13566-020 São Carlos Brazil São Paulo Federal Institute of Education Science and Technology Engenheiro Heitor de Souza Pinheiro sn 14801-600 Araraquara Brazil

Virtualization tools have been used in computer network classes to provide a environment for practice experiments. Although some papers describe these tools and their technical benefits, they do not provide quantitative information about its effectiveness. This paper presents a proposal for systematic use of this category of tools in computer classes and a evaluation of use Netkit tool in computer network classes. It will be shown how tutorial sections has been developed to these courses, the receptivity from the students through surveys and a statistical analysis of how much students grades can be improved by applying such tutorials. Finally, it will be possible to conclude that, in fact, the use of such tools is strongly advised.

关键词： Netkit Ipv6 security Virtualization e-learning computer networks Conceptual modelling

来源：评论

学校读者我要写书评

暂无评论

ODSS: A decision support system for ocean exploration

ODSS: A decision support system for ocean exploration

引用

International Conference on Data Engineering Workshops

作者： Kevin Gomes Danelle Cline Duane Edgington Michael Godin Thom Maughan Mike McCann Tom O'Reilly Fred Bahr Francisco Chavez Monique Messié Jnaneshwar Das Kanna Rajan Monterey Bay Aquarium Research Institute Moss Landing CA USA Monterey Bay Aquarium Research Institute Moss Landing California USA Robotic Embedded Systems Laboratory Department of Computer Science University of Southern California Los Angeles CA USA

ISBN: (纸本)9781467353038

We have designed, built, tested and fielded a decision support system which provides a platform for situational awareness, planning, observation, archiving and data analysis. While still in development, our inter-disciplinary team of computer scientists, engineers, biologists and oceanographers has made extensive use of our system in at-sea experiments since 2010. The novelty of our work lies in the targeted domain, its evolving functionalities that closely tracks how ocean scientists are seeing the evolution of their own work practice, and its actual use by engineers, scientists and marine operations personnel. We describe the architectural elements and lessons learned over the more than two years use of the system.

关键词： Oceans Decision support systems Robots Marine vehicles Planning Vehicles Collaboration

来源：评论

学校读者我要写书评

暂无评论

Localization in Wireless Networks via Laser Scanning and Bayesian Compressed Sensing

Localization in Wireless Networks via Laser Scanning and Bay...

引用

IEEE Workshop on Signal Processing Advances in Wireless Communications

作者： Sofia Nikitaki Philipp M.Scholl Kristof Van Laerhoven Panagiotis Tsakalides Institute of Computer Science Foundation for Research and Technology - Hellas (FORTH-ICS) Embedded Sensing Systems Technische Universitat Darmstadt

ISBN: (纸本)9781467355766

WiFi indoor localization has seen a renaissance with the introduction of RSSI-based approaches. However, manual finger-printing techniques that split the indoor environment into pre-defined grids are implicitly bounding the maximum achievable localization accuracy. WoLF, our proposed Wireless localization and Laser-scanner assisted Fingerprinting system, solves this problem by automating the way indoor fingerprint maps are generated. We furthermore show that WiFi localization on the generated high resolution maps can be performed by sparse reconstruction which exploits the peculiarities imposed by the physical characteristics of indoor environments. Particularly, we propose a Bayesian Compressed Sensing (BCS) approach in order to find the position of the mobile user and dynamically determine the sufficient number of APs required for accurate positioning. BCS employs a Bayesian formalism in order to reconstruct a sparse signal using an undetermined system of equations. Experimental results with data collected in a university building validate WoLF in terms of localization accuracy under actual environmental conditions.

关键词： Localization Networks Laser

来源：评论

学校读者我要写书评

暂无评论

Resource-oriented consistency analysis of engineering processes

Resource-oriented consistency analysis of engineering proces...

引用

14th International Conference on Enterprise Information systems, ICEIS 2012

作者： Bauer, Bernhard Eisenbarth, Thomas Frenzel, Christoph Honke, Benjamin Programming Distributed Systems Lab. Institute of Computer Science University of Augsburg Augsburg Germany

ISBN: (纸本)9789898565105

A number of popular engineering processes and methodologies emerged over the past years which attracted interest in research and industry. For process enactment, enterprises have to match requirements of engineering processes with existing resources. Therefore, it has to be analyzed if employees have sufficient skills or if infrastructure has sufficient capabilities to match the requirements of a situational process. Both, maintaining a skill and resource database and matching requirements against this database are an enormously challenging and time-consuming task. Additionally, this matching has to be carried out regularly as employees join and leave the company and skills change over time. Based upon a formal, logical base, we present an approach that combines ontological and metamodeling technical spaces and enables an automatic analysis of engineering processes regarding the existence of necessary resources.

关键词： Ontology

来源：评论

学校读者我要写书评

暂无评论

Multi-path OLSR performance analysis in a large testbed environment

Multi-path OLSR performance analysis in a large testbed envi...

引用

13th International Conference on distributed Computing and Networking, ICDCN 2012

作者： Szwabe, Andrzej Misiorek, Pawel Urbanski, MacIej Juraschek, Felix Güneş, Mesut Institute of Control and Information Engineering Poznan University of Technology M. Sklodowskiej-Curie 5 60-965 Poznan Poland Institute of Computer Science Distributed Embedded Systems Freie Universität Berlin Germany

ISBN: (纸本)9783642259586

Optimized Link State Routing (OLSR) protocol is a leading proactive routing protocol for Mobile Ad-hoc Networks (MANETs). Since the OLSR protocol in its standard version does not support multi-path packet forwarding, we have developed and implemented its multi-path extension. As a result of a slightly modified path computation algorithm and the application of backpressure Max-Weight Scheduling (MWS) policy, the MANETs can utilize the extended functionality based on OLSR. The experiment results presented in this paper compare the performance of the standard and extended OLSR versions in a large congested MANET (i.e., in large-scale DES-Testbed located at Freie Universitat Berlin). © 2012 Springer-Verlag.

关键词： Mobile ad hoc networks

来源：评论

学校读者我要写书评

暂无评论

Detection and defense strategies against attacks on an artificial hormone system running on a mixed signal chip

Detection and defense strategies against attacks on an artif...

引用

15th IEEE International Symposium on Object/Component/Service-oriented Real-Time distributed Computing, ISORC 2012

作者： Leineweber, Christoph Pacher, Mathias Betting, Benjamin Von Rosen, Julius Brinkschulte, Uwe Hedrich, Lars Embedded Systems Institute for Computer Science Johann Wolfgang Goethe University Frankfurt Frankfurt am Main Germany

ISBN: (纸本)9780769546438

The Artificial Hormone System (AHS) is a self organizing system which allocates tasks to processing elements. It works in a distributed way, is able to hold real-time conditions and can run in a mixed-signal chip environment significantly increasing system reliability. Yet the hormone mechanisms offer new ways for malicious attacks which can affect the correct functioning of the AHS. Such attacks may cause severe damage if the AHS is used in an embedded (maybe real-time) environment. Therefore, this paper deals with analyzing malicious attacks on the AHS. We present several ways of attacking the AHS and resulting detection and defense strategies. We also evaluate these strategies in the paper and demonstrate that they can help to protect the AHS from attacks. © 2012 IEEE.

关键词： Network security

来源：评论

学校读者我要写书评

暂无评论

Gossip routing, percolation, and restart in wireless multi-hop networks

Gossip routing, percolation, and restart in wireless multi-h...

引用

IEEE Conference on Wireless Communications and Networking

作者： Bastian Blywis Philipp Reinecke Mesut Günes Katinka Wolter Institute of Computer Science - Distributed Embedded Systems & Dependable Systems Freie Universität Berlin Germany

Route and service discovery in wireless multi-hop networks applies flooding or gossip routing to disseminate and gather information. Since packets may get lost, retransmissions of lost packets are required. In many protocols the retransmission timeout is fixed in the protocol specification. In this paper we demonstrate that optimization of the timeout is required in order to ensure proper functioning of flooding schemes. Based on an experimental study, we apply percolation theory and derive analytical models for computing the optimal restart timeout. To the best of our knowledge, this is the first comprehensive study of gossip routing, percolation, and restart in this context.

关键词： Routing Analytical models Wireless communication Spread spectrum communication Topology Routing protocols

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：