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

12th international conference on embedded and real-time computing systems and applications

作者： Pereira, Nuno Andersson, Bjorn Tovar, Eduardo Polytechn Inst IPP Hurray Res Grp Oporto Portugal

ISBN: (纸本)0769526764

Consider the problem of scheduling sporadic message transmission requests with deadlines. For wired channels, this has been achieved successfully using the CAN bus. For wireless channels, researchers have recently proposed a similar solution;a collision-free medium access control (AMC) protocol that implements static-priority scheduling. Unfortunately no implementation has been reported, yet. We implement and evaluate it to find that the implementation indeed is collision-free and prioritized. this allows us to develop schedulability analysis for, the implementation. We measure the response times of messages in our implementation and find that our new response-time analysis indeed offers an upper bound on the response times. this enables a new class of wireless real-time systems with timeliness guarantees for sporadic messages and it opens-up a new research area: schedulability analysis for wireless networks.

关键词： Wireless telecommunication systems

来源：评论

学校读者我要写书评

暂无评论

An RTOS API translator for model-driven embedded software development

An RTOS API translator for model-driven embedded software de...

引用

12th international conference on embedded and real-time computing systems and applications

作者： Maeng, Ji Chan Kim, Jong-Hyuk Ryu, Minsoo College of Information and Communications Hanyang University South Korea

ISBN: (纸本)0769526764

In this paper, we present a model-driven approach to RTOS-based embedded software development and an automated tool that can produce RTOS-specific code. Our contributions are twofold. First, we defined generic RTOS APIs (Application Programming Interfaces) that can capture most of typical RTOS services but are not bound to any specific RTOS. the generic RTOS APIs can be used as a means for describing application's RTOS-related behavior at an early design stage. We then developed an automated transformation tool that can generate functional code by transforming generic RTOS APIs into RTOS-specific APIs. Our tool, called TransPI, is able to produce 'C' code aimed at POSIX-compliant RTOSs, and is also configurable to target other RTOSs that do not conform to the POSLX standard.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Finite horizon QoS prediction of reconfigurable firm real-time systems

Finite horizon QoS prediction of reconfigurable firm real-ti...

引用

12th international conference on embedded and real-time computing systems and applications

作者： Amirijoo, Mehdi Tesanovic, Aleksandra Andersson, Jorgen Son, Sang H. Linkoping Univ Dept Comp & Informat Sci S-58183 Linkoping Sweden Carnegie Mellon Univ Inst Software Engn Pittsburgh PA 15213 USA Univ Virginia Dept Comp Sci Charlottesville VA 22903 USA

ISBN: (纸本)0769526764

Updating real-time system software is often needed in response to errors and added requirements to the software. Stopping a running application, updating the software, and then restarting the application is not suitable for systems with high availability requirements. On the other hand, dynamically updating a system may increase the execution time of the tasks, thus, degrading the performance of the system. Degradation is not acceptable for performance critical real-time systems as there are strict requirements on the performance. In this paper we present an approach that enables dynamic reconfiguration of a real-time system, where the performance of the system during a reconfiguration satisfies a given worst-case performance specification. Evaluation shows that the presented method is efficient in guaranteeing the worst-case performance of dynamically reconfigurable firm real-time systems.

关键词： real time systems

来源：评论

学校读者我要写书评

暂无评论

Modeling reflex-healing autonomy for large-scale embedded systems

引用

ieee TRANSACTIONS ON systems MAN AND CYBERNETICS PART C-applications AND REVIEWS 2006年第3期36卷 292-303页

作者： Nordstrom, Steven G. Shetty, Shweta S. Neema, Sandeep K. Bapty, theodore A. Vanderbilt Univ Inst Software Integrated Syst Nashville TN 37235 USA

High-energy physics experiments require an extraordinary amount of real-time computation, and the computers implementing the online data processing must be very reliable because of the large cost associated with operating the facilities and the potential for loss of irreplaceable data. Conventional redundancy-based fault tolerance and adaptive approaches are not appropriate because of the tremendous system cost (fault tolerance is limited to a maximum of 10% overhead). In this work, we developed a framework for building robust embedded systems, which utilizes an autonomic reflex-healing approach to achieve fault tolerance. Components of the framework implement user-defined failure adaptation strategies within the context of a large-scale embedded environment. the tools embrace a model-based approach combining design specification and code-generation for both simulation and system implementation. In this paper we present the concepts and entities of the reflex and healing framework.

