A general time model for the specification and design of embedded real-time systems

2003 ◽  
Vol 34 (11) ◽  
pp. 989-1000 ◽  
Author(s):  
Ralf Münzenberger ◽  
Matthias Dörfel ◽  
Richard Hofmann ◽  
Frank Slomka
Author(s):  
William Nieman

Power generation has the goal of maximizing power output while minimizing operations and maintenance cost. The challenge for plant manager is to move closer to reliability limits while being confident the risks of any decision are understood. To attain their goals and meet this challenge they are coming to realize that they must have frequent, accurate assessment of equipment operating conditions, and a path to continued innovation-. At a typical plant, making this assessment involves the collection and effective analysis of reams of complex, interrelated production system data, including demand requirements, load, ambient temperature, as well as the dependent equipment data. Wind turbine health and performance data is available from periodic and real-time systems. To obtain the timeliest understanding of equipment health for all the key resources in a large plant or fleet, engineers increasingly turn to real-time, model-based solutions. Real-time systems are capable of creating actionable intelligence from large amounts and diverse sources of current data. They can automatically detect problems and provide the basis for diagnosis and prioritization effectively for many problems, and they can make periodic inspection methods much more efficient. Technology exists to facilitate prediction of when assets will fail, allowing engineers to target maintenance costs more effectively. But, it is critical to select the best predictive analytics for your plant. How do you make that choice correctly? Real-time condition monitoring and analysis tools need to be matched to engineering process capability. Tools are employed at the plant in lean, hectic environments; others are deployed from central monitoring centers charged with concentrating scarce resources to efficiently support plants. Applications must be flexible and simple to implement and use. Choices made in selection of new tools can be very important to future success of plant operations. So, these choices require solid understanding of the problems to be solved and the advantages and trade-offs of potential solutions. This choice of the best Predictive Analytic solution will be discussed in terms of key technology elements and key engineering elements.


2011 ◽  
Vol 179-180 ◽  
pp. 220-225
Author(s):  
Jie Li ◽  
Rui Feng Guo ◽  
Zhi Xiang Shao

Task scheduling is an important research topic of real-time systems. Compared with the common real-time systems, CNC system has its own features. In this paper, we propose an adaptive task scheduling model for CNC system and analyze its schedulability. The model is suitable to the uncertainty of open computing environment and can accept the running of different types of tasks. It can compute band changes according to the latest changes of system resources and task requirements. It adjusts tasks’ priorities adaptively and makes the system run in optimal real-time performance. On the basis of CNC system, we will further optimize the model by studying the characteristics of periodic tasks and scheduling time overhead. Finally, this model will be used in practical CNC system.


2020 ◽  
Vol 6 ◽  
pp. e272
Author(s):  
Guoqing Wang ◽  
Lei Zhuang ◽  
Yu Song ◽  
Mengyang He ◽  
Ding Ma ◽  
...  

When real-time systems are modeled as timed automata, different time scales may lead to substantial fragmentation of the symbolic state space. Exact acceleration solves the fragmentation problem without changing system reachability. The relatively mature technology of exact acceleration has been used with an appended cycle or a parking cycle, which can be applied to the calculation of a single acceleratable cycle model. Using these two technologies to develop a complex real-time model requires additional states and consumes a large amount of time cost, thereby influencing acceleration efficiency. In this paper, a complex real-time exact acceleration method based on an overlapping cycle is proposed, which is an application scenario extension of the parking-cycle technique. By comprehensively analyzing the accelerating impacts of multiple acceleratable cycles, it is only necessary to add a single overlapping period with a fixed length without relying on the windows of acceleratable cycles. Experimental results show that the proposed timed automaton model is simple and effectively decreases the time costs of exact acceleration. For the complex real-time system model, the method based on an overlapping cycle can accelerate the large scale and concurrent states which cannot be solved by the original exact acceleration theory.


IEE Review ◽  
1992 ◽  
Vol 38 (3) ◽  
pp. 112
Author(s):  
Stuart Bennett

Author(s):  
Pallab Banerjee ◽  
◽  
Riya Shree ◽  
Richa Kumari Verma ◽  
◽  
...  

Sign in / Sign up

Export Citation Format

Share Document