The Experts below are selected from a list of 261525 Experts worldwide ranked by ideXlab platform
Zhu Xiangbin - One of the best experts on this subject based on the ideXlab platform.
-
CSSE (2) - Support QoS in Open Real-Time Systems
2008 International Conference on Computer Science and Software Engineering, 2008Co-Authors: Zhu XiangbinAbstract:With the development of computer Systems, the RealTime Systems with different kinds of Real-Time applications and non-Real-Time applications are becoming more and more popular. At the same Time, more and more mulTimedia applications make Real-Time system to support QoS. Based on the Real-Time Systems, the paper proposes a model of Linux-based open Real-Time Systems with QoS support. Firstly, the paper analyzes Real-Time Systems and QoS. Secondly, a windows-constrained CBS is proposed. Then it proposes the scheduling framework of Linux-based open Real-Time Systems. Finally, the experiment results are showed.
-
Support QoS in Open Real-Time Systems
2008 International Conference on Computer Science and Software Engineering, 2008Co-Authors: Zhu XiangbinAbstract:With the development of computer Systems, the RealTime Systems with different kinds of Real-Time applications and non-Real-Time applications are becoming more and more popular. At the same Time, more and more mulTimedia applications make Real-Time system to support QoS. Based on the Real-Time Systems, the paper proposes a model of Linux-based open Real-Time Systems with QoS support. Firstly, the paper analyzes Real-Time Systems and QoS. Secondly, a windows-constrained CBS is proposed. Then it proposes the scheduling framework of Linux-based open Real-Time Systems. Finally, the experiment results are showed.
Albert M. K. Cheng - One of the best experts on this subject based on the ideXlab platform.
-
Real-Time Systems: Scheduling, Analysis, and Verification
2002Co-Authors: Albert M. K. ChengAbstract:From the Publisher: A complete guide to testing, analyzing, verifying, and monitoring Real-Time Systems More and more of our modern-day Systems and devices-from toasters and climate-control Systems to airplanes and space shuttles-contain embedded Systems to control their functions and ensure that their responses are both Timely and correct. With safety a requisite factor, performance validation is a critical aspect of Real-Time Systems. Answering the needs of professionals and students alike, Real-Time Systems: Scheduling, Analysis, and Verification provides a substantial, up-to-date overview of the verification and validation process. It describes several approaches to the problem, and examines the advantages and disadvantages of each approach. Designed to be both an introductory text and a handy reference for the practitioner, the book discusses: Symbolic logic, automata, and languages in non-Real-Time Systems Real-Time scheduling and schedulability analysis Verification using Timed automata and Timed petri nets Process algebra The design and analysis of propositional-logic rule-based Systems Timing analysis of predicate-logic rule-based Systems Optimization of rule-based Systems Model checking, Real-Time logic, and statecharts With ample illustrations and examples of a variety of industrial and toy applications, Real-Time Systems: Scheduling, Analysis, and Verification serves as a key resource for every professional who works with Real-Time Systems.
Shiv Shankar Prasad Shukla - One of the best experts on this subject based on the ideXlab platform.
-
Energy reduction in weakly hard Real Time Systems
2012 1st International Conference on Recent Advances in Information Technology (RAIT), 2012Co-Authors: Yashwant Singh, Mayank Popli, Shiv Shankar Prasad ShuklaAbstract:Real Time Systems can be classified into Hard, Soft and Firm Real Time Systems depending on the consequences of a task missing its deadline. A Hard Real Time System produce required results before the specified Time bound. In Soft Real Time Systems the few misses of deadline is acceptable if they have no harm. The Generalized case of Real Time Systems is Weakly Hard Real Time System which is motivation of the observation for Real Time applications when some deadline misses are acceptable as long as they are spaced evenly. This paper is an attempt to provide a state-of-the-art review of basic model of Real Time System, clock driven scheduling, priority driven scheduling and proposes an Inverse Rate Monotonic algorithm. The Inverse Rate Monotonic algorithm effectively reduce the energy by 15% along with Dynamic Voltage Scaling strategy which provides significant energy savings while maintain Real Time deadline guarantee. A tool has been created in C language to observe the scheduling and energy consumption of task by Inverse Rate Monotonic.
-
RAIT - Energy reduction in weakly hard Real Time Systems
2012 1st International Conference on Recent Advances in Information Technology (RAIT), 2012Co-Authors: Yashwant Singh, Mayank Popli, Shiv Shankar Prasad ShuklaAbstract:Real Time Systems can be classified into Hard, Soft and Firm Real Time Systems depending on the consequences of a task missing its deadline. A Hard Real Time System produce required results before the specified Time bound. In Soft Real Time Systems the few misses of deadline is acceptable if they have no harm. The Generalized case of Real Time Systems is Weakly Hard Real Time System which is motivation of the observation for Real Time applications when some deadline misses are acceptable as long as they are spaced evenly. This paper is an attempt to provide a state-of-the-art review of basic model of Real Time System, clock driven scheduling, priority driven scheduling and proposes an Inverse Rate Monotonic algorithm. The Inverse Rate Monotonic algorithm effectively reduce the energy by 15% along with Dynamic Voltage Scaling strategy which provides significant energy savings while maintain Real Time deadline guarantee. A tool has been created in C language to observe the scheduling and energy consumption of task by Inverse Rate Monotonic.
David L Dill - One of the best experts on this subject based on the ideXlab platform.
-
automata for modeling Real Time Systems
International Colloquium on Automata Languages and Programming, 1990Co-Authors: Rajeev Alur, David L DillAbstract:To model the behavior of finite-state asynchronous Real-Time Systems we propose the notion of Timed Buchi automata (TBA). TBAs are Buchi automata coupled with a mechanism to express constant bounds on the timing delays between system events. These automata accept languages of Timed traces, traces in which each event has an associated Real-valued Time of occurrence.
Rob Williams - One of the best experts on this subject based on the ideXlab platform.
-
UML for Real-Time Systems
Real-Time Systems Development, 2020Co-Authors: Rob WilliamsAbstract:Publisher Summary This chapter deals with UML, which is a graphical language available to describe Systems by expressing their constructs and relationships. This includes both static and dynamic relationships. For Real-Time Systems, the availability of statecharts and sequence diagrams fulfils the requirement to describe run-Time dynamics which are an important part of Real-Time Systems development. Object-oriented Design (OOD) is the normal methodology that UML supports. The group of iconic conventions and diagrams which UML offers comprises a graphical modeling language that can be used to describe Systems by expressing their components and relationships. UML can express both static and dynamic relationships, and especially for Real-Time Systems, the availability of statecharts and sequence diagrams can be used to describe run-Time dynamics which are so significant for modern Real-Time Systems development. Object-oriented Design is particularly popular when OOD and Object-oriented Programming (OOP) are being used for GUI-based applications.
-
Introduction to Real-Time Systems
Real-Time Systems Development, 2020Co-Authors: Rob WilliamsAbstract:This chapter outlines the source of some of the problems which programmers and engineers are likely to encounter and provides a set of guidelines for identifying potential Real-Time Systems by looking at a number of their characteristics. Real-Time is used synonymously with 'multi-tasking' or 'multi-threading'. Complex problems often appear impossible until they are subdivided, then each component part becomes much more manageable. Real-Time software suffers from the same set of problems as traditional DP (Data Processing) applications, but it adds the extra dimension of Time to confuse the developer. Real-Time software is configured for a particular application by writing a specification program in a language such as VHSIC hardware description language (VHDL) or Verilog. The most common definition of a Real-Time system is that it is required to compute and deliver correct results within a specified period of Time. However, while using more sophisticated Real-Time executives (RTE), the full response to a Receiver Ready or Transmitter Ready interruption is often deferred in order to balance the processing load. Handling input and output (I/O) activity with unusual devices can be a particular problem for Real-Time programmers which demands extra hardware knowledge. Hard Real-Time Systems need to meet strict response deadlines, while soft Real-Time Systems only have to achieve a satisfactory average performance. It is now recognized that large Real-Time Systems require special expertise, tools and techniques for their successful development.
-
Structured design for Real-Time Systems
Real-Time Systems Development, 2020Co-Authors: Rob WilliamsAbstract:This chapter explains the original Yourdon Structured Analysis and Design (SA/SD) method that was extended for the use with Real-Time Systems design. SA/SD increasingly abandoned in favor of Object-oriented Design (OOD) methods, retains popularity in the field of Real-Time Systems to gain improved performance Finite State Machines (FSM), Data-flow Diagrams (DFD) and entity relationship diagrams (ERD) are unified within Real-Time Yourdon. The routes through to implementing code are also described in the chapter. The method of structured analysis and design, which consistently includes Finite State Diagrams (FSD), DFD and EAD, can assist effectively with Real-Time Systems development. Both static and dynamic viewpoints are catered for. Functional decomposition and system partitioning, from context diagram, through multi-level DFDs, down into structure charts and FSDs, can deliver well structured Real-Time programs. Some methods are explained for transforming all three schematic diagrams into code. Good designers keep one eye on implementation at all Times.
