Real-time vision systems

Energy Technology Data Exchange (ETDEWEB)

Johnson, R.; Hernandez, J.E.; Lu, Shin-yee [Lawrence Livermore National Lab., CA (United States)

1994-11-15

Many industrial and defence applications require an ability to make instantaneous decisions based on sensor input of a time varying process. Such systems are referred to as `real-time systems` because they process and act on data as it occurs in time. When a vision sensor is used in a real-time system, the processing demands can be quite substantial, with typical data rates of 10-20 million samples per second. A real-time Machine Vision Laboratory (MVL) was established in FY94 to extend our years of experience in developing computer vision algorithms to include the development and implementation of real-time vision systems. The laboratory is equipped with a variety of hardware components, including Datacube image acquisition and processing boards, a Sun workstation, and several different types of CCD cameras, including monochrome and color area cameras and analog and digital line-scan cameras. The equipment is reconfigurable for prototyping different applications. This facility has been used to support several programs at LLNL, including O Division`s Peacemaker and Deadeye Projects as well as the CRADA with the U.S. Textile Industry, CAFE (Computer Aided Fabric Inspection). To date, we have successfully demonstrated several real-time applications: bullet tracking, stereo tracking and ranging, and web inspection. This work has been documented in the ongoing development of a real-time software library.

Composing Synchronisation and Real-Time Constraints

NARCIS (Netherlands)

Bergmans, Lodewijk; Aksit, Mehmet

There have been a number of publications illustrating the successes of object-oriented techniques in creating highly reusable software systems. Several concurrent languages have been proposed for specifying reusable synchronization specifications. Recently, a number of real-time object-oriented

A framework for software fault tolerance in real-time systems

Science.gov (United States)

Anderson, T.; Knight, J. C.

1983-01-01

A classification scheme for errors and a technique for the provision of software fault tolerance in cyclic real-time systems is presented. The technique requires that the process structure of a system be represented by a synchronization graph which is used by an executive as a specification of the relative times at which they will communicate during execution. Communication between concurrent processes is severely limited and may only take place between processes engaged in an exchange. A history of error occurrences is maintained by an error handler. When an error is detected, the error handler classifies it using the error history information and then initiates appropriate recovery action.

Prototyping real-time systems

OpenAIRE

Clynch, Gary

1994-01-01

The traditional software development paradigm, the waterfall life cycle model, is defective when used for developing real-time systems. This thesis puts forward an executable prototyping approach for the development of real-time systems. A prototyping system is proposed which uses ESML (Extended Systems Modelling Language) as a prototype specification language. The prototyping system advocates the translation of non-executable ESML specifications into executable LOOPN (Language of Object ...

NSTX-U Advances in Real-Time C++11 on Linux

Science.gov (United States)

Erickson, Keith G.

2015-08-01

Programming languages like C and Ada combined with proprietary embedded operating systems have dominated the real-time application space for decades. The new C++11 standard includes native, language-level support for concurrency, a required feature for any nontrivial event-oriented real-time software. Threads, Locks, and Atomics now exist to provide the necessary tools to build the structures that make up the foundation of a complex real-time system. The National Spherical Torus Experiment Upgrade (NSTX-U) at the Princeton Plasma Physics Laboratory (PPPL) is breaking new ground with the language as applied to the needs of fusion devices. A new Digital Coil Protection System (DCPS) will serve as the main protection mechanism for the magnetic coils, and it is written entirely in C++11 running on Concurrent Computer Corporation's real-time operating system, RedHawk Linux. It runs over 600 algorithms in a 5 kHz control loop that determine whether or not to shut down operations before physical damage occurs. To accomplish this, NSTX-U engineers developed software tools that do not currently exist elsewhere, including real-time atomic synchronization, real-time containers, and a real-time logging framework. Together with a recent (and carefully configured) version of the GCC compiler, these tools enable data acquisition, processing, and output using a conventional operating system to meet a hard real-time deadline (that is, missing one periodic is a failure) of 200 microseconds.

NSTX-U Advances in Real-Time C++11 on Linux

International Nuclear Information System (INIS)

Erickson, Keith G.

2015-01-01

Programming languages like C and Ada combined with proprietary embedded operating systems have dominated the real-time application space for decades. The new C++11standard includes native, language-level support for concurrency, a required feature for any nontrivial event-oriented real-time software. Threads, Locks, and Atomics now exist to provide the necessary tools to build the structures that make up the foundation of a complex real-time system. The National Spherical Torus Experiment Upgrade (NSTX-U) at the Princeton Plasma Physics Laboratory (PPPL) is breaking new ground with the language as applied to the needs of fusion devices. A new Digital Coil Protection System (DCPS) will serve as the main protection mechanism for the magnetic coils, and it is written entirely in C++11 running on Concurrent Computer Corporation's real-time operating system, RedHawk Linux. It runs over 600 algorithms in a 5 kHz control loop that determine whether or not to shut down operations before physical damage occurs. To accomplish this, NSTX-U engineers developed software tools that do not currently exist elsewhere, including real-time atomic synchronization, real-time containers, and a real-time logging framework. Together with a recent (and carefully configured) version of the GCC compiler, these tools enable data acquisition, processing, and output using a conventional operating system to meet a hard real-time deadline (that is, missing one periodic is a failure) of 200 microseconds

Alpha: A real-time decentralized operating system for mission-oriented system integration and operation

Science.gov (United States)

Jensen, E. Douglas

1988-01-01

Alpha is a new kind of operating system that is unique in two highly significant ways. First, it is decentralized transparently providing reliable resource management across physically dispersed nodes, so that distributed applications programming can be done largely as though it were centralized. And second, it provides comprehensive, high technology support for real-time system integration and operation, an application area which consists predominately of aperiodic activities having critical time constraints such as deadlines. Alpha is extremely adaptable so that it can be easily optimized for a wide range of problem-specific functionality, performance, and cost. Alpha is the first systems effort of the Archons Project, and the prototype was created at Carnegie-Mellon University directly on modified Sun multiprocessor workstation hardware. It has been demonstrated with a real-time C(sup 2) application. Continuing research is leading to a series of enhanced follow-ons to Alpha; these are portable but initially hosted on Concurrent's MASSCOMP line of multiprocessor products.

Performance results of cooperating expert systems in a distributed real-time monitoring system

Science.gov (United States)

Schwuttke, U. M.; Veregge, J. R.; Quan, A. G.

1994-01-01

There are numerous definitions for real-time systems, the most stringent of which involve guaranteeing correct system response within a domain-dependent or situationally defined period of time. For applications such as diagnosis, in which the time required to produce a solution can be non-deterministic, this requirement poses a unique set of challenges in dynamic modification of solution strategy that conforms with maximum possible latencies. However, another definition of real time is relevant in the case of monitoring systems where failure to supply a response in the proper (and often infinitesimal) amount of time allowed does not make the solution less useful (or, in the extreme example of a monitoring system responsible for detecting and deflecting enemy missiles, completely irrelevant). This more casual definition involves responding to data at the same rate at which it is produced, and is more appropriate for monitoring applications with softer real-time constraints, such as interplanetary exploration, which results in massive quantities of data transmitted at the speed of light for a number of hours before it even reaches the monitoring system. The latter definition of real time has been applied to the MARVEL system for automated monitoring and diagnosis of spacecraft telemetry. An early version of this system has been in continuous operational use since it was first deployed in 1989 for the Voyager encounter with Neptune. This system remained under incremental development until 1991 and has been under routine maintenance in operations since then, while continuing to serve as an artificial intelligence (AI) testbed in the laboratory. The system architecture has been designed to facilitate concurrent and cooperative processing by multiple diagnostic expert systems in a hierarchical organization. The diagnostic modules adhere to concepts of data-driven reasoning, constrained but complete nonoverlapping domains, metaknowledge of global consequences of anomalous

Software Development Technologies for Reactive, Real-Time, and Hybrid Systems

Science.gov (United States)

Manna, Zohar

1996-01-01

The research is directed towards the design and implementation of a comprehensive deductive environment for the development of high-assurance systems, especially reactive (concurrent, real-time, and hybrid) systems. Reactive systems maintain an ongoing interaction with their environment, and are among the most difficult to design and verify. The project aims to provide engineers with a wide variety of tools within a single, general, formal framework in which the tools will be most effective. The entire development process is considered, including the construction, transformation, validation, verification, debugging, and maintenance of computer systems. The goal is to automate the process as much as possible and reduce the errors that pervade hardware and software development.

Route around real time

International Nuclear Information System (INIS)

Terrier, Francois

1996-01-01

The greater and greater autonomy and complexity asked to the control and command systems lead to work on introducing techniques such as Artificial Intelligence or concurrent object programming in industrial applications. However, while the critical feature of these systems impose to control the dynamics of the proposed solutions, their complexity often imposes a high adaptability to a partially modelled environment. The studies presented start from low level control and command systems to more complex applications at higher levels, such as 'supervision systems'. Techniques such as temporal reasoning and uncertainty management are proposed for the first studies, while the second are tackled with programming techniques based on the real time object paradigm. The outcomes of this itinerary crystallize on the ACCORD project which targets to manage - on the whole life cycle of a real time application - these two problematics, sometimes antagonistic: control of the dynamics and adaptivity. (author) [fr

Multiprocessor scheduling for real-time systems

CERN Document Server

Baruah, Sanjoy; Buttazzo, Giorgio

2015-01-01

This book provides a comprehensive overview of both theoretical and pragmatic aspects of resource-allocation and scheduling in multiprocessor and multicore hard-real-time systems.  The authors derive new, abstract models of real-time tasks that capture accurately the salient features of real application systems that are to be implemented on multiprocessor platforms, and identify rules for mapping application systems onto the most appropriate models.  New run-time multiprocessor scheduling algorithms are presented, which are demonstrably better than those currently used, both in terms of run-time efficiency and tractability of off-line analysis.  Readers will benefit from a new design and analysis framework for multiprocessor real-time systems, which will translate into a significantly enhanced ability to provide formally verified, safety-critical real-time systems at a significantly lower cost.

Parallel real-time visualization system for large-scale simulation. Application to WSPEEDI

International Nuclear Information System (INIS)

Muramatsu, Kazuhiro; Otani, Takayuki; Kitabata, Hideyuki; Matsumoto, Hideki; Takei, Toshifumi; Doi, Shun

2000-01-01

The real-time visualization system, PATRAS (PArallel TRAcking Steering system) has been developed on parallel computing servers. The system performs almost all of the visualization tasks on a parallel computing server, and uses image data compression technique for efficient communication between the server and the client terminal. Therefore, the system realizes high performance concurrent visualization in an internet computing environment. The experience in applying PATRAS to WSPEEDI (Worldwide version of System for Prediction Environmental Emergency Dose Information) is reported. The application of PATRAS to WSPEEDI enables users to understand behaviours of radioactive tracers from different release points easily and quickly. (author)

Making real-time reactive systems reliable

Science.gov (United States)

Marzullo, Keith; Wood, Mark

1990-01-01

A reactive system is characterized by a control program that interacts with an environment (or controlled program). The control program monitors the environment and reacts to significant events by sending commands to the environment. This structure is quite general. Not only are most embedded real time systems reactive systems, but so are monitoring and debugging systems and distributed application management systems. Since reactive systems are usually long running and may control physical equipment, fault tolerance is vital. The research tries to understand the principal issues of fault tolerance in real time reactive systems and to build tools that allow a programmer to design reliable, real time reactive systems. In order to make real time reactive systems reliable, several issues must be addressed: (1) How can a control program be built to tolerate failures of sensors and actuators. To achieve this, a methodology was developed for transforming a control program that references physical value into one that tolerates sensors that can fail and can return inaccurate values; (2) How can the real time reactive system be built to tolerate failures of the control program. Towards this goal, whether the techniques presented can be extended to real time reactive systems is investigated; and (3) How can the environment be specified in a way that is useful for writing a control program. Towards this goal, whether a system with real time constraints can be expressed as an equivalent system without such constraints is also investigated.

Software Design Methods for Real-Time Systems

Science.gov (United States)

1989-12-01

This module describes the concepts and methods used in the software design of real time systems . It outlines the characteristics of real time systems , describes...the role of software design in real time system development, surveys and compares some software design methods for real - time systems , and

Model-Checking Real-Time Control Programs

DEFF Research Database (Denmark)

Iversen, T. K.; Kristoffersen, K. J.; Larsen, Kim Guldstrand

2000-01-01

In this paper, we present a method for automatic verification of real-time control programs running on LEGO(R) RCX(TM) bricks using the verification tool UPPALL. The control programs, consisting of a number of tasks running concurrently, are automatically translated into the mixed automata model...... of UPPAAL. The fixed scheduling algorithm used by the LEGO(R) RCX(TM) processor is modeled in UPPALL, and supply of similar (sufficient) timed automata models for the environment allows analysis of the overall real-time system using the tools of UPPALL. To illustrate our technique for sorting LEGO(R) bricks...

Research in Distributed Real-Time Systems

Science.gov (United States)

Mukkamala, R.

1997-01-01

This document summarizes the progress we have made on our study of issues concerning the schedulability of real-time systems. Our study has produced several results in the scalability issues of distributed real-time systems. In particular, we have used our techniques to resolve schedulability issues in distributed systems with end-to-end requirements. During the next year (1997-98), we propose to extend the current work to address the modeling and workload characterization issues in distributed real-time systems. In particular, we propose to investigate the effect of different workload models and component models on the design and the subsequent performance of distributed real-time systems.

Integration of MDSplus in real-time systems

International Nuclear Information System (INIS)

Luchetta, A.; Manduchi, G.; Taliercio, C.

2006-01-01

RFX-mod makes extensive usage of real-time systems for feedback control and uses MDSplus to interface them to the main Data Acquisition system. For this purpose, the core of MDSplus has been ported to VxWorks, the operating system used for real-time control in RFX. Using this approach, it is possible to integrate real-time systems, but MDSplus is used only for non-real-time tasks, i.e. those tasks which are executed before and after the pulse and whose performance does not affect the system time constraints. More extensive use of MDSplus in real-time systems is foreseen, and a real-time layer for MDSplus is under development, which will provide access to memory-mapped pulse files, shared by the tasks running on the same CPU. Real-time communication will also be integrated in the MDSplus core to provide support for distributed memory-mapped pulse files

A real-time expert system for self-repairing flight control

Science.gov (United States)

Gaither, S. A.; Agarwal, A. K.; Shah, S. C.; Duke, E. L.

1989-01-01

An integrated environment for specifying, prototyping, and implementing a self-repairing flight-control (SRFC) strategy is described. At an interactive workstation, the user can select paradigms such as rule-based expert systems, state-transition diagrams, and signal-flow graphs and hierarchically nest them, assign timing and priority attributes, establish blackboard-type communication, and specify concurrent execution on single or multiple processors. High-fidelity nonlinear simulations of aircraft and SRFC systems can be performed off-line, with the possibility of changing SRFC rules, inference strategies, and other heuristics to correct for control deficiencies. Finally, the off-line-generated SRFC can be transformed into highly optimized application-specific real-time C-language code. An application of this environment to the design of aircraft fault detection, isolation, and accommodation algorithms is presented in detail.

Distributed, Embedded and Real-time Java Systems

CERN Document Server

Wellings, Andy

2012-01-01

Research on real-time Java technology has been prolific over the past decade, leading to a large number of corresponding hardware and software solutions, and frameworks for distributed and embedded real-time Java systems.  This book is aimed primarily at researchers in real-time embedded systems, particularly those who wish to understand the current state of the art in using Java in this domain.  Much of the work in real-time distributed, embedded and real-time Java has focused on the Real-time Specification for Java (RTSJ) as the underlying base technology, and consequently many of the Chapters in this book address issues with, or solve problems using, this framework. Describes innovative techniques in: scheduling, memory management, quality of service and communication systems supporting real-time Java applications; Includes coverage of multiprocessor embedded systems and parallel programming; Discusses state-of-the-art resource management for embedded systems, including Java’s real-time garbage collect...

Methodology for object-oriented real-time systems analysis and design: Software engineering

Science.gov (United States)

Schoeffler, James D.

1991-01-01

Successful application of software engineering methodologies requires an integrated analysis and design life-cycle in which the various phases flow smoothly 'seamlessly' from analysis through design to implementation. Furthermore, different analysis methodologies often lead to different structuring of the system so that the transition from analysis to design may be awkward depending on the design methodology to be used. This is especially important when object-oriented programming is to be used for implementation when the original specification and perhaps high-level design is non-object oriented. Two approaches to real-time systems analysis which can lead to an object-oriented design are contrasted: (1) modeling the system using structured analysis with real-time extensions which emphasizes data and control flows followed by the abstraction of objects where the operations or methods of the objects correspond to processes in the data flow diagrams and then design in terms of these objects; and (2) modeling the system from the beginning as a set of naturally occurring concurrent entities (objects) each having its own time-behavior defined by a set of states and state-transition rules and seamlessly transforming the analysis models into high-level design models. A new concept of a 'real-time systems-analysis object' is introduced and becomes the basic building block of a series of seamlessly-connected models which progress from the object-oriented real-time systems analysis and design system analysis logical models through the physical architectural models and the high-level design stages. The methodology is appropriate to the overall specification including hardware and software modules. In software modules, the systems analysis objects are transformed into software objects.

A Real-Time Systems Symposium Preprint.

Science.gov (United States)

1983-09-01

Real - Time Systems Symposium Preprint Interim Tech...estimate of the occurence of the error. Unclassii ledSECUqITY CLASSIF’ICA T" NO MI*IA If’ inDI /’rrd erter for~~ble. ’Corrputnqg A REAL - TIME SYSTEMS SYMPOSIUM...ABSTRACT This technical report contains a preprint of a paper accepted for presentation at the REAL - TIME SYSTEMS SYMPOSIUM, Arlington,

Mixed - mode Operating System for Real - time Performance

Directory of Open Access Journals (Sweden)

Hasan M. M.

2017-11-01

Full Text Available The purpose of the mixed-mode system research is to handle devices with the accuracy of real-time systems and at the same time, having all the benefits and facilities of a matured Graphic User Interface(GUIoperating system which is typicallynon-real-time. This mixed-mode operating system comprising of a real-time portion and a non-real-time portion was studied and implemented to identify the feasibilities and performances in practical applications (in the context of scheduled the real-time events. In this research an i8751 microcontroller-based hardware was used to measure the performance of the system in real-time-only as well as non-real-time-only configurations. The real-time portion is an 486DX-40 IBM PC system running under DOS-based real-time kernel and the non-real-time portion is a Pentium IIIbased system running under Windows NT. It was found that mixed-mode systems performed as good as a typical real-time system and in fact, gave many additional benefits such as simplified/modular programming and load tolerance.

Real-time reactor coolant system pressure/temperature limit system

International Nuclear Information System (INIS)

Newton, D.G.; Schemmel, R.R.; Van Scooter, W.E. Jr.

1991-01-01

This patent describes an system, used in controlling the operating of a nuclear reactor coolant system, which automatically calculates and displays allowable reactor coolant system pressure/temperature limits within the nuclear reactor coolant system based upon real-time inputs. It comprises: means for producing signals representative of real-time operating parameters of the nuclear reactor cooling system; means for developing pressure and temperature limits relating the real-time operating parameters of the nuclear reactor coolant system, for normal and emergency operation thereof; means for processing the signals representative of real-time operating parameters of the nuclear reactor coolant system to perform calculations of a best estimate of signals, check manual inputs against permissible valves and test data acquisition hardware for validity and over/under range; and means for comparing the representative signals with limits for the real-time operating parameters to produce a signal for a real-time display of the pressure and temperature limits and of the real-time operating parameters use an operator in controlling the operation of the nuclear reactor coolant system

Research Directions in Real-Time Systems.

Science.gov (United States)

1996-09-01

This report summarizes a survey of published research in real time systems . Material is presented that provides an overview of the topic, focusing on...communications protocols and scheduling techniques. It is noted that real - time systems deserve special attention separate from other areas because of...formal tools for design and analysis of real - time systems . The early work on applications as well as notable theoretical advances are summarized

Controlled Owicki-Gries Concurrency: Reasoning about the Preemptible eChronos Embedded Operating System

Directory of Open Access Journals (Sweden)

June Andronick

2015-11-01

Full Text Available We introduce a controlled concurrency framework, derived from the Owicki-Gries method, for describing a hardware interface in detail sufficient to support the modelling and verification of small, embedded operating systems (OS's whose run-time responsiveness is paramount. Such real-time systems run with interrupts mostly enabled, including during scheduling. That differs from many other successfully modelled and verified OS's that typically reduce the complexity of concurrency by running on uniprocessor platforms and by switching interrupts off as much as possible. Our framework builds on the traditional Owicki-Gries method, for its fine-grained concurrency is needed for high-performance system code. We adapt it to support explicit concurrency control, by providing a simple, faithful representation of the hardware interface that allows software to control the degree of interleaving between user code, OS code, interrupt handlers and a scheduler that controls context switching. We then apply this framework to model the interleaving behavior of the eChronos OS, a preemptible real-time OS for embedded micro-controllers. We discuss the accuracy and usability of our approach when instantiated to model the eChronos OS. Both our framework and the eChronos model are formalised in the Isabelle/HOL theorem prover, taking advantage of the high level of automation in modern reasoning tools.

Archtecture of distributed real-time systems

OpenAIRE

Wing Leung, Cheuk

2013-01-01

CRAFTERS (Constraint and Application Driven Framework for Tailoring Embedded Real-time System) project aims to address the problem of uncertainty and heterogeneity in a distributed system by providing seamless, portable connectivity and middleware. This thesis contributes to the project by investigating the techniques that can be used in a distributed real-time embedded system. The conclusion is that, there is a list of specifications to be meet in order to provide a transparent and real-time...

Dense time discretization technique for verification of real time systems

International Nuclear Information System (INIS)

Makackas, Dalius; Miseviciene, Regina

2016-01-01

Verifying the real-time system there are two different models to control the time: discrete and dense time based models. This paper argues a novel verification technique, which calculates discrete time intervals from dense time in order to create all the system states that can be reached from the initial system state. The technique is designed for real-time systems specified by a piece-linear aggregate approach. Key words: real-time system, dense time, verification, model checking, piece-linear aggregate

Model Checking Real-Time Systems

DEFF Research Database (Denmark)

Bouyer, Patricia; Fahrenberg, Uli; Larsen, Kim Guldstrand

2018-01-01

This chapter surveys timed automata as a formalism for model checking real-time systems. We begin with introducing the model, as an extension of finite-state automata with real-valued variables for measuring time. We then present the main model-checking results in this framework, and give a hint...

Mixed-mode Operating System for Real-time Performance

Directory of Open Access Journals (Sweden)

M.M. Hasan

2017-11-01

Full Text Available The purpose of the mixed-mode system research is to handle devices with the accuracy of real-time systems and at the same time, having all the benefits and facilities of a matured Graphic User Interface (GUI operating system which is typically nonreal-time. This mixed-mode operating system comprising of a real-time portion and a non-real-time portion was studied and implemented to identify the feasibilities and performances in practical applications (in the context of scheduled the real-time events. In this research an i8751 microcontroller-based hardware was used to measure the performance of the system in real-time-only as well as non-real-time-only configurations. The real-time portion is an 486DX-40 IBM PC system running under DOS-based realtime kernel and the non-real-time portion is a Pentium III based system running under Windows NT. It was found that mixed-mode systems performed as good as a typical realtime system and in fact, gave many additional benefits such as simplified/modular programming and load tolerance.

Self-Organization in Embedded Real-Time Systems

CERN Document Server

Brinkschulte, Uwe; Rettberg, Achim

2013-01-01

This book describes the emerging field of self-organizing, multicore, distributed and real-time embedded systems.  Self-organization of both hardware and software can be a key technique to handle the growing complexity of modern computing systems. Distributed systems running hundreds of tasks on dozens of processors, each equipped with multiple cores, requires self-organization principles to ensure efficient and reliable operation. This book addresses various, so-called Self-X features such as self-configuration, self-optimization, self-adaptation, self-healing and self-protection. Presents open components for embedded real-time adaptive and self-organizing applications; Describes innovative techniques in: scheduling, memory management, quality of service, communications supporting organic real-time applications; Covers multi-/many-core embedded systems supporting real-time adaptive systems and power-aware, adaptive hardware and software systems; Includes case studies of open embedded real-time self-organizi...

Modular specification of real-time systems

DEFF Research Database (Denmark)

Inal, Recep

1994-01-01

Duration Calculus, a real-time interval logic, has been embedded in the Z specification language to provide a notation for real-time systems that combines the modularisation and abstraction facilities of Z with a logic suitable for reasoning about real-time properties. In this article the notation...

Heterogeneous Embedded Real-Time Systems Environment

Science.gov (United States)

2003-12-01

AFRL-IF-RS-TR-2003-290 Final Technical Report December 2003 HETEROGENEOUS EMBEDDED REAL - TIME SYSTEMS ENVIRONMENT Integrated...HETEROGENEOUS EMBEDDED REAL - TIME SYSTEMS ENVIRONMENT 6. AUTHOR(S) Cosmo Castellano and James Graham 5. FUNDING NUMBERS C - F30602-97-C-0259

Mixed - mode Operating System for Real - time Performance

OpenAIRE

Hasan M. M.; Sultana S.; Foo C.K.

2017-01-01

The purpose of the mixed-mode system research is to handle devices with the accuracy of real-time systems and at the same time, having all the benefits and facilities of a matured Graphic User Interface(GUI)operating system which is typicallynon-real-time. This mixed-mode operating system comprising of a real-time portion and a non-real-time portion was studied and implemented to identify the feasibilities and performances in practical applications (in the context of scheduled the real-time e...

Static Schedulers for Embedded Real-Time Systems

Science.gov (United States)

1989-12-01

Because of the need for having efficient scheduling algorithms in large scale real time systems , software engineers put a lot of effort on developing...provide static schedulers for he Embedded Real Time Systems with single processor using Ada programming language. The independent nonpreemptable...support the Computer Aided Rapid Prototyping for Embedded Real Time Systems so that we determine whether the system, as designed, meets the required

On Real-Time Systems Using Local Area Networks.

Science.gov (United States)

1987-07-01

87-35 July, 1987 CS-TR-1892 On Real - Time Systems Using Local Area Networks*I VShem-Tov Levi Department of Computer Science Satish K. Tripathit...1892 On Real - Time Systems Using Local Area Networks* Shem-Tov Levi Department of Computer Science Satish K. Tripathit Department of Computer Science...constraints and the clock systems that feed the time to real - time systems . A model for real-time system based on LAN communication is presented in

Real-Time Operating Systems for Multicore Embedded Systems

OpenAIRE

Tomiyama, Hiroyuki; Honda, Shinya; Takada, Hiroaki

2008-01-01

Multicore systems-on-chip have become popular inthe design of embedded systems in order to simultaneously achieve high performance and low power consumption. On the software side, real-time operating systems are necessary in orderto handle growing complexity of embedded software. This paper describes requirements, design principles and implementation techniques for real-time operating systems to be used inasymmetric multicore systems.

Design Recovery Technology for Real-Time Systems.

Science.gov (United States)

1995-10-01

RL-TR-95-208 Final Technical Report October 1995 DESIGN RECOVERY TECHNOLOGY FOR REAL TIME SYSTEMS The MITRE Corporation Lester J. Holtzblatt...92 - Jan 95 4. TTTLE AND SUBTITLE DESIGN RECOVERY TECHNOLOGY FOR REAL - TIME SYSTEMS 6. AUTHOR(S) Lester J. Holtzblatt, Richard Piazza, and Susan...behavior of real - time systems in general, our initial efforts have centered on recovering this information from one system in particular, the Modular

Real-time systems scheduling fundamentals

CERN Document Server

Chetto, Maryline

2014-01-01

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc.  Scheduling is a central problem for these computing/communication systems since responsible of software execution in a timely manner. This book provides state of knowledge in this domain with special emphasis on the key results obtained within the last decade. This book addresses foundations as well as the latest advances and findings in Real-Time Scheduling, giving all references to important papers. But nevertheless the chapters will be short and not overloaded with confusing details.

Scala for Real-Time Systems?

DEFF Research Database (Denmark)

Schoeberl, Martin

2015-01-01

Java served well as a general-purpose language. However, during its two decades of constant change it has gotten some weight and legacy in the language syntax and the libraries. Furthermore, Java's success for real-time systems is mediocre. Scala is a modern object-oriented and functional language...... with interesting new features. Although a new language, it executes on a Java virtual machine, reusing that technology. This paper explores Scala as language for future real-time systems....

Failure analysis of real-time systems

International Nuclear Information System (INIS)

Jalashgar, A.; Stoelen, K.

1998-01-01

This paper highlights essential aspects of real-time software systems that are strongly related to the failures and their course of propagation. The significant influence of means-oriented and goal-oriented system views in the description, understanding and analysing of those aspects is elaborated. The importance of performing failure analysis prior to reliability analysis of real-time systems is equally addressed. Problems of software reliability growth models taking the properties of such systems into account are discussed. Finally, the paper presents a preliminary study of a goal-oriented approach to model the static and dynamic characteristics of real-time systems, so that the corresponding analysis can be based on a more descriptive and informative picture of failures, their effects and the possibility of their occurrence. (author)

Performance evaluation of near-real-time accounting systems

International Nuclear Information System (INIS)

Anon.

1981-01-01

Examples are given illustrating the application of near-real-time accounting concepts and principles to actual nuclear facilities. Experience with prototypical systems at the AGNS reprocessing plant and the Los Alamos plutonium facility is described using examples of actual data to illustrate the performance and effectiveness of near-real-time systems. The purpose of the session is to enable participants to: (1) identify the major components of near-real-time accounting systems; (2) describe qualitatively the advantages, limitations, and performance of such systems in real nuclear facilities; (3) identify process and facility design characteristics that affect the performance of near-real-time systems; and (4) describe qualitatively the steps necessary to implement a near-real-time accounting and control system in a nuclear facility

Run-time middleware to support real-time system scenarios

NARCIS (Netherlands)

Goossens, K.; Koedam, M.; Sinha, S.; Nelson, A.; Geilen, M.

2015-01-01

Systems on Chip (SOC) are powerful multiprocessor systems capable of running multiple independent applications, often with both real-time and non-real-time requirements. Scenarios exist at two levels: first, combinations of independent applications, and second, different states of a single

Mixed-mode Operating System for Real-time Performance

OpenAIRE

M.M. Hasan; S. Sultana; C.K. Foo

2017-01-01

The purpose of the mixed-mode system research is to handle devices with the accuracy of real-time systems and at the same time, having all the benefits and facilities of a matured Graphic User Interface (GUI) operating system which is typically nonreal-time. This mixed-mode operating system comprising of a real-time portion and a non-real-time portion was studied and implemented to identify the feasibilities and performances in practical applications (in the context of scheduled the real-time...

Design Specifications for Adaptive Real-Time Systems

Science.gov (United States)

1991-12-01

TICfl \\ E CT E Design Specifications for JAN’\\ 1992 Adaptive Real - Time Systems fl Randall W. Lichota U, Alice H. Muntz - December 1991 \\ \\\\/ 0 / r...268-2056 Technical Report CMU/SEI-91-TR-20 ESD-91-TR-20 December 1991 Design Specifications for Adaptive Real - Time Systems Randall W. Lichota Hughes...Design Specifications for Adaptive Real - Time Systems Abstract: The design specification method described in this report treats a software

Learning from Mistakes --- A Comprehensive Study on Real World Concurrency Bug Characteristics

International Nuclear Information System (INIS)

Shan Lu; Soyeon Park; Eunsoo Seo; Yuanyuan Zhou

2008-01-01

The reality of multi-core hardware has made concurrent programs pervasive. Unfortunately, writing correct concurrent programs is difficult. Addressing this challenge requires advances in multiple directions, including concurrency bug detection, concurrent program testing, concurrent programming model design, etc. Designing effective techniques in all these directions will significantly benefit from a deep understanding of real world concurrency bug characteristics. This paper provides the first (to the best of our knowledge) comprehensive real world concurrency bug characteristic study. Specifically, we have carefully examined concurrency bug patterns, manifestation, and fix strategies of 105 randomly selected real world concurrency bugs from 4 representative server and client opensource applications (MySQL, Apache, Mozilla and OpenOffice). Our study reveals several interesting findings and provides useful guidance for concurrency bug detection, testing, and concurrent programming language design. Some of our findings are as follows: (1) Around one third of the examined non-deadlock concurrency bugs are caused by violation to programmers order intentions, which may not be easily expressed via synchronization primitives like locks and transactional memories; (2) Around 34% of the examined non-deadlock concurrency bugs involve multiple variables, which are not well addressed by existing bug detection tools; (3) About 92% of the examined concurrency bugs can be reliably triggered by enforcing certain orders among no more than 4 memory accesses. This indicates that testing concurrent programs can target at exploring possible orders among every small groups of memory accesses, instead of among all memory accesses; (4) About 73% of the examined non-deadlock concurrency bugs were not fixed by simply adding or changing locks, and many of the fixes were not correct at the first try, indicating the difficulty of reasoning concurrent execution by programmers.

Distributed Issues for Ada Real-Time Systems

Science.gov (United States)

1990-07-23

NUMBERS Distributed Issues for Ada Real - Time Systems MDA 903-87- C- 0056 S. AUTHOR(S) Thomas E. Griest 7. PERFORMING ORGANiZATION NAME(S) AND ADORESS(ES) 8...considerations. I Adding to the problem of distributed real - time systems is the issue of maintaining a common sense of time among all of the processors...because -omeone is waiting for the final output of a very large set of computations. However in real - time systems , consistent meeting of short-term

Real-time ISEE data system

Science.gov (United States)

Tsurutani, B. T.; Baker, D. N.

1979-01-01

A real-time ISEE data system directed toward predicting geomagnetic substorms and storms is discussed. Such a system may allow up to 60+ minutes advance warning of magnetospheric substorms and up to 30 minute warnings of geomagnetic storms (and other disturbances) induced by high-speed streams and solar flares. The proposed system utilizes existing capabilities of several agencies (NASA, NOAA, USAF), and thereby minimizes costs. This same concept may be applicable to data from other spacecraft, and other NASA centers; thus, each individual experimenter can receive quick-look data in real time at his or her base institution.

Detection of Common Problems in Real-Time and Multicore Systems Using Model-Based Constraints

Directory of Open Access Journals (Sweden)

Raphaël Beamonte

2016-01-01

Full Text Available Multicore systems are complex in that multiple processes are running concurrently and can interfere with each other. Real-time systems add on top of that time constraints, making results invalid as soon as a deadline has been missed. Tracing is often the most reliable and accurate tool available to study and understand those systems. However, tracing requires that users understand the kernel events and their meaning. It is therefore not very accessible. Using modeling to generate source code or represent applications’ workflow is handy for developers and has emerged as part of the model-driven development methodology. In this paper, we propose a new approach to system analysis using model-based constraints, on top of userspace and kernel traces. We introduce the constraints representation and how traces can be used to follow the application’s workflow and check the constraints we set on the model. We then present a number of common problems that we encountered in real-time and multicore systems and describe how our model-based constraints could have helped to save time by automatically identifying the unwanted behavior.

Synchronization resources in heterogeneous environments: Time-sharing, real-time and Java

International Nuclear Information System (INIS)

Pereira, A.; Vega, J.; Pacios, L.; Sanchez, E.; Portas, A.

2006-01-01

The asynchronous event distribution system (AEDS) was built to provide synchronization resources within the TJ-II local area network. It is a software system developed to add 'soft synchronization' capabilities to the TJ-II data acquisition, control and analysis environments. 'Soft synchronization' signifies that AEDS is not a real-time system. In fact, AEDS is based on TCP/IP over ETHERNET networks. However, its response time is adequate for practical purposes when synchronization requirements can support some delay between event dispatch and message reception. Event broadcasters (or synchronization servers in AEDS terminology) are Windows computers. Destination computers (or synchronization clients) were also Windows machines in the first version of AEDS. However, this fact imposed a very important limitation on synchronization capabilities. To overcome this situation, synchronization clients for different environments have been added to AEDS: for time-sharing operating systems (Unix and Linux), real-time operating systems (OS-9 and VxWorks) and Java applications. These environments have different synchronization primitives, requiring different approaches to provide the required uniform functionality. This has been achieved with POSIX thread library synchronization primitives (mutex and condition variables) on Unix/Linux systems, IPC mechanisms for concurrent processes on OS-9 and VxWorks real-time operating systems, and 'synchronized-wait/notify' primitives on Java virtual machines

A Programmable Microkernel for Real-Time Systems

Science.gov (United States)

2003-06-01

A Programmable Microkernel for Real - Time Systems Christoph M. Kirsch Thomas A. Henzinger Marco A.A. Sanvido Report No. UCB/CSD-3-1250 June 2003...TITLE AND SUBTITLE A Programmable Microkernel for Real - Time Systems 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S...THIS PAGE unclassified Standard Form 298 (Rev. 8-98) Prescribed by ANSI Std Z39-18 A Programmable Microkernel for Real - Time Systems ∗ Christoph M

Temporal Proof Methodologies for Real-Time Systems,

Science.gov (United States)

1990-09-01

real time systems that communicate either through shared variables or by message passing and real time issues such as time-outs, process priorities (interrupts) and process scheduling. The authors exhibit two styles for the specification of real - time systems . While the first approach uses bounded versions of temporal operators the second approach allows explicit references to time through a special clock variable. Corresponding to two styles of specification the authors present and compare two fundamentally different proof

Real-Time and Real-Fast Performance of General-Purpose and Real-Time Operating Systems in Multithreaded Physical Simulation of Complex Mechanical Systems

Directory of Open Access Journals (Sweden)

Carlos Garre

2014-01-01

Full Text Available Physical simulation is a valuable tool in many fields of engineering for the tasks of design, prototyping, and testing. General-purpose operating systems (GPOS are designed for real-fast tasks, such as offline simulation of complex physical models that should finish as soon as possible. Interfacing hardware at a given rate (as in a hardware-in-the-loop test requires instead maximizing time determinism, for which real-time operating systems (RTOS are designed. In this paper, real-fast and real-time performance of RTOS and GPOS are compared when simulating models of high complexity with large time steps. This type of applications is usually present in the automotive industry and requires a good trade-off between real-fast and real-time performance. The performance of an RTOS and a GPOS is compared by running a tire model scalable on the number of degrees-of-freedom and parallel threads. The benchmark shows that the GPOS present better performance in real-fast runs but worse in real-time due to nonexplicit task switches and to the latency associated with interprocess communication (IPC and task switch.

Concurrence of three Jaynes-Cummings systems

Science.gov (United States)

Qiang, Wen-Chao; Sun, Guo-Hua; Dong, Qian; Camacho-Nieto, Oscar; Dong, Shi-Hai

2018-04-01

We apply genuine multipartite concurrence to investigate entanglement properties of three Jaynes-Cummings systems. Three atoms are initially put in GHZ-like state and locally interact with three independent cavities, respectively. We present analytical concurrence expressions for various subsystems including three-atom, three-cavity and some atom-cavity mixed systems. We also examine the global system and illustrate the evolution of its concurrence. Except for the sudden death of entanglement, we find for some initial entanglement parameter θ , the concurrence of the global system may maintain unchanged in some time intervals.

Real-time object-oriented programming: studies and proposals

International Nuclear Information System (INIS)

Fouquier, Gilles

1996-01-01

This thesis contributes to the introduction of real-time features in object-oriented programming. Object-oriented programming favours modularity and reusability. Therefore, its application to real-time introduces many theoretical and conceptual problems. To deal with these problems, a new real-time object-oriented programming model is presented. This model is based on the active object model which allows concurrence and maintains the encapsulation property. The real-time aspect is treated by replacing the concept of task by the concept of method processing and by associating a real-time constraint to each message (priority or deadline). The set of all the running methods is scheduled. This model, called ATOME, contains several sub-models to deal with the usual concurrence control integrating their priority and deadline processing. The classical HPF and EDF scheduling avoid priority or deadline inversion. This model and its variants are new proposals to program real-time applications in the object-oriented way, therefore easing reusability and code writing. The feasibility of this approach is demonstrated by extending and existing active object-based language to real-time, in using the rules defined in the ATOME model. (author) [fr

Internet-accessible real-time weather information system

Digital Repository Service at National Institute of Oceanography (India)

Desai, R.G.P.; Joseph, A.; Desa, E.; Mehra, P.; Desa, E.; Gouveia, A.D.

An internet-accessible real-time weather information system has been developed. This system provides real-time accessibility to weather information from a multitude of spatially distributed weather stations. The Internet connectivity also offers...

Temporal Specification and Verification of Real-Time Systems.

Science.gov (United States)

1991-08-30

of concrete real - time systems can be modeled adequately. Specification: We present two conservative extensions of temporal logic that allow for the...logic. We present both model-checking algorithms for the automatic verification of finite-state real - time systems and proof methods for the deductive verification of real - time systems .

REAL TIME SYSTEM OPERATIONS 2006-2007

Energy Technology Data Exchange (ETDEWEB)

Eto, Joseph H.; Parashar, Manu; Lewis, Nancy Jo

2008-08-15

The Real Time System Operations (RTSO) 2006-2007 project focused on two parallel technical tasks: (1) Real-Time Applications of Phasors for Monitoring, Alarming and Control; and (2) Real-Time Voltage Security Assessment (RTVSA) Prototype Tool. The overall goal of the phasor applications project was to accelerate adoption and foster greater use of new, more accurate, time-synchronized phasor measurements by conducting research and prototyping applications on California ISO's phasor platform - Real-Time Dynamics Monitoring System (RTDMS) -- that provide previously unavailable information on the dynamic stability of the grid. Feasibility assessment studies were conducted on potential application of this technology for small-signal stability monitoring, validating/improving existing stability nomograms, conducting frequency response analysis, and obtaining real-time sensitivity information on key metrics to assess grid stress. Based on study findings, prototype applications for real-time visualization and alarming, small-signal stability monitoring, measurement based sensitivity analysis and frequency response assessment were developed, factory- and field-tested at the California ISO and at BPA. The goal of the RTVSA project was to provide California ISO with a prototype voltage security assessment tool that runs in real time within California ISO?s new reliability and congestion management system. CERTS conducted a technical assessment of appropriate algorithms, developed a prototype incorporating state-of-art algorithms (such as the continuation power flow, direct method, boundary orbiting method, and hyperplanes) into a framework most suitable for an operations environment. Based on study findings, a functional specification was prepared, which the California ISO has since used to procure a production-quality tool that is now a part of a suite of advanced computational tools that is used by California ISO for reliability and congestion management.

Verifying real-time systems against scenario-based requirements

DEFF Research Database (Denmark)

Larsen, Kim Guldstrand; Li, Shuhao; Nielsen, Brian

2009-01-01

We propose an approach to automatic verification of real-time systems against scenario-based requirements. A real-time system is modeled as a network of Timed Automata (TA), and a scenario-based requirement is specified as a Live Sequence Chart (LSC). We define a trace-based semantics for a kernel...... subset of the LSC language. By equivalently translating an LSC chart into an observer TA and then non-intrusively composing this observer with the original system model, the problem of verifying a real-time system against a scenario-based requirement reduces to a classical real-time model checking...

The Synthesis of Intelligent Real-Time Systems

Science.gov (United States)

1990-11-09

Synthesis of Intelligent Real - Time Systems . The purpose of the effort was to develop and extend theories and techniques that facilitate the design and...implementation of intelligent real - time systems . In particular, Teleos has extended situated-automata theory to apply to situations in which the system has

PERTS: A Prototyping Environment for Real-Time Systems

Science.gov (United States)

Liu, Jane W. S.; Lin, Kwei-Jay; Liu, C. L.

1993-01-01

PERTS is a prototyping environment for real-time systems. It is being built incrementally and will contain basic building blocks of operating systems for time-critical applications, tools, and performance models for the analysis, evaluation and measurement of real-time systems and a simulation/emulation environment. It is designed to support the use and evaluation of new design approaches, experimentations with alternative system building blocks, and the analysis and performance profiling of prototype real-time systems.

A reliable information management for real-time systems

International Nuclear Information System (INIS)

Nishihara, Takuo; Tomita, Seiji

1995-01-01

In this paper, we propose a system configuration suitable for the hard realtime systems in which integrity and durability of information are important. On most hard real-time systems, where response time constraints are critical, the data which program access are volatile, and may be lost in case the systems are down. But for some real-time systems, the value-added intelligent network (IN) systems, e.g., integrity and durability of the stored data are very important. We propose a distributed system configuration for such hard real-time systems, comprised of service control modules and data management modules. The service control modules process transactions and responses based on deadline control, and the data management modules deal the stored data based on information recovery schemes well-restablished in fault real-time systems. (author)

Compiling models into real-time systems

International Nuclear Information System (INIS)

Dormoy, J.L.; Cherriaux, F.; Ancelin, J.

1992-08-01

This paper presents an architecture for building real-time systems from models, and model-compiling techniques. This has been applied for building a real-time model-based monitoring system for nuclear plants, called KSE, which is currently being used in two plants in France. We describe how we used various artificial intelligence techniques for building it: a model-based approach, a logical model of its operation, a declarative implementation of these models, and original knowledge-compiling techniques for automatically generating the real-time expert system from those models. Some of those techniques have just been borrowed from the literature, but we had to modify or invent other techniques which simply did not exist. We also discuss two important problems, which are often underestimated in the artificial intelligence literature: size, and errors. Our architecture, which could be used in other applications, combines the advantages of the model-based approach with the efficiency requirements of real-time applications, while in general model-based approaches present serious drawbacks on this point

Compiling models into real-time systems

International Nuclear Information System (INIS)

Dormoy, J.L.; Cherriaux, F.; Ancelin, J.

1992-08-01

This paper presents an architecture for building real-time systems from models, and model-compiling techniques. This has been applied for building a real-time model-base monitoring system for nuclear plants, called KSE, which is currently being used in two plants in France. We describe how we used various artificial intelligence techniques for building it: a model-based approach, a logical model of its operation, a declarative implementation of these models, and original knowledge-compiling techniques for automatically generating the real-time expert system from those models. Some of those techniques have just been borrowed from the literature, but we had to modify or invent other techniques which simply did not exist. We also discuss two important problems, which are often underestimated in the artificial intelligence literature: size, and errors. Our architecture, which could be used in other applications, combines the advantages of the model-based approach with the efficiency requirements of real-time applications, while in general model-based approaches present serious drawbacks on this point

Towards Reconfigurable, Separable and Hard Real-Time Hybrid Simulation and Test Systems

Science.gov (United States)

Quartier, F.; Delatte, B.; Joubert, M.

2009-05-01

Formation flight needs several new technologies, new disciplines, new approaches and above all, more concurrent engineering by more players. One of the problems to be addressed are more complex simulation and test systems that are easy to re-configure to include parts of the target hardware and that can provide sufficient power to handle simulation cores that are requiring one to two orders of magnitude more processing power than the current technology provides. Critical technologies that are already addressed by CNES and Spacebel are study model reuse and simulator reconfigurability (Basiles), model portability (SMP2) and the federation of several simulators using HLA. Two more critical issues are addressed in ongoing R&D work by CNES and Spacebel and are covered by this paper and concern the time engineering and management. The first issue concerns separability (characterisation, identification and handling of separable subsystems) and the consequences on practical systems. Experiments on the Pleiades operational simulator have shown that adding precise simulation of instruments such as Doris and the Star Tracker can be added without significantly impacting overall performance. Improved time analysis leads to better system understanding and testability. The second issue concerns architectures for distributed hybrid simulators systems that provide hard real-time capabilities and can react with a relative time precision and jitter that is in the 10 to 50 µsecond range using mainstream PC's and mainstream Operating Systems. This opens a way to make smaller economic hardware test systems that can be reconfigured to make large hardware test systems without restarting development. Although such systems were considered next to impossible till now, distributed hard real-time systems are getting in reach when modern but mainstream electronics are used and when processor cores can be isolated and reserved for real-time cores. This requires a complete rethinking of the

Real-time ISEE data system

International Nuclear Information System (INIS)

Tsurutani, B.T.; Baker, D.N.

1979-01-01

Prediction of geomagnetic substorms and storms would be of great scientific and commercial interest. A real-time ISEE data system directed toward this purpose is discussed in detail. Such a system may allow up to 60+ minutes advance warning of magnetospheric substorms and up to 30 minute warnings of geomagnetic storms (and other disturbances) induced by high-speed streams and solar flares. The proposed system utilizes existing capabilities of several agencies (NASA, NOAA, USAF), and thereby minimizes costs. This same concept may be applicable to data from other spacecraft, and other NASA centers; thus, each individual experimenter can receive quick-look data in real time at his or her base institution. 6 figures, 1 table

Real-time objects development: Study and proposal for a parallel scheduling architecture

International Nuclear Information System (INIS)

Rioux, Laurent

1997-01-01

This thesis contributes to the programming and the execution control of real-time object oriented applications. Using real-time objects is very interesting for programming real- time applications, because this model can introduce the concurrence with the encapsulation properties, with modularity and reusability by taking into account the real-time constraints of the application. One essential quality of this approach is that it can directly specify the parallelism and the real-time constraints at the model level of the application. An annotation system of C++ has been defined to describe the real-time specifications in the model (or in the source code) of the application. It will supply to the execution support the different information it needs for the control. In this approach of multitasking, the control is distributed and encapsulated inside each real time object. Three complementary levels of control have been defined: the state level (defining the capability of an object to treat an operation), the concurrence level (assuring the coherence between the object attributes) and a scheduling control (allocating the processors resources to the object by taking real-time constraints into account). The proposed control architecture, named OROS, manages the attribute access of each object in an individual way, then it can parallel treatments which do not access at the same data. This architecture makes a dynamic control of an application that can take benefit from the parallelism of the new machines both for the execution parallelism and the control itself. This architecture uses only the simplest primitives of the industrial real-time operating systems which ensures its feasibility and portability. (author) [fr

Real-time communication for distributed plasma control systems

Energy Technology Data Exchange (ETDEWEB)

Luchetta, A. [Consorzio RFX, Associazione Euratom-ENEA sulla Fusione, Corso Stati Uniti 4, Padova 35127 (Italy)], E-mail: adriano.luchetta@igi.cnr.it; Barbalace, A.; Manduchi, G.; Soppelsa, A.; Taliercio, C. [Consorzio RFX, Associazione Euratom-ENEA sulla Fusione, Corso Stati Uniti 4, Padova 35127 (Italy)

2008-04-15

Real-time control applications will benefit in the near future from the enhanced performance provided by multi-core processor architectures. Nevertheless real-time communication will continue to be critical in distributed plasma control systems where the plant under control typically is distributed over a wide area. At RFX-mod real-time communication is crucial for hard real-time plasma control, due to the distributed architecture of the system, which consists of several VMEbus stations. The system runs under VxWorks and uses Gigabit Ethernet for sub-millisecond real-time communication. To optimize communication in the system, a set of detailed measurements has been carried out on the target platforms (Motorola MVME5100 and MVME5500) using either the VxWorks User Datagram Protocol (UDP) stack or raw communication based on the data link layer. Measurements have been carried out also under Linux, using its UDP stack or, in alternative, RTnet, an open source hard real-time network protocol stack. RTnet runs under Xenomai or RTAI, two popular real-time extensions based on the Linux kernel. The paper reports on the measurements carried out and compares the results, showing that the performance obtained by using open source code is suitable for sub-millisecond real-time communication in plasma control.

Synchronization resources in heterogeneous environments: Time-sharing, real-time and Java

Energy Technology Data Exchange (ETDEWEB)

Pereira, A. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain)]. E-mail: augusto.pereira@ciemat.es; Vega, J. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain); Pacios, L. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain); Sanchez, E. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain); Portas, A. [Asociacion EURATOM/CIEMAT para Fusion, CIEMAT Edificio 66, Avda. Complutense, 22, 28040 Madrid (Spain)

2006-07-15

The asynchronous event distribution system (AEDS) was built to provide synchronization resources within the TJ-II local area network. It is a software system developed to add 'soft synchronization' capabilities to the TJ-II data acquisition, control and analysis environments. 'Soft synchronization' signifies that AEDS is not a real-time system. In fact, AEDS is based on TCP/IP over ETHERNET networks. However, its response time is adequate for practical purposes when synchronization requirements can support some delay between event dispatch and message reception. Event broadcasters (or synchronization servers in AEDS terminology) are Windows computers. Destination computers (or synchronization clients) were also Windows machines in the first version of AEDS. However, this fact imposed a very important limitation on synchronization capabilities. To overcome this situation, synchronization clients for different environments have been added to AEDS: for time-sharing operating systems (Unix and Linux), real-time operating systems (OS-9 and VxWorks) and Java applications. These environments have different synchronization primitives, requiring different approaches to provide the required uniform functionality. This has been achieved with POSIX thread library synchronization primitives (mutex and condition variables) on Unix/Linux systems, IPC mechanisms for concurrent processes on OS-9 and VxWorks real-time operating systems, and 'synchronized-wait/notify' primitives on Java virtual machines.

Games and Scenarios for Real-Time System Validation

DEFF Research Database (Denmark)

Li, Shuhao

This thesis presents research on the validation of real-time embedded software systems in the context of model-based development. The thesis proposes scenario-based and game-theoretic approaches to system analysis, verification, synthesis and testing to address the challenges that arise from....... By linking our prototype translators with existing model checker Uppaal and game solver Uppaal-Tiga, we show that these methods contribute to the interaction correctness and timeliness of early system designs. The thesis also shows that testing a real-time reactive system can be viewed as playing a timed...... communicating real-time systems can be modeled and specified with LSC. By translating LSC to timed automata (TAs), we reduce scenario-based model consistency checking and property verification to CTL real-time model checking problems, and reduce scenario-based synthesis to a timed game solving problem...

A Process For Performance Evaluation Of Real-Time Systems

Directory of Open Access Journals (Sweden)

Andrew J. Kornecki

2003-12-01

Full Text Available Real-time developers and engineers must not only meet the system functional requirements, but also the stringent timing requirements. One of the critical decisions leading to meeting these timing requirements is the selection of an operating system under which the software will be developed and run. Although there is ample documentation on real-time systems performance and evaluation, little can be found that combines such information into an efficient process for use by developers. As the software industry moves towards clearly defined processes, creation of appropriate guidelines describing a process for performance evaluation of real-time system would greatly benefit real-time developers. This technology transition research focuses on developing such a process. PROPERT (PROcess for Performance Evaluation of Real Time systems - the process described in this paper - is based upon established techniques for evaluating real-time systems. It organizes already existing real-time performance criteria and assessment techniques in a manner consistent with a well-formed process, based on the Personal Software Process concepts.

Proceedings of the Real-Time Systems Engineering Workshop

Science.gov (United States)

2001-08-01

real - time systems engineering. The workshop was held as part of the SEI Symposium in...Washington, DC, during September 2000. The objective of the workshop was to identify key issues and obtain feedback from attendees concerning real - time systems engineering...and interoperability. This report summarizes the workshop in terms of foundation, management, and technical topics, and it contains a discussion related to developing a community of interest for real - time systems

Real-time systems scheduling 2 focuses

CERN Document Server

Chetto, Maryline

2014-01-01

Real-time systems are used in a wide range of applications, including control, sensing, multimedia, etc. Scheduling is a central problem for these computing/communication systems since it is responsible for software execution in a timely manner. This book, the second of two volumes on the subject, brings together knowledge on specific topics and discusses the recent advances for some of them.  It addresses foundations as well as the latest advances and findings in real-time scheduling, giving comprehensive references to important papers, but the chapters are short and not overloaded with co

Developments in architecture for real-time data systems

International Nuclear Information System (INIS)

Heath, R.L.; Myers, W.R.

1975-01-01

Real-time data systems typically operate at two levels: a fast-response instrument-oriented level for data acquisition and control, and a slow human-oriented level for interaction and computation. Traditional minicomputer data systems support real-time applications by implementation of background/foreground software. Recent developments in computer technology including microprocessors enable the functional organization of hardware in distributed or hierarchical form to provide new system structures for real-time requirements. Examples of systems with distributed architecture will be discussed in detail

Solutions to time variant problems of real-time expert systems

Science.gov (United States)

Yeh, Show-Way; Wu, Chuan-Lin; Hung, Chaw-Kwei

1988-01-01

Real-time expert systems for monitoring and control are driven by input data which changes with time. One of the subtle problems of this field is the propagation of time variant problems from rule to rule. This propagation problem is even complicated under a multiprogramming environment where the expert system may issue test commands to the system to get data and to access time consuming devices to retrieve data for concurrent reasoning. Two approaches are used to handle the flood of input data. Snapshots can be taken to freeze the system from time to time. The expert system treats the system as a stationary one and traces changes by comparing consecutive snapshots. In the other approach, when an input is available, the rules associated with it are evaluated. For both approaches, if the premise condition of a fired rule is changed to being false, the downstream rules should be deactivated. If the status change is due to disappearance of a transient problem, actions taken by the fired downstream rules which are no longer true may need to be undone. If a downstream rule is being evaluated, it should not be fired. Three mechanisms for solving this problem are discussed: tracing, backward checking, and censor setting. In the forward tracing mechanism, when the premise conditions of a fired rule become false, the premise conditions of downstream rules which have been fired or are being evaluated due to the firing of that rule are reevaluated. A tree with its root at the rule being deactivated is traversed. In the backward checking mechanism, when a rule is being fired, the expert system checks back on the premise conditions of the upstream rules that result in evaluation of the rule to see whether it should be fired. The root of the tree being traversed is the rule being fired. In the censor setting mechanism, when a rule is to be evaluated, a censor is constructed based on the premise conditions of the upstream rules and the censor is evaluated just before the rule is

Real Time Systems

DEFF Research Database (Denmark)

Christensen, Knud Smed

2000-01-01

Describes fundamentals of parallel programming and a kernel for that. Describes methods for modelling and checking parallel problems. Real time problems.......Describes fundamentals of parallel programming and a kernel for that. Describes methods for modelling and checking parallel problems. Real time problems....

Leveraging GIS in a real-time data environment

Energy Technology Data Exchange (ETDEWEB)

Nemeth, D.B. [Panhandle Energy, Houston, TX, (United States); Spangler, J. [Global Information Systems, Kearney, MO (United States)

2010-07-01

This presentation discussed a project to integrate Gas Control (GC) with a Geographic Information System (GIS) for meeting asset, schematic, and mapping needs. The new system allows maps to be updated accurately and in real time, thereby avoiding first-flow delays. This is a substantial improvement over the previous system, in which maps were updated annually. GC users required a greater depth of data, the authority of update data and send commands, and viewing capability for real-time values for flow and pressure, with multiple concurrent views of the system and near constant availability of views and data. GC users needed to be able to see asset attributes with real-time values; send commands to facilities/equipment to control product flow; coordinate with asset management teams to control product flow; and have strict data/quality control processes. The project team defined and refined the system requirements, reviewed technologies that could be leveraged into a solution, provided data clean-up/migration services to supplement the GIS database with additional data needed for Supervisory Control and Data Acquisition (SCADA), and created overlays of pipe information for map viewing annotated with real-time data readings/asset information. Detailed schematics were presented for the data flow migration. The project resulted in the completed data capture process to supplement GIS asset data for the 5,000-mile Florida Gas Transmission (FGT) system, the completed clean-up of network and schematic diagrams, and the linking of real-time operations data for FGT. The presentation concluded with a discussion regarding opportunities for improvement to the user interface. 24 figs.

Reviewing real-time performance of nuclear reactor safety systems

International Nuclear Information System (INIS)

Preckshot, G.G.

1993-08-01

The purpose of this paper is to recommend regulatory guidance for reviewers examining real-time performance of computer-based safety systems used in nuclear power plants. Three areas of guidance are covered in this report. The first area covers how to determine if, when, and what prototypes should be required of developers to make a convincing demonstration that specific problems have been solved or that performance goals have been met. The second area has recommendations for timing analyses that will prove that the real-time system will meet its safety-imposed deadlines. The third area has description of means for assessing expected or actual real-time performance before, during, and after development is completed. To ensure that the delivered real-time software product meets performance goals, the paper recommends certain types of code-execution and communications scheduling. Technical background is provided in the appendix on methods of timing analysis, scheduling real-time computations, prototyping, real-time software development approaches, modeling and measurement, and real-time operating systems

Reviewing real-time performance of nuclear reactor safety systems

Energy Technology Data Exchange (ETDEWEB)

Preckshot, G.G. [Lawrence Livermore National Lab., CA (United States)

1993-08-01

The purpose of this paper is to recommend regulatory guidance for reviewers examining real-time performance of computer-based safety systems used in nuclear power plants. Three areas of guidance are covered in this report. The first area covers how to determine if, when, and what prototypes should be required of developers to make a convincing demonstration that specific problems have been solved or that performance goals have been met. The second area has recommendations for timing analyses that will prove that the real-time system will meet its safety-imposed deadlines. The third area has description of means for assessing expected or actual real-time performance before, during, and after development is completed. To ensure that the delivered real-time software product meets performance goals, the paper recommends certain types of code-execution and communications scheduling. Technical background is provided in the appendix on methods of timing analysis, scheduling real-time computations, prototyping, real-time software development approaches, modeling and measurement, and real-time operating systems.

Virtual timers in hierarchical real-time systems

NARCIS (Netherlands)

Heuvel, van den M.M.H.P.; Holenderski, M.J.; Cools, W.A.; Bril, R.J.; Lukkien, J.J.; Zhu, D.

2009-01-01

Hierarchical scheduling frameworks (HSFs) provide means for composing complex real-time systems from welldefined subsystems. This paper describes an approach to provide hierarchically scheduled real-time applications with virtual event timers, motivated by the need for integrating priority

Real-time feedback for spatiotemporal field stabilization in MR systems.

Science.gov (United States)

Duerst, Yolanda; Wilm, Bertram J; Dietrich, Benjamin E; Vannesjo, S Johanna; Barmet, Christoph; Schmid, Thomas; Brunner, David O; Pruessmann, Klaas P

2015-02-01

MR imaging and spectroscopy require a highly stable, uniform background field. The field stability is typically limited by hardware imperfections, external perturbations, or field fluctuations of physiological origin. The purpose of the present work is to address these issues by introducing spatiotemporal field stabilization based on real-time sensing and feedback control. An array of NMR field probes is used to sense the field evolution in a whole-body MR system concurrently with regular system operation. The field observations serve as inputs to a proportional-integral controller that governs correction currents in gradient and higher-order shim coils such as to keep the field stable in a volume of interest. The feedback system was successfully set up, currently reaching a minimum latency of 20 ms. Its utility is first demonstrated by countering thermal field drift during an EPI protocol. It is then used to address respiratory field fluctuations in a T2 *-weighted brain exam, resulting in substantially improved image quality. Feedback field control is an effective means of eliminating dynamic field distortions in MR systems. Third-order spatial control at an update time of 100 ms has proven sufficient to largely eliminate thermal and breathing effects in brain imaging at 7 Tesla. © 2014 Wiley Periodicals, Inc.

Advances in Real-Time Systems

CERN Document Server

Chakraborty, Samarjit

2012-01-01

This volume contains the lectures given in honor to Georg Farber as tribute to his contributions in the area of real-time and embedded systems. The chapters of many leading scientists cover a wide range of aspects, like robot or automotive vision systems or medical aspects.

Processor tradeoffs in distributed real-time systems

Science.gov (United States)

Krishna, C. M.; Shin, Kang G.; Bhandari, Inderpal S.

1987-01-01

The problem of the optimization of the design of real-time distributed systems is examined with reference to a class of computer architectures similar to the continuously reconfigurable multiprocessor flight control system structure, CM2FCS. Particular attention is given to the impact of processor replacement and the burn-in time on the probability of dynamic failure and mean cost. The solution is obtained numerically and interpreted in the context of real-time applications.

Competitive On-Line Scheduling for Overloaded Real-Time Systems

Science.gov (United States)

1993-09-01

Real - Time Systems by Gilad Koren a dissertation submitted in partial fulfillment of the requirements...Overloaded Real - Time Systems 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT NUMBER 5e. TASK NUMBER 5f. WORK...1.1 Introduction : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : : 2 1.1.1 Real - Time Systems : : : : : : : : : : : : : : : : : : : : : : : : : : : :

Expert systems for real-time monitoring and fault diagnosis

Science.gov (United States)

Edwards, S. J.; Caglayan, A. K.

1989-01-01

Methods for building real-time onboard expert systems were investigated, and the use of expert systems technology was demonstrated in improving the performance of current real-time onboard monitoring and fault diagnosis applications. The potential applications of the proposed research include an expert system environment allowing the integration of expert systems into conventional time-critical application solutions, a grammar for describing the discrete event behavior of monitoring and fault diagnosis systems, and their applications to new real-time hardware fault diagnosis and monitoring systems for aircraft.

Concurrent semantics for structured design methods

OpenAIRE

Nixon, Patrick

1996-01-01

Also in Jelly, I., Gordon, I., & Groll, P. Software Engineering for Parallel and Distributed Systems. London: Chapman Hall. Design methods can be ambiguous due to di#11;erent interpretations of symbols or concepts. This paper presents a formal semantics for the Ward/Mellor Structured Analysis Method for Real Time systems. These semantics ensures that an unambiguous meaning can be attributed to a particular design. Speci#12;cally, it ensures that concurrent and real-time propert...

Issues Involved in Developing Ada Real-Time Systems

Science.gov (United States)

1989-02-15

expensive modifications to the compiler or Ada runtime system to fit a particular application. Whether we can solve the problems of programming real - time systems in...lock in solutions to problems that are not yet well understood in standards as rigorous as the Ada language. Moreover, real - time systems typically have

GNSS global real-time augmentation positioning: Real-time precise satellite clock estimation, prototype system construction and performance analysis

Science.gov (United States)

Chen, Liang; Zhao, Qile; Hu, Zhigang; Jiang, Xinyuan; Geng, Changjiang; Ge, Maorong; Shi, Chuang

2018-01-01

Lots of ambiguities in un-differenced (UD) model lead to lower calculation efficiency, which isn't appropriate for the high-frequency real-time GNSS clock estimation, like 1 Hz. Mixed differenced model fusing UD pseudo-range and epoch-differenced (ED) phase observations has been introduced into real-time clock estimation. In this contribution, we extend the mixed differenced model for realizing multi-GNSS real-time clock high-frequency updating and a rigorous comparison and analysis on same conditions are performed to achieve the best real-time clock estimation performance taking the efficiency, accuracy, consistency and reliability into consideration. Based on the multi-GNSS real-time data streams provided by multi-GNSS Experiment (MGEX) and Wuhan University, GPS + BeiDou + Galileo global real-time augmentation positioning prototype system is designed and constructed, including real-time precise orbit determination, real-time precise clock estimation, real-time Precise Point Positioning (RT-PPP) and real-time Standard Point Positioning (RT-SPP). The statistical analysis of the 6 h-predicted real-time orbits shows that the root mean square (RMS) in radial direction is about 1-5 cm for GPS, Beidou MEO and Galileo satellites and about 10 cm for Beidou GEO and IGSO satellites. Using the mixed differenced estimation model, the prototype system can realize high-efficient real-time satellite absolute clock estimation with no constant clock-bias and can be used for high-frequency augmentation message updating (such as 1 Hz). The real-time augmentation message signal-in-space ranging error (SISRE), a comprehensive accuracy of orbit and clock and effecting the users' actual positioning performance, is introduced to evaluate and analyze the performance of GPS + BeiDou + Galileo global real-time augmentation positioning system. The statistical analysis of real-time augmentation message SISRE is about 4-7 cm for GPS, whlile 10 cm for Beidou IGSO/MEO, Galileo and about 30 cm

A real-time photogrammetry system based on embedded architecture

Directory of Open Access Journals (Sweden)

S. Y. Zheng

2014-06-01

Full Text Available In order to meet the demand of real-time spatial data processing and improve the online processing capability of photogrammetric system, a kind of real-time photogrammetry method is proposed in this paper. According to the proposed method, system based on embedded architecture is then designed: using FPGA, ARM+DSP and other embedded computing technology to build specialized hardware operating environment, transplanting and optimizing the existing photogrammetric algorithm to the embedded system, and finally real-time photogrammetric data processing is realized. At last, aerial photogrammetric experiment shows that the method can achieve high-speed and stable on-line processing of photogrammetric data. And the experiment also verifies the feasibility of the proposed real-time photogrammetric system based on embedded architecture. It is the first time to realize real-time aerial photogrammetric system, which can improve the online processing efficiency of photogrammetry to a higher level and broaden the application field of photogrammetry.

The design of a real-time distributed system

International Nuclear Information System (INIS)

Hertzberger, L.O.; Tuynman, F.; Mullender, S.J.; Poletiek, G.; Vermeulen, J.C.; Renesse, R. van; Tanenbaum, A.S.

1986-01-01

In modern physics experiments an increasing number and variety of programmable processors is used. As a consequence, a software environment is needed that provides an integrated approach to development, testing and use of real-time distributed software. This contribution is based on work being done in the AMOEBA Distributed Operating System Project and the FADOS Real-Time Distributed Operating System Project. A short description of both systems is presented as an example of how basic real-time operating system services can be organized. AMOEBA is the result of fundamental research in the field of distributed operating systems, while FADOS has been designed for applications as encountered in experimental high-energy physics. (Auth.)

Coordinated scheduling for dynamic real-time systems

Science.gov (United States)

Natarajan, Swaminathan; Zhao, Wei

1994-01-01

In this project, we addressed issues in coordinated scheduling for dynamic real-time systems. In particular, we concentrated on design and implementation of a new distributed real-time system called R-Shell. The design objective of R-Shell is to provide computing support for space programs that have large, complex, fault-tolerant distributed real-time applications. In R-shell, the approach is based on the concept of scheduling agents, which reside in the application run-time environment, and are customized to provide just those resource management functions which are needed by the specific application. With this approach, we avoid the need for a sophisticated OS which provides a variety of generalized functionality, while still not burdening application programmers with heavy responsibility for resource management. In this report, we discuss the R-Shell approach, summarize the achievement of the project, and describe a preliminary prototype of R-Shell system.

Time-critical multirate scheduling using contemporary real-time operating system services

Science.gov (United States)

Eckhardt, D. E., Jr.

1983-01-01

Although real-time operating systems provide many of the task control services necessary to process time-critical applications (i.e., applications with fixed, invariant deadlines), it may still be necessary to provide a scheduling algorithm at a level above the operating system in order to coordinate a set of synchronized, time-critical tasks executing at different cyclic rates. The scheduling requirements for such applications and develops scheduling algorithms using services provided by contemporary real-time operating systems.

A Distributed Computing Network for Real-Time Systems.

Science.gov (United States)

1980-11-03

7 ) AU2 o NAVA TUNDEWATER SY$TEMS CENTER NEWPORT RI F/G 9/2 UIS RIBUT E 0 COMPUTIN G N LTWORK FOR REAL - TIME SYSTEMS .(U) UASSIFIED NOV Al 6 1...MORAIS - UT 92 dLEVEL c A Distributed Computing Network for Real - Time Systems . 11 𔃺-1 Gordon E/Morson I7 y tm- ,r - t "en t As J 2 -p .. - 7 I’ cNaval...NUMBER TD 5932 / N 4. TITLE mand SubotI. S. TYPE OF REPORT & PERIOD COVERED A DISTRIBUTED COMPUTING NETWORK FOR REAL - TIME SYSTEMS 6. PERFORMING ORG

Real-time Testing of Operating Systems on Raspberry Pi

OpenAIRE

Murstad, Amund

2016-01-01

A subset of operating systems are called ``real time'' operating systems. While a general operating system like Windows or OSX can make no guarantee when a process gets to run, a real time one has the ability to do so. They are used for systems where the quality of the results from the operating system is not only defined by their correctness, but also by when they arrive. These kinds of systems are called Real-time Systems and can be divided into soft, hard and firm. If a deadline is missed ...

76 FR 42536 - Real-Time System Management Information Program

Science.gov (United States)

2011-07-19

...-Time System Management Information Program AGENCY: Federal Highway Administration (FHWA), DOT. ACTION... Real-Time System Management Information Program and general information about current and planned... establishing requirements for the Real-Time System Management Information Program on November 8, 2010, at 75 FR...

75 FR 68418 - Real-Time System Management Information Program

Science.gov (United States)

2010-11-08

...-Time System Management Information Program AGENCY: Federal Highway Administration (FHWA), DOT. ACTION...) to establish a Real-Time System Management Information Program that provides, in all States, the... traveler information. The purposes of the Real-Time System Management Information Program are to: (1...

Research of real-time performance based on VxWorks embedded system

International Nuclear Information System (INIS)

Liu Daming; Li Haiming

2011-01-01

In the research of mechanism and heating efficiency of Ion Cyclotron Range of Frequency (ICRF) heating, data acquisition system with high real-time performance needed. By the means of system logic analyzer, SPY and other relevant software on VxWorks embedded operating system for real-time testing gives real-time data of the system. Real-time level to achieve balances used time and processor idle time, real-time data acquisition, and minimize the interference of external to the system, ensure the system work in its own set of scheduling trajectory. Interrupt switching time and task context switching time meet the system requirements. (authors)

Specification and Test of Real-Time Systems

DEFF Research Database (Denmark)

Nielsen, Brian

of the system, and a set of constraint patterns which describes and enforces the timing and synchronization constraints among components. We propose new techniques for automated black box conformance testing of real-time systems against densely timed speci cations. A test generator tool examines a specification......Distributed real-time computer based systems are very complex and intrinsically difficult to specify and implement correctly; in part this is caused by the overwhelming number of possible interactions between system components, but especially by a lack of adequate methods and tools to deal...... of the desired system behavior and generates the necessary test cases. A main problem is to construct a reasonably small test suite that can be executed within allotted resources, while having a high likelihood of detecting unknown errors. Our goal has been to treat the time dimension of this problem thoroughly...

Improving Timeliness in Real-Time Secure Database Systems

National Research Council Canada - National Science Library

Son, Sang H; David, Rasikan; Thuraisingham, Bhavani

2006-01-01

.... In addition to real-time requirements, security is usually required in many applications. Multilevel security requirements introduce a new dimension to transaction processing in real-time database systems...

Real-Time Imaging System for the OpenPET

Science.gov (United States)

Tashima, Hideaki; Yoshida, Eiji; Kinouchi, Shoko; Nishikido, Fumihiko; Inadama, Naoko; Murayama, Hideo; Suga, Mikio; Haneishi, Hideaki; Yamaya, Taiga

2012-02-01

The OpenPET and its real-time imaging capability have great potential for real-time tumor tracking in medical procedures such as biopsy and radiation therapy. For the real-time imaging system, we intend to use the one-pass list-mode dynamic row-action maximum likelihood algorithm (DRAMA) and implement it using general-purpose computing on graphics processing units (GPGPU) techniques. However, it is difficult to make consistent reconstructions in real-time because the amount of list-mode data acquired in PET scans may be large depending on the level of radioactivity, and the reconstruction speed depends on the amount of the list-mode data. In this study, we developed a system to control the data used in the reconstruction step while retaining quantitative performance. In the proposed system, the data transfer control system limits the event counts to be used in the reconstruction step according to the reconstruction speed, and the reconstructed images are properly intensified by using the ratio of the used counts to the total counts. We implemented the system on a small OpenPET prototype system and evaluated the performance in terms of the real-time tracking ability by displaying reconstructed images in which the intensity was compensated. The intensity of the displayed images correlated properly with the original count rate and a frame rate of 2 frames per second was achieved with average delay time of 2.1 s.

An approach to a real-time distribution system

Science.gov (United States)

Kittle, Frank P., Jr.; Paddock, Eddie J.; Pocklington, Tony; Wang, Lui

1990-01-01

The requirements of a real-time data distribution system are to provide fast, reliable delivery of data from source to destination with little or no impact to the data source. In this particular case, the data sources are inside an operational environment, the Mission Control Center (MCC), and any workstation receiving data directly from the operational computer must conform to the software standards of the MCC. In order to supply data to development workstations outside of the MCC, it is necessary to use gateway computers that prevent unauthorized data transfer back to the operational computers. Many software programs produced on the development workstations are targeted for real-time operation. Therefore, these programs must migrate from the development workstation to the operational workstation. It is yet another requirement for the Data Distribution System to ensure smooth transition of the data interfaces for the application developers. A standard data interface model has already been set up for the operational environment, so the interface between the distribution system and the application software was developed to match that model as closely as possible. The system as a whole therefore allows the rapid development of real-time applications without impacting the data sources. In summary, this approach to a real-time data distribution system provides development users outside of the MCC with an interface to MCC real-time data sources. In addition, the data interface was developed with a flexible and portable software design. This design allows for the smooth transition of new real-time applications to the MCC operational environment.

Specifying and verifying requirements of real-time systems

DEFF Research Database (Denmark)

Ravn, Anders P.; Rischel, Hans; Hansen, Kirsten Mark

1993-01-01

, a real-time interval logic, where predicates define durations of states. Requirements define safety and functionality constraints on the system or a component. A top-level design is given by a control law: a predicate that defines an automation controlling the transition between phases of operation. Each......An approach to specification of requirements and verification of design for real-time systems is presented. A system is defined by a conventional mathematical model for a dynamic system where application specific states denote functions of real time. Specifications are formulas in duration calculus...... phase maintains certain relations among the system states; this is analogous to the control functions known from conventional control theory. The top-level design is decomposed into an architecture for a distributed system with specifications for sensor, actuator, and program components. Programs...

Real-time embedded systems open-source operating systems perspective

CERN Document Server

Bertolotti, Ivan Cibrario

2012-01-01

From the Foreword: "!the presentation of real-time scheduling is probably the best in terms of clarity I have ever read in the professional literature. Easy to understand, which is important for busy professionals keen to acquire (or refresh) new knowledge without being bogged down in a convoluted narrative and an excessive detail overload. The authors managed to largely avoid theoretical-only presentation of the subject, which frequently affects books on operating systems. ! an indispensable [resource] to gain a thorough understanding of the real-time systems from the operating systems p

Real-Time Operating System/360

Science.gov (United States)

Hoffman, R. L.; Kopp, R. S.; Mueller, H. H.; Pollan, W. D.; Van Sant, B. W.; Weiler, P. W.

1969-01-01

RTOS has a cost savings advantage for real-time applications, such as those with random inputs requiring a flexible data routing facility, display systems simplified by a device independent interface language, and complex applications needing added storage protection and data queuing.

The evolution of real-time control systems at JET

Energy Technology Data Exchange (ETDEWEB)

Goodyear, A.; Dorling, S.; Felton, R

2001-07-01

Real-time feedback control of the JET experiment is based upon a collection of diagnostics providing signals which are processed by various controllers that manipulate actuator parameters for plasma current, shape and heating. The real-time data network (RTDN) connects the diagnostic, controller and actuator systems to form a flexible feedback and protection system for plasma monitoring and control. The controllers are mainly VME systems based on the Motorola 680X0 (68K) processor with some computationally intensive systems utilising Texas Instruments TMS320C40 (C40) digital signal processors (DSP), though lately there has been a move towards PowerPC 750 based processors. The majority of 68K VME systems use VxWorks, a hard real time operating system. There is an ongoing requirement to improve the efficiency of the real-time control systems at JET. This is driven by a desire to either add more input signals, reduce the feedback cycle time or increase algorithm complexity. New technology has a major role to play in the upgrade of the real-time control systems but the novel redeployment of existing equipment can also be used to enhance performance. This paper examines the configuration of existing systems, both hardware and software, and how new technology can be gradually integrated without jeopardising the current functionality. The adoption of Asynchronous Transfer Mode (ATM) as the connection medium for the RTDN is key to the evolutional development of the control systems. The ATM network is extremely flexible to configure and benefits from low message latency and deterministic delivery time, essential properties for a real-time network. (author)

Telerobotic system concept for real-time soft-tissue imaging during radiotherapy beam delivery.

Science.gov (United States)

Schlosser, Jeffrey; Salisbury, Kenneth; Hristov, Dimitre

2010-12-01

The curative potential of external beam radiation therapy is critically dependent on having the ability to accurately aim radiation beams at intended targets while avoiding surrounding healthy tissues. However, existing technologies are incapable of real-time, volumetric, soft-tissue imaging during radiation beam delivery, when accurate target tracking is most critical. The authors address this challenge in the development and evaluation of a novel, minimally interfering, telerobotic ultrasound (U.S.) imaging system that can be integrated with existing medical linear accelerators (LINACs) for therapy guidance. A customized human-safe robotic manipulator was designed and built to control the pressure and pitch of an abdominal U.S. transducer while avoiding LINAC gantry collisions. A haptic device was integrated to remotely control the robotic manipulator motion and U.S. image acquisition outside the LINAC room. The ability of the system to continuously maintain high quality prostate images was evaluated in volunteers over extended time periods. Treatment feasibility was assessed by comparing a clinically deployed prostate treatment plan to an alternative plan in which beam directions were restricted to sectors that did not interfere with the transabdominal U.S. transducer. To demonstrate imaging capability concurrent with delivery, robot performance and U.S. target tracking in a phantom were tested with a 15 MV radiation beam active. Remote image acquisition and maintenance of image quality with the haptic interface was successfully demonstrated over 10 min periods in representative treatment setups of volunteers. Furthermore, the robot's ability to maintain a constant probe force and desired pitch angle was unaffected by the LINAC beam. For a representative prostate patient, the dose-volume histogram (DVH) for a plan with restricted sectors remained virtually identical to the DVH of a clinically deployed plan. With reduced margins, as would be enabled by real-time

Telerobotic system concept for real-time soft-tissue imaging during radiotherapy beam delivery

International Nuclear Information System (INIS)

Schlosser, Jeffrey; Salisbury, Kenneth; Hristov, Dimitre

2010-01-01

Purpose: The curative potential of external beam radiation therapy is critically dependent on having the ability to accurately aim radiation beams at intended targets while avoiding surrounding healthy tissues. However, existing technologies are incapable of real-time, volumetric, soft-tissue imaging during radiation beam delivery, when accurate target tracking is most critical. The authors address this challenge in the development and evaluation of a novel, minimally interfering, telerobotic ultrasound (U.S.) imaging system that can be integrated with existing medical linear accelerators (LINACs) for therapy guidance. Methods: A customized human-safe robotic manipulator was designed and built to control the pressure and pitch of an abdominal U.S. transducer while avoiding LINAC gantry collisions. A haptic device was integrated to remotely control the robotic manipulator motion and U.S. image acquisition outside the LINAC room. The ability of the system to continuously maintain high quality prostate images was evaluated in volunteers over extended time periods. Treatment feasibility was assessed by comparing a clinically deployed prostate treatment plan to an alternative plan in which beam directions were restricted to sectors that did not interfere with the transabdominal U.S. transducer. To demonstrate imaging capability concurrent with delivery, robot performance and U.S. target tracking in a phantom were tested with a 15 MV radiation beam active. Results: Remote image acquisition and maintenance of image quality with the haptic interface was successfully demonstrated over 10 min periods in representative treatment setups of volunteers. Furthermore, the robot's ability to maintain a constant probe force and desired pitch angle was unaffected by the LINAC beam. For a representative prostate patient, the dose-volume histogram (DVH) for a plan with restricted sectors remained virtually identical to the DVH of a clinically deployed plan. With reduced margins, as

Upgrade of the COMPASS tokamak real-time control system

Energy Technology Data Exchange (ETDEWEB)

Janky, F., E-mail: filip.janky.work@gmail.com [Institute of Plasma Physics, AS CR, v.v.i., Association EURATOM/IPP.CR, Za Slovankou 3, 18200 Prague (Czech Republic); Charles University in Prague, Faculty of Mathematics and Physics, V Holesovickach 2, 18000 Prague (Czech Republic); Havlicek, J. [Institute of Plasma Physics, AS CR, v.v.i., Association EURATOM/IPP.CR, Za Slovankou 3, 18200 Prague (Czech Republic); Charles University in Prague, Faculty of Mathematics and Physics, V Holesovickach 2, 18000 Prague (Czech Republic); Batista, A.J.N. [Associação EURATOM/IST, Instituto de Plasmas e Fusão Nuclear, Instituto Superior Técnico, Universidade Técnica de Lisboa, 1049-001 Lisboa (Portugal); Kudlacek, O.; Seidl, J. [Institute of Plasma Physics, AS CR, v.v.i., Association EURATOM/IPP.CR, Za Slovankou 3, 18200 Prague (Czech Republic); Neto, A.C. [Associação EURATOM/IST, Instituto de Plasmas e Fusão Nuclear, Instituto Superior Técnico, Universidade Técnica de Lisboa, 1049-001 Lisboa (Portugal); Pipek, J.; Hron, M. [Institute of Plasma Physics, AS CR, v.v.i., Association EURATOM/IPP.CR, Za Slovankou 3, 18200 Prague (Czech Republic); Mikulin, O. [Institute of Plasma Physics, AS CR, v.v.i., Association EURATOM/IPP.CR, Za Slovankou 3, 18200 Prague (Czech Republic); Czech Technical University, Faculty of Nuclear Sciences and Physical Engineering, V Holesovickach 2, 18000 Prague (Czech Republic); and others

2014-03-15

Highlights: • An upgrade of the COMPASS real-time system has been made to generally improve the plasma performance. • Stability of discharges in SNT configuration has been increased. • Plasma flat-top phase length has been extended. • Central solenoid protection has been developed. • Plasma position estimation has been improved. - Abstract: The COMPASS plasma control system is based on the MARTe real-time framework. Thanks to MARTe modularity and flexibility new algorithms have been developed for plasma diagnostic (plasma position calculation), control (shaping field control), and protection systems (central solenoid protection). Moreover, the MARTe framework itself was modified to broaden the communication capabilities via Aurora. This paper presents the recent upgrades and improvements made to the COMPASS real-time plasma control system, focusing on the issues related to precision of the real-time calculations, and discussing the improvements in terms of discharge parameters and stability. In particular, the new real-time system has given the possibility to analyze and to minimize the transport delays of each control loop.

Real Time Fire Reconnaissance Satellite Monitoring System Failure Model

Science.gov (United States)

Nino Prieto, Omar Ariosto; Colmenares Guillen, Luis Enrique

2013-09-01

In this paper the Real Time Fire Reconnaissance Satellite Monitoring System is presented. This architecture is a legacy of the Detection System for Real-Time Physical Variables which is undergoing a patent process in Mexico. The methodologies for this design are the Structured Analysis for Real Time (SA- RT) [8], and the software is carried out by LACATRE (Langage d'aide à la Conception d'Application multitâche Temps Réel) [9,10] Real Time formal language. The system failures model is analyzed and the proposal is based on the formal language for the design of critical systems and Risk Assessment; AltaRica. This formal architecture uses satellites as input sensors and it was adapted from the original model which is a design pattern for physical variation detection in Real Time. The original design, whose task is to monitor events such as natural disasters and health related applications, or actual sickness monitoring and prevention, as the Real Time Diabetes Monitoring System, among others. Some related work has been presented on the Mexican Space Agency (AEM) Creation and Consultation Forums (2010-2011), and throughout the International Mexican Aerospace Science and Technology Society (SOMECYTA) international congress held in San Luis Potosí, México (2012). This Architecture will allow a Real Time Fire Satellite Monitoring, which will reduce the damage and danger caused by fires which consumes the forests and tropical forests of Mexico. This new proposal, permits having a new system that impacts on disaster prevention, by combining national and international technologies and cooperation for the benefit of humankind.

A Model for Industrial Real-Time Systems

DEFF Research Database (Denmark)

Bin Waez, Md Tawhid; Wasowski, Andrzej; Dingel, Juergen

2015-01-01

Introducing automated formal methods for large industrial real-time systems is an important research challenge. We propose timed process automata (TPA) for modeling and analysis of time-critical systems which can be open, hierarchical, and dynamic. The model offers two essential features for large...

Development of real-time x-ray microtomography system

International Nuclear Information System (INIS)

Takano, H; Morikawa, M; Konishi, S; Azuma, H; Shimomura, S; Tsusaka, Y; Kagoshima, Y; Nakano, S; Kosaka, N; Yamamoto, K

2013-01-01

We have developed a four-dimensional (4D) x-ray microcomputed tomography (CT) system that can obtain time-lapse CT volumes in real time. The system consists of a high-speed sample rotation system and a high-frame-rate x-ray imager, which are installed at a synchrotron radiation x-ray beamline. As a result of system optimization and introduction of a 'zoom resolution' procedure, a real-time 4D CT movie with a frame rate of 30 was obtained with a voxel size of 2.5 μm using 10 keV x-rays

A curriculum for real-time computer and control systems engineering

Science.gov (United States)

Halang, Wolfgang A.

1990-01-01

An outline of a syllabus for the education of real-time-systems engineers is given. This comprises the treatment of basic concepts, real-time software engineering, and programming in high-level real-time languages, real-time operating systems with special emphasis on such topics as task scheduling, hardware architectures, and especially distributed automation structures, process interfacing, system reliability and fault-tolerance, and integrated project development support systems. Accompanying course material and laboratory work are outlined, and suggestions for establishing a laboratory with advanced, but low-cost, hardware and software are provided. How the curriculum can be extended into a second semester is discussed, and areas for possible graduate research are listed. The suitable selection of a high-level real-time language and supporting operating system for teaching purposes is considered.

The Case For Prediction-based Best-effort Real-time Systems.

Science.gov (United States)

1999-01-01

Real - time Systems Peter A. Dinda Loukas Kallivokas January...DISTRIBUTION STATEMENT A Approved for Public Release Distribution Unlimited DTIG QUALBR DISSECTED X The Case For Prediction-based Best-effort Real - time Systems Peter...Mellon University Pittsburgh, PA 15213 A version of this paper appeared in the Seventh Workshop on Parallel and Distributed Real - Time Systems

Real-time alerts and reminders using information systems.

Science.gov (United States)

Wanderer, Jonathan P; Sandberg, Warren S; Ehrenfeld, Jesse M

2011-09-01

Adoption of information systems throughout the hospital environment has enabled the development of real-time physiologic alerts and clinician reminder systems. These clinical tools can be made available through the deployment of anesthesia information management systems (AIMS). Creating usable alert systems requires understanding of technical considerations. Various successful implementations are reviewed, encompassing cost reduction, improved revenue capture, timely antibiotic administration, and postoperative nausea and vomiting prophylaxis. Challenges to the widespread use of real-time alerts and reminders include AIMS adoption rates and the difficulty in choosing appropriate areas and approaches for information systems support. Copyright © 2011 Elsevier Inc. All rights reserved.

Formal methods for dependable real-time systems

Science.gov (United States)

Rushby, John

1993-01-01

The motivation for using formal methods to specify and reason about real time properties is outlined and approaches that were proposed and used are sketched. The formal verifications of clock synchronization algorithms are concluded as showing that mechanically supported reasoning about complex real time behavior is feasible. However, there was significant increase in the effectiveness of verification systems since those verifications were performed, at it is to be expected that verifications of comparable difficulty will become fairly routine. The current challenge lies in developing perspicuous and economical approaches to the formalization and specification of real time properties.

A framework for building real-time expert systems

Science.gov (United States)

Lee, S. Daniel

1991-01-01

The Space Station Freedom is an example of complex systems that require both traditional and artificial intelligence (AI) real-time methodologies. It was mandated that Ada should be used for all new software development projects. The station also requires distributed processing. Catastrophic failures on the station can cause the transmission system to malfunction for a long period of time, during which ground-based expert systems cannot provide any assistance to the crisis situation on the station. This is even more critical for other NASA projects that would have longer transmission delays (e.g., the lunar base, Mars missions, etc.). To address these issues, a distributed agent architecture (DAA) is proposed that can support a variety of paradigms based on both traditional real-time computing and AI. The proposed testbed for DAA is an autonomous power expert (APEX) which is a real-time monitoring and diagnosis expert system for the electrical power distribution system of the space station.

Scenario-based verification of real-time systems using UPPAAL

DEFF Research Database (Denmark)

Li, Shuhao; Belaguer, Sandie; David, Alexandre

2010-01-01

Abstract This paper proposes two approaches to tool-supported automatic verification of dense real-time systems against scenario-based requirements, where a system is modeled as a network of timed automata (TAs) or as a set of driving live sequence charts (LSCs), and a requirement is specified...... as a separate monitored LSC chart. We make timed extensions to a kernel subset of the LSC language and define a trace-based semantics. By translating a monitored LSC chart to a behavior-equivalent observer TA and then non-intrusively composing this observer with the original TA modeled real-time system......, the problem of scenario-based verification reduces to a computation tree logic (CTL) real-time model checking problem. In case the real time system is modeled as a set of driving LSC charts, we translate these driving charts and the monitored chart into a behavior-equivalent network of TAs by using a “one...

A real-time radiation mapping system

International Nuclear Information System (INIS)

Scoggins, W.A.; VanEtten, D.M.

1988-01-01

A prototype of a real-time radiation mapping system, Ranger, was developed to respond to an accident involving the release of plutonium for the Department of Energy's Accident Response Group. In 1987 Ranger demonstrated that it can provide an efficient method of monitoring large areas of land for radioactive contamination. With the experience gained from the operation of the prototype, the external computer and software are being upgraded in order to obtain a fully operational system. The new system uses the prototype's commercially available line-of-sight microwave system for determining position and the same radiation detection instruments. The data obtained from the radiation detection instrument(s) are linked back to the external computer along with the relative position of the measurement through the ranging system. The data are displayed on a gridded map as colored circles and permanently stored in real-time. The different colors represent different contamination levels. Contours can be drawn using the permanently stored data. 4 figs

The IPERMOB System for Effective Real-Time Road Travel Time Measurement and Prediction

OpenAIRE

Martelli, Francesca; Renda, Maria Elena; Santi, Paolo

2010-01-01

Accurate, real-time measurement and estimation of road travel time is considered a central problem in the design of advanced Intelligent Transportation Systems. In particular, whether eective, real-time collection of travel time measurements in a urban area is possible is, to the best of our knowledge, still an open problem. In this paper, we introduce the IPERMOB system for efficient, real-time collection of travel time measurements in urban areas through vehicular networks. We demonstrate t...

An integrated technique for developing real-time systems

NARCIS (Netherlands)

Hooman, J.J.M.; Vain, J.

1995-01-01

The integration of conceptual modeling techniques, formal specification, and compositional verification is considered for real time systems within the knowledge engineering context. We define constructive transformations from a conceptual meta model to a real time specification language and give

Documentation Driven Development for Complex Real-Time Systems

Science.gov (United States)

2004-12-01

This paper presents a novel approach for development of complex real - time systems , called the documentation-driven development (DDD) approach. This... time systems . DDD will also support automated software generation based on a computational model and some relevant techniques. DDD includes two main...stakeholders to be easily involved in development processes and, therefore, significantly improve the agility of software development for complex real

Real-time operating system timing jitter and its impact on motor control

Science.gov (United States)

Proctor, Frederick M.; Shackleford, William P.

2001-12-01

General-purpose microprocessors are increasingly being used for control applications due to their widespread availability and software support for non-control functions like networking and operator interfaces. Two classes of real-time operating systems (RTOS) exist for these systems. The traditional RTOS serves as the sole operating system, and provides all OS services. Examples include ETS, LynxOS, QNX, Windows CE and VxWorks. RTOS extensions add real-time scheduling capabilities to non-real-time OSes, and provide minimal services needed for the time-critical portions of an application. Examples include RTAI and RTL for Linux, and HyperKernel, OnTime and RTX for Windows NT. Timing jitter is an issue in these systems, due to hardware effects such as bus locking, caches and pipelines, and software effects from mutual exclusion resource locks, non-preemtible critical sections, disabled interrupts, and multiple code paths in the scheduler. Jitter is typically on the order of a microsecond to a few tens of microseconds for hard real-time operating systems, and ranges from milliseconds to seconds in the worst case for soft real-time operating systems. The question of its significance on the performance of a controller arises. Naturally, the smaller the scheduling period required for a control task, the more significant is the impact of timing jitter. Aside from this intuitive relationship is the greater significance of timing on open-loop control, such as for stepper motors, than for closed-loop control, such as for servo motors. Techniques for measuring timing jitter are discussed, and comparisons between various platforms are presented. Techniques to reduce jitter or mitigate its effects are presented. The impact of jitter on stepper motor control is analyzed.

System Architecture of an Experimental Synthetic Aperture Real-Time Ultrasound System

DEFF Research Database (Denmark)

Jensen, Jørgen Arendt; Hansen, Martin; Tomov, Borislav Gueorguiev

2007-01-01

is done using a parametric beam former. Code synthesized for a Xilinx V4FX100 speed grade 11 FPGA can operate at a maximum clock frequency of 167.8 MHz producing 1 billion I and Q samples/second sufficient for real time SA imaging. The system is currently in production, and all boards have been laid out......Synthetic Aperture (SA) ultrasound imaging has many advantages in terms of flexibility and accuracy. One of the major drawbacks is, however, that no system exists, which can implement SA imaging in real time due to the very high number of calculations amounting to roughly 1 billion complex focused...... samples per second per receive channel. Real time imaging is a key aspect in ultrasound, and to truly demonstrate the many advantages of SA imaging, a system usable in the clinic should be made. The paper describes a system capable of real time SA B-mode and vector flow imaging. The Synthetic Aperture...

Wireless Sensor Network Metrics for Real-Time Systems

Science.gov (United States)

2009-05-20

Wireless Sensor Network Metrics for Real-Time Systems Phoebus Wei-Chih Chen Electrical Engineering and Computer Sciences University of California at...3. DATES COVERED 00-00-2009 to 00-00-2009 4. TITLE AND SUBTITLE Wireless Sensor Network Metrics for Real-Time Systems 5a. CONTRACT NUMBER 5b... wireless sensor networks (WSNs) is moving from studies of WSNs in isolation toward studies where the WSN is treated as a component of a larger system

Reduced computational cost in the calculation of worst case response time for real time systems

OpenAIRE

Urriza, José M.; Schorb, Lucas; Orozco, Javier D.; Cayssials, Ricardo

2009-01-01

Modern Real Time Operating Systems require reducing computational costs even though the microprocessors become more powerful each day. It is usual that Real Time Operating Systems for embedded systems have advance features to administrate the resources of the applications that they support. In order to guarantee either the schedulability of the system or the schedulability of a new task in a dynamic Real Time System, it is necessary to know the Worst Case Response Time of the Real Time tasks ...

Mahanaxar: quality of service guarantees in high-bandwidth, real-time streaming data storage

Energy Technology Data Exchange (ETDEWEB)

Bigelow, David [Los Alamos National Laboratory; Bent, John [Los Alamos National Laboratory; Chen, Hsing-Bung [Los Alamos National Laboratory; Brandt, Scott [UCSC

2010-04-05

Large radio telescopes, cyber-security systems monitoring real-time network traffic, and others have specialized data storage needs: guaranteed capture of an ultra-high-bandwidth data stream, retention of the data long enough to determine what is 'interesting,' retention of interesting data indefinitely, and concurrent read/write access to determine what data is interesting, without interrupting the ongoing capture of incoming data. Mahanaxar addresses this problem. Mahanaxar guarantees streaming real-time data capture at (nearly) the full rate of the raw device, allows concurrent read and write access to the device on a best-effort basis without interrupting the data capture, and retains data as long as possible given the available storage. It has built in mechanisms for reliability and indexing, can scale to meet arbitrary bandwidth requirements, and handles both small and large data elements equally well. Results from our prototype implementation shows that Mahanaxar provides both better guarantees and better performance than traditional file systems.

Real-time embedded systems design principles and engineering practices

CERN Document Server

Fan, Xiaocong

2015-01-01

This book integrates new ideas and topics from real time systems, embedded systems, and software engineering to give a complete picture of the whole process of developing software for real-time embedded applications. You will not only gain a thorough understanding of concepts related to microprocessors, interrupts, and system boot process, appreciating the importance of real-time modeling and scheduling, but you will also learn software engineering practices such as model documentation, model analysis, design patterns, and standard conformance. This book is split into four parts to help you

Comparative Evaluations of Four Specification Methods for Real-Time Systems

Science.gov (United States)

1989-12-01

December 1989 Comparative Evaluations of Four Specification Methods for Real - Time Systems David P. Wood William G. Wood Specification and Design Methods...Methods for Real - Time Systems Abstract: A number of methods have been proposed in the last decade for the specification of system and software requirements...and software specification for real - time systems . Our process for the identification of methods that meet the above criteria is described in greater

Mobile waste inspection real time radiography system

International Nuclear Information System (INIS)

Vigil, J.; Taggart, D.; Betts, S.; Rael, C.; Martinez, F.; Mendez, J.

1995-01-01

The 450-KeV Mobile Real Time Radiography System was designed and purchased to inspect containers of radioactive waste produced at Los Alamos National Laboratory (LANL). The Mobile Real Time Radiography System has the capability of inspecting waste containers of various sizes from 5-gal. buckets to standard waste boxes (SWB, dimensions 54.5 in. x 71 in. x 37 in.). The fact that this unit is mobile makes it an attractive alternative to the costly road closures associated with moving waste from the waste generator to storage or disposal facilities

Adding Timing Requirements to the CODARTS Real-Time Software Design Method

DEFF Research Database (Denmark)

Bach, K.R.

The CODARTS software design method consideres how concurrent, distributed and real-time applications can be designed. Although accounting for the important issues of task and communication, the method does not provide means for expressing the timeliness of the tasks and communication directly...

Advanced Hard Real-Time Operating System, the Maruti Project. Part 2.

Science.gov (United States)

1997-01-01

Real - Time Operating System , The Maruti Project DASG-60-92-C-0055 5b. Program Element # 62301E 6. Author(s...The maruti hard real - time " operating system . A CM SIGOPS, Operating Systems Review. 23:90-106, July 1989. 254 !1 110) C. L. Liu and J. Layland...February 14, 1995 Abstract The Maruti Real - Time Operating System was developed for applications that must meet hard real-time constraints. In order

Facial Expression Emotion Detection for Real-Time Embedded Systems

Directory of Open Access Journals (Sweden)

Saeed Turabzadeh

2018-01-01

Full Text Available Recently, real-time facial expression recognition has attracted more and more research. In this study, an automatic facial expression real-time system was built and tested. Firstly, the system and model were designed and tested on a MATLAB environment followed by a MATLAB Simulink environment that is capable of recognizing continuous facial expressions in real-time with a rate of 1 frame per second and that is implemented on a desktop PC. They have been evaluated in a public dataset, and the experimental results were promising. The dataset and labels used in this study were made from videos, which were recorded twice from five participants while watching a video. Secondly, in order to implement in real-time at a faster frame rate, the facial expression recognition system was built on the field-programmable gate array (FPGA. The camera sensor used in this work was a Digilent VmodCAM — stereo camera module. The model was built on the Atlys™ Spartan-6 FPGA development board. It can continuously perform emotional state recognition in real-time at a frame rate of 30. A graphical user interface was designed to display the participant’s video in real-time and two-dimensional predict labels of the emotion at the same time.

Real-time beam profile imaging system for actinotherapy accelerator

International Nuclear Information System (INIS)

Lin Yong; Wang Jingjin; Song Zheng; Zheng Putang; Wang Jianguo

2003-01-01

This paper describes a real-time beam profile imaging system for actinotheraphy accelerator. With the flash X-ray imager and the technique of digital image processing, a real-time 3-dimension dosage image is created from the intensity profile of the accelerator beam in real time. This system helps to obtain all the physical characters of the beam in any section plane, such as FWHM, penumbra, peak value, symmetry and homogeneity. This system has been used to acquire a 3-dimension dosage distribution of dynamic wedge modulator and the transient process of beam dosage. The system configure and the tested beam profile images are also presented

An advanced real time energy management system for microgrids

International Nuclear Information System (INIS)

Elsied, Moataz; Oukaour, Amrane; Youssef, Tarek; Gualous, Hamid; Mohammed, Osama

2016-01-01

This paper presents an advanced Real-Time Energy Management System (RT-EMS) for Microgrid (MG) systems. The proposed strategy of RT-EMS capitalizes on the power of Genetic Algorithms (GAs) to minimize the energy cost and carbon dioxide emissions while maximizing the power of the available renewable energy resources. MATLAB-dSPACE Real-Time Interface Libraries (MLIB/MTRACE) are used as new tools to run the optimization code in Real-Time Operation (RTO). The communication system is developed based on ZigBee communication network which is designed to work in harsh radio environment where the control system is developed based on Advanced Lead-Lag Compensator (ALLC) which its parameters are tuned online to achieve fast convergence and good tracking response. The proposed RT-EMS along with its control and communication systems is experimentally tested to validate the results obtained from the optimization algorithm in a real MG testbed. The simulation and experimental results using real-world data highlight the effectiveness of the proposed RT-EMS for MGs applications. - Highlights: • Real-time energy management system of a typical MG is developed, and analyzed. • RT-EMS considered the nonlinear cost function and emission constraints. • MLIB/MTRACE libraries in dSPACE are used as new tools to run the optimization code. • The communication system is developed based on a Zigbee communication network. • Control system parameters are tuned online to achieve good tracking response.

Modelling and analysis of real-time and hybrid systems

Energy Technology Data Exchange (ETDEWEB)

Olivero, A

1994-09-29

This work deals with the modelling and analysis of real-time and hybrid systems. We first present the timed-graphs as model for the real-time systems and we recall the basic notions of the analysis of real-time systems. We describe the temporal properties on the timed-graphs using TCTL formulas. We consider two methods for property verification: in one hand we study the symbolic model-checking (based on backward analysis) and in the other hand we propose a verification method derived of the construction of the simulation graph (based on forward analysis). Both methods have been implemented within the KRONOS verification tool. Their application for the automatic verification on several real-time systems confirms the practical interest of our approach. In a second part we study the hybrid systems, systems combining discrete components with continuous ones. As in the general case the analysis of this king of systems is not decidable, we identify two sub-classes of hybrid systems and we give a construction based method for the generation of a timed-graph from an element into the sub-classes. We prove that in one case the timed-graph obtained is bi-similar with the considered system and that there exists a simulation in the other case. These relationships allow the application of the described technics on the hybrid systems into the defined sub-classes. (authors). 60 refs., 43 figs., 8 tabs., 2 annexes.

System Integration for Real-Time Mobile Manipulation

Directory of Open Access Journals (Sweden)

Reza Oftadeh

2014-03-01

Full Text Available Mobile manipulators are one of the most complicated types of mechatronics systems. The performance of these robots in performing complex manipulation tasks is highly correlated with the synchronization and integration of their low-level components. This paper discusses in detail the mechatronics design of a four wheel steered mobile manipulator. It presents the manipulator's mechanical structure and electrical interfaces, designs low-level software architecture based on embedded PC-based controls, and proposes a systematic solution based on code generation products of MATLAB and Simulink. The remote development environment described here is used to develop real-time controller software and modules for the mobile manipulator under a POSIX-compliant, real-time Linux operating system. Our approach enables developers to reliably design controller modules that meet the hard real-time constraints of the entire low-level system architecture. Moreover, it provides a systematic framework for the development and integration of hardware devices with various communication mediums and protocols, which facilitates the development and integration process of the software controller.

Operating system for a real-time multiprocessor propulsion system simulator

Science.gov (United States)

Cole, G. L.

1984-01-01

The success of the Real Time Multiprocessor Operating System (RTMPOS) in the development and evaluation of experimental hardware and software systems for real time interactive simulation of air breathing propulsion systems was evaluated. The Real Time Multiprocessor Operating System (RTMPOS) provides the user with a versatile, interactive means for loading, running, debugging and obtaining results from a multiprocessor based simulator. A front end processor (FEP) serves as the simulator controller and interface between the user and the simulator. These functions are facilitated by the RTMPOS which resides on the FEP. The RTMPOS acts in conjunction with the FEP's manufacturer supplied disk operating system that provides typical utilities like an assembler, linkage editor, text editor, file handling services, etc. Once a simulation is formulated, the RTMPOS provides for engineering level, run time operations such as loading, modifying and specifying computation flow of programs, simulator mode control, data handling and run time monitoring. Run time monitoring is a powerful feature of RTMPOS that allows the user to record all actions taken during a simulation session and to receive advisories from the simulator via the FEP. The RTMPOS is programmed mainly in PASCAL along with some assembly language routines. The RTMPOS software is easily modified to be applicable to hardware from different manufacturers.

Real-time systems design and analysis

CERN Document Server

Laplante, Phillip A

2004-01-01

"Real-Time Systems Design and Analysis, Third Edition is essential for students and practicing software engineers who want improved designs, faster computation, and ultimate cost savings. Chapters discuss hardware considerations and software requirements, software systems design, the software production process, performance estimation and optimization, and engineering considerations."--Jacket.

A distributed agent architecture for real-time knowledge-based systems: Real-time expert systems project, phase 1

Science.gov (United States)

Lee, S. Daniel

1990-01-01

We propose a distributed agent architecture (DAA) that can support a variety of paradigms based on both traditional real-time computing and artificial intelligence. DAA consists of distributed agents that are classified into two categories: reactive and cognitive. Reactive agents can be implemented directly in Ada to meet hard real-time requirements and be deployed on on-board embedded processors. A traditional real-time computing methodology under consideration is the rate monotonic theory that can guarantee schedulability based on analytical methods. AI techniques under consideration for reactive agents are approximate or anytime reasoning that can be implemented using Bayesian belief networks as in Guardian. Cognitive agents are traditional expert systems that can be implemented in ART-Ada to meet soft real-time requirements. During the initial design of cognitive agents, it is critical to consider the migration path that would allow initial deployment on ground-based workstations with eventual deployment on on-board processors. ART-Ada technology enables this migration while Lisp-based technologies make it difficult if not impossible. In addition to reactive and cognitive agents, a meta-level agent would be needed to coordinate multiple agents and to provide meta-level control.

NOAA’s Physical Oceanographic Real-Time Systems (PORTS(Registered))

Science.gov (United States)

2010-06-01

1 NOAA’s Physical Oceanographic Real - Time Systems (PORTS®) Darren Wright and Robert Bassett National Oceanic and Atmospheric Administration...operation of several Physical Oceanographic Real - Time Systems (PORTS®). 0-933957-38-1 ©2009 MTS Report Documentation Page Form ApprovedOMB No. 0704-0188...TITLE AND SUBTITLE NOAAs Physical Oceanographic Real - Time Systems (PORTS®) 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6

Dynamic I/O Power Management for Hard Real-Time Systems

Science.gov (United States)

2005-01-01

recently emerged as an attractive alternative to inflexible hardware solutions. DPM for hard real - time systems has received relatively little attention...In particular, energy-driven I/O device scheduling for real - time systems has not been considered before. We present the first online DPM algorithm...which we call Low Energy Device Scheduler (LEDES), for hard real - time systems . LEDES takes as inputs a predetermined task schedule and a device-usage

Effects of computing time delay on real-time control systems

Science.gov (United States)

Shin, Kang G.; Cui, Xianzhong

1988-01-01

The reliability of a real-time digital control system depends not only on the reliability of the hardware and software used, but also on the speed in executing control algorithms. The latter is due to the negative effects of computing time delay on control system performance. For a given sampling interval, the effects of computing time delay are classified into the delay problem and the loss problem. Analysis of these two problems is presented as a means of evaluating real-time control systems. As an example, both the self-tuning predicted (STP) control and Proportional-Integral-Derivative (PID) control are applied to the problem of tracking robot trajectories, and their respective effects of computing time delay on control performance are comparatively evaluated. For this example, the STP (PID) controller is shown to outperform the PID (STP) controller in coping with the delay (loss) problem.

Real-time flood monitoring and warning system

Directory of Open Access Journals (Sweden)

Jirapon Sunkpho

2011-04-01

Full Text Available Flooding is one of the major disasters occurring in various parts of the world. The system for real-time monitoring ofwater conditions: water level; flow; and precipitation level, was developed to be employed in monitoring flood in Nakhon SiThammarat, a southern province in Thailand. The two main objectives of the developed system is to serve 1 as informationchannel for flooding between the involved authorities and experts to enhance their responsibilities and collaboration and2 as a web based information source for the public, responding to their need for information on water condition and flooding.The developed system is composed of three major components: sensor network, processing/transmission unit, and database/application server. These real-time data of water condition can be monitored remotely by utilizing wireless sensors networkthat utilizes the mobile General Packet Radio Service (GPRS communication in order to transmit measured data to theapplication server. We implemented a so-called VirtualCOM, a middleware that enables application server to communicatewith the remote sensors connected to a GPRS data unit (GDU. With VirtualCOM, a GDU behaves as if it is a cable directlyconnected the remote sensors to the application server. The application server is a web-based system implemented usingPHP and JAVA as the web application and MySQL as its relational database. Users can view real-time water conditionas well as the forecasting of the water condition directly from the web via web browser or via WAP. The developed systemhas demonstrated the applicability of today’s sensors in wirelessly monitor real-time water conditions.

Cluster Computing for Embedded/Real-Time Systems

Science.gov (United States)

Katz, D.; Kepner, J.

1999-01-01

Embedded and real-time systems, like other computing systems, seek to maximize computing power for a given price, and thus can significantly benefit from the advancing capabilities of cluster computing.

A New Generation of Real-Time Systems in the JET Tokamak

Science.gov (United States)

Alves, Diogo; Neto, Andre C.; Valcarcel, Daniel F.; Felton, Robert; Lopez, Juan M.; Barbalace, Antonio; Boncagni, Luca; Card, Peter; De Tommasi, Gianmaria; Goodyear, Alex; Jachmich, Stefan; Lomas, Peter J.; Maviglia, Francesco; McCullen, Paul; Murari, Andrea; Rainford, Mark; Reux, Cedric; Rimini, Fernanda; Sartori, Filippo; Stephen, Adam V.; Vega, Jesus; Vitelli, Riccardo; Zabeo, Luca; Zastrow, Klaus-Dieter

2014-04-01

Recently, a new recipe for developing and deploying real-time systems has become increasingly adopted in the JET tokamak. Powered by the advent of x86 multi-core technology and the reliability of JET's well established Real-Time Data Network (RTDN) to handle all real-time I/O, an official Linux vanilla kernel has been demonstrated to be able to provide real-time performance to user-space applications that are required to meet stringent timing constraints. In particular, a careful rearrangement of the Interrupt ReQuests' (IRQs) affinities together with the kernel's CPU isolation mechanism allows one to obtain either soft or hard real-time behavior depending on the synchronization mechanism adopted. Finally, the Multithreaded Application Real-Time executor (MARTe) framework is used for building applications particularly optimised for exploring multi-core architectures. In the past year, four new systems based on this philosophy have been installed and are now part of JET's routine operation. The focus of the present work is on the configuration aspects that enable these new systems' real-time capability. Details are given about the common real-time configuration of these systems, followed by a brief description of each system together with results regarding their real-time performance. A cycle time jitter analysis of a user-space MARTe based application synchronizing over a network is also presented. The goal is to compare its deterministic performance while running on a vanilla and on a Messaging Real time Grid (MRG) Linux kernel.

High speed real-time wavefront processing system for a solid-state laser system

Science.gov (United States)

Liu, Yuan; Yang, Ping; Chen, Shanqiu; Ma, Lifang; Xu, Bing

2008-03-01

A high speed real-time wavefront processing system for a solid-state laser beam cleanup system has been built. This system consists of a core2 Industrial PC (IPC) using Linux and real-time Linux (RT-Linux) operation system (OS), a PCI image grabber, a D/A card. More often than not, the phase aberrations of the output beam from solid-state lasers vary fast with intracavity thermal effects and environmental influence. To compensate the phase aberrations of solid-state lasers successfully, a high speed real-time wavefront processing system is presented. Compared to former systems, this system can improve the speed efficiently. In the new system, the acquisition of image data, the output of control voltage data and the implementation of reconstructor control algorithm are treated as real-time tasks in kernel-space, the display of wavefront information and man-machine conversation are treated as non real-time tasks in user-space. The parallel processing of real-time tasks in Symmetric Multi Processors (SMP) mode is the main strategy of improving the speed. In this paper, the performance and efficiency of this wavefront processing system are analyzed. The opened-loop experimental results show that the sampling frequency of this system is up to 3300Hz, and this system can well deal with phase aberrations from solid-state lasers.

A Stack Cache for Real-Time Systems

DEFF Research Database (Denmark)

Schoeberl, Martin; Nielsen, Carsten

2016-01-01

Real-time systems need time-predictable computing platforms to allowfor static analysis of the worst-case execution time. Caches are important for good performance, but data caches arehard to analyze for the worst-case execution time. Stack allocated data has different properties related...

Data processing system for real-time control

International Nuclear Information System (INIS)

Oasa, K.; Mochizuki, O.; Toyokawa, R.; Yahiro, K.

1983-01-01

Real-time control, for large Tokamak JT-60, requires various data processings between diagnostic devices to control system. These processings require to high speed performance so that it aims at giving information necessary for feedback control during discharges. Then, the architecture of this system has hierachical structure of processors. These processors are connected each other by the CAMAC modules and the optical communication network, which is the 5 M bytes/second CAMAC serial highway. This system has two kinds of intelligences for this purpose. One is ACM-PU pairs in some torus hall crates which has a microcomputerized auxiliary controller and a preprocessing unit. Other is real-time processor which has a minicomputer and preprocessing unit. Most of the real-time processing, for example Abel inversion are characteristic to the diagnostic devices. Such a processing is carried out by an ACM-PU pair in the crate dedicated to the diagnostic device. Some processings, however, are also necessary which compute secondary parameters as functions of primary parameters. A typical example is Zeff, which is a function of Te, Ne and bremsstrahluny intensity. The real-time processor is equipped for such secondary processings and transfer the results. Preprocessing unit -PU- attached to ACM and real-time processor contains a signal processor, which executes in parallel such function as move, add and multiply during one micro-instruction cycle of 200 nsec. According to the progress of the experiment, more high speed processing are required, so the authors developed the PU-X module that contains multi signal processors. After a shot, inter-shot-processor which consists of general-purpose computers, gathers data into the database, then analyze them, and improve these processes to more effective

A real time monitoring system

International Nuclear Information System (INIS)

Fontanini, Horacio; Galdoz, Erwin

1989-01-01

A real time monitoring system is described. It was initially developed to be used as a man-machine interface between a basic principles simulator of the Embalse Nuclear Power Plant and the operators. This simulator is under construction at the Bariloche Atomic Center's Process Control Division. Due to great design flexibility, this system can also be used in real plants. The system is designed to be run on a PC XT or AT personal computer with high resolution graphics capabilities. Three interrelated programs compose the system: 1) Graphics Editor, to build static image to be used as a reference frame where to show dynamically updated data. 2) Data acquisition and storage module. It is a memory resident module to acquire and store data in background. Data can be acquired and stored without interference with the operating system, via serial port or through analog-to-digital converter attached to the personal computer. 3) Display module. It shows the acquired data according to commands received from configuration files prepared by the operator. (Author) [es

A Metrics-Based Approach to Intrusion Detection System Evaluation for Distributed Real-Time Systems

Science.gov (United States)

2002-04-01

Based Approach to Intrusion Detection System Evaluation for Distributed Real - Time Systems Authors: G. A. Fink, B. L. Chappell, T. G. Turner, and...Distributed, Security. 1 Introduction Processing and cost requirements are driving future naval combat platforms to use distributed, real - time systems of...distributed, real - time systems . As these systems grow more complex, the timing requirements do not diminish; indeed, they may become more constrained

VEST: An Aspect-Based Composition Tool for Real-Time Systems

Science.gov (United States)

2003-01-01

VEST: An Aspect-Based Composition Tool for Real - Time Systems * John A. Stankovic Ruiqing Zhu Ram Poornalingam Chenyang Lu Zhendong Yu Marty Humphrey...Composition Tool for Real - Time Systems 5a. CONTRACT NUMBER 5b. GRANT NUMBER 5c. PROGRAM ELEMENT NUMBER 6. AUTHOR(S) 5d. PROJECT NUMBER 5e. TASK...it is obvious that designers of embedded real - time systems face many difficult problems. By working through various product scenarios with avionics

Analysis and Synthesis of Communication-Intensive Heterogeneous Real-Time Systems

DEFF Research Database (Denmark)

Pop, Paul

2003-01-01

Embedded computer systems are now everywhere: from alarm clocks to PDAs, from mobile phones to cars, almost all the devices we use are controlled by embedded computer systems. An important class of embedded computer systems is that of real-time systems, which have to fulfill strict timing...... requirements. As realtime systems become more complex, they are often implemented using distributed heterogeneous architectures. The main objective of this thesis is to develop analysis and synthesis methods for communication-intensive heterogeneous hard real-time systems. The systems are heterogeneous...... is the synthesis of the communication infrastructure, which has a significant impact on the overall system performance and cost. To reduce the time-to-market of products, the design of real-time systems seldom starts from scratch. Typically, designers start from an already existing system, running certain...

Real-time multi-task operators support system

International Nuclear Information System (INIS)

Wang He; Peng Minjun; Wang Hao; Cheng Shouyu

2005-01-01

The development in computer software and hardware technology and information processing as well as the accumulation in the design and feedback from Nuclear Power Plant (NPP) operation created a good opportunity to develop an integrated Operator Support System. The Real-time Multi-task Operator Support System (RMOSS) has been built to support the operator's decision making process during normal and abnormal operations. RMOSS consists of five system subtasks such as Data Collection and Validation Task (DCVT), Operation Monitoring Task (OMT), Fault Diagnostic Task (FDT), Operation Guideline Task (OGT) and Human Machine Interface Task (HMIT). RMOSS uses rule-based expert system and Artificial Neural Network (ANN). The rule-based expert system is used to identify the predefined events in static conditions and track the operation guideline through data processing. In dynamic status, Back-Propagation Neural Network is adopted for fault diagnosis, which is trained with the Genetic Algorithm. Embedded real-time operation system VxWorks and its integrated environment Tornado II are used as the RMOSS software cross-development. VxGUI is used to design HMI. All of the task programs are designed in C language. The task tests and function evaluation of RMOSS have been done in one real-time full scope simulator. Evaluation results show that each task of RMOSS is capable of accomplishing its functions. (authors)

Advanced Kalman Filter for Real-Time Responsiveness in Complex Systems

Energy Technology Data Exchange (ETDEWEB)

Welch, Gregory Francis [UNC-Chapel Hill/University of Central Florida; Zhang, Jinghe [UNC-Chapel Hill/Virginia Tech

2014-06-10

Complex engineering systems pose fundamental challenges in real-time operations and control because they are highly dynamic systems consisting of a large number of elements with severe nonlinearities and discontinuities. Today’s tools for real-time complex system operations are mostly based on steady state models, unable to capture the dynamic nature and too slow to prevent system failures. We developed advanced Kalman filtering techniques and the formulation of dynamic state estimation using Kalman filtering techniques to capture complex system dynamics in aiding real-time operations and control. In this work, we looked at complex system issues including severe nonlinearity of system equations, discontinuities caused by system controls and network switches, sparse measurements in space and time, and real-time requirements of power grid operations. We sought to bridge the disciplinary boundaries between Computer Science and Power Systems Engineering, by introducing methods that leverage both existing and new techniques. While our methods were developed in the context of electrical power systems, they should generalize to other large-scale scientific and engineering applications.

Experiments with the Sun Java Real-Time System -- Part 2

National Research Council Canada - National Science Library

Auguston, Mikhail; Cook, Thomas S; Drusinsky, Doron; Michael, James B; Otani, Thomas W; Shing, Man-Tak

2007-01-01

In the authors' first report on the Sun Java Real-Time System (RTS), they concluded that it is preferable to use real-time Java threads that use heap memory rather than no-heap real-time threads (NHRTTs...

Real-time personal exposure and health condition monitoring system

Energy Technology Data Exchange (ETDEWEB)

Saitou, Isamu; Kanda, Hiroaki; Asai, Akio; Takeishi, Naoki; Ota, Yoshito [Hitachi Aloka Medical, Ltd., Measuring Systems Engineering Dept., Tokyo (Japan); Hanawa, Nobuhiro; Ueda, Hisao; Kusunoki, Tsuyoshi; Ishitsuka, Etsuo; Kawamura, Hiroshi [Japan Atomic Energy Agency, Oarai Research and Development Center, Oarai, Ibaraki (Japan)

2012-03-15

JAEA (Japan Atomic Energy Agency) and HAM (Hitachi Aloka Medical, Ltd) have proposed novel monitoring system for workers of nuclear facility. In these facilities, exposure management for workers is mainly used access control and personal exposure recordings. This system is currently only for reports management but is not confirmative for surveillance when work in progress. Therefore, JAEA and HAM integrate access control and personal exposure recordings and two real-time monitoring systems which are position sensing and vital sign monitor. Furthermore change personal exposure management to real-time management, this system integration prevents workers from risk of accidents, and makes possible take appropriate action quickly. This novel system is going to start for tentative operation, using position sensing and real-time personal dosimeter with database in Apr. 2012. (author)

The Development of a Course Sequence in Real-Time Systems Design

Science.gov (United States)

1993-08-01

This project deals with the development of a senior level course sequence in software intensive real - time systems . The sequence consists of a course...for an engineering industrial career in real - time systems development. The course sequence emphasizes practical standards, techniques, and tools for...system development. Few universities include real - time systems development in their undergraduate Computer Engineering or Computer Science curriculum

An SDRAM controller for real-time systems

DEFF Research Database (Denmark)

Lakis, Edgar; Schoeberl, Martin

2013-01-01

For real-time systems we need to statically determine worst-case execution times (WCET) of tasks to proof the schedulability of the system. To enable static WCET analysis, the platform needs to be time-predictable. The platform includes the processor, the caches, the memory system, the operating...... system, and the application software itself. All those components need to be timing analyzable. Current computers use DRAM as a cost effective main memory. However, these DRAM chips have timing requirements that depend on former accesses and also need to be refreshed to retain their content. Standard...... a base of the memory hierarchy for time-predictable systems....

Designing a fuzzy scheduler for hard real-time systems

Science.gov (United States)

Yen, John; Lee, Jonathan; Pfluger, Nathan; Natarajan, Swami

1992-01-01

In hard real-time systems, tasks have to be performed not only correctly, but also in a timely fashion. If timing constraints are not met, there might be severe consequences. Task scheduling is the most important problem in designing a hard real-time system, because the scheduling algorithm ensures that tasks meet their deadlines. However, the inherent nature of uncertainty in dynamic hard real-time systems increases the problems inherent in scheduling. In an effort to alleviate these problems, we have developed a fuzzy scheduler to facilitate searching for a feasible schedule. A set of fuzzy rules are proposed to guide the search. The situation we are trying to address is the performance of the system when no feasible solution can be found, and therefore, certain tasks will not be executed. We wish to limit the number of important tasks that are not scheduled.

Overview of real-time operating systems on microprocessor platforms

International Nuclear Information System (INIS)

Luong, T.T.

1994-01-01

This paper attempts to overview the real-time operating systems on microprocessor platforms in the field of experimental physics facility controls. The key issues regarding operating systems as well as standards and development environment are discussed. As an illustration, some current industrial products are indicated. Also, real-time systems operating in some institutes of the EPS/EPCS inter divisional group are reviewed. (author). 3 refs., 4 figs

Design a Fault Tolerance for Real Time Distributed System

OpenAIRE

Ban M. Khammas

2012-01-01

This paper designed a fault tolerance for soft real time distributed system (FTRTDS). This system is designed to be independently on specific mechanisms and facilities of the underlying real time distributed system. It is designed to be distributed on all the computers in the distributed system and controlled by a central unit.Besides gathering information about a target program spontaneously, it provides information about the target operating system and the target hardware in order to diagno...

Design and implementation of real-time wireless projection system based on ARM embedded system

Science.gov (United States)

Long, Zhaohua; Tang, Hao; Huang, Junhua

2018-04-01

Aiming at the shortage of existing real-time screen sharing system, a real-time wireless projection system is proposed in this paper. Based on the proposed system, a weight-based frame deletion strategy combined sampling time period and data variation is proposed. By implementing the system on the hardware platform, the results show that the system can achieve good results. The weight-based strategy can improve the service quality, reduce the delay and optimize the real-time customer service system [1].

Army Secure Operating System: Information Security for Real Time Systems

National Research Council Canada - National Science Library

Anderson, Eric

1984-01-01

The Army Secure Operating System (ASOS) project, under the management of the U.S. Army CECOM organization, will provide real time systems software necessary for fielding modern Battlefield Automation Systems...

Development of a Web application for a real time information system; Desarrollo de una aplicacion web para un sistema de informacion en tiempo real

Energy Technology Data Exchange (ETDEWEB)

Espinosa R, Alfredo; Silva F, Brisa M; Quintero R, Agustin [Instituto de Investigaciones Electricas, Cuernavaca, Morelos (Mexico)

2007-07-01

In this article its is described a technique for the development of a Web application for a real time information system that allows the remote and concurrent connection of different equipment to the network historical data base of the system, without the need of the installation of any software component in the remote equipment of the user who makes the consultation. It defines and establishes the software architecture that allows the development of the Web application, the analysis stages, the operation of the technology to be used, as well as the design, development and implementation of the application. Finally, the accomplishments obtained with the development of the Web application for a real time information system are described. [Spanish] En este articulo se describe una tecnica para el desarrollo de una aplicacion web para un sistema de informacion en tiempo real, que permita la conexion remota y concurrente de diferentes equipos en la red a la base de datos historica del sistema, sin necesidad de que se instale ningun componente de software en el equipo remoto del usuario que realiza la consulta. Se define y establece la arquitectura de software que permite el desarrollo de la aplicacion web, las etapas de analisis, el funcionamiento de la tecnologia a utilizar, asi como el diseno, desarrollo e implementacion de la aplicacion. Finalmente, se describen los logros obtenidos con el desarrollo de la aplicacion web para un sistema de informacion en tiempo real.

Alternative majority-voting methods for real-time computing systems

Science.gov (United States)

Shin, Kang G.; Dolter, James W.

1989-01-01

Two techniques that provide a compromise between the high time overhead in maintaining synchronous voting and the difficulty of combining results in asynchronous voting are proposed. These techniques are specifically suited for real-time applications with a single-source/single-sink structure that need instantaneous error masking. They provide a compromise between a tightly synchronized system in which the synchronization overhead can be quite high, and an asynchronous system which lacks suitable algorithms for combining the output data. Both quorum-majority voting (QMV) and compare-majority voting (CMV) are most applicable to distributed real-time systems with single-source/single-sink tasks. All real-time systems eventually have to resolve their outputs into a single action at some stage. The development of the advanced information processing system (AIPS) and other similar systems serve to emphasize the importance of these techniques. Time bounds suggest that it is possible to reduce the overhead for quorum-majority voting to below that for synchronous voting. All the bounds assume that the computation phase is nonpreemptive and that there is no multitasking.

Resource-Parameterized Timing Analysis of Real-Time Systems

DEFF Research Database (Denmark)

Kim, Jin Hyun; Legay, Axel; Larsen, Kim Guldstrand

2015-01-01

on a specic platform. For the same reason, a configuration of platforms cannot be independent from applications in most cases. This paper proposes a new analysis framework of real-time systems where an application and a platform can be analyzed in a fully independent way such that not only the application...

Design of real-time operating system software

International Nuclear Information System (INIS)

Stafford, D.L.; Hulbert, A.J.

1976-01-01

Design of real-time data collection and control systems is complicated by problems not found in common sequential programming projects. Timing and synchronization are critical; data collection equipment is often completely foreign to mainframe programming facilities; operating system response to real-time events may be far too slow or too cumbersome. The philosophy at the Inhalation Toxicology Research Institute (ITRI) is to allow the investigators to do as much of their own programming as possible. Inasmuch as programming is not their primary responsibility or area of training, it is unreasonable to assume that they are familiar with the subtleties involved. The problem, therefore, has been to develop a system whereby investigators are able, with minimal consultation, to write, modify and otherwise maintain their own data collection and control programs and to do so with a minimum of destructive interaction with other data collection and control tasks

Research and application of embedded real-time operating system

Science.gov (United States)

Zhang, Bo

2013-03-01

In this paper, based on the analysis of existing embedded real-time operating system, the architecture of an operating system is designed and implemented. The experimental results show that the design fully complies with the requirements of embedded real-time operating system, can achieve the purposes of reducing the complexity of embedded software design and improving the maintainability, reliability, flexibility. Therefore, this design program has high practical value.

Bus-stop Based Real Time Passenger Information System - Case Study Maribor

Science.gov (United States)

Čelan, Marko; Klemenčič, Mitja; Mrgole, Anamarija L.; Lep, Marjan

2017-10-01

Real time passenger information system is one of the key element of promoting public transport. For the successful implementation of real time passenger information systems, various components should be considered, such as: passenger needs and requirements, stakeholder involvement, technological solution for tracking, data transfer, etc. This article carrying out designing and evaluation of real time passenger information (RTPI) in the city of Maribor. The design phase included development of methodology for selection of appropriate macro and micro location of the real-time panel, development of a real-time passenger algorithm, definition of a technical specification, financial issues and time frame. The evaluation shows that different people have different requirements; therefore, the system should be adaptable to be used by various types of people, according to the age, the purpose of journey, experience of using public transport, etc. The average difference between perceived waiting time for a bus is 35% higher than the actual waiting time and grow with the headway increase. Experiences from Maribor have shown that the reliability of real time passenger system (from technical point of view) must be close to 100%, otherwise the system may have negative impact on passengers and may discourage the use of public transport. Among considered events of arrivals during the test period, 92% of all prediction were accurate. The cost benefit analysis has focused only on potential benefits from reduced perceived users waiting time and foreseen costs of real time information system in Maribor for 10 years’ period. Analysis shows that the optimal number for implementing real time passenger information system at the bus stops in Maribor is set on 83 bus stops (approx. 20 %) with the highest number of passenger. If we consider all entries at the chosen bus stops, the total perceived waiting time on yearly level could be decreased by about 60,000 hours.

X-real-time executive (X-RTE) an ultra-high reliable real-time executive for safety critical systems

International Nuclear Information System (INIS)

Suresh Babu, R.M.

1995-01-01

With growing number of application of computers in safety critical systems of nuclear plants there has been a need to assure high quality and reliability of the software used in these systems. One way to assure software quality is to use qualified software components. Since the safety systems and control systems are real-time systems there is a need for a real-time supervisory software to guarantee temporal response of the system. This report describes one such software package, called X-Real-Time Executive (or X-RTE), which was developed in Reactor Control Division, BARC. The report describes all the capabilities and unique features of X-RTE and compares it with a commercially available operating system. The features of X-RTE include pre-emptive scheduling, process synchronization, inter-process communication, multi-processor support, temporal support, debug facility, high portability, high reliability, high quality, and extensive documentation. Examples have been used very liberally to illustrate the underlying concepts. Besides, the report provides a brief description about the methods used, during the software development, to assure high quality and reliability of X-RTE. (author). refs., 11 figs., tabs

An open real-time tele-stethoscopy system

Directory of Open Access Journals (Sweden)

Foche-Perez Ignacio

2012-08-01

Full Text Available Abstract Background Acute respiratory infections are the leading cause of childhood mortality. The lack of physicians in rural areas of developing countries makes difficult their correct diagnosis and treatment. The staff of rural health facilities (health-care technicians may not be qualified to distinguish respiratory diseases by auscultation. For this reason, the goal of this project is the development of a tele-stethoscopy system that allows a physician to receive real-time cardio-respiratory sounds from a remote auscultation, as well as video images showing where the technician is placing the stethoscope on the patient’s body. Methods A real-time wireless stethoscopy system was designed. The initial requirements were: 1 The system must send audio and video synchronously over IP networks, not requiring an Internet connection; 2 It must preserve the quality of cardiorespiratory sounds, allowing to adapt the binaural pieces and the chestpiece of standard stethoscopes, and; 3 Cardiorespiratory sounds should be recordable at both sides of the communication. In order to verify the diagnostic capacity of the system, a clinical validation with eight specialists has been designed. In a preliminary test, twelve patients have been auscultated by all the physicians using the tele-stethoscopy system, versus a local auscultation using traditional stethoscope. The system must allow listen the cardiac (systolic and diastolic murmurs, gallop sound, arrhythmias and respiratory (rhonchi, rales and crepitations, wheeze, diminished and bronchial breath sounds, pleural friction rub sounds. Results The design, development and initial validation of the real-time wireless tele-stethoscopy system are described in detail. The system was conceived from scratch as open-source, low-cost and designed in such a way that many universities and small local companies in developing countries may manufacture it. Only free open-source software has been used in order to

An open real-time tele-stethoscopy system.

Science.gov (United States)

Foche-Perez, Ignacio; Ramirez-Payba, Rodolfo; Hirigoyen-Emparanza, German; Balducci-Gonzalez, Fernando; Simo-Reigadas, Francisco-Javier; Seoane-Pascual, Joaquin; Corral-Peñafiel, Jaime; Martinez-Fernandez, Andres

2012-08-23

Acute respiratory infections are the leading cause of childhood mortality. The lack of physicians in rural areas of developing countries makes difficult their correct diagnosis and treatment. The staff of rural health facilities (health-care technicians) may not be qualified to distinguish respiratory diseases by auscultation. For this reason, the goal of this project is the development of a tele-stethoscopy system that allows a physician to receive real-time cardio-respiratory sounds from a remote auscultation, as well as video images showing where the technician is placing the stethoscope on the patient's body. A real-time wireless stethoscopy system was designed. The initial requirements were: 1) The system must send audio and video synchronously over IP networks, not requiring an Internet connection; 2) It must preserve the quality of cardiorespiratory sounds, allowing to adapt the binaural pieces and the chestpiece of standard stethoscopes, and; 3) Cardiorespiratory sounds should be recordable at both sides of the communication. In order to verify the diagnostic capacity of the system, a clinical validation with eight specialists has been designed. In a preliminary test, twelve patients have been auscultated by all the physicians using the tele-stethoscopy system, versus a local auscultation using traditional stethoscope. The system must allow listen the cardiac (systolic and diastolic murmurs, gallop sound, arrhythmias) and respiratory (rhonchi, rales and crepitations, wheeze, diminished and bronchial breath sounds, pleural friction rub) sounds. The design, development and initial validation of the real-time wireless tele-stethoscopy system are described in detail. The system was conceived from scratch as open-source, low-cost and designed in such a way that many universities and small local companies in developing countries may manufacture it. Only free open-source software has been used in order to minimize manufacturing costs and look for alliances to

Microcomputer-based real-time optical signal processing system

Science.gov (United States)

Yu, F. T. S.; Cao, M. F.; Ludman, J. E.

1986-01-01

A microcomputer-based real-time programmable optical signal processing system utilizing a Magneto-Optic Spatial Light Modulator (MOSLM) and a Liquid Crystal Light Valve (LCLV) is described. This system can perform a myriad of complicated optical operations, such as image correlation, image subtraction, matrix multiplication and many others. The important assets of this proposed system must be the programmability and the capability of real-time addressing. The design specification and the progress toward practical implementation of this proposed system are discussed. Some preliminary experimental demonstrations are conducted. The feasible applications of this proposed system to image correlation for optical pattern recognition, image subtraction for IC chip inspection and matrix multiplication for optical computing are demonstrated.

A Quantitative Approach to the Formal Verification of Real-Time Systems.

Science.gov (United States)

1996-09-01

Computer Science A Quantitative Approach to the Formal Verification of Real - Time Systems Sergio Vale Aguiar Campos September 1996 CMU-CS-96-199...ptisiic raieaiSI v Diambimos Lboiamtad _^ A Quantitative Approach to the Formal Verification of Real - Time Systems Sergio Vale Aguiar Campos...implied, of NSF, the Semiconduc- tor Research Corporation, ARPA or the U.S. government. Keywords: real - time systems , formal verification, symbolic

Design-time performance analysis of component-based real-time systems

NARCIS (Netherlands)

Bondarev, E.

2009-01-01

In current real-time systems, performance metrics are one of the most challenging properties to specify, predict and measure. Performance properties depend on various factors, like environmental context, load profile, middleware, operating system, hardware platform and sharing of internal resources.

Modeling and Analyzing Real-Time Multiprocessor Systems

NARCIS (Netherlands)

Wiggers, M.H.; Thiele, Lothar; Lee, Edward A.; Schlieker, Simon; Bekooij, Marco Jan Gerrit

2010-01-01

Researchers have proposed approaches to verify that real-time multiprocessor systems meet their timeliness constraints. These approaches make assumptions on the model of computation, the load placed on the multiprocessor system, and the faults that can arise. This heterogeneous set of assumptions

Time concurrency/phase-time synchronization in digital communications networks

Science.gov (United States)

Kihara, Masami; Imaoka, Atsushi

1990-01-01

Digital communications networks have the intrinsic capability of time synchronization which makes it possible for networks to supply time signals to some applications and services. A practical estimation method for the time concurrency on terrestrial networks is presented. By using this method, time concurrency capability of the Nippon Telegraph and Telephone Corporation (NTT) digital communications network is estimated to be better than 300 ns rms at an advanced level, and 20 ns rms at final level.

Real-time variables dictionary (RTVD), and expert system for development of real-time applications in nuclear power plants

International Nuclear Information System (INIS)

Senra Martinez, A.; Schirru, R.; Dutra Thome Filho, Z.

1990-01-01

It is presented in this paper a computerized methodology based on a data dictionary managed by an expert system called Real-Time Variables Dictionary (RTVD). This system is very usefull for development of real-time applications in nuclear power plants. It is described in details the RTVD functions and its implantation in a VAX 8600 computer. It is also pointed out the concepts of artificial intelligence used in teh RTVD

Concurrent measurement of "real-world" stress and arousal in individuals with psychosis: assessing the feasibility and validity of a novel methodology.

Science.gov (United States)

Kimhy, David; Delespaul, Philippe; Ahn, Hongshik; Cai, Shengnan; Shikhman, Marina; Lieberman, Jeffrey A; Malaspina, Dolores; Sloan, Richard P

2010-11-01

Psychosis has been repeatedly suggested to be affected by increases in stress and arousal. However, there is a dearth of evidence supporting the temporal link between stress, arousal, and psychosis during "real-world" functioning. This paucity of evidence may stem from limitations of current research methodologies. Our aim is to the test the feasibility and validity of a novel methodology designed to measure concurrent stress and arousal in individuals with psychosis during "real-world" daily functioning. Twenty patients with psychosis completed a 36-hour ambulatory assessment of stress and arousal. We used experience sampling method with palm computers to assess stress (10 times per day, 10 AM → 10 PM) along with concurrent ambulatory measurement of cardiac autonomic regulation using a Holter monitor. The clocks of the palm computer and Holter monitor were synchronized, allowing the temporal linking of the stress and arousal data. We used power spectral analysis to determine the parasympathetic contributions to autonomic regulation and sympathovagal balance during 5 minutes before and after each experience sample. Patients completed 79% of the experience samples (75% with a valid concurrent arousal data). Momentary increases in stress had inverse correlation with concurrent parasympathetic activity (ρ = -.27, P feasibility and validity of our methodology in individuals with psychosis. The methodology offers a novel way to study in high time resolution the concurrent, "real-world" interactions between stress, arousal, and psychosis. The authors discuss the methodology's potential applications and future research directions.

Real Time Revisited

Science.gov (United States)

Allen, Phillip G.

1985-12-01

The call for abolishing photo reconnaissance in favor of real time is once more being heard. Ten years ago the same cries were being heard with the introduction of the Charge Coupled Device (CCD). The real time system problems that existed then and stopped real time proliferation have not been solved. The lack of an organized program by either DoD or industry has hampered any efforts to solve the problems, and as such, very little has happened in real time in the last ten years. Real time is not a replacement for photo, just as photo is not a replacement for infra-red or radar. Operational real time sensors can be designed only after their role has been defined and improvements made to the weak links in the system. Plodding ahead on a real time reconnaissance suite without benefit of evaluation of utility will allow this same paper to be used ten years from now.

LabVIEW Real-Time

CERN Multimedia

CERN. Geneva; Flockhart, Ronald Bruce; Seppey, P

2003-01-01

With LabVIEW Real-Time, you can choose from a variety of RT Series hardware. Add a real-time data acquisition component into a larger measurement and automation system or create a single stand-alone real-time solution with data acquisition, signal conditioning, motion control, RS-232, GPIB instrumentation, and Ethernet connectivity. With the various hardware options, you can create a system to meet your precise needs today, while the modularity of the system means you can add to the solution as your system requirements grow. If you are interested in Reliable and Deterministic systems for Measurement and Automation, you will profit from this seminar. Agenda: Real-Time Overview LabVIEW RT Hardware Platforms - Linux on PXI Programming with LabVIEW RT Real-Time Operating Systems concepts Timing Applications Data Transfer

BENEFITS OF SEWERAGE SYSTEM REAL-TIME CONTROL

Science.gov (United States)

Real-time control (RTC) is a custom-designed computer-assisted management system for a specific urban sewerage network that is activated during a wet-weather flow event. Though uses of RTC systems had started in the mid 60s, recent developments in computers, telecommunication, in...

An Efficient Randomized Algorithm for Real-Time Process Scheduling in PicOS Operating System

Science.gov (United States)

Helmy*, Tarek; Fatai, Anifowose; Sallam, El-Sayed

PicOS is an event-driven operating environment designed for use with embedded networked sensors. More specifically, it is designed to support the concurrency in intensive operations required by networked sensors with minimal hardware requirements. Existing process scheduling algorithms of PicOS; a commercial tiny, low-footprint, real-time operating system; have their associated drawbacks. An efficient, alternative algorithm, based on a randomized selection policy, has been proposed, demonstrated, confirmed for efficiency and fairness, on the average, and has been recommended for implementation in PicOS. Simulations were carried out and performance measures such as Average Waiting Time (AWT) and Average Turn-around Time (ATT) were used to assess the efficiency of the proposed randomized version over the existing ones. The results prove that Randomized algorithm is the best and most attractive for implementation in PicOS, since it is most fair and has the least AWT and ATT on average over the other non-preemptive scheduling algorithms implemented in this paper.

Embedded real-time operating system micro kernel design

Science.gov (United States)

Cheng, Xiao-hui; Li, Ming-qiang; Wang, Xin-zheng

2005-12-01

Embedded systems usually require a real-time character. Base on an 8051 microcontroller, an embedded real-time operating system micro kernel is proposed consisting of six parts, including a critical section process, task scheduling, interruption handle, semaphore and message mailbox communication, clock managent and memory managent. Distributed CPU and other resources are among tasks rationally according to the importance and urgency. The design proposed here provides the position, definition, function and principle of micro kernel. The kernel runs on the platform of an ATMEL AT89C51 microcontroller. Simulation results prove that the designed micro kernel is stable and reliable and has quick response while operating in an application system.

Data refinement for true concurrency

Directory of Open Access Journals (Sweden)

Brijesh Dongol

2013-05-01

Full Text Available The majority of modern systems exhibit sophisticated concurrent behaviour, where several system components modify and observe the system state with fine-grained atomicity. Many systems (e.g., multi-core processors, real-time controllers also exhibit truly concurrent behaviour, where multiple events can occur simultaneously. This paper presents data refinement defined in terms of an interval-based framework, which includes high-level operators that capture non-deterministic expression evaluation. By modifying the type of an interval, our theory may be specialised to cover data refinement of both discrete and continuous systems. We present an interval-based encoding of forward simulation, then prove that our forward simulation rule is sound with respect to our data refinement definition. A number of rules for decomposing forward simulation proofs over both sequential and parallel composition are developed.

Survey of real-time processing systems for big data

DEFF Research Database (Denmark)

Liu, Xiufeng; Lftikhar, Nadeem; Xie, Xike

2014-01-01

In recent years, real-time processing and analytics systems for big data–in the context of Business Intelligence (BI)–have received a growing attention. The traditional BI platforms that perform regular updates on daily, weekly or monthly basis are no longer adequate to satisfy the fast......-changing business environments. However, due to the nature of big data, it has become a challenge to achieve the real-time capability using the traditional technologies. The recent distributed computing technology, MapReduce, provides off-the-shelf high scalability that can significantly shorten the processing time...... for big data; Its open-source implementation such as Hadoop has become the de-facto standard for processing big data, however, Hadoop has the limitation of supporting real-time updates. The improvements in Hadoop for the real-time capability, and the other alternative real-time frameworks have been...

Anesthesia information management system-based near real-time decision support to manage intraoperative hypotension and hypertension.

Science.gov (United States)

Nair, Bala G; Horibe, Mayumi; Newman, Shu-Fang; Wu, Wei-Ying; Peterson, Gene N; Schwid, Howard A

2014-01-01

Intraoperative hypotension and hypertension are associated with adverse clinical outcomes and morbidity. Clinical decision support mediated through an anesthesia information management system (AIMS) has been shown to improve quality of care. We hypothesized that an AIMS-based clinical decision support system could be used to improve management of intraoperative hypotension and hypertension. A near real-time AIMS-based decision support module, Smart Anesthesia Manager (SAM), was used to detect selected scenarios contributing to hypotension and hypertension. Specifically, hypotension (systolic blood pressure 1.25 minimum alveolar concentration [MAC]) of inhaled drug and hypertension (systolic blood pressure >160 mm Hg) with concurrent phenylephrine infusion were detected, and anesthesia providers were notified via "pop-up" computer screen messages. AIMS data were retrospectively analyzed to evaluate the effect of SAM notification messages on hypotensive and hypertensive episodes. For anesthetic cases 12 months before (N = 16913) and after (N = 17132) institution of SAM messages, the median duration of hypotensive episodes with concurrent high MAC decreased with notifications (Mann Whitney rank sum test, P = 0.031). However, the reduction in the median duration of hypertensive episodes with concurrent phenylephrine infusion was not significant (P = 0.47). The frequency of prolonged episodes that lasted >6 minutes (sampling period of SAM), represented in terms of the number of cases with episodes per 100 surgical cases (or percentage occurrence), declined with notifications for both hypotension with >1.25 MAC inhaled drug episodes (δ = -0.26% [confidence interval, -0.38% to -0.11%], P 1.25 MAC inhaled drug episodes. However, since phenylephrine infusion is manually documented in an AIMS, the impact of notification messages was less pronounced in reducing episodes of hypertension with concurrent phenylephrine infusion. Automated data capture and a higher frequency of

Adding Concurrency to Smart Contracts

OpenAIRE

Dickerson, Thomas; Gazzillo, Paul; Herlihy, Maurice; Koskinen, Eric

2017-01-01

Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called smart contracts. These smart contracts are executed many, many times, always without real concurrency. First, all smart contracts are serially executed by miners before appending them to the blockchain. Later, those contracts are serially re-executed by validators to verify that the smart contracts were executed correctly by miners. Serial execution limits system throughput and fails ...

Timing system solution for MedAustron; Real-time event and data distribution network

International Nuclear Information System (INIS)

Stefanic, R.; Tavcar, R.; Dedic, J.; Gutleber, J.; Moser, R.

2012-01-01

MedAustron is an ion beam research and therapy centre under construction in Wiener Neustadt, Austria. The facility features a synchrotron particle accelerator for light ions. The timing system for this class of accelerators has been developed in close collaboration between MedAustron and Cosylab. Mitigating economical and technological risks, we have chosen a proven, widely used Micro Research Finland (MRF) timing equipment and redesigned its FPGA firmware, extending its high-logic services above transport layer, as required by machine specifics. We obtained a generic real-time broadcast network for coordinating actions of a compact, pulse-to-pulse modulation based particle accelerator. High-level services include support for virtual accelerators and a rich selection of event response mechanisms. The system uses a combination of a real-time link for downstream events and a non-real-time link for upstream messaging and non time-critical communication. It comes with National Instruments LabVIEW-based software support, ready to be integrated into PXIe based front-end controllers. This article explains the high level logic services provided by the real-time link, describes the non-real-time interfaces and presents the software configuration mechanisms. (authors)

Runtime verification of embedded real-time systems.

Science.gov (United States)

Reinbacher, Thomas; Függer, Matthias; Brauer, Jörg

We present a runtime verification framework that allows on-line monitoring of past-time Metric Temporal Logic (ptMTL) specifications in a discrete time setting. We design observer algorithms for the time-bounded modalities of ptMTL, which take advantage of the highly parallel nature of hardware designs. The algorithms can be translated into efficient hardware blocks, which are designed for reconfigurability, thus, facilitate applications of the framework in both a prototyping and a post-deployment phase of embedded real-time systems. We provide formal correctness proofs for all presented observer algorithms and analyze their time and space complexity. For example, for the most general operator considered, the time-bounded Since operator, we obtain a time complexity that is doubly logarithmic both in the point in time the operator is executed and the operator's time bounds. This result is promising with respect to a self-contained, non-interfering monitoring approach that evaluates real-time specifications in parallel to the system-under-test. We implement our framework on a Field Programmable Gate Array platform and use extensive simulation and logic synthesis runs to assess the benefits of the approach in terms of resource usage and operating frequency.

Implementing real-time robotic systems using CHIMERA II

Science.gov (United States)

Stewart, David B.; Schmitz, Donald E.; Khosla, Pradeep K.

1990-01-01

A description is given of the CHIMERA II programming environment and operating system, which was developed for implementing real-time robotic systems. Sensor-based robotic systems contain both general- and special-purpose hardware, and thus the development of applications tends to be a time-consuming task. The CHIMERA II environment is designed to reduce the development time by providing a convenient software interface between the hardware and the user. CHIMERA II supports flexible hardware configurations which are based on one or more VME-backplanes. All communication across multiple processors is transparent to the user through an extensive set of interprocessor communication primitives. CHIMERA II also provides a high-performance real-time kernel which supports both deadline and highest-priority-first scheduling. The flexibility of CHIMERA II allows hierarchical models for robot control, such as NASREM, to be implemented with minimal programming time and effort.

A Lecture Supporting System Based on Real-Time Learning Analytics

Science.gov (United States)

Shimada, Atsushi; Konomi, Shin'ichi

2017-01-01

A new lecture supporting system based on real-time learning analytics is proposed. Our target is on-site classrooms where teachers give their lectures, and a lot of students listen to teachers' explanation, conduct exercises etc. We utilize not only an e-Learning system, but also an e-Book system to collect real-time learning activities during the…

Can Real-Time Systems Benefit from Dynamic Partial Reconfiguration?

DEFF Research Database (Denmark)

Pezzarossa, Luca; Kristensen, Andreas Toftegaard; Schoeberl, Martin

2017-01-01

In real-time systems, a solution where hardware accelerators are used to implement computationally intensive tasks can be easier to analyze, in terms of worst-case execution time (WCET), than a pure software solution. However, when using FPGAs, the amount and the complexity of the hardware...... hardware accelerators in real-time systems and presents an experimental analysis of the trade-offs between hardware utilization and WCET increase due to the reconfiguration time overhead of DPR. We also investigate the trade-off between the use of multiple specialized accelerators combined with DPR instead...

Case for real-time systems development - Quo vadis?

Science.gov (United States)

Erb, Dona M.

1991-01-01

The paper focuses on the distinctive issues of computer-aided software engineering (CASE) products for the development of real-time systems. CASE technologies and associated standardization efforts are evolving from sets of conflicting interests. The majority of case products are intended for use in the development of management information systems. CASE products to support the development of large, complex real-time systems must provide additional capabilities. Generic concerns include the quality of the implementation of the required method for the phase of the system's development and whether the vendor is stable and committed to evolving the products in parallel with nonproprietary standards. The CASE market is undergoing considerable consolidation. The paper describes the major forces, cooperating entities, and remaining uncertainties that need to be weighed in near-term CASE procurements to limit risk of loss of investment in project time, trianing, and money.

Real-time thermal neutron radiographic detection systems

International Nuclear Information System (INIS)

Berger, H.; Bracher, D.A.

1976-01-01

Systems for real-time detection of thermal neutron images are reviewed. Characteristics of one system are presented; the data include contrast, resolution and speed of response over the thermal neutron intensity range 2.5 10 3 n/cm 2 -sec to 10 7 n/cm 2 -sec

Real-time application of knowledge-based systems

Science.gov (United States)

Brumbaugh, Randal W.; Duke, Eugene L.

1989-01-01

The Rapid Prototyping Facility (RPF) was developed to meet a need for a facility which allows flight systems concepts to be prototyped in a manner which allows for real-time flight test experience with a prototype system. This need was focused during the development and demonstration of the expert system flight status monitor (ESFSM). The ESFSM was a prototype system developed on a LISP machine, but lack of a method for progressive testing and problem identification led to an impractical system. The RPF concept was developed, and the ATMS designed to exercise its capabilities. The ATMS Phase 1 demonstration provided a practical vehicle for testing the RPF, as well as a useful tool. ATMS Phase 2 development continues. A dedicated F-18 is expected to be assigned for facility use in late 1988, with RAV modifications. A knowledge-based autopilot is being developed using the RPF. This is a system which provides elementary autopilot functions and is intended as a vehicle for testing expert system verification and validation methods. An expert system propulsion monitor is being prototyped. This system provides real-time assistance to an engineer monitoring a propulsion system during a flight.

Acesso a Recursos Partilhados em Sistemas de Tempo Real

OpenAIRE

Santos, Rui; Oliveira, Arnaldo; Almeida, Luís

2013-01-01

Real-time systems are typically reactive systems implemented with a set of concurrent tasks running on top ofan executive or operating system. Due to concurrent task execution and access to shared resources, it is fundamental thatthe execution of critical regions is performed in a safe way,i.e. controlled by appropriate synchronization primitives (e.g.semaphores). To reduce the sources of unbounded priority inversions the semaphores must be managed by protocols adequate for real-time systems....

Real-Time Target Motion Animation for Missile Warning System Testing

Science.gov (United States)

2006-04-01

T. Perkins, R. Sundberg, J. Cordell, Z. Tun , and M. Owen, Real-time Target Motion Animation for Missile Warning System Testing, Proc. SPIE Vol 6208...Z39-18 Real-time target motion animation for missile warning system testing Timothy Perkins*a, Robert Sundberga, John Cordellb, Zaw Tunb, Mark

Dynamic Reconfiguration in Real-Time Systems Energy, Performance, and Thermal Perspectives

CERN Document Server

Wang, Weixun; Ranka, Sanjay

2013-01-01

Given the widespread use of real-time multitasking systems, there are tremendous optimization opportunities if reconfigurable computing can be effectively incorporated while maintaining performance and other design constraints of typical applications. The focus of this book is to describe the dynamic reconfiguration techniques that can be safely used in real-time systems. This book provides comprehensive approaches by considering synergistic effects of computation, communication as well as storage together to significantly improve overall performance, power, energy and temperature.  Provides a comprehensive introduction to optimization and dynamic reconfiguration techniques in real-time embedded systems; Covers state-of-the-art techniques and ongoing research in reconfigurable architectures; Focuses on algorithms tuned for dynamic reconfiguration techniques in real-time systems;  Provides reference for anyone designing low-power systems, energy-/temperature-constrained devices, and power-performance efficie...

Real-time PCR Machine System Modeling and a Systematic Approach for the Robust Design of a Real-time PCR-on-a-Chip System

Directory of Open Access Journals (Sweden)

Da-Sheng Lee

2010-01-01

Full Text Available Chip-based DNA quantification systems are widespread, and used in many point-of-care applications. However, instruments for such applications may not be maintained or calibrated regularly. Since machine reliability is a key issue for normal operation, this study presents a system model of the real-time Polymerase Chain Reaction (PCR machine to analyze the instrument design through numerical experiments. Based on model analysis, a systematic approach was developed to lower the variation of DNA quantification and achieve a robust design for a real-time PCR-on-a-chip system. Accelerated lift testing was adopted to evaluate the reliability of the chip prototype. According to the life test plan, this proposed real-time PCR-on-a-chip system was simulated to work continuously for over three years with similar reproducibility in DNA quantification. This not only shows the robustness of the lab-on-a-chip system, but also verifies the effectiveness of our systematic method for achieving a robust design.

Advanced real-time control systems for magnetically confined fusion plasmas

International Nuclear Information System (INIS)

Goncalves, B.; Sousa, J.; Fernandes, H.; Rodrigues, A.P.; Carvalho, B.B.; Neto, A.; Varandas, C.A.F.

2008-01-01

Real-time control of magnetically confined plasmas is a critical issue for the safety, operation and high performance scientific exploitation of the experimental devices on regimes beyond the current operation frontiers. The number of parameters and the data volumes used for the plasma properties identification scale normally not only with the machine size but also with the technology improvements, leading to a great complexity of the plant system. A strong computational power and fast communication infrastructure are needed to handle in real-time this information, allowing just-in-time decisions to achieve the fusion critical plasma conditions. These advanced control systems require a tiered infrastructure including the hardware layer, the signal-processing middleware, real-time timing and data transport, the real-time operating system tools and drivers, the framework for code development, simulation, deployment and experiment parameterization and the human real-time plasma condition monitoring and management. This approach is being implemented at CFN by offering a vertical solution for the forthcoming challenges, including ITER, the first experimental fusion reactor. A given set of tools and systems are described on this paper, namely: (i) an ATCA based hardware multiple-input-multiple-output (MIMO) platform, PCI and PCIe acquisition and control modules; (ii) FPGA and DSP parallelized signal processing algorithms; (iii) a signal data and event distribution system over a 2.5/10Gb optical network with sub-microsecond latencies; (iv) RTAI and Linux drivers; and (v) the FireSignal, FusionTalk, SDAS FireCalc application tools. (author)

Integrating Security in Real-Time Embedded Systems

Science.gov (United States)

2017-04-26

Operations and Reports (0704-0188), 1215 Jefferson Davis Highway, Suite 1204, Arl ington, VA 22202-4302. Respondents should be aware that... operate without impacting the tinting and safety constraints of the control logic. Besides, the embedded nature of these systems limits the...only during slack times when no other real-time tasks are rwming. We propose to measure the security of the system by means of the achievable periodic

Design Aids for Real-Time Systems (DARTS)

Science.gov (United States)

Szulewski, P. A.

1982-01-01

Design-Aids for Real-Time Systems (DARTS) is a tool that assists in defining embedded computer systems through tree structured graphics, military standard documentation support, and various analyses including automated Software Science parameter counting and metrics calculation. These analyses provide both static and dynamic design quality feedback which can potentially aid in producing efficient, high quality software systems.

Advanced Hard Real-Time Operating System, The Maruti Project. Part 1.

Science.gov (United States)

1997-01-01

REAL - TIME OPERATING SYSTEM , THE MARUTI PROJECT Part 1 of 2 Ashok K. Agrawala Satish K. Tripathi Department of Computer Science University of Maryland...Hard Real - Time Operating System , The Maruti Project DASG-60-92-C-0055 5b. Program Element # 62301E 6. Author(s) 5c. Project # DRPB Ashok K. Agrawala...SdSA94), a real - time operating system developed at the I3nversity of Maryland, and conducted extensive experiments under various task

Real-time control systems: feedback, scheduling and robustness

Science.gov (United States)

Simon, Daniel; Seuret, Alexandre; Sename, Olivier

2017-08-01

The efficient control of real-time distributed systems, where continuous components are governed through digital devices and communication networks, needs a careful examination of the constraints arising from the different involved domains inside co-design approaches. Thanks to the robustness of feedback control, both new control methodologies and slackened real-time scheduling schemes are proposed beyond the frontiers between these traditionally separated fields. A methodology to design robust aperiodic controllers is provided, where the sampling interval is considered as a control variable of the system. Promising experimental results are provided to show the feasibility and robustness of the approach.

Real-Time Concurrent Processes

National Research Council Canada - National Science Library

Vestal, Steve

2000-01-01

... to model some implementation details. Classical preemptive scheduling models do not deal with complex task sequencing and interaction, which limits their usefulness for describing distributed systems and implementation details...

MINIX4RT: a real-time operating system based on MINIX

OpenAIRE

Pessolani, Pablo Andrés

2006-01-01

Tanenbaum's MINIX Operating System was extended with a Real-Time microkernel and services to conform MINIX4RT, a Real-Time Operating System for academic uses that includes more flexible Interprocess Communications facilities supporting basic priority inheritance protocol, a fixed priority scheduler, timer and event driven interrupt management, statistics and Real-Time metrics gathering keeping backward compatibility with standard MINIX versions. Facultad de Informática

Real-time performance monitoring and management system

Science.gov (United States)

Budhraja, Vikram S [Los Angeles, CA; Dyer, James D [La Mirada, CA; Martinez Morales, Carlos A [Upland, CA

2007-06-19

A real-time performance monitoring system for monitoring an electric power grid. The electric power grid has a plurality of grid portions, each grid portion corresponding to one of a plurality of control areas. The real-time performance monitoring system includes a monitor computer for monitoring at least one of reliability metrics, generation metrics, transmission metrics, suppliers metrics, grid infrastructure security metrics, and markets metrics for the electric power grid. The data for metrics being monitored by the monitor computer are stored in a data base, and a visualization of the metrics is displayed on at least one display computer having a monitor. The at least one display computer in one said control area enables an operator to monitor the grid portion corresponding to a different said control area.

Innovative tools for real-time simulation of dynamic systems

NARCIS (Netherlands)

Palli, Gianluca; Carloni, Raffaella; Melchiorri, Claudio

2008-01-01

In this paper, we present a software architecture, based on RTAI-Linux, for the real-time simulation of dynamic systems and for the rapid prototyping of digital controllers. Our aim is to simplify the testing phase of digital controllers by providing the real-time simulation of the plant with the

A knowledge-based system framework for real-time monitoring applications

International Nuclear Information System (INIS)

Heaberlin, J.O.; Robinson, A.H.

1989-01-01

A real-time environment presents a challenge for knowledge-based systems for process monitoring with on-line data acquisition in nuclear power plants. These applications are typically data intensive. This, coupled with the dynamic nature of events on which problematic decisions are based, requires the development of techniques fundamentally different from those generally employed. Traditional approaches involve knowledge management techniques developed for static data, the majority of which is elicited directly from the user in a consultation environment. Inference mechanisms are generally noninterruptible, requiring all appropriate rules to be fired before new data can be accommodated. As a result, traditional knowledge-based applications in real-time environments have inherent problems in dealing with the time dependence of both the data and the solution process. For example, potential problems include obtaining a correct solution too late to be of use or focusing computing resources on problems that no longer exist. A knowledge-based system framework, the real-time framework (RTF), has been developed that can accommodate the time dependencies and resource trade-offs required for real-time process monitoring applications. This framework provides real-time functionality by using generalized problem-solving goals and control strategies that are modifiable during system operation and capable of accommodating feedback for redirection of activities

Automated real-time testing (ARTT) for embedded control systems (ECS)

International Nuclear Information System (INIS)

Hawkins, J; Howard, R; Nguyen, H.

2001-01-01

Many of today's automated real-time testing systems for embedded systems were developed using expensive custom hardware and software. In this article they describe how to use commercially available off-the-shelf hardware and software to design and develop an automated real-time test systems for Embedded Programmable Logic Controller (PLC) Based Control Systems. The system development began with the implementation of the VALI/TEST Pro testing methodology as a means for structuring the testing. Using this methodology, they were able to decompose system requirement documents for a Personnel Safety System (PSS) into its high, intermediate and detail level requirements. next, the validation procedures for the PSS system were decomposed into testing units called builds, test runs and test cases. To measure the PSS system's test coverage three levels of system requirements were mapped to their respective unit level of test using a specially constructed validation matrix that was designed to handle over 150 test cases and requirements. All of the above work led to the development of an Automated Real-Time Test System (ARTTS) that is capable of performing complete black box testing in real-time for Embedded PLC Based Control Systems. Also note, that the PSS system under test and mentioned in this paper is located at the Advance Photon Source (APS) at Argonne National Laboratory Basic Energy Science Facility in Argonne, Illinois

A real-time BWR stability measurement system

International Nuclear Information System (INIS)

March-Leuba, J.; King, W.T.

1988-01-01

This paper describes the characteristics of a portable, real-time system used for nonperturbational measurements of stability in boiling water reactors. The algorithm used in this system estimates the closed-loop asymptotic decay ratio using only the naturally occurring neutron noise and it is based on the univariate autoregressive methodology. (author)

Grasp: Tracing, visualizing and measuring the behavior of real-time systems

NARCIS (Netherlands)

Holenderski, M.J.; Heuvel, van den M.M.H.P.; Bril, R.J.; Lukkien, J.J.; Lipari, G.; Cucinotta, T.

2010-01-01

Understanding and validating the timing behavior of real-time systems is not trivial. Many real-time operating systems and their development environments do not provide tracing support, and provide only limited visualization, measurements and analysis tools. This paper presents Grasp, a tool for

Evaluation of Real-time operating systems for FGC controls

CERN Document Server

Chalas, Konstantinos

2015-01-01

Power Converter Control for various experiments at CERN, is con- ducted using a machine called Function Generator Controller. The cur- rent generation of FGCs being deployed is FGC3. A certain number of FGCs require very fast and precise control, and for these systems, there is uncertainty of whether the existing hardware will be able to provide the level of determinism required. I have worked in the CCS section as a summer student on a project to study the potential of ARM-based CPUs to provide a real time behaviour fit for a future high-performance FGC4. In this paper, i will present the results of my research into real-time vari- ants of Linux and other real-time operating systems on two different ARM CPUs.

Arrow-bot: A Teaching Tool for Real-Time Embedded System Course

Directory of Open Access Journals (Sweden)

Zakaria Mohamad Fauzi

2017-01-01

Full Text Available This paper presents the design of a line following Arduino-based mobile robot for Real-Time Embedded System course at Universiti Tun Hussein Onn Malaysia. The real-time system (RTS concept was implementing is based on rate monotonic scheduling (RMS on an ATmega328P microcontroller. Three infrared line sensors were used as input for controlling two direct current (DC motors. A RTS software was programmed in Arduino IDE which relied on a real-time operating system (RTOS of ChibiOS/RT library. Three independent tasks of software functions were created for testing real-time scheduling capability and the result of temporal scope was collected. The microcontroller succeeded to handle multiple tasks without missed their dateline. This implementation of the RTOS in embedded system for mobile robotics system is hoped to increase students understanding and learning capability.

A Comparison and Evaluation of Real-Time Software Systems Modeling Languages

Science.gov (United States)

Evensen, Kenneth D.; Weiss, Kathryn Anne

2010-01-01

A model-driven approach to real-time software systems development enables the conceptualization of software, fostering a more thorough understanding of its often complex architecture and behavior while promoting the documentation and analysis of concerns common to real-time embedded systems such as scheduling, resource allocation, and performance. Several modeling languages have been developed to assist in the model-driven software engineering effort for real-time systems, and these languages are beginning to gain traction with practitioners throughout the aerospace industry. This paper presents a survey of several real-time software system modeling languages, namely the Architectural Analysis and Design Language (AADL), the Unified Modeling Language (UML), Systems Modeling Language (SysML), the Modeling and Analysis of Real-Time Embedded Systems (MARTE) UML profile, and the AADL for UML profile. Each language has its advantages and disadvantages, and in order to adequately describe a real-time software system's architecture, a complementary use of multiple languages is almost certainly necessary. This paper aims to explore these languages in the context of understanding the value each brings to the model-driven software engineering effort and to determine if it is feasible and practical to combine aspects of the various modeling languages to achieve more complete coverage in architectural descriptions. To this end, each language is evaluated with respect to a set of criteria such as scope, formalisms, and architectural coverage. An example is used to help illustrate the capabilities of the various languages.

A concurrent visualization system for large-scale unsteady simulations. Parallel vector performance on an NEC SX-4

International Nuclear Information System (INIS)

Takei, Toshifumi; Doi, Shun; Matsumoto, Hideki; Muramatsu, Kazuhiro

2000-01-01

We have developed a concurrent visualization system RVSLIB (Real-time Visual Simulation Library). This paper shows the effectiveness of the system when it is applied to large-scale unsteady simulations, for which the conventional post-processing approach may no longer work, on high-performance parallel vector supercomputers. The system performs almost all of the visualization tasks on a computation server and uses compressed visualized image data for efficient communication between the server and the user terminal. We have introduced several techniques, including vectorization and parallelization, into the system to minimize the computational costs of the visualization tools. The performance of RVSLIB was evaluated by using an actual CFD code on an NEC SX-4. The computational time increase due to the concurrent visualization was at most 3% for a smaller (1.6 million) grid and less than 1% for a larger (6.2 million) one. (author)

Energy-efficient fault tolerance in multiprocessor real-time systems

Science.gov (United States)

Guo, Yifeng

The recent progress in the multiprocessor/multicore systems has important implications for real-time system design and operation. From vehicle navigation to space applications as well as industrial control systems, the trend is to deploy multiple processors in real-time systems: systems with 4 -- 8 processors are common, and it is expected that many-core systems with dozens of processing cores will be available in near future. For such systems, in addition to general temporal requirement common for all real-time systems, two additional operational objectives are seen as critical: energy efficiency and fault tolerance. An intriguing dimension of the problem is that energy efficiency and fault tolerance are typically conflicting objectives, due to the fact that tolerating faults (e.g., permanent/transient) often requires extra resources with high energy consumption potential. In this dissertation, various techniques for energy-efficient fault tolerance in multiprocessor real-time systems have been investigated. First, the Reliability-Aware Power Management (RAPM) framework, which can preserve the system reliability with respect to transient faults when Dynamic Voltage Scaling (DVS) is applied for energy savings, is extended to support parallel real-time applications with precedence constraints. Next, the traditional Standby-Sparing (SS) technique for dual processor systems, which takes both transient and permanent faults into consideration while saving energy, is generalized to support multiprocessor systems with arbitrary number of identical processors. Observing the inefficient usage of slack time in the SS technique, a Preference-Oriented Scheduling Framework is designed to address the problem where tasks are given preferences for being executed as soon as possible (ASAP) or as late as possible (ALAP). A preference-oriented earliest deadline (POED) scheduler is proposed and its application in multiprocessor systems for energy-efficient fault tolerance is

A Real-Time Simulation Platform for Power System Operation

DEFF Research Database (Denmark)

Cha, Seung-Tae; Østergaard, Jacob; Wu, Qiuwei

2010-01-01

This paper describes the real-time digital simulation platform that can be used for power system operation, analysis, and power system modeling. This particular platform gives grid operators, planners and researchers the opportunity to observe how a power system behaves and can be used...... in real time. Various phenomena commonly encountered when dealing with the two-area system is studied. Despite its small size, it mimics very closely the behavior of typical systems in actual operation. The electromagnetic transient type of simulation made in RSCAD enables the study of fast and detailed...... phenomena like single-phase faults in the two-area network and to observe their effects on a larger time scale. Also, the case study of 11 bus system with 5 generators has been also used and the results are presented....

Real-Time EEG-Based Happiness Detection System

Directory of Open Access Journals (Sweden)

Noppadon Jatupaiboon

2013-01-01

Full Text Available We propose to use real-time EEG signal to classify happy and unhappy emotions elicited by pictures and classical music. We use PSD as a feature and SVM as a classifier. The average accuracies of subject-dependent model and subject-independent model are approximately 75.62% and 65.12%, respectively. Considering each pair of channels, temporal pair of channels (T7 and T8 gives a better result than the other area. Considering different frequency bands, high-frequency bands (Beta and Gamma give a better result than low-frequency bands. Considering different time durations for emotion elicitation, that result from 30 seconds does not have significant difference compared with the result from 60 seconds. From all of these results, we implement real-time EEG-based happiness detection system using only one pair of channels. Furthermore, we develop games based on the happiness detection system to help user recognize and control the happiness.

A GPS-based Real-time Road Traffic Monitoring System

Science.gov (United States)

Tanti, Kamal Kumar

In recent years, monitoring systems are astonishingly inclined towards ever more automatic; reliably interconnected, distributed and autonomous operation. Specifically, the measurement, logging, data processing and interpretation activities may be carried out by separate units at different locations in near real-time. The recent evolution of mobile communication devices and communication technologies has fostered a growing interest in the GIS & GPS-based location-aware systems and services. This paper describes a real-time road traffic monitoring system based on integrated mobile field devices (GPS/GSM/IOs) working in tandem with advanced GIS-based application software providing on-the-fly authentications for real-time monitoring and security enhancement. The described system is developed as a fully automated, continuous, real-time monitoring system that employs GPS sensors and Ethernet and/or serial port communication techniques are used to transfer data between GPS receivers at target points and a central processing computer. The data can be processed locally or remotely based on the requirements of client’s satisfaction. Due to the modular architecture of the system, other sensor types may be supported with minimal effort. Data on the distributed network & measurements are transmitted via cellular SIM cards to a Control Unit, which provides for post-processing and network management. The Control Unit may be remotely accessed via an Internet connection. The new system will not only provide more consistent data about the road traffic conditions but also will provide methods for integrating with other Intelligent Transportation Systems (ITS). For communication between the mobile device and central monitoring service GSM technology is used. The resulting system is characterized by autonomy, reliability and a high degree of automation.

Operating system for a real-time multiprocessor propulsion system simulator. User's manual

Science.gov (United States)

Cole, G. L.

1985-01-01

The NASA Lewis Research Center is developing and evaluating experimental hardware and software systems to help meet future needs for real-time, high-fidelity simulations of air-breathing propulsion systems. Specifically, the real-time multiprocessor simulator project focuses on the use of multiple microprocessors to achieve the required computing speed and accuracy at relatively low cost. Operating systems for such hardware configurations are generally not available. A real time multiprocessor operating system (RTMPOS) that supports a variety of multiprocessor configurations was developed at Lewis. With some modification, RTMPOS can also support various microprocessors. RTMPOS, by means of menus and prompts, provides the user with a versatile, user-friendly environment for interactively loading, running, and obtaining results from a multiprocessor-based simulator. The menu functions are described and an example simulation session is included to demonstrate the steps required to go from the simulation loading phase to the execution phase.

Embedded and real-time operating systems

CERN Document Server

Wang, K C

2017-01-01

This book covers the basic concepts and principles of operating systems, showing how to apply them to the design and implementation of complete operating systems for embedded and real-time systems. It includes all the foundational and background information on ARM architecture, ARM instructions and programming, toolchain for developing programs, virtual machines for software implementation and testing, program execution image, function call conventions, run-time stack usage and link C programs with assembly code. It describes the design and implementation of a complete OS for embedded systems in incremental steps, explaining the design principles and implementation techniques. For Symmetric Multiprocessing (SMP) embedded systems, the author examines the ARM MPcore processors, which include the SCU and GIC for interrupts routing and interprocessor communication and synchronization by Software Generated Interrupts (SGIs). Throughout the book, complete working sample systems demonstrate the design principles and...

RT-Syn: A real-time software system generator

Science.gov (United States)

Setliff, Dorothy E.

1992-01-01

This paper presents research into providing highly reusable and maintainable components by using automatic software synthesis techniques. This proposal uses domain knowledge combined with automatic software synthesis techniques to engineer large-scale mission-critical real-time software. The hypothesis centers on a software synthesis architecture that specifically incorporates application-specific (in this case real-time) knowledge. This architecture synthesizes complex system software to meet a behavioral specification and external interaction design constraints. Some examples of these external constraints are communication protocols, precisions, timing, and space limitations. The incorporation of application-specific knowledge facilitates the generation of mathematical software metrics which are used to narrow the design space, thereby making software synthesis tractable. Success has the potential to dramatically reduce mission-critical system life-cycle costs not only by reducing development time, but more importantly facilitating maintenance, modifications, and extensions of complex mission-critical software systems, which are currently dominating life cycle costs.

Real-Time Reliability Verification for UAV Flight Control System Supporting Airworthiness Certification.

Science.gov (United States)

Xu, Haiyang; Wang, Ping

2016-01-01

In order to verify the real-time reliability of unmanned aerial vehicle (UAV) flight control system and comply with the airworthiness certification standard, we proposed a model-based integration framework for modeling and verification of time property. Combining with the advantages of MARTE, this framework uses class diagram to create the static model of software system, and utilizes state chart to create the dynamic model. In term of the defined transformation rules, the MARTE model could be transformed to formal integrated model, and the different part of the model could also be verified by using existing formal tools. For the real-time specifications of software system, we also proposed a generating algorithm for temporal logic formula, which could automatically extract real-time property from time-sensitive live sequence chart (TLSC). Finally, we modeled the simplified flight control system of UAV to check its real-time property. The results showed that the framework could be used to create the system model, as well as precisely analyze and verify the real-time reliability of UAV flight control system.

FTA real-time transit information assessment : white paper on literature review of real-time transit information systems.

Science.gov (United States)

Real-time transit information systems are key technology applications within the transit industry designed to provide better customer service by disseminating timely and accurate information. Riders use this information to make various decisions abou...

Computational simulation of concurrent engineering for aerospace propulsion systems

Science.gov (United States)

Chamis, C. C.; Singhal, S. N.

1992-01-01

Results are summarized of an investigation to assess the infrastructure available and the technology readiness in order to develop computational simulation methods/software for concurrent engineering. These results demonstrate that development of computational simulations methods for concurrent engineering is timely. Extensive infrastructure, in terms of multi-discipline simulation, component-specific simulation, system simulators, fabrication process simulation, and simulation of uncertainties - fundamental in developing such methods, is available. An approach is recommended which can be used to develop computational simulation methods for concurrent engineering for propulsion systems and systems in general. Benefits and facets needing early attention in the development are outlined.

Computational simulation for concurrent engineering of aerospace propulsion systems

Science.gov (United States)

Chamis, C. C.; Singhal, S. N.

1993-01-01

Results are summarized for an investigation to assess the infrastructure available and the technology readiness in order to develop computational simulation methods/software for concurrent engineering. These results demonstrate that development of computational simulation methods for concurrent engineering is timely. Extensive infrastructure, in terms of multi-discipline simulation, component-specific simulation, system simulators, fabrication process simulation, and simulation of uncertainties--fundamental to develop such methods, is available. An approach is recommended which can be used to develop computational simulation methods for concurrent engineering of propulsion systems and systems in general. Benefits and issues needing early attention in the development are outlined.

Evaluation of a real-time personnel and material tracking system

International Nuclear Information System (INIS)

Trujillo, A.A.; Hoover, C.E.; Garcia, B.A.

1988-01-01

Past experience in addressing the insider threat has led to the development of general principles for mitigating the insider threat while minimizing adverse impacts on site operations. Among the general principles developed was the requirement of a real-time personnel and material tracking system. A real-time system for personnel and material tracking will aid in mitigating the insider threat by providing critical information regarding the movement and location of personnel and material. In addition, this system can provide an early detection mechanism for potential insider actions. A system integrating Radio Frequency (RF) transmitters for real-time personnel and material tracking has been developed. This system was installed and tested in an operational environment. This test was intended to demonstrate the system's ability to successfully control access to material and areas by personnel, as well as providing information regarding the status of materials in transit and storage

Integration of Real-Time Data Into Building Automation Systems

Energy Technology Data Exchange (ETDEWEB)

Mark J. Stunder; Perry Sebastian; Brenda A. Chube; Michael D. Koontz

2003-04-16

The project goal was to investigate the possibility of using predictive real-time information from the Internet as an input to building management system algorithms. The objectives were to identify the types of information most valuable to commercial and residential building owners, managers, and system designers. To comprehensively investigate and document currently available electronic real-time information suitable for use in building management systems. Verify the reliability of the information and recommend accreditation methods for data and providers. Assess methodologies to automatically retrieve and utilize the information. Characterize equipment required to implement automated integration. Demonstrate the feasibility and benefits of using the information in building management systems. Identify evolutionary control strategies.

Real-time electricity pricing mechanism in China based on system dynamics

International Nuclear Information System (INIS)

He, Yongxiu; Zhang, Jixiang

2015-01-01

Highlights: • The system dynamics is used to research the real-time electricity pricing mechanism. • Four kinds of the real-time electricity pricing models are carried out and simulated. • It analysed the electricity price, the user satisfaction and the social benefits under the different models. • Market pricing is the trend of the real-time electricity pricing mechanism. • Initial development path of the real-time price mechanism for China is designed between 2015 and 2030. - Abstract: As an important means of demand-side response, the reasonable formulation of the electricity price mechanism will have an important impact on the balance between the supply and demand of electric power. With the introduction of Chinese intelligence apparatus and the rapid development of smart grids, real-time electricity pricing, as the frontier electricity pricing mechanism in the smart grid, will have great significance on the promotion of energy conservation and the improvement of the total social surplus. From the perspective of system dynamics, this paper studies different real-time electricity pricing mechanisms based on load structure, cost structure and bidding and analyses the situation of user satisfaction and the total social surplus under different pricing mechanisms. Finally, through the comparative analysis of examples under different real-time pricing scenarios, this paper aims to explore and design the future dynamic real-time electricity pricing mechanism in China, predicts the dynamic real-time pricing level and provides a reference for real-time electricity price promotion in the future

An Asynchronous Time-Division-Multiplexed Network-on-Chip for Real-Time Systems

DEFF Research Database (Denmark)

Kasapaki, Evangelia

is an important part of the T-CREST paltform and used in a number of configurations. The flexible timing organization of Argo combines asynchronous routers with mesochronous NIs, which are connected to individually clocked cores, supporting a GALS system organization. The mesochronous NIs operate at the same......Multi-processor architectures using networks-on-chip (NOCs) for communication are becoming the standard approach in the development of embedded systems and general purpose platforms. Typically, multi-processor platforms follow a globally asynchronous locally synchronous (GALS) timing organization....... This thesis focuses on the design of Argo, a NOC targeted at hard real-time multi-processor platforms with a GALS timing organization. To support real-time communication, NOCs establish end-to-end connections and provide latency and throughput guarantees for these connections. Argo uses time division...

Robust synthesis for real-time systems

DEFF Research Database (Denmark)

Larsen, Kim Guldstrand; Legay, Axel; Traonouez, Luois-Marie

2014-01-01

Specification theories for real-time systems allow reasoning about interfaces and their implementation models, using a set of operators that includes satisfaction, refinement, logical and parallel composition. To make such theories applicable throughout the entire design process from an abstract...... of introducing small perturbations into formal models. We address this problem of robust implementations in timed specification theories. We first consider a fixed perturbation and study the robustness of timed specifications with respect to the operators of the theory. To this end we synthesize robust...... specification to an implementation, we need to reason about the possibility to effectively implement the theoretical specifications on physical systems, despite their limited precision. In the literature, this implementation problem has been linked to the robustness problem that analyzes the consequences...

Pseudo real-time imaging systems with nonredundant pinhole arrays

International Nuclear Information System (INIS)

Han, K.S.; Berzins, G.J.; Roach, W.H.

1976-01-01

Coded aperture techniques, because of their efficiency and three-dimensional information content, represent potentially powerful tools for LMFBR safety experiment diagnostics. These techniques should be even more powerful if the data can be interpreted in real time or in pseudo real time. For example, to satisfy the stated goals for LMFBR diagnostics (1-ms time resolution and 1-mm spatial resolution), it is conceivable that several hundred frames of coded data would be recorded. To unscramble all of this information into reconstructed images could be a laborious, time-consuming task. A way to circumvent the tedium is with the use of the described hybrid digital/analog real-time imaging system. Some intermediate results are described briefly

Example of an in-plant near-real-time accountancy/process control system

International Nuclear Information System (INIS)

Anon.

1981-01-01

This session describes an existing computerized in-plant near-real-time accounting and process monitoring system at the Allied-General Nuclear Services (AGNS) Barnwell Nuclear Fuel Plant (BNFP). Details of the system performance, objectives, hardware, plant instrumentation, and system functions are presented. Examples of actual programs for accounting and monitoring are described and system benefits will be discussed. The purpose of this session is to enable participants to: (1) identify the major computer hardware components of functional near-real-time accounting systems; (2) identify the types of process instrumentation necessary to perform near-real-time accounting; (3) describe the major nuclear material control and accounting functions of the AGNS computer system; and (4) assess the benefits to safeguards and plant operations of a computerized near-real-time accounting system

Real-time systems design and analysis tools for the practitioner

CERN Document Server

Laplante, Phillip A

2012-01-01

An important resource, this book offers an introduction and overview of real-time systems: systems where timeliness is a crucial part of the correctness of the system. It contains a pragmatic overview of key topics (computer architecture and organization, operating systems, software engineering, programming languages, and compiler theory) from the perspective of the real-time systems designer and is organized into chapters that are essentially self-contained. In addition, each chapter contains both basic and more challenging exercises that will help the reader to confront actual problems.

Summary: Experimental validation of real-time fault-tolerant systems

Science.gov (United States)

Iyer, R. K.; Choi, G. S.

1992-01-01

Testing and validation of real-time systems is always difficult to perform since neither the error generation process nor the fault propagation problem is easy to comprehend. There is no better substitute to results based on actual measurements and experimentation. Such results are essential for developing a rational basis for evaluation and validation of real-time systems. However, with physical experimentation, controllability and observability are limited to external instrumentation that can be hooked-up to the system under test. And this process is quite a difficult, if not impossible, task for a complex system. Also, to set up such experiments for measurements, physical hardware must exist. On the other hand, a simulation approach allows flexibility that is unequaled by any other existing method for system evaluation. A simulation methodology for system evaluation was successfully developed and implemented and the environment was demonstrated using existing real-time avionic systems. The research was oriented toward evaluating the impact of permanent and transient faults in aircraft control computers. Results were obtained for the Bendix BDX 930 system and Hamilton Standard EEC131 jet engine controller. The studies showed that simulated fault injection is valuable, in the design stage, to evaluate the susceptibility of computing sytems to different types of failures.

Land and Atmosphere Near-Real-Time Capability for Earth Observing System

Science.gov (United States)

Murphy, Kevin J.

2011-01-01

The past decade has seen a rapid increase in availability and usage of near-real-time data from satellite sensors. The EOSDIS (Earth Observing System Data and Information System) was not originally designed to provide data with sufficiently low latency to satisfy the requirements for near-real-time users. The EOS (Earth Observing System) instruments aboard the Terra, Aqua and Aura satellites make global measurements daily, which are processed into higher-level 'standard' products within 8-40 hours of observation and then made available to users, primarily earth science researchers. However, applications users, operational agencies, and even researchers desire EOS products in near-real-time to support research and applications, including numerical weather and climate prediction and forecasting, monitoring of natural hazards, ecological/invasive species, agriculture, air quality, disaster relief and homeland security. These users often need data much sooner than routine science processing allows, usually within 3 hours, and are willing to trade science product quality for timely access. While Direct Broadcast provides more timely access to data, it does not provide global coverage. In 2002, a joint initiative between NASA (National Aeronautics and Space Administration), NOAA (National Oceanic and Atmospheric Administration), and the DOD (Department of Defense) was undertaken to provide data from EOS instruments in near-real-time. The NRTPE (Near Real Time Processing Effort) provided products within 3 hours of observation on a best-effort basis. As the popularity of these near-real-time products and applications grew, multiple near-real-time systems began to spring up such as the Rapid Response System. In recognizing the dependence of customers on this data and the need for highly reliable and timely data access, NASA's Earth Science Division sponsored the Earth Science Data and Information System Project (ESDIS)-led development of a new near-real-time system called

Performance Improvement of Real-Time System for Plasma Control in RFX-mod

International Nuclear Information System (INIS)

Luchetta, A.; Manduchi, G.; Soppelsa, A.; Taliercio, C.

2006-01-01

The real-time system for plasma control has been used routinely in RFX-mod since commissioning (mid 2005). It is based on a modular hardware/software infrastructure, currently including 7 VME stations, capable of fulfilling the tight system requirements in terms of input/output channels (> 700 / > 250), real-time data flow (> 2 Mbyte/s), computation capability (> 1 GFLOP/s per station), and real-time constraints (application cycle times rd EPS Conf. on Plasma Physics, Rome Italy, June 19 - 23 2006]. The high flexibility of the system has stimulated the development of a large number of control schemes with progressively increasing requests in terms of computation complexity and real-time data flow, demanding, at the same time, strict control on cycle times and system latency. Even though careful optimisation of algorithm implementation and real-time data transmission have been performed, allowing to keep pace, so far, with the increased control requirements, future developments require to evolve the current technology, retaining the basic architecture and concepts. Two system enhancements are envisaged in the near future. The 500 MHz PowerPC-based Single Board Computer currently in use will be substituted with the 1 GHz version, whereas the real-time communication system will increase in bandwidth from 100 Mbit/s to 1 Gbit/s. These improvements will surely enhance the overall system performance, even if it is not possible to quantify a priori the exact performance boost, since other components may limit the performance in the new configuration. The paper reports in detail on the analysis of the bottlenecks of the current architecture. Based on measurements carried out in laboratory, it presents the results achieved with the proposed enhancements in terms of real-time data throughput, cycle times and latency. The paper analyses in detail the effects of the increased computing power on the components of the control system and of the improved bandwidth in real-time

Database application research in real-time data access of accelerator control system

International Nuclear Information System (INIS)

Chen Guanghua; Chen Jianfeng; Wan Tianmin

2012-01-01

The control system of Shanghai Synchrotron Radiation Facility (SSRF) is a large-scale distributed real-time control system, It involves many types and large amounts of real-time data access during the operating. Database system has wide application prospects in the large-scale accelerator control system. It is the future development direction of the accelerator control system, to replace the differently dedicated data structures with the mature standardized database system. This article discusses the application feasibility of database system in accelerators based on the database interface technology, real-time data access testing, and system optimization research and to establish the foundation of the wide scale application of database system in the SSRF accelerator control system. Based on the database interface technology, real-time data access testing and system optimization research, this article will introduce the application feasibility of database system in accelerators, and lay the foundation of database system application in the SSRF accelerator control system. (authors)

Verifying Real-Time Systems using Explicit-time Description Methods

Directory of Open Access Journals (Sweden)

Hao Wang

2009-12-01

Full Text Available Timed model checking has been extensively researched in recent years. Many new formalisms with time extensions and tools based on them have been presented. On the other hand, Explicit-Time Description Methods aim to verify real-time systems with general untimed model checkers. Lamport presented an explicit-time description method using a clock-ticking process (Tick to simulate the passage of time together with a group of global variables for time requirements. This paper proposes a new explicit-time description method with no reliance on global variables. Instead, it uses rendezvous synchronization steps between the Tick process and each system process to simulate time. This new method achieves better modularity and facilitates usage of more complex timing constraints. The two explicit-time description methods are implemented in DIVINE, a well-known distributed-memory model checker. Preliminary experiment results show that our new method, with better modularity, is comparable to Lamport's method with respect to time and memory efficiency.

Influencing Anesthesia Provider Behavior Using Anesthesia Information Management System Data for Near Real-Time Alerts and Post Hoc Reports.

Science.gov (United States)

Epstein, Richard H; Dexter, Franklin; Patel, Neil

2015-09-01

-independent pathways (e.g., via built-in e-mail support provided by the relational database management system). However, for some of these enterprise-wide systems, near real-time data access, necessary for CDS that generates concurrent alerts, has been challenging to implement.

Monitoring Distributed Real-Time Systems: A Survey and Future Directions

Science.gov (United States)

Goodloe, Alwyn E.; Pike, Lee

2010-01-01

Runtime monitors have been proposed as a means to increase the reliability of safety-critical systems. In particular, this report addresses runtime monitors for distributed hard real-time systems. This class of systems has had little attention from the monitoring community. The need for monitors is shown by discussing examples of avionic systems failure. We survey related work in the field of runtime monitoring. Several potential monitoring architectures for distributed real-time systems are presented along with a discussion of how they might be used to monitor properties of interest.

Vessel thermal map real-time system for the JET tokamak

Directory of Open Access Journals (Sweden)

D. Alves

2012-05-01

Full Text Available The installation of international thermonuclear experimental reactor-relevant materials for the plasma facing components (PFCs in the Joint European Torus (JET is expected to have a strong impact on the operation and protection of the experiment. In particular, the use of all-beryllium tiles, which deteriorate at a substantially lower temperature than the formerly installed carbon fiber composite tiles, imposes strict thermal restrictions on the PFCs during operation. Prompt and precise responses are therefore required whenever anomalous temperatures are detected. The new vessel thermal map real-time application collects the temperature measurements provided by dedicated pyrometers and infrared cameras, groups them according to spatial location and probable offending heat source, and raises alarms that will trigger appropriate protective responses. In the context of the JET global scheme for the protection of the new wall, the system is required to run on a 10 ms cycle communicating with other systems through the real-time data network. In order to meet these requirements a commercial off-the-shelf solution has been adopted based on standard x86 multicore technology. Linux and the multithreaded application real-time executor (MARTe software framework were respectively the operating system of choice and the real-time framework used to build the application. This paper presents an overview of the system with particular technical focus on the configuration of its real-time capability and the benefits of the modular development approach and advanced tools provided by the MARTe framework.

Timing System Solution for MedAustron; Real-time Event and Data Distribution Network

CERN Document Server

Štefanič, R; Dedič, J; Gutleber, J; Moser, R

2011-01-01

MedAustron is an ion beam research and therapy centre under construction in Wiener Neustadt, Austria. The facility features a synchrotron particle accelerator for light ions. The timing system for this class of accelerators has been developed in close collaboration between MedAustron and Cosylab. Mitigating economical and technological risks, we have chosen a proven, widely used Micro Research Finland (MRF) timing equipment and redesigned its FPGA firmware, extending its high-logic services above transport layer, as required by machine specifics. We obtained a generic real-time broadcast network for coordinating actions of a compact, pulse-to-pulse modulation based particle accelerator. High-level services include support for virtual accelerators and a rich selection of event response mechanisms. The system uses a combination of a real-time link for downstream events and a non-real-time link for upstream messaging and non time-critical communication. It comes with National Instruments LabVI...

Portable inference engine: An extended CLIPS for real-time production systems

Science.gov (United States)

Le, Thach; Homeier, Peter

1988-01-01

The present C-Language Integrated Production System (CLIPS) architecture has not been optimized to deal with the constraints of real-time production systems. Matching in CLIPS is based on the Rete Net algorithm, whose assumption of working memory stability might fail to be satisfied in a system subject to real-time dataflow. Further, the CLIPS forward-chaining control mechanism with a predefined conflict resultion strategy may not effectively focus the system's attention on situation-dependent current priorties, or appropriately address different kinds of knowledge which might appear in a given application. Portable Inference Engine (PIE) is a production system architecture based on CLIPS which attempts to create a more general tool while addressing the problems of real-time expert systems. Features of the PIE design include a modular knowledge base, a modified Rete Net algorithm, a bi-directional control strategy, and multiple user-defined conflict resolution strategies. Problems associated with real-time applications are analyzed and an explanation is given for how the PIE architecture addresses these problems.

Neuromorphic VLSI vision system for real-time texture segregation.

Science.gov (United States)

Shimonomura, Kazuhiro; Yagi, Tetsuya

2008-10-01

The visual system of the brain can perceive an external scene in real-time with extremely low power dissipation, although the response speed of an individual neuron is considerably lower than that of semiconductor devices. The neurons in the visual pathway generate their receptive fields using a parallel and hierarchical architecture. This architecture of the visual cortex is interesting and important for designing a novel perception system from an engineering perspective. The aim of this study is to develop a vision system hardware, which is designed inspired by a hierarchical visual processing in V1, for real time texture segregation. The system consists of a silicon retina, orientation chip, and field programmable gate array (FPGA) circuit. The silicon retina emulates the neural circuits of the vertebrate retina and exhibits a Laplacian-Gaussian-like receptive field. The orientation chip selectively aggregates multiple pixels of the silicon retina in order to produce Gabor-like receptive fields that are tuned to various orientations by mimicking the feed-forward model proposed by Hubel and Wiesel. The FPGA circuit receives the output of the orientation chip and computes the responses of the complex cells. Using this system, the neural images of simple cells were computed in real-time for various orientations and spatial frequencies. Using the orientation-selective outputs obtained from the multi-chip system, a real-time texture segregation was conducted based on a computational model inspired by psychophysics and neurophysiology. The texture image was filtered by the two orthogonally oriented receptive fields of the multi-chip system and the filtered images were combined to segregate the area of different texture orientation with the aid of FPGA. The present system is also useful for the investigation of the functions of the higher-order cells that can be obtained by combining the simple and complex cells.

RFID data processing in a real-time monitoring system for marathon

Directory of Open Access Journals (Sweden)

Suchart Joolrat

2016-06-01

Full Text Available In all marathon events, an organizer needs to determine the winners. However, this is a complicated process in a marathon event that has many participants and starting points with limited space. In such condition, runners cannot start running concurrently and thus the runners who cross the finish line first are not always the winners. To judge the top runners with accuracy and fairness, the organizer needs to acquire a net time in ranking participants. The net time, which is the difference between the time recorded at the finish line minus the time recorded at the start, can be calculated for each runner. Currently, the advances in RFID technology are widely used to record times and determine awarded runners in several marathon events. However, most RFID-based solutions in marathon events are commercially available and licensed on a yearly basis. The cost of a commercial product can be as high as 2,000,000 Baht. This article presents an implementation of RFID technology for a marathon organizer to determine the winners by recording times of the check in point, the start point, the checkpoint, and the finish point. Furthermore, the developed system also reports the results of the marathon series in real-time via a web application that can be viewed on any online electronic device. The proposed solution estimated cost is about 200,000 Baht and can reduce the processing time from one hour to just five minutes which is about one-tenth of that of a commercial product.

Analyzing the effect of gain time on soft task scheduling policies in real-time systems

OpenAIRE

Búrdalo Rapa, Luis Antonio; Terrasa Barrena, Andrés Martín; Espinosa Minguet, Agustín Rafael; García Fornes, Ana María

2012-01-01

In hard real-time systems, gain time is defined as the difference between the Worst Case Execution Time (WCET) of a hard task and its actual processor consumption at runtime. This paper presents the results of an empirical study about how the presence of a significant amount of gain time in a hard real-time system questions the advantages of using the most representative scheduling algorithms or policies for aperiodic or soft tasks in fixed-priority preemptive systems. The work presented here...

Real-Time Reconnaissance-A Systems Look At Advanced Technology

Science.gov (United States)

Lapp, Henry

1981-12-01

An important role for reconnaissance is the location and identification of targets in real time. Current technology has been compartmented into sensors, automatic target recognizers, data links, ground exploitation and finally dissemination. In the days of bring home film recce, this segmentation of functions was appropriate. With the current emphasis on real time decision making from outputs of high resolution sensors this thinking has to be re-analyzed. A total systems approach to data management must be employed using the constraints imposed by technology as well as the atmosphere, survivable flight profiles, and the human workload. This paper will analyze the target acquisition through exploitation tasks and discuss the current advanced development technology that are applicable. A philosophy of processing data to get information as early as possible in the data handling chain is examined in the context of ground exploitation and dissemination needs. Examples of how the various real time sensors (screeners and processors), jam resistant data links and near real time ground data handling systems fit into this scenario are discussed. Specific DoD programs will be used to illustrate the credibility of this integrated approach.

A distributed real-time operating system

International Nuclear Information System (INIS)

Tuynman, F.; Hertzberger, L.O.

1984-07-01

A distributed real-time operating system, Fados, has been developed for an embedded multi-processor system. The operating system is based on a host target approach and provides for communication between arbitrary processes on host and target machine. The facilities offered are, apart from process communication, access to the file system on the host by programs on the target machine and monitoring and debugging of programs on the target machine from the host. The process communication has been designed in such a way that the possibilities are the same as those offered by the Ada programming language. The operating system is implemented on a MC 68000 based multiprocessor system in combination with a Unix host. (orig.)

Development and demonstration of near-real-time accounting systems for reprocessing plants

International Nuclear Information System (INIS)

Cobb, D.D.; Hakkila, E.A.; Dayem, H.A.; Shipley, J.P.; Baker, A.L.

1981-01-01

A program to develop and demonstrate near-real-time accounting systems for reprocessing plants has been active at Los Alamos since 1976. The technology has been developed through modeling and simulation of process operation and measurement systems and evaluation of these data using decision analysis techniques. Aspects of near-real-time systems have been demonstrated successfully at the AGNS reprocessng plant as part of a joint study of near-real-time accounting

Temporal logics and real time expert systems.

Science.gov (United States)

Blom, J A

1996-10-01

This paper introduces temporal logics. Due to the eternal compromise between expressive adequacy and reasoning efficiency that must decided upon in any application, full (first order logic or modal logic based) temporal logics are frequently not suitable. This is especially true in real time expert systems, where a fixed (and usually small) response time must be guaranteed. One such expert system, Fagan's VM, is reviewed, and a delineation is given of how to formally describe and reason with time in medical protocols. It is shown that Petri net theory is a useful tool to check the correctness of formalised protocols.

Testing power system controllers by real-time simulation

DEFF Research Database (Denmark)

Venne, Philippe; Guillaud, Xavier; Sirois, Frédéric

2007-01-01

In this paper, we present a number of state-of-the art methods for testing power system controllers based on the use of a real-time power system simulator. After introducing Hypersim, we list and discuss the different means of connection between the controller under tests and the power system...

The new control system of J-TEXT divertor power supply system using J-TEXT real-time framework

Energy Technology Data Exchange (ETDEWEB)

Zhang, Ming; Zheng, Guozhen; Chen, Zhi [State Key Laboratory of Advanced Electromagnetic Engineering and Technology, Huazhong University of Science and Technology, Wuhan 430074 (China); College of Electrical and Electronic Engineering, Huazhong University of Science and Technology, Wuhan 430074 (China); Zheng, Wei, E-mail: zhengwei@hust.edu.cn [State Key Laboratory of Advanced Electromagnetic Engineering and Technology, Huazhong University of Science and Technology, Wuhan 430074 (China); College of Electrical and Electronic Engineering, Huazhong University of Science and Technology, Wuhan 430074 (China); Yuan, Tao; Li, Yang [State Key Laboratory of Advanced Electromagnetic Engineering and Technology, Huazhong University of Science and Technology, Wuhan 430074 (China); College of Electrical and Electronic Engineering, Huazhong University of Science and Technology, Wuhan 430074 (China)

2016-11-15

Highlights: • The most highlight of this paper is the J-TEXT Real-Time Framework (JRTF). JRTF is a flexible real-time software framework which allows users to develop real-time applications rapidly without compromise on the performance. It makes a clear separation between control functions and hard/software administration, developers just need to focus on the control logic and algorithms. • The JRTF based control system can achieve a precise control loop cycle of 1 ms and a jitter under 0.01 ms on Linux operation system. The real-time performance meets the requirement of the real-time control tasks in J-TEXT. • Several days of operation with no faults were already achieved with the system running and in real-time 8 h per day. The stability of the new system is qualified for discharging experiment. - Abstract: The J-TEXT divertor power supply system is designed as a parallel connection, 12-pulse rectifier which is powered by a 100 MVA pulse generator unit. To achieve robust current feedback control, high performance real-time control system is required. The new control system adopts a more powerful software framework named J-TEXT real-time framework (JRTF). JRTF is a flexible real-time software framework designed for the implementation of real-time control systems. A JRTF application contains various Application Blocks (AB) which execute specific functions such as feedback computing and protection. JRTF is compatible with ITER standard PFC (Plant Fast Controller) hardware and ITER CODAC (Control, Data Access and Communication) Core software, so it can be monitored and configured by any EPICS based control system. The hardware of the new control system is upgraded to standard ITER fast controller which are much faster and more reliable than former controllers. This control system is the first application of JRTF, and the result shows that the new control system is running properly and stably. It provides an instance for real-time control schemes in J-TEXT, and

The new control system of J-TEXT divertor power supply system using J-TEXT real-time framework

International Nuclear Information System (INIS)

Zhang, Ming; Zheng, Guozhen; Chen, Zhi; Zheng, Wei; Yuan, Tao; Li, Yang

2016-01-01

Highlights: • The most highlight of this paper is the J-TEXT Real-Time Framework (JRTF). JRTF is a flexible real-time software framework which allows users to develop real-time applications rapidly without compromise on the performance. It makes a clear separation between control functions and hard/software administration, developers just need to focus on the control logic and algorithms. • The JRTF based control system can achieve a precise control loop cycle of 1 ms and a jitter under 0.01 ms on Linux operation system. The real-time performance meets the requirement of the real-time control tasks in J-TEXT. • Several days of operation with no faults were already achieved with the system running and in real-time 8 h per day. The stability of the new system is qualified for discharging experiment. - Abstract: The J-TEXT divertor power supply system is designed as a parallel connection, 12-pulse rectifier which is powered by a 100 MVA pulse generator unit. To achieve robust current feedback control, high performance real-time control system is required. The new control system adopts a more powerful software framework named J-TEXT real-time framework (JRTF). JRTF is a flexible real-time software framework designed for the implementation of real-time control systems. A JRTF application contains various Application Blocks (AB) which execute specific functions such as feedback computing and protection. JRTF is compatible with ITER standard PFC (Plant Fast Controller) hardware and ITER CODAC (Control, Data Access and Communication) Core software, so it can be monitored and configured by any EPICS based control system. The hardware of the new control system is upgraded to standard ITER fast controller which are much faster and more reliable than former controllers. This control system is the first application of JRTF, and the result shows that the new control system is running properly and stably. It provides an instance for real-time control schemes in J-TEXT, and

Online Testing of Real-time Systems Using Uppaal

DEFF Research Database (Denmark)

Larsen, Kim Guldstrand; Mikucionis, Marius; Nielsen, Brian

2005-01-01

We present T-Uppaal{} -- a new tool for online black-box testing of real-time embedded systems from non-deterministic timed automata specifications. We describe a sound and complete randomized online testing algorithm and how to implement it using symbolic state representation and manipulation te...

Advanced real-time multi-display educational system (ARMES): An innovative real-time audiovisual mentoring tool for complex robotic surgery.

Science.gov (United States)

Lee, Joong Ho; Tanaka, Eiji; Woo, Yanghee; Ali, Güner; Son, Taeil; Kim, Hyoung-Il; Hyung, Woo Jin

2017-12-01

The recent scientific and technologic advances have profoundly affected the training of surgeons worldwide. We describe a novel intraoperative real-time training module, the Advanced Robotic Multi-display Educational System (ARMES). We created a real-time training module, which can provide a standardized step by step guidance to robotic distal subtotal gastrectomy with D2 lymphadenectomy procedures, ARMES. The short video clips of 20 key steps in the standardized procedure for robotic gastrectomy were created and integrated with TilePro™ software to delivery on da Vinci Surgical Systems (Intuitive Surgical, Sunnyvale, CA). We successfully performed the robotic distal subtotal gastrectomy with D2 lymphadenectomy for patient with gastric cancer employing this new teaching method without any transfer errors or system failures. Using this technique, the total operative time was 197 min and blood loss was 50 mL and there were no intra- or post-operative complications. Our innovative real-time mentoring module, ARMES, enables standardized, systematic guidance during surgical procedures. © 2017 Wiley Periodicals, Inc.

Computerized real-time materials accountability system for safeguards material control

International Nuclear Information System (INIS)

Spencer, W.F.; Affel, R.G.; Austin, H.C.; Nichols, J.P.; Stoutt, B.H.; Wachter, J.W.

1975-01-01

A real-time, computer-based system is described which provides safeguards material control at the Oak Ridge National Laboratory. Originally installed in 1972 to provide computerized real-time fissile materials accountability for criticality control purposes, the system has been expanded to provide accountability of all source and nuclear materials (SNM) and to utilize the on-line inventory files in support of the Laboratory physical protection and surveillance procedures. (auth)

Establish and Evaluate Ada Runtime Features of Interest for Real-Time Systems

Science.gov (United States)

1989-02-15

Runtime Features of Interest for Real - Time Systems -,-. CLEARED POR :)E,4 pUEL tCATLON SEP 2 0 19E19 ,CETM ORP t ’R RE LOO O Nt-U~HM- ANDQ SECURITY...ESTABLISH AND EVALUATE py ADA RUNTIME FEATURES OF INTEREST FOR REAL - TIME SYSTEMS CONTRACT NUMBER: MDA 903-87-D-0056 IITRI PROJECT NUMBER: T06168 PREPARED...2 2.0 SELECTION PROCESS OVERVIEW .................................... 3 2.1 REAL - TIME SYSTEMS IDENTIFICATION ........................... 4 2.2

Analysis and optimisation of heterogeneous real-time embedded systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

2005-01-01

. The success of such new design methods depends on the availability of analysis and optimisation techniques. Analysis and optimisation techniques for heterogeneous real-time embedded systems are presented in the paper. The authors address in more detail a particular class of such systems called multi...... of application messages to frames. Optimisation heuristics for frame packing aimed at producing a schedulable system are presented. Extensive experiments and a real-life example show the efficiency of the frame-packing approach....

Analysis and optimisation of heterogeneous real-time embedded systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

2006-01-01

. The success of such new design methods depends on the availability of analysis and optimisation techniques. Analysis and optimisation techniques for heterogeneous real-time embedded systems are presented in the paper. The authors address in more detail a particular class of such systems called multi...... of application messages to frames. Optimisation heuristics for frame packing aimed at producing a schedulable system are presented. Extensive experiments and a real-life example show the efficiency of the frame-packing approach....

Analysis and Optimization of Heterogeneous Real-Time Embedded Systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

2005-01-01

. The success of such new design methods depends on the availability of analysis and optimization techniques. In this paper, we present analysis and optimization techniques for heterogeneous real-time embedded systems. We address in more detail a particular class of such systems called multi-clusters, composed...... to frames. Optimization heuristics for frame packing aiming at producing a schedulable system are presented. Extensive experiments and a real-life example show the efficiency of the frame-packing approach....

Real-time resource allocation for tracking systems

NARCIS (Netherlands)

Satsangi, Y.; Whiteson, S.; Oliehoek, F.A.; Bouma, H.

2017-01-01

Automated tracking is key to many computer vision applications. However, many tracking systems struggle to perform in real-time due to the high computational cost of detecting people, especially in ultra high resolution images. We propose a new algorithm called PartiMax that greatly reduces this

The Smartphone Brain Scanner: A Portable Real-Time Neuroimaging System

DEFF Research Database (Denmark)

Stopczynski, Arkadiusz; Stahlhut, Carsten; Larsen, Jakob Eg

2014-01-01

Combining low-cost wireless EEG sensors with smartphones offers novel opportunities for mobile brain imaging in an everyday context. Here we present the technical details and validation of a framework for building multi-platform, portable EEG applications with real-time 3D source reconstruction....... The system – Smartphone Brain Scanner – combines an off-the-shelf neuroheadset or EEG cap with a smartphone or tablet, and as such represents the first fully portable system for real-time 3D EEG imaging. We discuss the benefits and challenges, including technical limitations as well as details of real...

Continuous data recording on fast real-time systems

Energy Technology Data Exchange (ETDEWEB)

Zabeo, L., E-mail: lzabeo@jet.u [Euratom-CCFE, Culham Science Centre, Abingdon, Oxon OX14 3DB (United Kingdom); Sartori, F. [Euratom-CCFE, Culham Science Centre, Abingdon, Oxon OX14 3DB (United Kingdom); Neto, A. [Associacao Euratom-IST, Instituto de Plasmas e Fusao Nuclear, Av. Rovisco Pais, 1049-001 Lisboa (Portugal); Piccolo, F. [Euratom-CCFE, Culham Science Centre, Abingdon, Oxon OX14 3DB (United Kingdom); Alves, D. [Associacao Euratom-IST, Instituto de Plasmas e Fusao Nuclear, Av. Rovisco Pais, 1049-001 Lisboa (Portugal); Vitelli, R. [Dipartimento di Informatica, Sistemi e Produzione, Universita di Roma, Tor Vergata, Via del Politecnico, 1-00133 Roma (Italy); Barbalace, A. [Euratom-ENEA Association, Consorzio RFX, 35127 Padova (Italy); De Tommasi, G. [Associazione EURATOM/ENEA/CREATE, Universita di Napoli Federico II, Napoli (Italy)

2010-07-15

The PCU-Project launched for the enhancement of the vertical stabilisation system at JET required the design of a new real-time control system with the challenging specifications of 2Gops and a cycle time of 50 {mu}s. The RTAI based architecture running on an x86 multi-core processor technology demonstrated to be the best platform for meeting the high requirements. Moreover, on this architecture thanks to the smart allocation of the interrupts it was possible to demonstrate simultaneous data streaming at 50 MBs on Ethernet while handling a real-time 100 kHz interrupt source with a maximum jitter of just 3 {mu}s. Because of the memory limitation imposed by 32 bit version Linux running in kernel mode, the RTAI-based new controller allows a maximum practical data storage of 800 MB per pulse. While this amount of data can be accepted for JET normal operation it posed some limitations in the debugging and commissioning of the system. In order to increase the capability of the data acquisition of the system we have designed a mechanism that allows continuous full bandwidth (56 MB/s) data streaming from the real-time task (running in kernel mode) to either a data collector (running in user mode) or an external data acquisition server. The exploited architecture involves a peer to peer mechanisms where the sender running in RTAI kernel mode broadcasts large chunks of data using UDP packets, implemented using the 'fcomm' RTAI extension , to a receiver that will store the data. The paper will present the results of the initial RTAI operating system tests, the design of the streaming architecture and the first experimental results.

Real-time personal dose measurement and management system

International Nuclear Information System (INIS)

Zhang Zhiyong; Cheng Chang; Liu Zhengshan; Yang Huating; Deng Changming; Zhang Xiu; Guo Zhanjie

2001-01-01

The composition and design of a real-time personal dose measurement and management system are described. Accordingly, some pertinent hardware circuits and software codes including their operation modes are presented

Real-time radiography

International Nuclear Information System (INIS)

Bossi, R.H.; Oien, C.T.

1981-01-01

Real-time radiography is used for imaging both dynamic events and static objects. Fluorescent screens play an important role in converting radiation to light, which is then observed directly or intensified and detected. The radiographic parameters for real-time radiography are similar to conventional film radiography with special emphasis on statistics and magnification. Direct-viewing fluoroscopy uses the human eye as a detector of fluorescent screen light or the light from an intensifier. Remote-viewing systems replace the human observer with a television camera. The remote-viewing systems have many advantages over the direct-viewing conditions such as safety, image enhancement, and the capability to produce permanent records. This report reviews real-time imaging system parameters and components

Real-Time System for Water Modeling and Management

Science.gov (United States)

Lee, J.; Zhao, T.; David, C. H.; Minsker, B.

2012-12-01

Working closely with the Texas Commission on Environmental Quality (TCEQ) and the University of Texas at Austin (UT-Austin), we are developing a real-time system for water modeling and management using advanced cyberinfrastructure, data integration and geospatial visualization, and numerical modeling. The state of Texas suffered a severe drought in 2011 that cost the state $7.62 billion in agricultural losses (crops and livestock). Devastating situations such as this could potentially be avoided with better water modeling and management strategies that incorporate state of the art simulation and digital data integration. The goal of the project is to prototype a near-real-time decision support system for river modeling and management in Texas that can serve as a national and international model to promote more sustainable and resilient water systems. The system uses National Weather Service current and predicted precipitation data as input to the Noah-MP Land Surface model, which forecasts runoff, soil moisture, evapotranspiration, and water table levels given land surface features. These results are then used by a river model called RAPID, along with an error model currently under development at UT-Austin, to forecast stream flows in the rivers. Model forecasts are visualized as a Web application for TCEQ decision makers, who issue water diversion (withdrawal) permits and any needed drought restrictions; permit holders; and reservoir operation managers. Users will be able to adjust model parameters to predict the impacts of alternative curtailment scenarios or weather forecasts. A real-time optimization system under development will help TCEQ to identify optimal curtailment strategies to minimize impacts on permit holders and protect health and safety. To develop the system we have implemented RAPID as a remotely-executed modeling service using the Cyberintegrator workflow system with input data downloaded from the North American Land Data Assimilation System. The

Open-circuit respirometry: real-time, laboratory-based systems.

Science.gov (United States)

Ward, Susan A

2018-05-04

This review explores the conceptual and technological factors integral to the development of laboratory-based, automated real-time open-circuit mixing-chamber and breath-by-breath (B × B) gas-exchange systems, together with considerations of assumptions and limitations. Advances in sensor technology, signal analysis, and digital computation led to the emergence of these technologies in the mid-20th century, at a time when investigators were beginning to recognise the interpretational advantages of nonsteady-state physiological-system interrogation in understanding the aetiology of exercise (in)tolerance in health, sport, and disease. Key milestones include the 'Auchincloss' description of an off-line system to estimate alveolar O 2 uptake B × B during exercise. This was followed by the first descriptions of real-time automated O 2 uptake and CO 2 output B × B measurement by Beaver and colleagues and by Linnarsson and Lindborg, and mixing-chamber measurement by Wilmore and colleagues. Challenges to both approaches soon emerged: e.g., the influence of mixing-chamber washout kinetics on mixed-expired gas concentration determination, and B × B alignment of gas-concentration signals with respired flow. The challenging algorithmic and technical refinements required for gas-exchange estimation at the alveolar level have also been extensively explored. In conclusion, while the technology (both hardware and software) underpinning real-time automated gas-exchange measurement has progressively advanced, there are still concerns regarding accuracy especially under the challenging conditions of changing metabolic rate.

Validation Support for Distributed Real-Time Embedded Systems in VDM++

DEFF Research Database (Denmark)

S. Fitzgerald, John; Gorm Larsen, Peter; Tjell, Simon

2007-01-01

We present a tool-supported approach to the validation of system-level timing properties in formal models of distributed real-time embedded systems. Our aim is to provide system architects with rapid feedback on the timing characteristics of alternative designs in the often volatile early stages ...

ComPoScan: Adaptive Scanning for Efficient Concurrent Communications and Positioning with 802.11

DEFF Research Database (Denmark)

King, Thomas; Kjærgaard, Mikkel Baun

2008-01-01

and by validation in several real-world deployments. Results from the emulation show that the system can realize different trade-offs by changing parameters. Furthermore, the emulation shows that the system works independently of the environment, the network card, the signal strength measurement technology......Using 802.11 concurrently for communications and positioning is problematic, especially if location-based services (e.g., indoor navigation) are concurrently executed with real-time applications (e.g., VoIP, video conferencing). Periodical scanning for measuring the signal strength interrupts......, and number and placement of access points. We also show that ComPoScan does not harm the positioning accuracy of a positioning system. By validation in several real-world deployments, we provided evidence for that the real system works as predicted by the emulation. In addition, we provide results for Com...

A customizable system for real-time image processing using the Blackfin DSProcessor and the MicroC/OS-II real-time kernel

Science.gov (United States)

Coffey, Stephen; Connell, Joseph

2005-06-01

This paper presents a development platform for real-time image processing based on the ADSP-BF533 Blackfin processor and the MicroC/OS-II real-time operating system (RTOS). MicroC/OS-II is a completely portable, ROMable, pre-emptive, real-time kernel. The Blackfin Digital Signal Processors (DSPs), incorporating the Analog Devices/Intel Micro Signal Architecture (MSA), are a broad family of 16-bit fixed-point products with a dual Multiply Accumulate (MAC) core. In addition, they have a rich instruction set with variable instruction length and both DSP and MCU functionality thus making them ideal for media based applications. Using the MicroC/OS-II for task scheduling and management, the proposed system can capture and process raw RGB data from any standard 8-bit greyscale image sensor in soft real-time and then display the processed result using a simple PC graphical user interface (GUI). Additionally, the GUI allows configuration of the image capture rate and the system and core DSP clock rates thereby allowing connectivity to a selection of image sensors and memory devices. The GUI also allows selection from a set of image processing algorithms based in the embedded operating system.

Real-time information and processing system for radiation protection

International Nuclear Information System (INIS)

Oprea, I.; Oprea, M.; Stoica, M.; Badea, E.; Guta, V.

1999-01-01

The real-time information and processing system has as main task to record, collect, process and transmit the radiation level and weather data, being proposed for radiation protection, environmental monitoring around nuclear facilities and for civil defence. Such a system can offer information in order to provide mapping, data base, modelling and communication and to assess the consequences of nuclear accidents. The system incorporates a number of stationary or mobile radiation monitoring equipment, weather parameter measuring station, a GIS-based information processing center and the communication network, all running on a real-time operating system. It provides the automatic data collection on-line and off-line, remote diagnostic, advanced presentation techniques, including a graphically oriented executive support, which has the ability to respond to an emergency by geographical representation of the hazard zones on the map.The system can be integrated into national or international environmental monitoring systems, being based on local intelligent measuring and transmission units, simultaneous processing and data presentation using a real-time operating system for PC and geographical information system (GIS). Such an integrated system is composed of independent applications operating under the same computer, which is capable to improve the protection of the population and decision makers efforts, updating the remote GIS data base. All information can be managed directly from the map by multilevel data retrieving and presentation by using on-line dynamic evolution of the events, environment information, evacuation optimization, image and voice processing

PRIMAS: a real-time 3D motion-analysis system

Science.gov (United States)

Sabel, Jan C.; van Veenendaal, Hans L. J.; Furnee, E. Hans

1994-03-01

The paper describes a CCD TV-camera-based system for real-time multicamera 2D detection of retro-reflective targets and software for accurate and fast 3D reconstruction. Applications of this system can be found in the fields of sports, biomechanics, rehabilitation research, and various other areas of science and industry. The new feature of real-time 3D opens an even broader perspective of application areas; animations in virtual reality are an interesting example. After presenting an overview of the hardware and the camera calibration method, the paper focuses on the real-time algorithms used for matching of the images and subsequent 3D reconstruction of marker positions. When using a calibrated setup of two cameras, it is now possible to track at least ten markers at 100 Hz. Limitations in the performance are determined by the visibility of the markers, which could be improved by adding a third camera.

Notes on Timed Concurrent Constraint Programming

DEFF Research Database (Denmark)

Nielsen, Mogens; Valencia, Frank D.

2004-01-01

and program reactive systems. This note provides a comprehensive introduction to the background for and central notions from the theory of tccp. Furthermore, it surveys recent results on a particular tccp calculus, ntcc, and it provides a classification of the expressive power of various tccp languages.......A constraint is a piece of (partial) information on the values of the variables of a system. Concurrent constraint programming (ccp) is a model of concurrency in which agents (also called processes) interact by telling and asking information (constraints) to and from a shared store (a constraint...

Study on APD real time compensation methods of laser Detection system

International Nuclear Information System (INIS)

Feng Ying; Zhang He; Zhang Xiangjin; Liu Kun

2011-01-01

their operating principles. The constant false alarm rate compensation can't detect the pulse signal which comes randomly. Therefore real-time performance can't be realized. The noise compensation can meet the request of real-time performance. If it is used in the environment where background light is intense or changes acutely, there is a better effect. The temperature compensation can also achieve the real-time performance request. If it is used in the environment where temperature changes acutely, there is also a better effect. Aim at such problems, this paper presents that different APD real-time compensations should be adopt to adapt to different environments. The exiting temperature compensation adjusts output voltage by using variable resistance to regulate input voltage. Its structure is complex; the real-time performance is worse. In order to remedy these defects, a real-time temperature compensation which is based on switch on-off time of switching power supply is designed. Its feasibility and operating stability are confirmed by plate making and experiment. At last, the comparison experiments between the real-time noise compensation and the real-time temperature compensation is carried out in the environments where temperature is almost invariant and background light acutely changes from5lux to150lux . The result shows that the operating effect of the real-time noise compensation is better here, the noise minifies to a sixth of original noise. The comparison experiments between the real-time noise compensation and the real-time temperature compensation is carried out in darkroom where background light is 5lux and temperature almost rapidly changes from -20 deg. C to 80 deg. C. The result shows that the operating effect of the real-time temperature compensation is better here, the noise minifies to a seventh of original noise. Moreover, these methods can be applied to other type detection systems of weak photoelectric signal; they have high actual application

Study on APD real time compensation methods of laser Detection system

Energy Technology Data Exchange (ETDEWEB)

Feng Ying; Zhang He; Zhang Xiangjin; Liu Kun, E-mail: fy_caimi@163.com [ZNDY of Ministerial Key Laboratory, Nanjing University of Science and Technology, Nanjing 210094 (China)

2011-02-01

by analyzing their operating principles. The constant false alarm rate compensation can't detect the pulse signal which comes randomly. Therefore real-time performance can't be realized. The noise compensation can meet the request of real-time performance. If it is used in the environment where background light is intense or changes acutely, there is a better effect. The temperature compensation can also achieve the real-time performance request. If it is used in the environment where temperature changes acutely, there is also a better effect. Aim at such problems, this paper presents that different APD real-time compensations should be adopt to adapt to different environments. The exiting temperature compensation adjusts output voltage by using variable resistance to regulate input voltage. Its structure is complex; the real-time performance is worse. In order to remedy these defects, a real-time temperature compensation which is based on switch on-off time of switching power supply is designed. Its feasibility and operating stability are confirmed by plate making and experiment. At last, the comparison experiments between the real-time noise compensation and the real-time temperature compensation is carried out in the environments where temperature is almost invariant and background light acutely changes from5lux to150lux . The result shows that the operating effect of the real-time noise compensation is better here, the noise minifies to a sixth of original noise. The comparison experiments between the real-time noise compensation and the real-time temperature compensation is carried out in darkroom where background light is 5lux and temperature almost rapidly changes from -20 deg. C to 80 deg. C. The result shows that the operating effect of the real-time temperature compensation is better here, the noise minifies to a seventh of original noise. Moreover, these methods can be applied to other type detection systems of weak photoelectric signal; they

Study on APD real time compensation methods of laser Detection system

Science.gov (United States)

Ying, Feng; He, Zhang; Xiangjin, Zhang; Kun, Liu

2011-02-01

their operating principles. The constant false alarm rate compensation can't detect the pulse signal which comes randomly. Therefore real-time performance can't be realized. The noise compensation can meet the request of real-time performance. If it is used in the environment where background light is intense or changes acutely, there is a better effect. The temperature compensation can also achieve the real-time performance request. If it is used in the environment where temperature changes acutely, there is also a better effect. Aim at such problems, this paper presents that different APD real-time compensations should be adopt to adapt to different environments. The exiting temperature compensation adjusts output voltage by using variable resistance to regulate input voltage. Its structure is complex; the real-time performance is worse. In order to remedy these defects, a real-time temperature compensation which is based on switch on-off time of switching power supply is designed. Its feasibility and operating stability are confirmed by plate making and experiment. At last, the comparison experiments between the real-time noise compensation and the real-time temperature compensation is carried out in the environments where temperature is almost invariant and background light acutely changes from5lux to150lux . The result shows that the operating effect of the real-time noise compensation is better here, the noise minifies to a sixth of original noise. The comparison experiments between the real-time noise compensation and the real-time temperature compensation is carried out in darkroom where background light is 5lux and temperature almost rapidly changes from -20°C to 80°C. The result shows that the operating effect of the real-time temperature compensation is better here, the noise minifies to a seventh of original noise. Moreover, these methods can be applied to other type detection systems of weak photoelectric signal; they have high actual application value.

Clinical Practicability of a Newly Developed Real-time Digital Kymographic System.

Science.gov (United States)

Lee, Jin-Choon; Wang, Soo-Geun; Sung, Eui-Suk; Bae, In-Ho; Kim, Seong-Tae; Lee, Yeon-Woo

2017-12-22

A digital kymogram shows real images of vocal fold vibration. However, DKG is difficult to use in clinical practice because the recorded image cannot be seen instantaneously after examination, as considerable encoding time is required to visualize a digital kymogram. In addition, frame-by frame analysis should be implemented to evaluate high-speed videoendoscopy data, but is time- and labor-intensive. The purpose of the study was to validate the clinical practicability of a real-time multislice digital kymographic system developed by the authors. We analyzed the promptness and accuracy of the examination before and after intracordal injections in patients with unilateral vocal fold paralysis. To assess the clinical applicability of this system, six patients with unilateral vocal fold paralysis were selected. Real-time DKG was performed before and immediately after intracordal injection. We observed changes in the digital kymogram after the intracordal injection. Using this system, 10 scanning lines and up to five vertical pixel row could be obtained in real time, and the maximum acquisition time for the DKG image was 10 seconds. A digital kymogram of the patients could be instantaneously acquired, and whether the intracordal injection was appropriate or not. This article is the first validation study after the development of the real-time multislice digital kymographic system. Our system may be a promising tool in clinical practice for immediate assessment of the vibratory patterns of the vocal cords. More research is necessary for further clinical validation. Copyright © 2017 The Voice Foundation. Published by Elsevier Inc. All rights reserved.

Cf-252 based neutron radiography using real-time image processing system

International Nuclear Information System (INIS)

Mochiki, Koh-ichi; Koiso, Manabu; Yamaji, Akihiro; Iwata, Hideki; Kihara, Yoshitaka; Sano, Shigeru; Murata, Yutaka

2001-01-01

For compact Cf-252 based neutron radiography, a real-time image processing system by particle counting technique has been developed. The electronic imaging system consists of a supersensitive imaging camera, a real-time corrector, a real-time binary converter, a real-time calculator for centroid, a display monitor and a computer. Three types of accumulated NR image; ordinary, binary and centroid images, can be observed during a measurement. Accumulated NR images were taken by the centroid mode, the binary mode and ordinary mode using of Cf-252 neutron source and those images were compared. The centroid mode presented the sharpest image and its statistical characteristics followed the Poisson distribution, while the ordinary mode showed the smoothest image as the averaging effect by particle bright spots with distributed brightness was most dominant. (author)

Interfacing An Intelligent Decision-Maker To A Real-Time Control System

Science.gov (United States)

Evers, D. C.; Smith, D. M.; Staros, C. J.

1984-06-01

This paper discusses some of the practical aspects of implementing expert systems in a real-time environment. There is a conflict between the needs of a process control system and the computational load imposed by intelligent decision-making software. The computation required to manage a real-time control problem is primarily concerned with routine calculations which must be executed in real time. On most current hardware, non-trivial AI software should not be forced to operate under real-time constraints. In order for the system to work efficiently, the two processes must be separated by a well-defined interface. Although the precise nature of the task separation will vary with the application, the definition of the interface will need to follow certain fundamental principles in order to provide functional separation. This interface was successfully implemented in the expert scheduling software currently running the automated chemical processing facility at Lockheed-Georgia. Potential applications of this concept in the areas of airborne avionics and robotics will be discussed.

Real-Time Gait Cycle Parameter Recognition Using a Wearable Accelerometry System

Directory of Open Access Journals (Sweden)

Jun-Ming Lu

2011-07-01

Full Text Available This paper presents the development of a wearable accelerometry system for real-time gait cycle parameter recognition. Using a tri-axial accelerometer, the wearable motion detector is a single waist-mounted device to measure trunk accelerations during walking. Several gait cycle parameters, including cadence, step regularity, stride regularity and step symmetry can be estimated in real-time by using autocorrelation procedure. For validation purposes, five Parkinson’s disease (PD patients and five young healthy adults were recruited in an experiment. The gait cycle parameters among the two subject groups of different mobility can be quantified and distinguished by the system. Practical considerations and limitations for implementing the autocorrelation procedure in such a real-time system are also discussed. This study can be extended to the future attempts in real-time detection of disabling gaits, such as festinating or freezing of gait in PD patients. Ambulatory rehabilitation, gait assessment and personal telecare for people with gait disorders are also possible applications.

Quantitative density measurements from a real-time neutron radiography system

International Nuclear Information System (INIS)

McRae, D.D.; Jenkins, R.W. Jr.; Brenizer, J.S.; Tobin, K.W.; Hosticka, B.; Sulcoski, M.F.

1986-01-01

An advanced video system has been assembled from commercially available equipment to support the real-time neutron radiography facility established jointly by the University of Virginia Department of Nuclear Engineering and Engineering Physics, and the Philip Morris Research Center. A schematic diagram of the equipment used for real-time neutron radiography is presented. To obtain quantitative density measurements with this system, several modifications of both hardware and image processing software were required. After implementation of these changes, the system was capable of determining material densities by measuring the degree of neutron attenuation

A Real-Time Semiautonomous Audio Panning System for Music Mixing

Directory of Open Access Journals (Sweden)

Perez_Gonzalez Enrique

2010-01-01

Full Text Available A real-time semiautonomous stereo panning system for music mixing has been implemented. The system uses spectral decomposition, constraint rules, and cross-adaptive algorithms to perform real-time placement of sources in a stereo mix. A subjective evaluation test was devised to evaluate its quality against human panning. It was shown that the automatic panning technique performed better than a nonexpert and showed no significant statistical difference to the performance of a professional mixing engineer.

Wide-area, real-time monitoring and visualization system

Science.gov (United States)

Budhraja, Vikram S.; Dyer, James D.; Martinez Morales, Carlos A.

2013-03-19

A real-time performance monitoring system for monitoring an electric power grid. The electric power grid has a plurality of grid portions, each grid portion corresponding to one of a plurality of control areas. The real-time performance monitoring system includes a monitor computer for monitoring at least one of reliability metrics, generation metrics, transmission metrics, suppliers metrics, grid infrastructure security metrics, and markets metrics for the electric power grid. The data for metrics being monitored by the monitor computer are stored in a data base, and a visualization of the metrics is displayed on at least one display computer having a monitor. The at least one display computer in one said control area enables an operator to monitor the grid portion corresponding to a different said control area.

Measuring Performance of Soft Real-Time Tasks on Multi-core Systems

OpenAIRE

Rafiq, Salman

2011-01-01

Multi-core platforms are well established, and they are slowly moving into the area of embedded and real-time systems. Nowadays to take advantage of multi-core systems in terms of throughput, soft real-time applications are run together with general purpose applications under an operating system such as Linux. But due to shared hardware resources in multi-core architectures, it is likely that these applications will interfere and compete with each other. This can cause slower response times f...

Hard real-time multibody simulations using ARM-based embedded systems

Energy Technology Data Exchange (ETDEWEB)

Pastorino, Roland, E-mail: roland.pastorino@kuleuven.be, E-mail: rpastorino@udc.es; Cosco, Francesco, E-mail: francesco.cosco@kuleuven.be; Naets, Frank, E-mail: frank.naets@kuleuven.be; Desmet, Wim, E-mail: wim.desmet@kuleuven.be [KU Leuven, PMA division, Department of Mechanical Engineering (Belgium); Cuadrado, Javier, E-mail: javicuad@cdf.udc.es [Universidad de La Coruña, Laboratorio de Ingeniería Mecánica (Spain)

2016-05-15

The real-time simulation of multibody models on embedded systems is of particular interest for controllers and observers such as model predictive controllers and state observers, which rely on a dynamic model of the process and are customarily executed in electronic control units. This work first identifies the software techniques and tools required to easily write efficient code for multibody models to be simulated on ARM-based embedded systems. Automatic Programming and Source Code Translation are the two techniques that were chosen to generate source code for multibody models in different programming languages. Automatic Programming is used to generate procedural code in an intermediate representation from an object-oriented library and Source Code Translation is used to translate the intermediate representation automatically to an interpreted language or to a compiled language for efficiency purposes. An implementation of these techniques is proposed. It is based on a Python template engine and AST tree walkers for Source Code Generation and on a model-driven translator for the Source Code Translation. The code is translated from a metalanguage to any of the following four programming languages: Python-Numpy, Matlab, C++-Armadillo, C++-Eigen. Two examples of multibody models were simulated: a four-bar linkage with multiple loops and a 3D vehicle steering system. The code for these examples has been generated and executed on two ARM-based single-board computers. Using compiled languages, both models could be simulated faster than real-time despite the low resources and performance of these embedded systems. Finally, the real-time performance of both models was evaluated when executed in hard real-time on Xenomai for both embedded systems. This work shows through measurements that Automatic Programming and Source Code Translation are valuable techniques to develop real-time multibody models to be used in embedded observers and controllers.

Hard real-time multibody simulations using ARM-based embedded systems

International Nuclear Information System (INIS)

Pastorino, Roland; Cosco, Francesco; Naets, Frank; Desmet, Wim; Cuadrado, Javier

2016-01-01

The real-time simulation of multibody models on embedded systems is of particular interest for controllers and observers such as model predictive controllers and state observers, which rely on a dynamic model of the process and are customarily executed in electronic control units. This work first identifies the software techniques and tools required to easily write efficient code for multibody models to be simulated on ARM-based embedded systems. Automatic Programming and Source Code Translation are the two techniques that were chosen to generate source code for multibody models in different programming languages. Automatic Programming is used to generate procedural code in an intermediate representation from an object-oriented library and Source Code Translation is used to translate the intermediate representation automatically to an interpreted language or to a compiled language for efficiency purposes. An implementation of these techniques is proposed. It is based on a Python template engine and AST tree walkers for Source Code Generation and on a model-driven translator for the Source Code Translation. The code is translated from a metalanguage to any of the following four programming languages: Python-Numpy, Matlab, C++-Armadillo, C++-Eigen. Two examples of multibody models were simulated: a four-bar linkage with multiple loops and a 3D vehicle steering system. The code for these examples has been generated and executed on two ARM-based single-board computers. Using compiled languages, both models could be simulated faster than real-time despite the low resources and performance of these embedded systems. Finally, the real-time performance of both models was evaluated when executed in hard real-time on Xenomai for both embedded systems. This work shows through measurements that Automatic Programming and Source Code Translation are valuable techniques to develop real-time multibody models to be used in embedded observers and controllers.

A Benchmark for Comparing Different Approaches for Specifying and Verifying Real-Time Systems

Science.gov (United States)

1993-01-01

To be considered correct or useful, real - time systems must deliver results within specified time intervals, either without exception or with high...probability. Recently, a large number of formal methods have been invented for specifying and verifying real - time systems . It has been suggested that...these formal methods need to be tested out on actual real - time systems . Such testing will allow the scalability of the methods to be assessed and also

Real-time numerical simulation with high efficiency for an experimental reactor system

International Nuclear Information System (INIS)

Ding Shuling; Li Fu; Li Sifeng; Chu Xinyuan

2006-01-01

The paper presents a systematic and efficient method for numerical real-time simulation of an experimental reactor. The reactor models were built based on the physical characteristics of the experimental reactor, and several real-time simulation approaches were discussed and compared in the paper. How to implement the real-time reactor simulation system in Windows platform for the sake of hardware-in-loop experiment for the reactor power control system was discussed. (authors)

Real-Time Earthquake Monitoring with Spatio-Temporal Fields

Science.gov (United States)

Whittier, J. C.; Nittel, S.; Subasinghe, I.

2017-10-01

With live streaming sensors and sensor networks, increasingly large numbers of individual sensors are deployed in physical space. Sensor data streams are a fundamentally novel mechanism to deliver observations to information systems. They enable us to represent spatio-temporal continuous phenomena such as radiation accidents, toxic plumes, or earthquakes almost as instantaneously as they happen in the real world. Sensor data streams discretely sample an earthquake, while the earthquake is continuous over space and time. Programmers attempting to integrate many streams to analyze earthquake activity and scope need to write code to integrate potentially very large sets of asynchronously sampled, concurrent streams in tedious application code. In previous work, we proposed the field stream data model (Liang et al., 2016) for data stream engines. Abstracting the stream of an individual sensor as a temporal field, the field represents the Earth's movement at the sensor position as continuous. This simplifies analysis across many sensors significantly. In this paper, we undertake a feasibility study of using the field stream model and the open source Data Stream Engine (DSE) Apache Spark(Apache Spark, 2017) to implement a real-time earthquake event detection with a subset of the 250 GPS sensor data streams of the Southern California Integrated GPS Network (SCIGN). The field-based real-time stream queries compute maximum displacement values over the latest query window of each stream, and related spatially neighboring streams to identify earthquake events and their extent. Further, we correlated the detected events with an USGS earthquake event feed. The query results are visualized in real-time.

Real-time simulation of a Doubly-Fed Induction Generator based wind power system on eMEGASimRTM Real-Time Digital Simulator

Science.gov (United States)

Boakye-Boateng, Nasir Abdulai

The growing demand for wind power integration into the generation mix prompts the need to subject these systems to stringent performance requirements. This study sought to identify the required tools and procedures needed to perform real-time simulation studies of Doubly-Fed Induction Generator (DFIG) based wind generation systems as basis for performing more practical tests of reliability and performance for both grid-connected and islanded wind generation systems. The author focused on developing a platform for wind generation studies and in addition, the author tested the performance of two DFIG models on the platform real-time simulation model; an average SimpowerSystemsRTM DFIG wind turbine, and a detailed DFIG based wind turbine using ARTEMiSRTM components. The platform model implemented here consists of a high voltage transmission system with four integrated wind farm models consisting in total of 65 DFIG based wind turbines and it was developed and tested on OPAL-RT's eMEGASimRTM Real-Time Digital Simulator.

A Formal Approach to Run-Time Evaluation of Real-Time Behaviour in Distributed Process Control Systems

DEFF Research Database (Denmark)

Kristensen, C.H.

This thesis advocates a formal approach to run-time evaluation of real-time behaviour in distributed process sontrol systems, motivated by a growing interest in applying the increasingly popular formal methods in the application area of distributed process control systems. We propose to evaluate...... because the real-time aspects of distributed process control systems are considered to be among the hardest and most interesting to handle....

A Statically Scheduled Time-Division-Multiplexed Network-on-Chip for Real-Time Systems

DEFF Research Database (Denmark)

Schoeberl, Martin; Brandner, Florian; Sparsø, Jens

2012-01-01

This paper explores the design of a circuit-switched network-on-chip (NoC) based on time-division-multiplexing (TDM) for use in hard real-time systems. Previous work has primarily considered application-specific systems. The work presented here targets general-purpose hardware platforms. We...

Developing infrared array controller with software real time operating system

Science.gov (United States)

Sako, Shigeyuki; Miyata, Takashi; Nakamura, Tomohiko; Motohara, Kentaro; Uchimoto, Yuka Katsuno; Onaka, Takashi; Kataza, Hirokazu

2008-07-01

Real-time capabilities are required for a controller of a large format array to reduce a dead-time attributed by readout and data transfer. The real-time processing has been achieved by dedicated processors including DSP, CPLD, and FPGA devices. However, the dedicated processors have problems with memory resources, inflexibility, and high cost. Meanwhile, a recent PC has sufficient resources of CPUs and memories to control the infrared array and to process a large amount of frame data in real-time. In this study, we have developed an infrared array controller with a software real-time operating system (RTOS) instead of the dedicated processors. A Linux PC equipped with a RTAI extension and a dual-core CPU is used as a main computer, and one of the CPU cores is allocated to the real-time processing. A digital I/O board with DMA functions is used for an I/O interface. The signal-processing cores are integrated in the OS kernel as a real-time driver module, which is composed of two virtual devices of the clock processor and the frame processor tasks. The array controller with the RTOS realizes complicated operations easily, flexibly, and at a low cost.

Quality assurance test of a real time radiography system

International Nuclear Information System (INIS)

Yadav, R.K.; Rama, R.; Sharma, A.; Kannan, R.

2005-01-01

Any radiation generating equipment can be used and marketed in India only after obtaining specific type approval certificate from the Competent Authority i.e. Chairman, Atomic Energy Regulatory Board (AERB), Mumbai. Recently AERB has enforced a directive that the Industrial X-ray machines should also be permitted to use only after getting NOC or type approval. Type approval is granted based upon the satisfactory QA test report of the radiation generating equipment. X-ray machines with Real Time Radiography (RTR) facility are used in industrial radiography for faster inspection of equipment's and products online. A standard test protocol was developed for QA tests of a real time radiography system. This will be helpful for evaluation of an industrial X-ray machine. Also above procedure can be used to check a RTR system each day or a system-qualification can be done when the image quality diminishes as recommended by American Society of Testing Material (ASTM). Various tests carried out on a constant potential 450 kV, 10 mA industrial X-ray machine having real time radiography facility to monitor the products online, is described in this paper. (author)

Design principles of a resource sharing real-time-system

International Nuclear Information System (INIS)

Gliss, B.

1978-01-01

Criteria for developing a resource sharing real time system are given. Resource sharing necessitates extra precautions for guaranteeing stable operating conditions. Some relevant measures to insure reliability and maintainability of the system are discussed. (Auth.)

An enhanced Ada run-time system for real-time embedded processors

Science.gov (United States)

Sims, J. T.

1991-01-01

An enhanced Ada run-time system has been developed to support real-time embedded processor applications. The primary focus of this development effort has been on the tasking system and the memory management facilities of the run-time system. The tasking system has been extended to support efficient and precise periodic task execution as required for control applications. Event-driven task execution providing a means of task-asynchronous control and communication among Ada tasks is supported in this system. Inter-task control is even provided among tasks distributed on separate physical processors. The memory management system has been enhanced to provide object allocation and protected access support for memory shared between disjoint processors, each of which is executing a distinct Ada program.

Real-time simulation of ex-core nuclear instrumentation system

International Nuclear Information System (INIS)

Zhao Qiang; Zhang Zhijian; Cao Xinrong

2005-01-01

Real-time simulation of ex-core nuclear instrumentation system is an indispensable part of nuclear power plant (NPP) full-scope training simulator. The simulation method, which is based upon the theory of measurement, is introduced in the paper. The fitting formula between the measured data and the three-dimensional neutron flux distribution in the core is established. The fitting parameter is adjusted according to the reactor physical calculation or the experiment of power calibration. The simulation result shows that the method can simulate the ex-core neutron instrumentation system accurately in real-time and meets the needs of NPP full-scope training simulator. (authors)

Experimental ultrasound system for real-time synthetic imaging

DEFF Research Database (Denmark)

Jensen, Jørgen Arendt; Holm, Ole; Jensen, Lars Joost

1999-01-01

Digital signal processing is being employed more and more in modern ultrasound scanners. This has made it possible to do dynamic receive focusing for each sample and implement other advanced imaging methods. The processing, however, has to be very fast and cost-effective at the same time. Dedicated...... for synthetic aperture imaging, 2D and 3D B-mode and velocity imaging. The system can be used with 128 element transducers and can excite 128 channels and receive and sample data from 64 channels simultaneously at 40 MHz with 12 bits precision. Data can be processed in real time using the system's 80 signal...... chips are used in order to do real time processing. This often makes it difficult to implement radically different imaging strategies on one platform and makes the scanners less accessible for research purposes. Here flexibility is the prime concern, and the storage of data from all transducer elements...

A Conceptual Level Design for a Static Scheduler for Hard Real-Time Systems

Science.gov (United States)

1988-03-01

The design of hard real - time systems is gaining a great deal of attention in the software engineering field as more and more real-world processes are...for these hard real - time systems . PSDL, as an executable design language, is supported by an execution support system consisting of a static scheduler, dynamic scheduler, and translator.

Upgrade of the RFX-mod real time control system

International Nuclear Information System (INIS)

Manduchi, G.; Barbalace, A.; Luchetta, A.; Soppelsa, A.; Taliercio, C.; Zampiva, E.

2012-01-01

Highlights: ► The paper describes the experience in running the real-time control system of RFX-mod. ► It proposes a new architecture based multicore technology. ► It analyzes two different solutions for data acquisition. ► It discusses the effect of non simultaneous sampling in acquisition. ► It provides some preliminary performance measurements. - Abstract: The real-time control system of RFX-mod, in operation since 2005, has been successful and has allowed several important achievements in the RFX physics research program. As a consequence of this fact, new control algorithms are under investigation, which are more demanding in terms of both enhanced computing power and reduced system latency, currently around 1.5 ms. For this reason, a major upgrade of the system is being considered, and a new architecture has been proposed, taking advantage of the rapid evolution of computer technology in the last years. The central component of the new architecture is a Linux-based multicore server, where individual cores replace the VME computers. The server is connected to the I/O via PCI-e based bus extenders, and every PCI-e connection is managed by a separate core. The system is supervised by MARTe, a software framework for real-time applications written in C++ and developed at JET and currently used for the JET vertical stabilization and in other fusion devices.

Patterns for automatic generation of soft real-time system models

NARCIS (Netherlands)

Florescu, O.; Voeten, J.P.M.; Theelen, B.D.; Corporaal, H.

2009-01-01

Worst-case assumptions about the timing of systems are often too conservative when analyzing distributed soft real-time systems as they lead to over-dimensioned and expensive products. For these systems, a certain percentage of deadline misses is often affordable. Instead of a binary answer

Prospective phase II study of image-guided local boost using a real-time tumor-tracking radiotherapy (RTRT) system for locally advanced bladder cancer

International Nuclear Information System (INIS)

Nishioka, Kentaro; Shimizu, Shinichi; Shinohara, Nobuo

2014-01-01

The real-time tumor-tracking radiotherapy system with fiducial markers has the advantage that it can be used to verify the localization of the markers during radiation delivery in real-time. We conducted a prospective Phase II study of image-guided local-boost radiotherapy for locally advanced bladder cancer using a real-time tumor-tracking radiotherapy system for positioning, and here we report the results regarding the safety and efficacy of the technique. Twenty patients with a T2-T4N0M0 urothelial carcinoma of the bladder who were clinically inoperable or refused surgery were enrolled. Transurethral tumor resection and 40 Gy irradiation to the whole bladder was followed by the transurethral endoscopic implantation of gold markers in the bladder wall around the primary tumor. A boost of 25 Gy in 10 fractions was made to the primary tumor while maintaining the displacement from the planned position at less than ±2 mm during radiation delivery using a real-time tumor-tracking radiotherapy system. The toxicity, local control and survival were evaluated. Among the 20 patients, 14 were treated with concurrent chemoradiotherapy. The median follow-up period was 55.5 months. Urethral and bowel late toxicity (Grade 3) were each observed in one patient. The local-control rate, overall survival and cause-specific survival with the native bladder after 5 years were 64, 61 and 65%. Image-guided local-boost radiotherapy using a real-time tumor-tracking radiotherapy system can be safely accomplished, and the clinical outcome is encouraging. A larger prospective multi-institutional study is warranted for more precise evaluations of the technological efficacy and patients' quality of life. (author)

Unmanned airborne system in real-time radiological monitoring

International Nuclear Information System (INIS)

Zafrir, H.; Pernick, A.; Yaffe, U.; Grushka, A.

1993-01-01

The unmanned airborne vehicle (UAV) platform, equipped with an appropriate payload and capable of carrying a variety of modular sensors, is an effective tool for real-time control of environmental disasters of different types (e.g. nuclear or chemical accidents). The suggested payloads consist of a miniaturised self-collimating nuclear spectrometry sensor and electro-optical sensors for day and night imagery. The system provides means of both real-time field data acquisition in an endangered environment and on-line hazard assessment computation from the down link raw data. All the processing, including flight planning using an expert system, is performed by a dedicated microcomputer located in a Mobile Ground Control Station (MGCS) situated outside the hazardous area. The UAV equipment is part of a system designed especially for the critically important early phase of emergency response. Decisions by the Emergency Response Manager (ERM) are also based on the ability to estimate the potential dose to individuals and the mitigation of dose when protection measures are implemented. (author)

Dynamics model for real time diagnostics of Triga RC-1 system

International Nuclear Information System (INIS)

Gadomski, A.M.; Nanni, V.; Meo, G.

1988-01-01

This paper presents dynamics model of TRIGA RC-1 reactor system. The model is dedicated to the real-time early fault detection during a reactor operation in one week exploitation cycle. The algorithms are specially suited for real-time, long time and also accelerated simulations with assumed diagnostic oriented accuracy. The approximations, modular structure, numerical methods and validation are discussed. The elaborated model will be build in the TRIGA Supervisor System and TRIGA Diagnostic Simulator

Design and realization of real-time processing system for seismic exploration

International Nuclear Information System (INIS)

Zhang Sifeng; Cao Ping; Song Kezhu; Yao Lin

2010-01-01

For solving real-time seismic data processing problems, a high-speed, large-capacity and real-time data processing system is designed based on FPGA and ARM. With the advantages of multi-processor, DRPS has the characteristics of high-speed data receiving, large-capacity data storage, protocol analysis, data splicing, data converting from time sequence into channel sequence, no dead time data ping-pong storage, etc. And with the embedded Linux operating system, DRPS has the characteristics of flexibility and reliability. (authors)

Performance Evaluation of a Synthetic Aperture Real-Time Ultrasound System

DEFF Research Database (Denmark)

Stuart, Matthias Bo; Tomov, Borislav Gueorguiev; Jensen, Jørgen Arendt

2011-01-01

This paper evaluates the signal-to-noise ratio, the time stability, and the phase difference of the sampling in the experimental ultrasound scanner SARUS: A synthetic aperture, real-time ultrasound system. SARUS has 1024 independent transmit and receive channels and is capable of handling 2D probes...... arrays (FPGAs) making it very flexible and allowing implementation of other real-time ultrasound processing methods in the future. For conventional B-mode imaging, a penetration depth around 7 cm for a 7 MHz transducer is obtained (signal-tonoise ratio of 0 dB), which is comparable to commercial...... for 3D ultrasound imaging. It samples at 12 bits per sample and has a sampling rate of 70 MHz with the possibility of decimating the sampling frequency at the input. SARUS is capable of advanced real-time computations such as synthetic aperture imaging. The system is built using fieldprogrammable gate...

A game-theoretic approach to real-time system testing

DEFF Research Database (Denmark)

David, Alexandre; Larsen, Kim Guldstrand; Li, Shuhao

2008-01-01

This paper presents a game-theoretic approach to the testing of uncontrollable real-time systems. By modelling the systems with Timed I/O Game Automata and specifying the test purposes as Timed CTL formulas, we employ a recently developed timed game solver UPPAAL-TIGA to synthesize winning...... strategies, and then use these strategies to conduct black-box conformance testing of the systems. The testing process is proved to be sound and complete with respect to the given test purposes. Case study and preliminary experimental results indicate that this is a viable approach to uncontrollable timed...... system testing....

Development of a real-time clinical decision support system upon the Web MVC-based architecture for prostate cancer treatment.

Science.gov (United States)

Lin, Hsueh-Chun; Wu, Hsi-Chin; Chang, Chih-Hung; Li, Tsai-Chung; Liang, Wen-Miin; Wang, Jong-Yi Wang

2011-03-08

A real-time clinical decision support system (RTCDSS) with interactive diagrams enables clinicians to instantly and efficiently track patients' clinical records (PCRs) and improve their quality of clinical care. We propose a RTCDSS to process online clinical informatics from multiple databases for clinical decision making in the treatment of prostate cancer based on Web Model-View-Controller (MVC) architecture, by which the system can easily be adapted to different diseases and applications. We designed a framework upon the Web MVC-based architecture in which the reusable and extractable models can be conveniently adapted to other hospital information systems and which allows for efficient database integration. Then, we determined the clinical variables of the prostate cancer treatment based on participating clinicians' opinions and developed a computational model to determine the pretreatment parameters. Furthermore, the components of the RTCDSS integrated PCRs and decision factors for real-time analysis to provide evidence-based diagrams upon the clinician-oriented interface for visualization of treatment guidance and health risk assessment. The resulting system can improve quality of clinical treatment by allowing clinicians to concurrently analyze and evaluate the clinical markers of prostate cancer patients with instantaneous clinical data and evidence-based diagrams which can automatically identify pretreatment parameters. Moreover, the proposed RTCDSS can aid interactions between patients and clinicians. Our proposed framework supports online clinical informatics, evaluates treatment risks, offers interactive guidance, and provides real-time reference for decision making in the treatment of prostate cancer. The developed clinician-oriented interface can assist clinicians in conveniently presenting evidence-based information to patients and can be readily adapted to an existing hospital information system and be easily applied in other chronic diseases.

Real-time locating systems (RTLS) in healthcare: a condensed primer.

Science.gov (United States)

Kamel Boulos, Maged N; Berry, Geoff

2012-06-28

Real-time locating systems (RTLS, also known as real-time location systems) have become an important component of many existing ubiquitous location aware systems. While GPS (global positioning system) has been quite successful as an outdoor real-time locating solution, it fails to repeat this success indoors. A number of RTLS technologies have been used to solve indoor tracking problems. The ability to accurately track the location of assets and individuals indoors has many applications in healthcare. This paper provides a condensed primer of RTLS in healthcare, briefly covering the many options and technologies that are involved, as well as the various possible applications of RTLS in healthcare facilities and their potential benefits, including capital expenditure reduction and workflow and patient throughput improvements. The key to a successful RTLS deployment lies in picking the right RTLS option(s) and solution(s) for the application(s) or problem(s) at hand. Where this application-technology match has not been carefully thought of, any technology will be doomed to failure or to achieving less than optimal results.

Real time implementation and control validation of the wind energy conversion system

Science.gov (United States)

Sattar, Adnan

The purpose of the thesis is to analyze dynamic and transient characteristics of wind energy conversion systems including the stability issues in real time environment using the Real Time Digital Simulator (RTDS). There are different power system simulation tools available in the market. Real time digital simulator (RTDS) is one of the powerful tools among those. RTDS simulator has a Graphical User Interface called RSCAD which contains detail component model library for both power system and control relevant analysis. The hardware is based upon the digital signal processors mounted in the racks. RTDS simulator has the advantage of interfacing the real world signals from the external devices, hence used to test the protection and control system equipments. Dynamic and transient characteristics of the fixed and variable speed wind turbine generating systems (WTGSs) are analyzed, in this thesis. Static Synchronous Compensator (STATCOM) as a flexible ac transmission system (FACTS) device is used to enhance the fault ride through (FRT) capability of the fixed speed wind farm. Two level voltage source converter based STATCOM is modeled in both VSC small time-step and VSC large time-step of RTDS. The simulation results of the RTDS model system are compared with the off-line EMTP software i.e. PSCAD/EMTDC. A new operational scheme for a MW class grid-connected variable speed wind turbine driven permanent magnet synchronous generator (VSWT-PMSG) is developed. VSWT-PMSG uses fully controlled frequency converters for the grid interfacing and thus have the ability to control the real and reactive powers simultaneously. Frequency converters are modeled in the VSC small time-step of the RTDS and three phase realistic grid is adopted with RSCAD simulation through the use of optical analogue digital converter (OADC) card of the RTDS. Steady state and LVRT characteristics are carried out to validate the proposed operational scheme. Simulation results show good agreement with real

Evaluation of real-time operating system for small-scale embedded systems

International Nuclear Information System (INIS)

Dayang Norhayati Abang Jawawi; Rosbi Mamat

1999-01-01

In this paper, the performance of some real-time operating systems for small-scale embedded systems are evaluated based on some criteria. The evaluation is performed qualitatively and quantitatively. The evaluation results based on a case study on an engineering application will be presented. (author)

Development of real-time on-line vibration testing system for seismic experiments

International Nuclear Information System (INIS)

Horiuchi, T.; Nakagawa, M.; Kametani, M.

1993-01-01

An on-line vibration testing method is being developed for seismic experiments. This method combines computer simulation and an actuator for vibration testing of structures. A real-time, on-line testing system was developed to improve the method. In the system, the timing of the vibration testing and the computer simulation are the same. This allows time-dependent reaction forces, such as damping force, to be immediately considered in the computer simulation. The real-time system has many requirements, such as complicated matrix calculations within a small time step, and communication with outer devices like sensors and actuators through A/D and D/A converters. These functions arc accomplished by using a newly-developed, real-time controller that employs a parallel processing technique. A small structural model is used to demonstrate the system. The reliability and applicability of the system for seismic experiments can be demonstrated by comparing the results of the system and a shaking table, which are in almost agreement. (author)

Acoustic Performance of a Real-Time Three-Dimensional Sound-Reproduction System

Science.gov (United States)

Faller, Kenneth J., II; Rizzi, Stephen A.; Aumann, Aric R.

2013-01-01

The Exterior Effects Room (EER) is a 39-seat auditorium at the NASA Langley Research Center and was built to support psychoacoustic studies of aircraft community noise. The EER has a real-time simulation environment which includes a three-dimensional sound-reproduction system. This system requires real-time application of equalization filters to compensate for spectral coloration of the sound reproduction due to installation and room effects. This paper describes the efforts taken to develop the equalization filters for use in the real-time sound-reproduction system and the subsequent analysis of the system s acoustic performance. The acoustic performance of the compensated and uncompensated sound-reproduction system is assessed for its crossover performance, its performance under stationary and dynamic conditions, the maximum spatialized sound pressure level it can produce from a single virtual source, and for the spatial uniformity of a generated sound field. Additionally, application examples are given to illustrate the compensated sound-reproduction system performance using recorded aircraft flyovers

System-level power optimization for real-time distributed embedded systems

Science.gov (United States)

Luo, Jiong

Power optimization is one of the crucial design considerations for modern electronic systems. In this thesis, we present several system-level power optimization techniques for real-time distributed embedded systems, based on dynamic voltage scaling, dynamic power management, and management of peak power and variance of the power profile. Dynamic voltage scaling has been widely acknowledged as an important and powerful technique to trade off dynamic power consumption and delay. Efficient dynamic voltage scaling requires effective variable-voltage scheduling mechanisms that can adjust voltages and clock frequencies adaptively based on workloads and timing constraints. For this purpose, we propose static variable-voltage scheduling algorithms utilizing criticalpath driven timing analysis for the case when tasks are assumed to have uniform switching activities, as well as energy-gradient driven slack allocation for a more general scenario. The proposed techniques can achieve closeto-optimal power savings with very low computational complexity, without violating any real-time constraints. We also present algorithms for power-efficient joint scheduling of multi-rate periodic task graphs along with soft aperiodic tasks. The power issue is addressed through both dynamic voltage scaling and power management. Periodic task graphs are scheduled statically. Flexibility is introduced into the static schedule to allow the on-line scheduler to make local changes to PE schedules through resource reclaiming and slack stealing, without interfering with the validity of the global schedule. We provide a unified framework in which the response times of aperiodic tasks and power consumption are dynamically optimized simultaneously. Interconnection network fabrics point to a new generation of power-efficient and scalable interconnection architectures for distributed embedded systems. As the system bandwidth continues to increase, interconnection networks become power/energy limited as

High Performance Embedded System for Real-Time Pattern Matching

CERN Document Server

Sotiropoulou, Calliope Louisa; The ATLAS collaboration; Gkaitatzis, Stamatios; Citraro, Saverio; Giannetti, Paola; Dell'Orso, Mauro

2016-01-01

We present an innovative and high performance embedded system for real-time pattern matching. This system is based on the evolution of hardware and algorithms developed for the field of High Energy Physics (HEP) and more specifically for the execution of extremely fast pattern matching for tracking of particles produced by proton-proton collisions in hadron collider experiments. A miniaturized version of this complex system is being developed for pattern matching in generic image processing applications. The design uses the flexibility of Field Programmable Gate Arrays (FPGAs) and the powerful Associative Memory Chip (ASIC) to achieve real-time performance. The system works as a contour identifier able to extract the salient features of an image. It is based on the principles of cognitive image processing, which means that it executes fast pattern matching and data reduction mimicking the operation of the human brain.

Real-Time Business Intelligence in the MIRABEL Smart Grid System

DEFF Research Database (Denmark)

Fischer, Ulrike; Kaulakiene, Dalia; Khalefa, Mohamed

2012-01-01

of energy related data, and must be able to react rapidly (but intelligently) when conditions change, leading to substantial real-time business intelligence challenges. This paper discusses these challenges and presents data management solutions in the European smart grid project MIRABEL. These solutions......) data. Experimental studies show that the proposed solutions support important real-time business intelligence tasks in a smart grid system....

Dynamics model for real time diagnostics of TRIGA RC-1 system

International Nuclear Information System (INIS)

Gadomski, A.M.; Nanni, V.; Meo, G.B.

1986-01-01

This paper presents dynamics model of TRIGA RC-1 reactor system. The model is dedicated to the real-time early fault detection during a reactor operation in one week exploitation cycle. The algorithms are specially suited for real-time, long time and also accelerated simulations with assumed diagnostic oriented accuracy. The approximations, modular structure, numerical methods and validation are discussed. The elaborated model will be build in the TRIGA Supervisory System and TRIGA Diagnostic Simulator. (author)

Reflexive reasoning for distributed real-time systems

Science.gov (United States)

Goldstein, David

1994-01-01

This paper discusses the implementation and use of reflexive reasoning in real-time, distributed knowledge-based applications. Recently there has been a great deal of interest in agent-oriented systems. Implementing such systems implies a mechanism for sharing knowledge, goals and other state information among the agents. Our techniques facilitate an agent examining both state information about other agents and the parameters of the knowledge-based system shell implementing its reasoning algorithms. The shell implementing the reasoning is the Distributed Artificial Intelligence Toolkit, which is a derivative of CLIPS.

The ASDEX upgrade digital video processing system for real-time machine protection

Energy Technology Data Exchange (ETDEWEB)

Drube, Reinhard, E-mail: reinhard.drube@ipp.mpg.de [Max-Planck-Institut für Plasmaphysik, EURATOM Association, Boltzmannstr. 2, 85748 Garching (Germany); Neu, Gregor [Max-Planck-Institut für Plasmaphysik, EURATOM Association, Boltzmannstr. 2, 85748 Garching (Germany); Cole, Richard H.; Lüddecke, Klaus [Unlimited Computer Systems GmbH, Seeshaupterstr. 15, 82393 Iffeldorf (Germany); Lunt, Tilmann; Herrmann, Albrecht [Max-Planck-Institut für Plasmaphysik, EURATOM Association, Boltzmannstr. 2, 85748 Garching (Germany)

2013-11-15

Highlights: • We present the Real-Time Video diagnostic system of ASDEX Upgrade. • We show the implemented image processing algorithms for machine protection. • The way to achieve a robust operating multi-threading Real-Time system is described. -- Abstract: This paper describes the design, implementation, and operation of the Video Real-Time (VRT) diagnostic system of the ASDEX Upgrade plasma experiment and its integration with the ASDEX Upgrade Discharge Control System (DCS). Hot spots produced by heating systems erroneously or accidentally hitting the vessel walls, or from objects in the vessel reaching into the plasma outer border, show up as bright areas in the videos during and after the reaction. A system to prevent damage to the machine by allowing for intervention in a running discharge of the experiment was proposed and implemented. The VRT was implemented on a multi-core real-time Linux system. Up to 16 analog video channels (color and b/w) are acquired and multiple regions of interest (ROI) are processed on each video frame. Detected critical states can be used to initiate appropriate reactions – e.g. gracefully terminate the discharge. The system has been in routine operation since 2007.

Power System Real-Time Monitoring by Using PMU-Based Robust State Estimation Method

DEFF Research Database (Denmark)

Zhao, Junbo; Zhang, Gexiang; Das, Kaushik

2016-01-01

Accurate real-time states provided by the state estimator are critical for power system reliable operation and control. This paper proposes a novel phasor measurement unit (PMU)-based robust state estimation method (PRSEM) to real-time monitor a power system under different operation conditions...... the system real-time states with good robustness and can address several kinds of BD.......-based bad data (BD) detection method, which can handle the smearing effect and critical measurement errors, is presented. We evaluate PRSEM by using IEEE benchmark test systems and a realistic utility system. The numerical results indicate that, in short computation time, PRSEM can effectively track...

Development of real-time software environments for NASA's modern telemetry systems

Science.gov (United States)

Horner, Ward; Sabia, Steve

1989-01-01

An effort has been made to maintain maximum performance and flexibility for NASA-Goddard's VLSI telemetry system elements through the development of two real-time systems: (1) the Base System Environment, which supports generic system integration and furnishes the basic porting of various manufacturers' cards, and (2) the Modular Environment for Data Systems, which supports application-specific developments and furnishes designers with a set of tested generic library functions that can be employed to speed up the development of such application-specific real-time codes. The performance goals and design rationale for these two systems are discussed.

Hard Real-Time Performances in Multiprocessor-Embedded Systems Using ASMP-Linux

Directory of Open Access Journals (Sweden)

Daniel Pierre Bovet

2008-01-01

Full Text Available Multiprocessor systems, especially those based on multicore or multithreaded processors, and new operating system architectures can satisfy the ever increasing computational requirements of embedded systems. ASMP-LINUX is a modified, high responsiveness, open-source hard real-time operating system for multiprocessor systems capable of providing high real-time performance while maintaining the code simple and not impacting on the performances of the rest of the system. Moreover, ASMP-LINUX does not require code changing or application recompiling/relinking. In order to assess the performances of ASMP-LINUX, benchmarks have been performed on several hardware platforms and configurations.

Hard Real-Time Performances in Multiprocessor-Embedded Systems Using ASMP-Linux

Directory of Open Access Journals (Sweden)

Betti Emiliano

2008-01-01

Full Text Available Abstract Multiprocessor systems, especially those based on multicore or multithreaded processors, and new operating system architectures can satisfy the ever increasing computational requirements of embedded systems. ASMP-LINUX is a modified, high responsiveness, open-source hard real-time operating system for multiprocessor systems capable of providing high real-time performance while maintaining the code simple and not impacting on the performances of the rest of the system. Moreover, ASMP-LINUX does not require code changing or application recompiling/relinking. In order to assess the performances of ASMP-LINUX, benchmarks have been performed on several hardware platforms and configurations.

4g-Based Specialty Vehicles Real-Time Monitoring System Design and Implementation

Directory of Open Access Journals (Sweden)

Zhuang Yu-Feng

2017-01-01

Full Text Available In the future development of natural gas transportation industry, emerging ITS technology will be applied more and more, aiming at integrating precise positioning technology, geographic information system technology, database technology, multimedia technology and modern communication technology, sensor network technology and video capture technology, so as to achieve the transport steam (oil vehicles in real time monitoring and management. The main research content of this paper is to design and research the monitoring and locating system of luck (oil vehicle based on 4G on Android System. Real-time monitoring and alarming by sensor module, real-time video recording and uploading through camera module, real-time position recording and uploading through GPS module, vehicle navigation module and quick alarm module, which is composed of five parts. The system is the application of new intelligent transport technology in the field of special vehicle transport. It apply electronic information technology and internet of things technology to the vehicle system, so we can monitor natural gas and other special dangerous goods anytime, anywhere.

Real-time modelling of a ventilation system for a power plant simulator

International Nuclear Information System (INIS)

Kocher, P.; Welfonder, E.

1992-01-01

This paper describes how to simulate in real-time the ventilation system of a nuclear power plant. The simulation is made under difficult computing time conditions. The ventilation system program is part of a simulator which simulates the whole nuclear power plant process in realtime. Therefore the ventilation system is split up into several smaller units. For each of these process units a real-time module has been developed, being as simple as possible but nevertheless coming close enough to the real dynamic behaviour. After that the simple real-time modules are linked together to form the total dynamic model ''ventilation system''. The continuous dynamic model developed is numerically integrated by the Euler method. The stability of this explicit method is maintained by special modelling measures such as the increasing of too low flow resistances or the limitation of too high gain factors. At the end of the paper some curves, recorded at the simulator, illustrate the behaviour of the ventilation system in the case of an accident. (author)

Upgrade of the RFX-mod real time control system

Energy Technology Data Exchange (ETDEWEB)

Manduchi, G., E-mail: gabriele.manduchi@igi.cnr.it [Consorzio RFX, Euratom-ENEA Association, Corso Stati Uniti 4, Padova 35127 (Italy); Barbalace, A.; Luchetta, A.; Soppelsa, A.; Taliercio, C.; Zampiva, E. [Consorzio RFX, Euratom-ENEA Association, Corso Stati Uniti 4, Padova 35127 (Italy)

2012-12-15

Highlights: Black-Right-Pointing-Pointer The paper describes the experience in running the real-time control system of RFX-mod. Black-Right-Pointing-Pointer It proposes a new architecture based multicore technology. Black-Right-Pointing-Pointer It analyzes two different solutions for data acquisition. Black-Right-Pointing-Pointer It discusses the effect of non simultaneous sampling in acquisition. Black-Right-Pointing-Pointer It provides some preliminary performance measurements. - Abstract: The real-time control system of RFX-mod, in operation since 2005, has been successful and has allowed several important achievements in the RFX physics research program. As a consequence of this fact, new control algorithms are under investigation, which are more demanding in terms of both enhanced computing power and reduced system latency, currently around 1.5 ms. For this reason, a major upgrade of the system is being considered, and a new architecture has been proposed, taking advantage of the rapid evolution of computer technology in the last years. The central component of the new architecture is a Linux-based multicore server, where individual cores replace the VME computers. The server is connected to the I/O via PCI-e based bus extenders, and every PCI-e connection is managed by a separate core. The system is supervised by MARTe, a software framework for real-time applications written in C++ and developed at JET and currently used for the JET vertical stabilization and in other fusion devices.

FPGA-Based Real-Time Motion Detection for Automated Video Surveillance Systems

Directory of Open Access Journals (Sweden)

Sanjay Singh

2016-03-01

Full Text Available Design of automated video surveillance systems is one of the exigent missions in computer vision community because of their ability to automatically select frames of interest in incoming video streams based on motion detection. This research paper focuses on the real-time hardware implementation of a motion detection algorithm for such vision based automated surveillance systems. A dedicated VLSI architecture has been proposed and designed for clustering-based motion detection scheme. The working prototype of a complete standalone automated video surveillance system, including input camera interface, designed motion detection VLSI architecture, and output display interface, with real-time relevant motion detection capabilities, has been implemented on Xilinx ML510 (Virtex-5 FX130T FPGA platform. The prototyped system robustly detects the relevant motion in real-time in live PAL (720 × 576 resolution video streams directly coming from the camera.

Real-time monitoring, prognosis, and resilient control for wind turbine systems

Energy Technology Data Exchange (ETDEWEB)

Gao, Zhiwei; Sheng, Shuangwen

2018-02-01

This special issue aims to provide a platform for academic and industrial communities to report recent results and emerging research in real-time monitoring, fault diagnosis, prognosis, and resilient control and design of wind turbine systems. After a strict peer-review process, 20 papers were selected, which represent the most recent progress of the real-time monitoring, diagnosis, prognosis, and resilient control methods/techniques in wind turbine systems.

Attention focussing and anomaly detection in real-time systems monitoring

Science.gov (United States)

Doyle, Richard J.; Chien, Steve A.; Fayyad, Usama M.; Porta, Harry J.

1993-01-01

In real-time monitoring situations, more information is not necessarily better. When faced with complex emergency situations, operators can experience information overload and a compromising of their ability to react quickly and correctly. We describe an approach to focusing operator attention in real-time systems monitoring based on a set of empirical and model-based measures for determining the relative importance of sensor data.

A real-time sub-μrad laser beam tracking system

Science.gov (United States)

Buske, Ivo; Schragner, Ralph; Riede, Wolfgang

2007-10-01

We present a rugged and reliable real-time laser beam tracking system operating with a high speed, high resolution piezo-electric tip/tilt mirror. Characteristics of the piezo mirror and position sensor are investigated. An industrial programmable automation controller is used to develop a real-time digital PID controller. The controller provides a one million field programmable gate array (FPGA) to realize a high closed-loop frequency of 50 kHz. Beam tracking with a root-mean-squared accuracy better than 0.15 μrad has been laboratory confirmed. The system is intended as an add-on module for established mechanical mrad tracking systems.

Key technology research of HILS based on real-time operating system

Science.gov (United States)

Wang, Fankai; Lu, Huiming; Liu, Che

2018-03-01

In order to solve the problems that the long development cycle of traditional simulation and digital simulation doesn't have the characteristics of real time, this paper designed a HILS(Hardware In the Loop Simulation) system based on the real-time operating platform xPC. This system solved the communication problems between HMI and Simulink models through the MATLAB engine interface, and realized the functions of system setting, offline simulation, model compiling and downloading, etc. Using xPC application interface and integrating the TeeChart ActiveX chart component to realize the monitoring function of real-time target application; Each functional block in the system is encapsulated in the form of DLL, and the data interaction between modules was realized by MySQL database technology. When the HILS system runs, search the address of the online xPC target by means of the Ping command, to establish the Tcp/IP communication between the two machines. The technical effectiveness of the developed system is verified through the typical power station control system.

DRAM selection and configuration for real-time mobile systems

NARCIS (Netherlands)

Gomony, M.D.; Weis, C.; Akesson, K.B.; Wehn, N.; Goossens, K.G.W.

2012-01-01

The performance and power consumption of mobile DRAMs (LPDDRs) depend on the configuration of system-level parameters, such as operating frequency, interface width, request size, and memory map. In mobile systems running both realtime and non-real-time applications, the memory configuration must

Scheduling and Communication Synthesis for Distributed Real-Time Systems

DEFF Research Database (Denmark)

Pop, Paul

2000-01-01

on aspects of scheduling and communication for embedded real-time systems. Special emphasis has been placed on the impact of the communication infrastructure and protocol on the overall system performance. The scheduling and communication strategies proposed are based on an abstract graph representation...

Embedded and real time system development a software engineering perspective concepts, methods and principles

CERN Document Server

Saeed, Saqib; Darwish, Ashraf; Abraham, Ajith

2014-01-01

Nowadays embedded and real-time systems contain complex software. The complexity of embedded systems is increasing, and the amount and variety of software in the embedded products are growing. This creates a big challenge for embedded and real-time software development processes and there is a need to develop separate metrics and benchmarks. “Embedded and Real Time System Development: A Software Engineering Perspective: Concepts, Methods and Principles” presents practical as well as conceptual knowledge of the latest tools, techniques and methodologies of embedded software engineering and real-time systems. Each chapter includes an in-depth investigation regarding the actual or potential role of software engineering tools in the context of the embedded system and real-time system. The book presents state-of-the art and future perspectives with industry experts, researchers, and academicians sharing ideas and experiences including surrounding frontier technologies, breakthroughs, innovative solutions and...

Real-time safety risk assessment based on a real-time location system for hydropower construction sites.

Science.gov (United States)

Jiang, Hanchen; Lin, Peng; Fan, Qixiang; Qiang, Maoshan

2014-01-01

The concern for workers' safety in construction industry is reflected in many studies focusing on static safety risk identification and assessment. However, studies on real-time safety risk assessment aimed at reducing uncertainty and supporting quick response are rare. A method for real-time safety risk assessment (RTSRA) to implement a dynamic evaluation of worker safety states on construction site has been proposed in this paper. The method provides construction managers who are in charge of safety with more abundant information to reduce the uncertainty of the site. A quantitative calculation formula, integrating the influence of static and dynamic hazards and that of safety supervisors, is established to link the safety risk of workers with the locations of on-site assets. By employing the hidden Markov model (HMM), the RTSRA provides a mechanism for processing location data provided by the real-time location system (RTLS) and analyzing the probability distributions of different states in terms of false positives and negatives. Simulation analysis demonstrated the logic of the proposed method and how it works. Application case shows that the proposed RTSRA is both feasible and effective in managing construction project safety concerns.

Research of real-time communication software

Science.gov (United States)

Li, Maotang; Guo, Jingbo; Liu, Yuzhong; Li, Jiahong

2003-11-01

Real-time communication has been playing an increasingly important role in our work, life and ocean monitor. With the rapid progress of computer and communication technique as well as the miniaturization of communication system, it is needed to develop the adaptable and reliable real-time communication software in the ocean monitor system. This paper involves the real-time communication software research based on the point-to-point satellite intercommunication system. The object-oriented design method is adopted, which can transmit and receive video data and audio data as well as engineering data by satellite channel. In the real-time communication software, some software modules are developed, which can realize the point-to-point satellite intercommunication in the ocean monitor system. There are three advantages for the real-time communication software. One is that the real-time communication software increases the reliability of the point-to-point satellite intercommunication system working. Second is that some optional parameters are intercalated, which greatly increases the flexibility of the system working. Third is that some hardware is substituted by the real-time communication software, which not only decrease the expense of the system and promotes the miniaturization of communication system, but also aggrandizes the agility of the system.

Study on real-time elevator brake failure predictive system

Science.gov (United States)

Guo, Jun; Fan, Jinwei

2013-10-01

This paper presented a real-time failure predictive system of the elevator brake. Through inspecting the running state of the coil by a high precision long range laser triangulation non-contact measurement sensor, the displacement curve of the coil is gathered without interfering the original system. By analyzing the displacement data using the diagnostic algorithm, the hidden danger of the brake system can be discovered in time and thus avoid the according accident.

Novel Real-Time Flight Envelope Monitoring System, Phase II

Data.gov (United States)

National Aeronautics and Space Administration — The proposed innovation is an aircraft flight envelope monitoring system that will provide real-time in-cockpit estimations of aircraft flight envelope boundaries....

ISTTOK real-time architecture

Energy Technology Data Exchange (ETDEWEB)

Carvalho, Ivo S., E-mail: ivoc@ipfn.ist.utl.pt; Duarte, Paulo; Fernandes, Horácio; Valcárcel, Daniel F.; Carvalho, Pedro J.; Silva, Carlos; Duarte, André S.; Neto, André; Sousa, Jorge; Batista, António J.N.; Hekkert, Tiago; Carvalho, Bernardo B.

2014-03-15

Highlights: • All real-time diagnostics and actuators were integrated in the same control platform. • A 100 μs control cycle was achieved under the MARTe framework. • Time-windows based control with several event-driven control strategies implemented. • AC discharges with exception handling on iron core flux saturation. • An HTML discharge configuration was developed for configuring the MARTe system. - Abstract: The ISTTOK tokamak was upgraded with a plasma control system based on the Advanced Telecommunications Computing Architecture (ATCA) standard. This control system was designed to improve the discharge stability and to extend the operational space to the alternate plasma current (AC) discharges as part of the ISTTOK scientific program. In order to accomplish these objectives all ISTTOK diagnostics and actuators relevant for real-time operation were integrated in the control system. The control system was programmed in C++ over the Multi-threaded Application Real-Time executor (MARTe) which provides, among other features, a real-time scheduler, an interrupt handler, an intercommunications interface between code blocks and a clearly bounded interface with the external devices. As a complement to the MARTe framework, the BaseLib2 library provides the foundations for the data, code introspection and also a Hypertext Transfer Protocol (HTTP) server service. Taking advantage of the modular nature of MARTe, the algorithms of each diagnostic data processing, discharge timing, context switch, control and actuators output reference generation, run on well-defined blocks of code named Generic Application Module (GAM). This approach allows reusability of the code, simplified simulation, replacement or editing without changing the remaining GAMs. The ISTTOK control system GAMs run sequentially each 100 μs cycle on an Intel{sup ®} Q8200 4-core processor running at 2.33 GHz located in the ATCA crate. Two boards (inside the ATCA crate) with 32 analog

ISTTOK real-time architecture

International Nuclear Information System (INIS)

Carvalho, Ivo S.; Duarte, Paulo; Fernandes, Horácio; Valcárcel, Daniel F.; Carvalho, Pedro J.; Silva, Carlos; Duarte, André S.; Neto, André; Sousa, Jorge; Batista, António J.N.; Hekkert, Tiago; Carvalho, Bernardo B.

2014-01-01

Highlights: • All real-time diagnostics and actuators were integrated in the same control platform. • A 100 μs control cycle was achieved under the MARTe framework. • Time-windows based control with several event-driven control strategies implemented. • AC discharges with exception handling on iron core flux saturation. • An HTML discharge configuration was developed for configuring the MARTe system. - Abstract: The ISTTOK tokamak was upgraded with a plasma control system based on the Advanced Telecommunications Computing Architecture (ATCA) standard. This control system was designed to improve the discharge stability and to extend the operational space to the alternate plasma current (AC) discharges as part of the ISTTOK scientific program. In order to accomplish these objectives all ISTTOK diagnostics and actuators relevant for real-time operation were integrated in the control system. The control system was programmed in C++ over the Multi-threaded Application Real-Time executor (MARTe) which provides, among other features, a real-time scheduler, an interrupt handler, an intercommunications interface between code blocks and a clearly bounded interface with the external devices. As a complement to the MARTe framework, the BaseLib2 library provides the foundations for the data, code introspection and also a Hypertext Transfer Protocol (HTTP) server service. Taking advantage of the modular nature of MARTe, the algorithms of each diagnostic data processing, discharge timing, context switch, control and actuators output reference generation, run on well-defined blocks of code named Generic Application Module (GAM). This approach allows reusability of the code, simplified simulation, replacement or editing without changing the remaining GAMs. The ISTTOK control system GAMs run sequentially each 100 μs cycle on an Intel ® Q8200 4-core processor running at 2.33 GHz located in the ATCA crate. Two boards (inside the ATCA crate) with 32 analog

Merged Real Time GNSS Solutions for the READI System

Science.gov (United States)

Santillan, V. M.; Geng, J.

2014-12-01

Real-time measurements from increasingly dense Global Navigational Satellite Systems (GNSS) networks located throughout the western US offer a substantial, albeit largely untapped, contribution towards the mitigation of seismic and other natural hazards. Analyzed continuously in real-time, currently over 600 instruments blanket the San Andreas and Cascadia fault systems of the North American plate boundary and can provide on-the-fly characterization of transient ground displacements highly complementary to traditional seismic strong-motion monitoring. However, the utility of GNSS systems depends on their resolution, and merged solutions of two or more independent estimation strategies have been shown to offer lower scatter and higher resolution. Towards this end, independent real time GNSS solutions produced by Scripps Inst. of Oceanography and Central Washington University (PANGA) are now being formally combined in pursuit of NASA's Real-Time Earthquake Analysis for Disaster Mitigation (READI) positioning goals. CWU produces precise point positioning (PPP) solutions while SIO produces ambiguity resolved PPP solutions (PPP-AR). The PPP-AR solutions have a ~5 mm RMS scatter in the horizontal and ~10mm in the vertical, however PPP-AR solutions can take tens of minutes to re-converge in case of data gaps. The PPP solutions produced by CWU use pre-cleaned data in which biases are estimated as non-integer ambiguities prior to formal positioning with GIPSY 6.2 using a real time stream editor developed at CWU. These solutions show ~20mm RMS scatter in the horizontal and ~50mm RMS scatter in the vertical but re-converge within 2 min. or less following cycle-slips or data outages. We have implemented the formal combination of the CWU and SCRIPPS ENU displacements using the independent solutions as input measurements to a simple 3-element state Kalman filter plus white noise. We are now merging solutions from 90 stations, including 30 in Cascadia, 39 in the Bay Area, and 21

Time Extensions of Petri Nets for Modelling and Verification of Hard Real-Time Systems

Directory of Open Access Journals (Sweden)

Tomasz Szmuc

2002-01-01

Full Text Available The main aim ofthe paper is a presentation of time extensions of Petri nets appropriate for modelling and analysis of hard real-time systems. It is assumed, that the extensions must provide a model of time flow an ability to force a transition to fire within a stated timing constraint (the so-called the strong firing rule, and timing constraints represented by intervals. The presented survey includes extensions of classical Place/Transition Petri nets, as well as the ones applied to high-level Petri nets. An expressiveness of each time extension is illustrated using simple hard real-time system. The paper includes also a brief description of analysis and veryication methods related to the extensions, and a survey of software tools supporting modelling and analysis ofthe considered Petri nets.

A first near real-time seismology-based landquake monitoring system.

Science.gov (United States)

Chao, Wei-An; Wu, Yih-Min; Zhao, Li; Chen, Hongey; Chen, Yue-Gau; Chang, Jui-Ming; Lin, Che-Min

2017-03-02

Hazards from gravity-driven instabilities on hillslope (termed 'landquake' in this study) are an important problem facing us today. Rapid detection of landquake events is crucial for hazard mitigation and emergency response. Based on the real-time broadband data in Taiwan, we have developed a near real-time landquake monitoring system, which is a fully automatic process based on waveform inversion that yields source information (e.g., location and mechanism) and identifies the landquake source by examining waveform fitness for different types of source mechanisms. This system has been successfully tested offline using seismic records during the passage of the 2009 Typhoon Morakot in Taiwan and has been in online operation during the typhoon season in 2015. In practice, certain levels of station coverage (station gap 10 6  m 3 and area > 0.20 km 2 ) are required to ensure good performance (fitness > 0.6 for successful source identification) of the system, which can be readily implemented in other places in the world with real-time seismic networks and high landquake activities.

Magneto-optical system for high speed real time imaging