Real time task schedulability analysis is one of the major methods used to provide performance guarantee to real time systems.
实时任务可调度分析是保证实时系统正确性的重要手段之一。
The integration principle to active real time Database (DB) and the standard for the consistency of active real time systems is also given.
提出了主动实时数据库完整性准则和主动实时描述一致性的标准，对主动实时机制的抽象描述进行了讨论。
Guaranteed scheduling is necessary for hard real time systems, because each process of them must meet their deadline, or a serious consequence will result.
有保证的调度对硬实时系统是必须的，这是因为系统中每个进程必须满足它们的截止时间，否则后果不堪设想。
This paper presents a task model for real time systems and gives the conditions that guarantee periodic and aperiodic tasks to be schedulable respectively.
提出了一种实时系统任务模型，分析了该模型中周期和非周期任务可调度的条件，并给出了一种强实时非周期任务的可预测调度算法。
The existing deterministic analysis methods based on period task modes are conservative, and are not suitable for soft real time systems such as multimedia systems and communication systems.
目前现有的基于周期性任务模型的确定性分析方法比较保守，不适合于多媒体、通讯等软实时系统的可调度性分析。
Other real-time systems use algorithms to detect suspicious behaviour, such as a group loitering near a door where entry is barred, or to spot items of luggage that seem to have been left unattended.
其它实时系统则利用一些算法来检测可疑的行为，比如一群人在一条被封住入口的门边徘徊，抑或定位那些看起来被人落下无人看管的行李物品。
Fortunately, other industries that rely on global real-time systems have solutions to this problem.
幸运的是，依赖全球实时系统的其他行业对这个问题已经有解决方案了。
Although this approach was relatively simple, it was relatively inefficient, lacked scalability, and was weak for real-time systems.
尽管这种方法比较简单，但是却比较低效、缺乏可扩展性而且不适合用在实时系统中。
Another example is embedded, real-time systems with challenging, non-functional requirements, which cannot afford any XML processing overhead.
另一个例子就是带有挑战性的非功能要求的嵌入式实时系统，它们不能承受任何XML处理开销。
It was designed especially for building fault-tolerant, real-time systems that can be deployed across a network.
它是特别为构建跨网络部署的容错、实时系统而设计的。
You can use the MARTE profile to model concepts of real-time systems by using stereotypes to annotate models for support by analysis tools.
通过使用模板来注解模型，您可以使用MARTE文件来建模实时系统的概念。
Soft real-time systems can miss deadlines without the overall system failing (such as losing a frame of video).
软实时系统超过截止期限后并不会造成系统整体失败(如丢失视频中的一帧)。
Rational Test RealTime is designed for embedded and real-time systems, which are often designed to never stop.
RationalTestRealTime是为嵌入式和实时系统设计的，它通常都是设置成从不停机的。
Today's efficient model-to-code generators can fully implement even hard real-time systems, for which no missed deadlines are acceptable.
当今有效的模型到代码的生成器可以完全地实现甚至是困难的实时系统，对此来说，错过的最终期限是不可接受的。
As more information is gathered in real time, systems can be trained to provide direction to departments and users appropriate for the situation.
随着实时收集的信息增多，系统可以被训练来为部门和用户提供符合实际情况的指示。
Architect Data Distribution Service for Real-Time Systems (DDS) applications to manage the complexity of interconnected components.
实时系统(DDS)程序的结构数据分布服务，以管理相互联系构件的复杂性。
Real-time systems have special-purpose allocators to deal with this problem. Heaps also becomefragmented, shown below
实时操作系统解决这个问题的方法是采用专用内存分配器（special-purposeal locators）。
So we express the AOP using UML and formal methods, and establish the Aspect-Oriented Software Design Model correspondingly to model real-time systems.
因此，我们利用UML和形式化方法来设计面向方面程序，并建立相应的面向方面软件设计模型来设计实时系统。
Real-Time Operating System. An operating system designed specifically for use in real-time systems.
实时操作系统。一种被特殊设计来用在实时系统中的操作系统。
This paper is focused on the research of virtual memory technology and space domain protection mechanism in real-time systems.
本文主要研究了实时系统中的虚拟内存技术以及空间域保护机制。
In order to reduce the influence by the safety technology on response time of real-time systems, the combination-delaying buddy system is presented based on the classical buddy system.
为了降低防危技术对实时系统响应时间的影响，本文还在经典的伙伴系统内存管理算法基础上提出了延迟合并伙伴系统。
In this paper, we concentrate on reducing energy consumption by using task scheduling algorithm on system level when these tasks have time restrictions in real-time systems.
在本文中，主要是考虑在实时系统中，当任务存在时间约束时在操作系统层上通过任务调度来减少系统能量消耗。
This paper introduced the timed automata and TCTL in brief, and described how to model check the real-time systems based dense time, then we give an example in the end.
本文简要介绍了时间自动机和时序逻辑TCTL，并着重说明了如何进行基于稠密时间的实时系统的模型检测，最后给出了一个应用实例。
Because DEM can integrate with control flow, data flow and time, the checking method can check consistency and completeness of software requirements for embedded real-time systems software.
由于DEM能将控制流、数据流和时间有效地集成为一体，故提出的检测方法能检测嵌入式实时系统的软件需求的一致性和完全性。
FSQTL can model the deterministic time, probability time, stochastic time and fuzzy time, and analyze the performance by possibility in real-time systems.
FSQTL能够建模实时系统中的确定时间、概率时间、随机时间和模糊时间，并利用可能性实现对性能需求的分析。
For most safety properties and some liveness properties of real-time systems, model checking can be reduced to reachability analysis.
模型检测时，实时系统的大多数安全属性和部分活性都可以通过可达性分析算法来验证。
This Paper firstly presents a new system-level design method of heterogeneous real-time systems.
本文首先提出一种新的异构实时系统的系统级设计方法。
This technology could compress many historical data sectionally, which provided useful reference for other data processing and compression technology of real-time systems.
该技术对海量历史数据进行分段压缩，为其它实时系统数据处理和压缩技术提供了一种有益的参考。
Specially, lots of real-time systems will be related with network and multimedia applications in the network and multimedia development.
特别是随着网络与多媒体应用的日益普及，将会有大量的实时系统与网络多媒体应用有密切关系。
AGP is significant for solving the problem of assigning priorities of tasks in embedded real-time systems.
AGP算法对于解决在嵌入式实时系统中任务的优先级分配问题具有重要意义。
应用推荐