Analyzing partially-implemented real-time systems
نویسندگان
چکیده
منابع مشابه
Analyzing Partially - Implemented Real - TimeSystemsGeorge
|Most analysis methods for real-time systems assume that all the components of the system are at roughly the same stage of development and can be expressed in a single notation, such as a speciication or programming language. There are, however, many situations in which developers would beneet from tools that could analyze partially-implemented systems, those for which some components are given...
متن کاملReal Time Operating Systems Implemented in Hardware
This paper describes several state-of-the-art realtime operating systems (RTOS) implemented in hardware that implement task scheduling, synchronization, multiprocessor dispatching, time management and event management. When designers develop RTOS support in hardware different levels of hardware usage are used. Many architects developing RTOS supporting hardware are opting for designs focused ar...
متن کاملModeling and Analyzing Asynchronous Real-Time Systems∗
Distributed embedded hard real-time systems consist of various components where each of them may operate on a different time base. For the response-time analysis it is important to model the stimulation of a task correctly. So far the response-time analysis does not consider the different time bases explicitly. In this paper we introduce an abstract clock model to consider the different time ba...
متن کاملAnalyzing Stochastic Fixed-Priority Real-Time Systems
Traditionally, real-time systems require that the deadlines of all jobs be met. For many applications, however, this is an overly stringent requirement. An occasional missed deadline may cause decreased performance but is nevertheless acceptable. We present an analysis technique by which a lower bound on the percentage of deadlines that a periodic task meets is determined and compare the lower ...
متن کاملAnalyzing Real-Time Systems: Theory and Tools
The main topic of this dissertation is the development and use of methods for formal reasoning about the correctness of real-time systems, in particular methods and tools to handle new classes of problems. In real-time systems the correctness of the system does not only depend on the order in which actions take place, but also the timing of the actions. The formal reasoning presented here is ba...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 1998
ISSN: 0098-5589
DOI: 10.1109/32.707696