Results 221 to 230 of about 2,569,154 (268)
Some of the next articles are maybe not open access.
Real-Time Euclid: A language for reliable real-time systems
IEEE Transactions on Software Engineering, 1986Real-Time Euclid, a language designed specifically to address reliability and guaranteed schedulability issues in real-time systems, is introduced. Real-Time Euclid uses exception handlers and import/export lists to provide comprehensive error detection, isolation, and recovery.
Alexander D Stoyenko
exaly +2 more sources
SPECIFICATION OF REAL-TIME SYSTEMS
International Journal of Software Engineering and Knowledge Engineering, 1993Inspite of numerous research advancements made in recent years in the area of formal techniques, specification of real-time systems is still proving to be a very challenging and difficult problem. In this context, this paper critically examines state-of-the-art specification techniques for real-time systems and analyzes the emerging trends.
Patnaik, LM, Mall, R
openaire +1 more source
A real-time programming system
International Journal of Bio-Medical Computing, 1979The paper describes a Basic Operating and Scheduling System (BOSS) designed for a small computer. User programs are organised as self-contained modular 'processes' and the way in which the scheduler divides the time of the computer equally between them, while arranging for any process which has to respond to an interrupt from a peripheral device to be ...
openaire +2 more sources
The refinement of real-time systems
Fourth Euromicro workshop on Real-Time Systems, 1992The Temporal Agent Model (TAM) is a widespectrum development language for real-time systems. In TAM, limited resources are modelled by deriving release times and absolute deadlines from weakest precondition predicate transformers. The language syntax is described, a refinement calculus is presented and a number of examples are discussed.
David Scholefield, Hussein S. M. Zedan
openaire +1 more source
A real-time transportation prediction system
Applied Intelligence, 2012In recent years, the use of advanced technologies such as wireless communication and sensors in intelligent transportation systems has made a significant increase in traffic data available. With this data, traffic prediction has the ability to improve traffic conditions and to reduce travel delays by facilitating better utilization of available ...
Hai-Guang Li +3 more
openaire +1 more source
A real-time monitor for a distributed real-time operating system
ACM SIGPLAN Notices, 1988Monitoring and debugging for a distributed real-time system is a complicated problem due to the lack of a set of advanced tools and adequate operating system capability. Software tools can cover the wide range of the software development life cycle from the requirement analysis phase to debugging and maintenance phases.
Hideyuki Tokuda +2 more
openaire +1 more source
25th IEEE International Real-Time Systems Symposium, 2004
Modeling real-time systems raises non trivial problems for the definition of usable modeling languages and the application of model-based development approaches. We identify key problems and present corresponding research directions for the incremental construction of timed models for real-time systems.
openaire +1 more source
Modeling real-time systems raises non trivial problems for the definition of usable modeling languages and the application of model-based development approaches. We identify key problems and present corresponding research directions for the incremental construction of timed models for real-time systems.
openaire +1 more source
2011
The market of embedded processors far surpasses the market of personal computers and servers. While being more prolific than their desktop counterparts, the progress in semiconductor technology has also brought unprecedented computing power to embedded systems.
Stefan M. Petters +2 more
openaire +1 more source
The market of embedded processors far surpasses the market of personal computers and servers. While being more prolific than their desktop counterparts, the progress in semiconductor technology has also brought unprecedented computing power to embedded systems.
Stefan M. Petters +2 more
openaire +1 more source
Real-time calculus for scheduling hard real-time systems
2000 IEEE International Symposium on Circuits and Systems. Emerging Technologies for the 21st Century. Proceedings (IEEE Cat No.00CH36353), 2002This paper establishes a link between three areas, namely Max-Plus Linear System Theory as used for dealing with certain classes of discrete event systems, Network Calculus for establishing time bounds in communication networks, and real-time scheduling.
Lothar Thiele +2 more
openaire +1 more source
Methodology for real time systems
Computer Networks and ISDN Systems, 1996Abstract A definition is given for the term methodology, then a framework methodology for the development of real time systems using the SDL and other related languages (ASN.1 and MSC) is outlined. The use of languages and activities in the engineering process is described.
openaire +1 more source