Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
9,679
Topics in Embedded Hard Real-Time Systems Design
"... The most important and necessary properties of embed-ded real-time systems, and the ways to achieve them, are explored. The basic and most prominent domains of real-time systems design are discussed, starting with pro-cessor and system hardware architectures, ranging over operating systems, tasking ..."
Abstract
- Add to MetaCart
The most important and necessary properties of embed-ded real-time systems, and the ways to achieve them, are explored. The basic and most prominent domains of real-time systems design are discussed, starting with pro-cessor and system hardware architectures, ranging over operating systems, tasking
A Formal Modeling for Embedded Hard Real-Time Systems
"... Abstract. Modeling is a process of creating a representation of the objects from the specification. Usually, modeling is a simplified view of the system and just contains the characteristics of interest. This paper describes a formal method for modeling embedded hard real-time systems, which shows t ..."
Abstract
- Add to MetaCart
Abstract. Modeling is a process of creating a representation of the objects from the specification. Usually, modeling is a simplified view of the system and just contains the characteristics of interest. This paper describes a formal method for modeling embedded hard real-time systems, which shows
The REAR Framework for Emulation and Analysis of Embedded Hard Real-Time Systems
- In Proceedings of the 10th IEEE International Workshop on Rapid Systems Prototyping (RSP'99
, 1999
"... The aim of rapid prototyping real--time applications is to substantially reduce development times by confirming the functional and timely requirements of the application at a very early stage of development with the help of an executable prototype. Hence, the real--time rapid prototyping system pre ..."
Abstract
-
Cited by 8 (7 self)
- Add to MetaCart
that the embedded system will meet all timing requirements, and to verify that the timing requirements have been modeled correctly. The REAR framework uses annotated SDL for the system specification, from which both, the compilable source codes and the real--time analysis model are generated. After instrumentation
Designing an Embedded Hard Real-Time System: A Case Study
"... . In this paper a description of a consistent design of an embedded hard real-time control system is given. To provide for the overall predictability of tasks' temporal behaviour, which is the ultimate requirement in such systems, all influencing factors are taken into account in a holistic man ..."
Abstract
- Add to MetaCart
. In this paper a description of a consistent design of an embedded hard real-time control system is given. To provide for the overall predictability of tasks' temporal behaviour, which is the ultimate requirement in such systems, all influencing factors are taken into account in a holistic
Object-Oriented Specification and Design of Embedded Hard Real-Time Systems
- Proceedings of the ICDA2000
"... The approach presented in this paper is a contribution to combine well established methodologies in software engineering, namely object-orientation, with novel co-simulation techniques for real-time HW/SW system simulation, and new synthesis techniques based on the HW-semantics of object-oriented HW ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
-oriented HW-specifications. The result is a consistent object-oriented design process for safety critical hard real-time embedded systems. Its objective is to decrease the design time of such systems by improving the re-usability, enabling concurrent HW/SW co-design and avoiding unnecessary iteration loops
Evaluation of Admission Policies in ATM Based Embedded Hard Real-Time Systems
- In Proc. of the 19th IEEE Con5 on Local Computer Networks
, 1994
"... In this paper we study the effect of the output link scheduling discipline of an ATM switch on the ability of an ATM LAN to admit real-time connections. Three output link scheduling policies are studied: First Come First Served (FCFS), Round Robin (RR), and Packet-by-packet Generalized Processor Sha ..."
Abstract
-
Cited by 4 (4 self)
- Add to MetaCart
In this paper we study the effect of the output link scheduling discipline of an ATM switch on the ability of an ATM LAN to admit real-time connections. Three output link scheduling policies are studied: First Come First Served (FCFS), Round Robin (RR), and Packet-by-packet Generalized Processor
A Formal Software Synthesis Approach For Embedded Hard Real-Time Systems
, 2004
"... Software synthesis is defined as the task of translating a specification into a software program, in a general purpose language, in such a way that this software can be compiled by conventional compilers. In general, complex real-time systems rely on specialized operating system kernels. However, th ..."
Abstract
- Add to MetaCart
,communication, synchronization), and code generation. Formal methods are a very promising alternative to deal with the complexity of embedded systems, and for improving the degree of confidence in critical systems. We present a formal approach for automatic embedded hard real-time software synthesis based on time Petri nets
Rapid Prototyping with Reconfigurable Hardware for Embedded Hard Real-Time Systems
"... : This paper describes a rapid prototyping system for the design and development of hard real time systems. The main focus of this rapid prototyping system is on scheduling algorithms. Issues of their implementation including hardware solutions will be considered. The contributions of this work incl ..."
Abstract
-
Cited by 2 (2 self)
- Add to MetaCart
: This paper describes a rapid prototyping system for the design and development of hard real time systems. The main focus of this rapid prototyping system is on scheduling algorithms. Issues of their implementation including hardware solutions will be considered. The contributions of this work
Mapping an Embedded Hard Real-Time Systems SDL Specification to an Analyzable Task Network - A Case Study
- SOI Bulletin, Spring
, 1998
"... . It is undoubtedly true, that the usage of a formal specification methodology in software design will reduce the development effort, particularly as embedded hard real--time systems show increasing functional complexity. We suggest the use of the language SDL even for the design of real--time syste ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
. It is undoubtedly true, that the usage of a formal specification methodology in software design will reduce the development effort, particularly as embedded hard real--time systems show increasing functional complexity. We suggest the use of the language SDL even for the design of real--time
Pre-Runtime Scheduling for Embedded Hard Real-Time Systems Using Time Petri Nets
, 2004
"... Finding a feasible schedule is not trivial, because this problem is NP-Hard in its general form. There are two general approaches for scheduling tasks in real-time systems: runtime (or on-line) and pre-runtime (or off-line) scheduling. For many cases, runtime methods do not find a feasible schedule ..."
Abstract
- Add to MetaCart
Finding a feasible schedule is not trivial, because this problem is NP-Hard in its general form. There are two general approaches for scheduling tasks in real-time systems: runtime (or on-line) and pre-runtime (or off-line) scheduling. For many cases, runtime methods do not find a feasible schedule
Results 1 - 10
of
9,679
