An Efficient Run Time Control Flow Errors Detection by DCT Technique

2012 ◽  
Author(s):  
Hung-Chuan Lai ◽  
Shi-Jinn Horng ◽  
Pingzhi Fan ◽  
Xian Wang ◽  
Yi Pan
Keyword(s):  
Control Flow ◽  
Time Control ◽  
Run Time

From the Modeling of Parallel Relational Query Processing to Query Optimization and Simulation

1998 ◽  
Vol 08 (01) ◽  
pp. 51-62 ◽  
Author(s):  
Lionel Brunie ◽  
Harald Kosch ◽  
Wolfgang Wohner
Keyword(s):  
Query Processing ◽  
Query Optimization ◽  
Petri Net ◽  
Control Strategies ◽  
Optimization Methods ◽  
Control Flow ◽  
Control Mechanisms ◽  
Time Control ◽  
Run Time ◽  
High Level

This paper presents a novel theoretical model for representing parallel relational query processing. It is based on two components. First, a scheme graph, called DPL graph, describes all possible execution dependencies between operators, including communication and run-time control mechanisms. Second, a timed high-level Petri net is used for modeling the data- and control flow of DPL graphs. Our model provides the framework for implementing a parallel query optimizer which is able to access sub-search spaces not yet considered. Furthermore, based on the DPL graphs and its related timed high-level Petri net, a simulation environment has been designed for testing run-time control strategies as well as query optimization methods.

Reliability-Aware Proactive Energy Management in Hard Real-Time Systems

2010 ◽  
Vol 1 (4) ◽  
pp. 1-11
Author(s):  
Satyakiran Munaga ◽  
Francky Catthoor
Keyword(s):  
Energy Management ◽  
Ad Hoc ◽  
Failure Criteria ◽  
Worst Case ◽  
Time Control ◽  
Run Time ◽  
Cost Penalty ◽  
Hard Real Time ◽  
The Cost ◽  
Time Systems

Advanced technologies such as sub-45nm CMOS and 3D integration are known to have more accelerated and increased number of reliability failure mechanisms. Classical reliability assessment methodology, which assumes ad-hoc failure criteria and worst-case for all influencing dynamic aspects, is no longer viable in these technologies. In this paper, the authors advocate that managing temperature and reliability at run-time is necessary to overcome this reliability-wall without incurring significant cost penalty. Nonlinear nature of modern systems, however, makes the run-time control very challenging. The authors suggest that full cost-consciousness requires a truly proactive controller that can efficiently manage system slack with future in perspective. This paper introduces the concept of “gas-pedal,” which enhances the effectiveness of the proactive controller in minimizing the cost without sacrificing the hard guarantees required by the constraints. Reliability-aware dynamic energy management of a processor running AVC motion compensation task is used as a motivational case study to illustrate the proposed concepts.

Software Based Methods to Harden Embedded Software at Run-Time: A Survey

2015 ◽  
Author(s):  
Michael Kramer ◽  
Martin Horauer
Keyword(s):  
Embedded Systems ◽  
Computer Systems ◽  
Computer Software ◽  
Control Flow ◽  
Test Procedures ◽  
Modern Computer ◽  
Systems Software ◽  
Personal Computer Software ◽  
Control Flow Checking ◽  
Run Time

Embedded Systems software reliability is increasingly important, therefore methods to harden existing software are needed. In general, hardening software against various failures is a necessity in modern computer systems. A lot of work has been published regarding many possible ways to achieve this non-functional requirement. Relevant topics include, e.g., test procedures, recommended development flows, and hardware measures like watchdog timers. One of these methods seems very promising to be software implemented in modern embedded systems: Control Flow Checking by signatures. Various authors have shown the effectiveness and feasibility of Control Flow Checking (CFC) by signatures for personal computer software. For instance it has been shown for standard computer-systems, that CFC is capable of reducing undetected control flow errors by at least one magnitude. This survey will focus on the applicability of such software hardening methods to embedded systems, while adhering mainly to software based approaches. Published methods will be summarized and compared. Furthermore methods to simplify derived control-flow graphs to essential states will be emphasized. Finally the possibility to apply run-time verification to the Control-flow Checking Software is considered.