关键词： autonomic computing behavioral modeling embedded large scale

来源：评论

学校读者我要写书评

暂无评论

Optimization of real-time systems timing specifications

Optimization of real-time systems timing specifications

引用

12th international conference on embedded and real-time computing systems and applications

作者： Andrei, Stefan Cheng, Albert Mo Kim Natl Univ Singapore Sch Comp Singapore 117548 Singapore Univ Houston Dept Comp Sci Houston TX USA

ISBN: (纸本)0769526764

real-time logic (RTL) is useful for the verification of a safety assertion SA with respect to the specification SP of a real-time system. Since the satisfiability problem for RTL is undecidable, there were many efforts to find proper heuristics for proving that SP -> SA holds. However, none of such heuristics necessarily finds an "optimal implication". After verifying SP -> SA and the system implementing SP is deployed, performance changes as a result of power-saving, faulty components, and cost-saving in the processing platform for the tasks specified in SP affect the computation times of the specified tasks. this leads to a different but related SP, which would violate the original SP -> SA theorem if SA remains the same. It is desirable, therefore, to determine an optimal SP with the slowest possible computation times for its tasks such that the SA is still guaranteed. this is clearly a fundamental issue in the design and implementation of highly dependable real-time/embedded systems. this paper tackles this fundamental issue by describing a new method for relaxing SP and tightening SA such that SP -> SA is still a theorem. Experimental results show that less than 20% overhead of the running time of the algorithm for the verification of SP -> SA is needed to find an optimal theorem.

关键词： optimization formal method timing constraint

来源：评论

学校读者我要写书评

暂无评论

A pre-processing based real-time address tracer for embedded microprocessors

A pre-processing based real-time address tracer for embedded...

引用

13th ieee international conference on Electronics, Circuits and systems

作者： Jeang, Yuan-Long Wey, Tzuu-Shaang Wang, Huimg-Yu Chen, Ching-Ta Kun Shan Univ Dept Informat Engn Tao Yuan Tainan County Taiwan Kun Shan Univ Dept Elect Engn Tao Yuan Tainan County Taiwan Natl Kaohsiung Univ Appl Sci Dept Elect Engn Kaohsiung 807 Taiwan

ISBN: (纸本)9781424403943

A real-time address tracer provides designers a real-time monitoring capability which is the kernel of a dynamic debugging system for any embedded system such as the ARM7TDMI. According to the localities of programs, in our previous version, we have provided an effective compression method, which usually uses only 8 to 32 entries (32 bits each entry) of table, a simple counter and low cost hardware instead of 0.5k to 4k entries of dictionary and window used by LZW-based compression methods. this new version adds a preprocessing and its corresponding post-procession steps such that the needed tracing memories can be further greatly decreased by shifting the on-line work loading to the preprocessing and post-processing. Comparing with other work on cost and compression ratio for several benchmarks, the average results of our system are also better than others.

关键词： Program debugging

来源：评论

学校读者我要写书评

暂无评论

COS: A configurable OS for embedded SoC systems

COS: A configurable OS for embedded SoC systems

引用

12th international conference on embedded and real-time computing systems and applications

作者： Lin, Hsin-hung Hsueh, Chih-Wen Natl Chung Cheng Univ Dept Comp Sci & Informat Engn Real Time Syst Lab Chiayi 621 Taiwan Natl Taipei Univ Grad Inst Networking & Multimedia Embedded System & Wireless Networking Lab Taipei 106 Taiwan Natl Taipei Univ Dept Comp Sci & Informat Engn Taipei 106 Taiwan

ISBN: (纸本)0769526764