APPLICATION OF A REAL-TIME CONTROL STRATEGY FOR BAYESIAN BELIEF NETWORKS TO SHIP CLASSIFICATION PROBLEM SOLVING

1993 ◽  
Vol 07 (03) ◽  
pp. 513-526 ◽  
Author(s):  
S.A. MUSMAN ◽  
L.W. CHANG ◽  
L.B. BOOKER
Keyword(s):  
Real Time ◽  
Control Strategy ◽  
Bayesian Belief Networks ◽  
System Structure ◽  
Belief Networks ◽  
Classification Problems ◽  
Real Time Control ◽  
Time Control ◽  
Run Time ◽  
Ship Classification

Many classification problems must be performed in a timely or time constrained manner. For this reason, the generation of control schemes which are capable of responding in real-time are fundamental to many applications. For our problem, that of ship classification, tactical scenarios often dictate the response time required from a system. In this paper, we discuss efficient ways to prioritize and gather evidence within belief networks. We also suggest ways in which we can structure our large problem into a series of small ones. This both pre-defines much of our control strategy into the system structure and also localizes our run-time control issues into much smaller networks. The overall control strategy thus includes the combination of both of these methods. By combining them correctly we can reduce the amount of dynamic computation required during run-time and thus improve the responsiveness of the system.

scholarly journals Low-Complexity Run-time Management of Concurrent Workloads for Energy-Efficient Multi-Core Systems

2020 ◽  
Vol 10 (3) ◽  
pp. 25
Author(s):  
Ali Aalsaud ◽  
Fei Xia ◽  
Ashur Rafiev ◽  
Rishad Shafik ◽  
Alexander Romanovsky ◽  
...  
Keyword(s):  
Time Management ◽  
Energy Efficient ◽  
Low Cost ◽  
Low Complexity ◽  
Optimization Approach ◽  
System Configuration ◽  
Efficient System ◽  
Time Control ◽  
Time Optimization ◽  
Run Time

Contemporary embedded systems may execute multiple applications, potentially concurrently on heterogeneous platforms, with different system workloads (CPU- or memory-intensive or both) leading to different power signatures. This makes finding the most energy-efficient system configuration for each type of workload scenario extremely challenging. This paper proposes a novel run-time optimization approach aiming for maximum power normalized performance under such circumstances. Based on experimenting with PARSEC applications on an Odroid XU-3 and Intel Core i7 platforms, we model power normalized performance (in terms of instruction per second (IPS)/Watt) through multivariate linear regression (MLR). We derive run-time control methods to exploit the models in different ways, trading off optimization results with control overheads. We demonstrate low-cost and low-complexity run-time algorithms that continuously adapt system configuration to improve the IPS/Watt by up to 139% compared to existing approaches.

Modeling and Simulation of Discrete Event Robotic Systems Using Extended Petri Nets

2012 ◽  
pp. 51-69
Author(s):  
Gen’ichi Yasuda
Keyword(s):  
Petri Nets ◽  
Real Time ◽  
Discrete Event ◽  
Control Flow ◽  
Coordination Mechanism ◽  
Robotic Systems ◽  
Real Time Control ◽  
Time Control ◽  
Extended Petri Nets ◽  
Implementation Problems

This chapter deals with modeling, simulation, and implementation problems encountered in robotic manufacturing control systems. Extended Petri nets are adopted as a prototyping tool for expressing real-time control of robotic systems and a systematic method based on hierarchical Petri nets is described for their direct implementation. A coordination mechanism is introduced to coordinate the event activities of the distributed machine controllers through friability tests of shared global transitions. The proposed prototyping method allows a direct coding of the inter-task cooperation by robots and intelligent machines from the conceptual Petri net specification, so that it increases the traceability and the understanding of the control flow of a parallel application specified by a net model. This approach can be integrated with off-the-shelf real-time executives. Control software using multithreaded programming is demonstrated to show the effectiveness of the proposed method.

Sign in / Sign up

Export Citation Format

Share Document