As the increasing of system performance and computing power, embedded systems are more complicated and interactive. therefore, operating system (OS) plays a more important role in embedded systems to utilize various hardware and software resources. However, no OS can meet all requirements of various embedded systems. Due to the advance of reconfigurable processors, system requirements can be more dynamic. embedded OS has becoming more critical in the development of embedded systems and thus there is a strong need of configurable embedded OS to better and faster build up the target system. In this paper, we propose a configurable OS, called COS, based on SOA (Service-Oriented Architecture) for embedded SoC (System on a Chip) systems to build an application specific OS according to the system requirements. COS can be easily configured to better utilize the resources of the target embedded platform and have better support to the embedded application. Moreover, the COS can easily extend new features or functionatities of other OSes and even be adapted to the designs of other OSes. We implement COS on an ARM platform to prove its configurability and also evaluate its overhead. We believe that COS can be configured to meet the various requirements in embedded SoC systems and help to speed up the embedded system development process.

关键词： configurable OS Service-Oriented Architecture SoC embedded OS

来源：评论

学校读者我要写书评

暂无评论

Dynamic Adaptation of Stability Periods for Service Level Agreements

Dynamic Adaptation of Stability Periods for Service Level Ag...

引用

12th international conference on embedded and real-time computing systems and applications

作者： Nogueira, Luis Pinho, Luis Miguel Polythecn Inst Porto IPP Hurray Res Grp Porto Portugal

ISBN: (纸本)0769526764

A QoS adaptation to dynamically changing system conditions that takes into consideration the user's constraints on the stability of service provisioning is presented. the goal is to allow the system to make QoS adaptation decisions in response to fluctuations in task traffic flow, under the control of the user We pay special attention to the case where monitoring the stability period and resource load variation of Service Level Agreements for different types of services is used to dynamically adapt future stability periods, according to a feedback control scheme. System's adaptation behaviour can be configured according to a desired confidence level on future resource usage. the viability of the proposed approach is validated by preliminary experiments.

关键词： Dynamical systems

来源：评论

学校读者我要写书评

暂无评论

A fast elliptic curve based key agreement protocol-on-chip (PoC) for securing networked embedded systems

A fast elliptic curve based key agreement protocol-on-chip (...

引用

12th international conference on embedded and real-time computing systems and applications

作者： Duraisamy, Roshan Salcic, Zoran Morales-Sandoval, Miguel Feregrino-Uribe, Claudia Univ Auckland Dept Elect & Comp Engn Auckland 1 New Zealand Natl Inst Astrophys Opt & Elect Dept Comp Sci Puebla Mexico

ISBN: (纸本)0769526764

Securing communication sessions between networked embedded systems is a major challenge that needs to be addressed as an increasing number of such systems become Internet-enabled. Securely and quickly establishing a session key between communicating nodes in a network requires authentication of node identities. In this paper, we propose a simple elliptic-curve based key negotiation protocol suitable for fully hardware implementation as a protocol on chip (PoC). the protocol uses the elliptic curve variants of both the Diffie Hellmann exchange and the Digital Signature Algorithm. Timing results demonstrate that an end-to-end protocol run can be performed in as little as 28ms on a 25MHz clock, which is several times faster than previous microprocessor-based implementations of similar protocols. the results indicate that session keys can thereby have shorter lifetimes, since there is little computational overhead in re-generating them, thus enhancing overall security of the networked embedded systems.

关键词： embedded systems

来源：评论

学校读者我要写书评

暂无评论

Relaxed correctness for firm real-time databases

Relaxed correctness for firm real-time databases

引用

12th ieee international conference on embedded and real-time computing systems and applications, RTCSA 2006

作者： Lindström, Jan University of Helsinki Department of Computer Science P.O. Box 68 00014 Helsingin yliopisto Finland

ISBN: (纸本)0769526764

real-time database system must meet time constraints in addition to the integrity constraints. Concurrency control is one of the main issues in the studies of real-time database systems. Traditional concurrency control methods use serializability as the correctness criterion when transactions are executed concurrently. However, strict serializability as the correctness criterion is not always suitable in real-time databases. Instead, correctness requirements vary from one type of transactions to another and from one data type to another. In this paper we propose a concurrency control method witch is based on optimistic methods with a extension to relaxed serializability and semantic conflict resolution so that a special purpose concurrency control scheme can be applied. Proposed method is evaluated and tested in prototype implementation of real-time database system for telecommunications. © 2006 ieee.

关键词： Database systems

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：