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.

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.

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.

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.

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.

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...

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...

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 ...

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...

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.

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)

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.

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...

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.

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

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.

Simultaneous real-time monitoring of multiple cortical systems.

Science.gov (United States)

Gupta, Disha; Jeremy Hill, N; Brunner, Peter; Gunduz, Aysegul; Ritaccio, Anthony L; Schalk, Gerwin

2014-10-01

Real-time monitoring of the brain is potentially valuable for performance monitoring, communication, training or rehabilitation. In natural situations, the brain performs a complex mix of various sensory, motor or cognitive functions. Thus, real-time brain monitoring would be most valuable if (a) it could decode information from multiple brain systems simultaneously, and (b) this decoding of each brain system were robust to variations in the activity of other (unrelated) brain systems. Previous studies showed that it is possible to decode some information from different brain systems in retrospect and/or in isolation. In our study, we set out to determine whether it is possible to simultaneously decode important information about a user from different brain systems in real time, and to evaluate the impact of concurrent activity in different brain systems on decoding performance. We study these questions using electrocorticographic signals recorded in humans. We first document procedures for generating stable decoding models given little training data, and then report their use for offline and for real-time decoding from 12 subjects (six for offline parameter optimization, six for online experimentation). The subjects engage in tasks that involve movement intention, movement execution and auditory functions, separately, and then simultaneously. Main Results: Our real-time results demonstrate that our system can identify intention and movement periods in single trials with an accuracy of 80.4% and 86.8%, respectively (where 50% would be expected by chance). Simultaneously, the decoding of the power envelope of an auditory stimulus resulted in an average correlation coefficient of 0.37 between the actual and decoded power envelopes. These decoders were trained separately and executed simultaneously in real time. This study yielded the first demonstration that it is possible to decode simultaneously the functional activity of multiple independent brain systems. Our

Numerical simulation of a cabin ventilation subsystem in a space station oriented real-time system

Directory of Open Access Journals (Sweden)

Zezheng QIU

2017-12-01

Full Text Available An environment control and life support system (ECLSS is an important system in a space station. The ECLSS is a typical complex system, and the real-time simulation technology can help to accelerate its research process by using distributed hardware in a loop simulation system. An implicit fixed time step numerical integration method is recommended for a real-time simulation system with time-varying parameters. However, its computational efficiency is too low to satisfy the real-time data interaction, especially for the complex ECLSS system running on a PC cluster. The instability problem of an explicit method strongly limits its application in the ECLSS real-time simulation although it has a high computational efficiency. This paper proposes an improved numerical simulation method to overcome the instability problem based on the explicit Euler method. A temperature and humidity control subsystem (THCS is firstly established, and its numerical stability is analyzed by using the eigenvalue estimation theory. Furthermore, an adaptive operator is proposed to avoid the potential instability problem. The stability and accuracy of the proposed method are investigated carefully. Simulation results show that this proposed method can provide a good way for some complex time-variant systems to run their real-time simulation on a PC cluster. Keywords: Numerical integration method, Real-time simulation, Stability, THCS, Time-variant system

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.

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

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.

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...

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

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.

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...

Telepositional portable real time radiation monitoring system

International Nuclear Information System (INIS)

Talpalariu, Jeni; Matei, Corina; Popescu, Oana

2010-01-01

Technology development for complex portable networks is on going to meet the area dosimetry challenge, improving the basic design using new telepositional GPS satellite methods and GSM terrestrial civil radio transmission networks. The system and devices proposed overcome the limitations of fixed and portable dosimeters, providing wireless real time radiations data and geospatial information's means, using many portable dosimeter stations and a mobile dosimeter computerised central console. (authors)

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.

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)

ARC-VM: An architecture real options complexity-based valuation methodology for military systems-of-systems acquisitions

Science.gov (United States)

Domercant, Jean Charles

The combination of today's national security environment and mandated acquisition policies makes it necessary for military systems to interoperate with each other to greater degrees. This growing interdependency results in complex Systems-of-Systems (SoS) that only continue to grow in complexity to meet evolving capability needs. Thus, timely and affordable acquisition becomes more difficult, especially in the face of mounting budgetary pressures. To counter this, architecting principles must be applied to SoS design. The research objective is to develop an Architecture Real Options Complexity-Based Valuation Methodology (ARC-VM) suitable for acquisition-level decision making, where there is a stated desire for more informed tradeoffs between cost, schedule, and performance during the early phases of design. First, a framework is introduced to measure architecture complexity as it directly relates to military SoS. Development of the framework draws upon a diverse set of disciplines, including Complexity Science, software architecting, measurement theory, and utility theory. Next, a Real Options based valuation strategy is developed using techniques established for financial stock options that have recently been adapted for use in business and engineering decisions. The derived complexity measure provides architects with an objective measure of complexity that focuses on relevant complex system attributes. These attributes are related to the organization and distribution of SoS functionality and the sharing and processing of resources. The use of Real Options provides the necessary conceptual and visual framework to quantifiably and traceably combine measured architecture complexity, time-valued performance levels, as well as programmatic risks and uncertainties. An example suppression of enemy air defenses (SEAD) capability demonstrates the development and usefulness of the resulting architecture complexity & Real Options based valuation methodology. Different

Complex Time-Delay Systems Theory and Applications

CERN Document Server

Atay, Fatihcan M

2010-01-01

Time delays in dynamical systems arise as an inevitable consequence of finite speeds of information transmission. Realistic models increasingly demand the inclusion of delays in order to properly understand, analyze, design, and control real-life systems. The goal of this book is to present the state-of-the-art in research on time-delay dynamics in the framework of complex systems and networks. While the mathematical theory of delay equations is quite mature, its application to the particular problems of complex systems and complexity is a newly emerging field, and the present volume aims to play a pioneering role in this perspective. The chapters in this volume are authored by renowned experts and cover both theory and applications in a wide range of fields, with examples extending from neuroscience and biology to laser physics and vehicle traffic. Furthermore, all chapters include sufficient introductory material and extensive bibliographies, making the book a self-contained reference for both students and ...

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...

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.

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

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.

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 Observation of Target Search by the CRISPR Surveillance Complex Cascade

Directory of Open Access Journals (Sweden)

Chaoyou Xue

2017-12-01

Full Text Available CRISPR-Cas systems defend bacteria and archaea against infection by bacteriophage and other threats. The central component of these systems are surveillance complexes that use guide RNAs to bind specific regions of foreign nucleic acids, marking them for destruction. Surveillance complexes must locate targets rapidly to ensure timely immune response, but the mechanism of this search process remains unclear. Here, we used single-molecule FRET to visualize how the type I-E surveillance complex Cascade searches DNA in real time. Cascade rapidly and randomly samples DNA through nonspecific electrostatic contacts, pausing at short PAM recognition sites that may be adjacent to the target. We identify Cascade motifs that are essential for either nonspecific sampling or positioning and readout of the PAM. Our findings provide a comprehensive structural and kinetic model for the Cascade target-search mechanism, revealing how CRISPR surveillance complexes can rapidly search large amounts of genetic material en route to target recognition.

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

CyNC - towards a General Tool for Performance Analysis of Complex Distributed Real Time Systems

DEFF Research Database (Denmark)

Schiøler, Henrik; Jessen, Jan Jakob; Nielsen, Jens F. Dalsgaard

2005-01-01

The paper addresses the current state and the ongoing activities of a tool for performance analysis of complex real time systems. The tool named CyNC is based on network calculus allowing for the computation of backlogs and delays in a system from specified lower and upper bounds of external...... workflow and computational resources. The current version of the tool implements an extension to previous work in that it allows for general workflow and resource bounds and provides optimal solutions even to systems with cyclic dependencies. Despite the virtues of the current tool, improvements...... and extensions still remain, which are in focus of ongoing activities. Improvements include accounting for phase information to improve bounds, whereas the tool awaits extension to include flow control models, which both depend on the possibility of accounting for propagation delay. Since the current version...

Protocol-transparent resource sharing in hierarchically scheduled real-time systems

NARCIS (Netherlands)

Heuvel, van den M.M.H.P.; Bril, R.J.; Lukkien, J.J.

2010-01-01

Hierarchical scheduling frameworks (HSFs) provide means for composing complex real-time systems from well-defined, independently analyzed subsystems. To support resource sharing within two-level HSFs, three synchronization protocols based on the stack resource policy (SRP) have recently been

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 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.

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

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

An Environment for Incremental Development of Distributed Extensible Asynchronous Real-time Systems

Science.gov (United States)

Ames, Charles K.; Burleigh, Scott; Briggs, Hugh C.; Auernheimer, Brent

1996-01-01

Incremental parallel development of distributed real-time systems is difficult. Architectural techniques and software tools developed at the Jet Propulsion Laboratory's (JPL's) Flight System Testbed make feasible the integration of complex systems in various stages of development.

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

Real-Time Visualization System for Deep-Sea Surveying

Directory of Open Access Journals (Sweden)

Yujie Li

2014-01-01

Full Text Available Remote robotic exploration holds vast potential for gaining knowledge about extreme environments, which is difficult to be accessed by humans. In the last two decades, various underwater devices were developed for detecting the mines and mine-like objects in the deep-sea environment. However, there are some problems in recent equipment, like poor accuracy of mineral objects detection, without real-time processing, and low resolution of underwater video frames. Consequently, the underwater objects recognition is a difficult task, because the physical properties of the medium, the captured video frames, are distorted seriously. In this paper, we are considering use of the modern image processing methods to determine the mineral location and to recognize the mineral actually within a little computation complex. We firstly analyze the recent underwater imaging models and propose a novel underwater optical imaging model, which is much closer to the light propagation model in the underwater environment. In our imaging system, we remove the electrical noise by dual-tree complex wavelet transform. And then we solve the nonuniform illumination of artificial lights by fast guided trilateral bilateral filter and recover the image color through automatic color equalization. Finally, a shape-based mineral recognition algorithm is proposed for underwater objects detection. These methods are designed for real-time execution on limited-memory platforms. This pipeline is suitable for detecting underwater objects in practice by our experiences. The initial results are presented and experiments demonstrate the effectiveness of the proposed real-time visualization system.

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 information management for improving productivity in metallurgical complexes

International Nuclear Information System (INIS)

Bascur, O.A.; Kennedy, J.P.

1999-01-01

Applying the latest information technologies in industrial plants has become a serious challenge to management and technical teams. The availability of real time and historical operations information to identify the most critical part of the processing system from mechanical integrity is a must for global plant optimization. Expanded use of plant information on the desktop is a standard tool for revenue improvement, cost reduction, and adherence to production constraints. The industrial component desktop supports access to information for process troubleshooting, continuous improvement and innovation by plant and staff personnel. Collaboration between groups enables the implementation of an overall process effectiveness index based on losses due to equipment availability, production and product quality. The key to designing technology is to use the Internet based technologies created by Microsoft for its marketplace-office automation and the Web. Time derived variables are used for process analysis, troubleshooting and performance assessment. Connectivity between metallurgical complexes, research centers and their business system has become a reality. Two case studies of large integrated mining/metallurgical complexes are highlighted. (author)

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.

A modular control architecture for real-time synchronous and asynchronous systems

International Nuclear Information System (INIS)

Butler, P.L.; Jones, J.P.

1993-01-01

This paper describes a control architecture for real-time control of complex robotic systems. The Modular Integrated Control Architecture (MICA), which is actually two complementary control systems, recognizes and exploits the differences between asynchronous and synchronous control. The asynchronous control system simulates shared memory on a heterogeneous network. For control information, a portable event-scheme is used. This scheme provides consistent interprocess coordination among multiple tasks on a number of distributed systems. The machines in the network can vary with respect to their native operating systems and the intemal representation of numbers they use. The synchronous control system is needed for tight real-time control of complex electromechanical systems such as robot manipulators, and the system uses multiple processors at a specified rate. Both the synchronous and asynchronous portions of MICA have been developed to be extremely modular. MICA presents a simple programming model to code developers and also considers the needs of system integrators and maintainers. MICA has been used successfully in a complex robotics project involving a mobile 7-degree-of-freedom manipulator in a heterogeneous network with a body of software totaling over 100,000 lines of code. MICA has also been used in another robotics system, controlling a commercial long-reach manipulator

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

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

Memory Efficient VLSI Implementation of Real-Time Motion Detection System Using FPGA Platform

Directory of Open Access Journals (Sweden)

Sanjay Singh

2017-06-01

Full Text Available Motion detection is the heart of a potentially complex automated video surveillance system, intended to be used as a standalone system. Therefore, in addition to being accurate and robust, a successful motion detection technique must also be economical in the use of computational resources on selected FPGA development platform. This is because many other complex algorithms of an automated video surveillance system also run on the same platform. Keeping this key requirement as main focus, a memory efficient VLSI architecture for real-time motion detection and its implementation on FPGA platform is presented in this paper. This is accomplished by proposing a new memory efficient motion detection scheme and designing its VLSI architecture. The complete real-time motion detection system using the proposed memory efficient architecture along with proper input/output interfaces is implemented on Xilinx ML510 (Virtex-5 FX130T FPGA development platform and is capable of operating at 154.55 MHz clock frequency. Memory requirement of the proposed architecture is reduced by 41% compared to the standard clustering based motion detection architecture. The new memory efficient system robustly and automatically detects motion in real-world scenarios (both for the static backgrounds and the pseudo-stationary backgrounds in real-time for standard PAL (720 × 576 size color video.

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

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 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.

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.

Performance evaluation of real time radiographic systems

International Nuclear Information System (INIS)

Venkatraman, B.; Saravanan, S.; Jayakumar, T.; Kalyanasundaram, P.; Baldev Raj

1996-01-01

The Real Time Radiography (RTR) system can be studied completely by knowing the modulation transfer function (MTF) of the whole system. The MTF curve is a special form of contrast/detail-size diagram in which the image contrast is plotted against the spatial frequency of a test object measured in line-pairs per millimetre (lp/mm). MTF curves are widely used to measure the characteristics of optical equipment, particularly for assessing the contribution of individual items in a complex imaging transfer system. Codes of practice indicate that the image intensifier systems should be checked periodically to assess its performance through the use of MTF curves and step wedges for contrast ratio. Authors, instead, suggest the use of performance curves which are simple to obtain and can be easily interpreted by radiographers. (author)

The role of real-time in biomedical science: a meta-analysis on computational complexity, delay and speedup.

Science.gov (United States)

Faust, Oliver; Yu, Wenwei; Rajendra Acharya, U

2015-03-01

The concept of real-time is very important, as it deals with the realizability of computer based health care systems. In this paper we review biomedical real-time systems with a meta-analysis on computational complexity (CC), delay (Δ) and speedup (Sp). During the review we found that, in the majority of papers, the term real-time is part of the thesis indicating that a proposed system or algorithm is practical. However, these papers were not considered for detailed scrutiny. Our detailed analysis focused on papers which support their claim of achieving real-time, with a discussion on CC or Sp. These papers were analyzed in terms of processing system used, application area (AA), CC, Δ, Sp, implementation/algorithm (I/A) and competition. The results show that the ideas of parallel processing and algorithm delay were only recently introduced and journal papers focus more on Algorithm (A) development than on implementation (I). Most authors compete on big O notation (O) and processing time (PT). Based on these results, we adopt the position that the concept of real-time will continue to play an important role in biomedical systems design. We predict that parallel processing considerations, such as Sp and algorithm scaling, will become more important. Copyright © 2015 Elsevier Ltd. All rights reserved.

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

data, hierarchical reporting of problems that extend beyond a single domain, and shared responsibility for problems that overlap domains. The system enables efficient diagnosis of complex system failures in real-time environments with high data volumes and moderate failure rates, as indicated by extensive performance measurements.

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

Considerations in development of expert systems for real-time space applications

Science.gov (United States)

Murugesan, S.

1988-01-01

Over the years, demand on space systems has increased tremendously and this trend will continue for the near future. Enhanced capabilities of space systems, however, can only be met with increased complexity and sophistication of onboard and ground systems. Artificial Intelligence and expert system techniques have great potential in space applications. Expert systems could facilitate autonomous decision making, improve in-orbit fault diagnosis and repair, enhance performance and reduce reliance on ground support. However, real-time expert systems, unlike conventional off-line consultative systems, have to satisfy certain special stringent requirements before they could be used for onboard space applications. Challenging and interesting new environments are faced while developing expert system space applications. This paper discusses the special characteristics, requirements and typical life cycle issues for onboard expert systems. Further, it also describes considerations in design, development, and implementation which are particularly important to real-time expert systems for space applications.

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

An Analysis of Input/Output Paradigms for Real-Time Systems

Science.gov (United States)

1990-07-01

timing and concurrency aspects of real - time systems . This paper illustrates how to build a mathematical model of the schedulability of a real-time...various design alternatives. The primary characteristic that distinguishes real-time system from non- real - time systems is the importance of time. The

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....

Reasoning about real-time systems with temporal interval logic constraints on multi-state automata

Science.gov (United States)

Gabrielian, Armen

1991-01-01

Models of real-time systems using a single paradigm often turn out to be inadequate, whether the paradigm is based on states, rules, event sequences, or logic. A model-based approach to reasoning about real-time systems is presented in which a temporal interval logic called TIL is employed to define constraints on a new type of high level automata. The combination, called hierarchical multi-state (HMS) machines, can be used to model formally a real-time system, a dynamic set of requirements, the environment, heuristic knowledge about planning-related problem solving, and the computational states of the reasoning mechanism. In this framework, mathematical techniques were developed for: (1) proving the correctness of a representation; (2) planning of concurrent tasks to achieve goals; and (3) scheduling of plans to satisfy complex temporal constraints. HMS machines allow reasoning about a real-time system from a model of how truth arises instead of merely depending of what is true in a system.

Monitoring and Acquisition Real-time System (MARS)

Science.gov (United States)

Holland, Corbin

2013-01-01

MARS is a graphical user interface (GUI) written in MATLAB and Java, allowing the user to configure and control the Scalable Parallel Architecture for Real-Time Acquisition and Analysis (SPARTAA) data acquisition system. SPARTAA not only acquires data, but also allows for complex algorithms to be applied to the acquired data in real time. The MARS client allows the user to set up and configure all settings regarding the data channels attached to the system, as well as have complete control over starting and stopping data acquisition. It provides a unique "Test" programming environment, allowing the user to create tests consisting of a series of alarms, each of which contains any number of data channels. Each alarm is configured with a particular algorithm, determining the type of processing that will be applied on each data channel and tested against a defined threshold. Tests can be uploaded to SPARTAA, thereby teaching it how to process the data. The uniqueness of MARS is in its capability to be adaptable easily to many test configurations. MARS sends and receives protocols via TCP/IP, which allows for quick integration into almost any test environment. The use of MATLAB and Java as the programming languages allows for developers to integrate the software across multiple operating platforms.

A Real-Time Embedded Control System for Electro-Fused Magnesia Furnace

Directory of Open Access Journals (Sweden)

Fang Zheng

2013-01-01

Full Text Available Since smelting process of electro-fused magnesia furnace is a complicated process which has characteristics like complex operation conditions, strong nonlinearities, and strong couplings, traditional linear controller cannot control it very well. Advanced intelligent control strategy is a good solution to this kind of industrial process. However, advanced intelligent control strategy always involves huge programming task and hard debugging and maintaining problems. In this paper, a real-time embedded control system is proposed for the process control of electro-fused magnesia furnace based on intelligent control strategy and model-based design technology. As for hardware, an embedded controller based on an industrial Single Board Computer (SBC is developed to meet industrial field environment demands. As for software, a Linux based on Real-Time Application Interface (RTAI is used as the real-time kernel of the controller to improve its real-time performance. The embedded software platform is also modified to support generating embedded code automatically from Simulink/Stateflow models. Based on the proposed embedded control system, the intelligent embedded control software of electro-fused magnesium furnace can be directly generated from Simulink/Stateflow models. To validate the effectiveness of the proposed embedded control system, hardware-in-the-loop (HIL and industrial field experiments are both implemented. Experiments results show that the embedded control system works very well in both laboratory and industry environments.

Dynamics in two-elevator traffic system with real-time information

Energy Technology Data Exchange (ETDEWEB)

Nagatani, Takashi, E-mail: wadokeioru@yahoo.co.jp

2013-12-17

We study the dynamics of traffic system with two elevators using a elevator choice scenario. The two-elevator traffic system with real-time information is similar to the two-route vehicular traffic system. The dynamics of two-elevator traffic system is described by the two-dimensional nonlinear map. An elevator runs a neck-and-neck race with another elevator. The motion of two elevators displays such a complex behavior as quasi-periodic one. The return map of two-dimensional map shows a piecewise map.

Real-time applications of neural nets

International Nuclear Information System (INIS)

Spencer, J.E.

1989-05-01

Producing, accelerating and colliding very high power, low emittance beams for long periods is a formidable problem in real-time control. As energy has grown exponentially in time so has the complexity of the machines and their control systems. Similar growth rates have occurred in many areas, e.g., improved integrated circuits have been paid for with comparable increases in complexity. However, in this case, reliability, capability and cost have improved due to reduced size, high production and increased integration which allow various kinds of feedback. In contrast, most large complex systems (LCS) are perceived to lack such possibilities because only one copy is made. Neural nets, as a metaphor for LCS, suggest ways to circumvent such limitations. It is argued that they are logically equivalent to multi-loop feedback/forward control of faulty systems. While complimentary to AI, they mesh nicely with characteristics desired for real-time systems. Such issues are considered, examples given and possibilities discussed. 21 refs., 6 figs

Real-time applications of neural nets

International Nuclear Information System (INIS)

Spencer, J.E.

1989-01-01

Producing, accelerating and colliding very high power, low emittance beams for long periods is a formidable problem in real-time control. As energy has grown exponentially in time so has the complexity of the machines and their control systems. Similar growth rates have occurred in many areas e.g. improved integrated circuits have been paid for with comparable increases in complexity. However, in this case, reliability, capability and cost have improved due to reduced size, high production and increased integration which allow various kinds of feedback. In contrast, most large complex systems (LCS) are perceived to lack such possibilities because only one copy is made. Neural nets, as a metaphor for LCS, suggest ways to circumvent such limitations. It is argued that they are logically equivalent to multi-loop feedback/forward control of faulty systems. While complimentary to AI, they mesh nicely with characteristics desired for real-time systems. In this paper, such issues are considered, examples given and possibilities discussed

Real-time applications of neural nets

Energy Technology Data Exchange (ETDEWEB)

Spencer, J.E.

1989-05-01

Producing, accelerating and colliding very high power, low emittance beams for long periods is a formidable problem in real-time control. As energy has grown exponentially in time so has the complexity of the machines and their control systems. Similar growth rates have occurred in many areas, e.g., improved integrated circuits have been paid for with comparable increases in complexity. However, in this case, reliability, capability and cost have improved due to reduced size, high production and increased integration which allow various kinds of feedback. In contrast, most large complex systems (LCS) are perceived to lack such possibilities because only one copy is made. Neural nets, as a metaphor for LCS, suggest ways to circumvent such limitations. It is argued that they are logically equivalent to multi-loop feedback/forward control of faulty systems. While complimentary to AI, they mesh nicely with characteristics desired for real-time systems. Such issues are considered, examples given and possibilities discussed. 21 refs., 6 figs.

[Real time 3D echocardiography

Science.gov (United States)

Bauer, F.; Shiota, T.; Thomas, J. D.

2001-01-01

Three-dimensional representation of the heart is an old concern. Usually, 3D reconstruction of the cardiac mass is made by successive acquisition of 2D sections, the spatial localisation and orientation of which require complex guiding systems. More recently, the concept of volumetric acquisition has been introduced. A matricial emitter-receiver probe complex with parallel data processing provides instantaneous of a pyramidal 64 degrees x 64 degrees volume. The image is restituted in real time and is composed of 3 planes (planes B and C) which can be displaced in all spatial directions at any time during acquisition. The flexibility of this system of acquisition allows volume and mass measurement with greater accuracy and reproducibility, limiting inter-observer variability. Free navigation of the planes of investigation allows reconstruction for qualitative and quantitative analysis of valvular heart disease and other pathologies. Although real time 3D echocardiography is ready for clinical usage, some improvements are still necessary to improve its conviviality. Then real time 3D echocardiography could be the essential tool for understanding, diagnosis and management of patients.

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.

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.

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.)

Modeling and analysis of real-time and embedded systems with UML and MARTE developing cyber-physical systems

CERN Document Server

Selic, Bran

2013-01-01

Modeling and Analysis of Real-Time and Embedded Systems with UML and MARTE explains how to apply the complex MARTE standard in practical situations. This approachable reference provides a handy user guide, illustrating with numerous examples how you can use MARTE to design and develop real-time and embedded systems and software. Expert co-authors Bran Selic and Sébastien Gérard lead the team that drafted and maintain the standard and give you the tools you need apply MARTE to overcome the limitations of cyber-physical systems. The functional sophistication required of modern cyber-physical

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...

A Modular Low-Complexity ECG Delineation Algorithm for Real-Time Embedded Systems.

Science.gov (United States)

Bote, Jose Manuel; Recas, Joaquin; Rincon, Francisco; Atienza, David; Hermida, Roman

2018-03-01

This work presents a new modular and low-complexity algorithm for the delineation of the different ECG waves (QRS, P and T peaks, onsets, and end). Involving a reduced number of operations per second and having a small memory footprint, this algorithm is intended to perform real-time delineation on resource-constrained embedded systems. The modular design allows the algorithm to automatically adjust the delineation quality in runtime to a wide range of modes and sampling rates, from a ultralow-power mode when no arrhythmia is detected, in which the ECG is sampled at low frequency, to a complete high-accuracy delineation mode, in which the ECG is sampled at high frequency and all the ECG fiducial points are detected, in the case of arrhythmia. The delineation algorithm has been adjusted using the QT database, providing very high sensitivity and positive predictivity, and validated with the MIT database. The errors in the delineation of all the fiducial points are below the tolerances given by the Common Standards for Electrocardiography Committee in the high-accuracy mode, except for the P wave onset, for which the algorithm is above the agreed tolerances by only a fraction of the sample duration. The computational load for the ultralow-power 8-MHz TI MSP430 series microcontroller ranges from 0.2% to 8.5% according to the mode used.

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)

Real-Time Tracking the Synthesis and Degradation of Albumin in Complex Biological Systems with a near-Infrared Fluorescent Probe.

Science.gov (United States)

Jin, Qiang; Feng, Lei; Zhang, Shui-Jun; Wang, Dan-Dan; Wang, Fang-Jun; Zhang, Yi; Cui, Jing-Nan; Guo, Wen-Zhi; Ge, Guang-Bo; Yang, Ling

2017-09-19

In this study, a novel fluorescent detection system for biological sensing of human albumin (HA) was developed on the basis of the pseudoesterase activity and substrate preference of HA. The designed near-infrared (NIR) fluorescent probe (DDAP) could be effectively hydrolyzed by HA, accompanied by significant changes in both color and fluorescence spectrum. The sensing mechanism was fully investigated by fluorescence spectroscopy, NMR, and mass spectra. DDAP exhibited excellent selectivity and sensitivity toward HA over a variety of human plasma proteins, hydrolases, and abundant biomolecules found in human body. The probe has been successfully applied to measure native HA in diluted plasma samples and the secreted HA in the hepatocyte culture supernatant. DDAP has also been used for fluorescence imaging of HA reabsorption in living renal cells, and the results show that the probe exhibits good cell permeability, low cytotoxicity and high imaging resolution. Furthermore, DDAP has been successfully used for real-time tracking the uptaking and degradation of albumin in ex vivo mouse kidney models for the first time. All these results clearly demonstrated that DDAP-based assay held great promise for real-time sensing and tracking HA in complex biological systems, which would be very useful for basic researches and clinical diagnosis of HA-associated diseases.

Programming a real-time operating system for satellite control applications Satellite Control Applications

International Nuclear Information System (INIS)

Omer, M.; Anjum, O.; Suddle, M.R.

2004-01-01

With the realization of ideas like formation flights and multi-body space vehicles the demands on an attitude control system have become increasingly complex. Even in its most simplified form, the control system for a typical geostationary satellite has to run various supervisory functions along with determination and control algorithms side by side. Within each algorithm it has to employ multiple actuation and sensing mechanisms and service real time interrupts, for example, in the case of actuator saturation and sensor data fusion. This entails the idea of thread scheduling and program synchronization, tasks specifically meant for a real time OS. This paper explores the embedding of attitude determination and control loop within the framework of a real time operating system provided for TI's DSP C6xxx series. The paper details out the much functionality provided within the scaleable real time kernel and the analysis and configuration tools available, It goes on to describe a layered implementation stack associated with a typical control for Geo Stationary satellites. An application for control is then presented in which state of the art analysis tools are employed to view program threads, synchronization semaphores, hardware interrupts and data exchange pipes operating in real time. (author)

A distributed scheduling algorithm for heterogeneous real-time systems

Science.gov (United States)

Zeineldine, Osman; El-Toweissy, Mohamed; Mukkamala, Ravi

1991-01-01

Much of the previous work on load balancing and scheduling in distributed environments was concerned with homogeneous systems and homogeneous loads. Several of the results indicated that random policies are as effective as other more complex load allocation policies. The effects of heterogeneity on scheduling algorithms for hard real time systems is examined. A distributed scheduler specifically to handle heterogeneities in both nodes and node traffic is proposed. The performance of the algorithm is measured in terms of the percentage of jobs discarded. While a random task allocation is very sensitive to heterogeneities, the algorithm is shown to be robust to such non-uniformities in system components and load.

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...

Bayesian based design of real-time sensor systems for high-risk indoor contaminants

Energy Technology Data Exchange (ETDEWEB)

Sreedharan, Priya [Univ. of California, Berkeley, CA (United States)

2007-01-01

The sudden release of toxic contaminants that reach indoor spaces can be hazardousto building occupants. To respond effectively, the contaminant release must be quicklydetected and characterized to determine unobserved parameters, such as release locationand strength. Characterizing the release requires solving an inverse problem. Designinga robust real-time sensor system that solves the inverse problem is challenging becausethe fate and transport of contaminants is complex, sensor information is limited andimperfect, and real-time estimation is computationally constrained.This dissertation uses a system-level approach, based on a Bayes Monte Carloframework, to develop sensor-system design concepts and methods. I describe threeinvestigations that explore complex relationships among sensors, network architecture,interpretation algorithms, and system performance. The investigations use data obtainedfrom tracer gas experiments conducted in a real building. The influence of individual sensor characteristics on the sensor-system performance for binary-type contaminant sensors is analyzed. Performance tradeoffs among sensor accuracy, threshold level and response time are identified; these attributes could not be inferred without a system-level analysis. For example, more accurate but slower sensors are found to outperform less accurate but faster sensors. Secondly, I investigate how the sensor-system performance can be understood in terms of contaminant transport processes and the model representation that is used to solve the inverse problem. The determination of release location and mass are shown to be related to and constrained by transport and mixing time scales. These time scales explain performance differences among different sensor networks. For example, the effect of longer sensor response times is comparably less for releases with longer mixing time scales. The third investigation explores how information fusion from heterogeneous sensors may improve the sensor-system

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 modeling of complex atmospheric releases in urban areas

International Nuclear Information System (INIS)

Baskett, R.L.; Ellis, J.S.; Sullivan, T.J.

1994-08-01

If a nuclear installation in or near an urban area has a venting, fire, or explosion, airborne radioactivity becomes the major concern. Dispersion models are the immediate tool for estimating the dose and contamination. Responses in urban areas depend on knowledge of the amount of the release, representative meteorological data, and the ability of the dispersion model to simulate the complex flows as modified by terrain or local wind conditions. A centralized dispersion modeling system can produce realistic assessments of radiological accidents anywhere in a country within several minutes if it is computer-automated. The system requires source-term, terrain, mapping and dose-factor databases, real-time meteorological data acquisition, three-dimensional atmospheric transport and dispersion models, and experienced staff. Experience with past responses in urban areas by the Atmospheric Release Advisory Capability (ARAC) program at Lawrence Livermore National Laboratory illustrate the challenges for three-dimensional dispersion models

Real-time modelling of complex atmospheric releases in urban areas

International Nuclear Information System (INIS)

Baskett, R.L.; Ellis, J.S.; Sullivan, T.J.

2000-01-01

If a nuclear installation in or near an urban area has a venting, fire, or explosion, airborne radioactivity becomes the major concern. Dispersion models are the immediate tool for estimating the dose and contamination. Responses in urban areas depend on knowledge of the amount of the release, representative meteorological data, and the ability of the dispersion model to simulate the complex flows as modified by terrain or local wind conditions. A centralised dispersion modelling system can produce realistic assessments of radiological accidents anywhere in a country within several minutes if it is computer-automated. The system requires source-term, terrain, mapping and dose-factor databases, real-time meteorological data acquisition, three-dimensional atmospheric transport and dispersion models, and experienced staff. Experience with past responses in urban areas by the Atmospheric Release Advisory Capability (ARAC) program at Lawrence Livermore National Laboratory illustrate the challenges for three-dimensional dispersion models. (author)

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

In this paper 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 miniaturised version of this complex system is being developed for pattern matching in generic image processing applications. 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. The pattern matching can be executed by a custom designed Associative Memory (AM) chip. The reference patterns are chosen by a complex training algorithm implemented on an FPGA device. Post processing algorithms (e.g. pixel clustering...

Extending a HSF-enabled open-source real-time operating system with resource sharing

NARCIS (Netherlands)

Heuvel, van den M.M.H.P.; Bril, R.J.; Lukkien, J.J.; Behnam, M.; Petters, S.M.; Zijlstra, P.

2010-01-01

Hierarchical scheduling frameworks (HSFs) provide means for composing complex real-time systems from well-defined, independently analyzed subsystems. To support resource sharing within two-level, fixed priority scheduled HSFs, two synchronization protocols based on the stack resource policy (SRP)

High performance embedded system for real-time pattern matching

Energy Technology Data Exchange (ETDEWEB)

Sotiropoulou, C.-L., E-mail: c.sotiropoulou@cern.ch [University of Pisa, Largo B. Pontecorvo 3, 56127 Pisa (Italy); INFN-Pisa Section, Largo B. Pontecorvo 3, 56127 Pisa (Italy); Luciano, P. [University of Cassino and Southern Lazio, Gaetano di Biasio 43, Cassino 03043 (Italy); INFN-Pisa Section, Largo B. Pontecorvo 3, 56127 Pisa (Italy); Gkaitatzis, S. [Aristotle University of Thessaloniki, 54124 Thessaloniki (Greece); Citraro, S. [University of Pisa, Largo B. Pontecorvo 3, 56127 Pisa (Italy); INFN-Pisa Section, Largo B. Pontecorvo 3, 56127 Pisa (Italy); Giannetti, P. [INFN-Pisa Section, Largo B. Pontecorvo 3, 56127 Pisa (Italy); Dell' Orso, M. [University of Pisa, Largo B. Pontecorvo 3, 56127 Pisa (Italy); INFN-Pisa Section, Largo B. Pontecorvo 3, 56127 Pisa (Italy)

2017-02-11

In this paper 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 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 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. The pattern matching can be executed by a custom designed Associative Memory chip. The reference patterns are chosen by a complex training algorithm implemented on an FPGA device. Post processing algorithms (e.g. pixel clustering) are also implemented on the FPGA. The pattern matching can be executed on a 2D or 3D space, on black and white or grayscale images, depending on the application and thus increasing exponentially the processing requirements of the system. We present the firmware implementation of the training and pattern matching algorithm, performance and results on a latest generation Xilinx Kintex Ultrascale FPGA device. - Highlights: • A high performance embedded system for real-time pattern matching is proposed. • It is based on a system developed for High Energy Physics experiment triggers. • It mimics the operation of the human brain (cognitive image processing). • The process can be executed on 2D and 3D, black and white or grayscale images. • The implementation uses FPGAs and custom designed associative memory (AM) chips.

High performance embedded system for real-time pattern matching

International Nuclear Information System (INIS)

Sotiropoulou, C.-L.; Luciano, P.; Gkaitatzis, S.; Citraro, S.; Giannetti, P.; Dell'Orso, M.

2017-01-01

In this paper 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 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 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. The pattern matching can be executed by a custom designed Associative Memory chip. The reference patterns are chosen by a complex training algorithm implemented on an FPGA device. Post processing algorithms (e.g. pixel clustering) are also implemented on the FPGA. The pattern matching can be executed on a 2D or 3D space, on black and white or grayscale images, depending on the application and thus increasing exponentially the processing requirements of the system. We present the firmware implementation of the training and pattern matching algorithm, performance and results on a latest generation Xilinx Kintex Ultrascale FPGA device. - Highlights: • A high performance embedded system for real-time pattern matching is proposed. • It is based on a system developed for High Energy Physics experiment triggers. • It mimics the operation of the human brain (cognitive image processing). • The process can be executed on 2D and 3D, black and white or grayscale images. • The implementation uses FPGAs and custom designed associative memory (AM) chips.

A real-time PUFF-model for accidental releases in complex terrain

International Nuclear Information System (INIS)

Thykier-Nielsen, S.; Mikkelsen, T.; Larsen, S.E.; Troen, I.; Baas, A.F. de; Kamada, R.; Skupniewicz, C.; Schacher, G.

1990-01-01

LINCOM-RIMPUFF, a combined flow/puff model, was developed at Riso National Laboratory for the Vandenberg AFB Meteorology and Plume Dispersion Handbook and is suitable as is for real time response to emergency spills and vents of gases and radionuclides. LINCOM is a linear, diagnostic, spectral, potential flow model which extends the Jackson-Hunt theory of non-hydrostatic, adiabatic wind flow over hills to the mesoscale domain. It is embedded in a weighted objective analysis (WOA) of real-time Vandenberg tower winds and may be used in ultra-high speed lookup table mode. The mesoscale dispersion model RIMPUFF is a flexible Gaussian puff model equipped with computer-time effective features for terrain and stability-dependent dispersion parameterization, plume rise formulas, inversion and ground-level reflection capabilities and wet/dry (source) depletion. It can treat plume bifurcation in complex terrain by using a puff-splitting scheme. It allows the flow-model to compute the larger scale wind field, reserving turbulent diffusion calculations for the sub-grid scale. In diagnostic mode toxic exposure are well assessed via the release of a single initial puff. With optimization, processing time for RIMPUFF should be on the order of 2 CPU minutes or less on a PC-system. In prognostic mode with shifting winds, multiple puff releases may become necessary, thereby lengthening processing time

Real-time decision support and information gathering system for financial domain

Science.gov (United States)

Tseng, Chiu-Che; Gmytrasiewicz, Piotr J.

2006-05-01

The challenge of the investment domain is that a large amount of diverse information can be potentially relevant to an investment decision, and that, frequently, the decisions have to be made in a timely manner. This presents the potential for better decision support, but poses the challenge of building a decision support agent that gathers information from different sources and incorporates it for timely decision support. These problems motivate us to investigate ways in which the investors can be equipped with a flexible real-time decision support system to be practical in time-critical situations. The flexible real-time decision support system considers a tradeoff between decision quality and computation cost. For this purpose, we propose a system that uses the object oriented Bayesian knowledge base (OOBKB) design to create a decision model at the most suitable level of detail to guide the information gathering activities, and to produce an investment recommendation within a reasonable length of time. The decision models our system uses are implemented as influence diagrams. We validate our system with experiments in a simplified investment domain. The experiments show that our system produces a quality recommendation under different urgency situations. The contribution of our system is that it provides the flexible decision recommendation for an investor under time constraints in a complex environment.

Real-time UNIX in HEP data acquisition

International Nuclear Information System (INIS)

Buono, S.; Gaponenko, I.; Jones, R.; Mapelli, L.; Mornacchi, G.; Prigent, D.; Sanchez-Corral, E.; Skiadelli, M.; Toppers, A.; Duval, P.Y.; Ferrato, D.; Le Van Suu, A.; Qian, Z.; Rondot, C.; Ambrosini, G.; Fumagalli, G.; Aguer, M.; Huet, M.

1994-01-01

Today's experimentation in high energy physics is characterized by an increasing need for sensitivity to rare phenomena and complex physics signatures, which require the use of huge and sophisticated detectors and consequently a high performance readout and data acquisition. Multi-level triggering, hierarchical data collection and an always increasing amount of processing power, distributed throughout the data acquisition layers, will impose a number of features on the software environment, especially the need for a high level of standardization. Real-time UNIX seems, today, the best solution for the platform independence, operating system interface standards and real-time features necessary for data acquisition in HEP experiments. We present the results of the evaluation, in a realistic application environment, of a Real-Time UNIX operating system: the EP/LX real-time UNIX system. ((orig.))

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...

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

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.

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.

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.

Real-Time Thevenin Impedance Computation

DEFF Research Database (Denmark)

Sommer, Stefan Horst; Jóhannsson, Hjörtur

2013-01-01

operating state, and strict time constraints are difficult to adhere to as the complexity of the grid increases. Several suggested approaches for real-time stability assessment require Thevenin impedances to be determined for the observed system conditions. By combining matrix factorization, graph reduction......, and parallelization, we develop an algorithm for computing Thevenin impedances an order of magnitude faster than previous approaches. We test the factor-and-solve algorithm with data from several power grids of varying complexity, and we show how the algorithm allows realtime stability assessment of complex power...

Study on Real-Time Simulation Analysis and Inverse Analysis System for Temperature and Stress of Concrete Dam

Directory of Open Access Journals (Sweden)

Lei Zhang

2015-01-01

Full Text Available In the concrete dam construction, it is very necessary to strengthen the real-time monitoring and scientific management of concrete temperature control. This paper constructs the analysis and inverse analysis system of temperature stress simulation, which is based on various useful data collected in real time in the process of concrete construction. The system can produce automatically data file of temperature and stress calculation and then achieve the remote real-time simulation calculation of temperature stress by using high performance computing techniques, so the inverse analysis can be carried out based on a basis of monitoring data in the database; it fulfills the automatic feedback calculation according to the error requirement and generates the corresponding curve and chart after the automatic processing and analysis of corresponding results. The system realizes the automation and intellectualization of complex data analysis and preparation work in simulation process and complex data adjustment in the inverse analysis process, which can facilitate the real-time tracking simulation and feedback analysis of concrete temperature stress in construction process and enable you to discover problems timely, take measures timely, and adjust construction scheme and can well instruct you how to ensure project quality.

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

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.

End-User Applications of Real-Time Earthquake Information in Europe

Science.gov (United States)

Cua, G. B.; Gasparini, P.; Giardini, D.; Zschau, J.; Filangieri, A. R.; Reakt Wp7 Team

2011-12-01

The primary objective of European FP7 project REAKT (Strategies and Tools for Real-Time Earthquake Risk Reduction) is to improve the efficiency of real-time earthquake risk mitigation methods and their capability of protecting structures, infrastructures, and populations. REAKT aims to address the issues of real-time earthquake hazard and response from end-to-end, with efforts directed along the full spectrum of methodology development in earthquake forecasting, earthquake early warning, and real-time vulnerability systems, through optimal decision-making, and engagement and cooperation of scientists and end users for the establishment of best practices for use of real-time information. Twelve strategic test cases/end users throughout Europe have been selected. This diverse group of applications/end users includes civil protection authorities, railway systems, hospitals, schools, industrial complexes, nuclear plants, lifeline systems, national seismic networks, and critical structures. The scale of target applications covers a wide range, from two school complexes in Naples, to individual critical structures, such as the Rion Antirion bridge in Patras, and the Fatih Sultan Mehmet bridge in Istanbul, to large complexes, such as the SINES industrial complex in Portugal and the Thessaloniki port area, to distributed lifeline and transportation networks and nuclear plants. Some end-users are interested in in-depth feasibility studies for use of real-time information and development of rapid response plans, while others intend to install real-time instrumentation and develop customized automated control systems. From the onset, REAKT scientists and end-users will work together on concept development and initial implementation efforts using the data products and decision-making methodologies developed with the goal of improving end-user risk mitigation. The aim of this scientific/end-user partnership is to ensure that scientific efforts are applicable to operational

On real-time assessment of post-emergency condition existence in complex electric power systems

Energy Technology Data Exchange (ETDEWEB)

Tarasov, Vladimir I. [Irkutsk State Technical University 83, Lermontov Street, Irkutsk 664074 (Russian Federation)

2008-12-15

This paper presents two effective numerical criteria of estimating post-emergency operating conditions' non-existence in complicated electric power systems. These criteria are based on mathematic and programming tools of the regularized quadratic descent method and the regularized two-parameter minimization method. The proposed criteria can be effectively applied in calculations of real-time electric operating conditions. (author)

Testing Real-Time Systems Using UPPAAL

DEFF Research Database (Denmark)

Hessel, Anders; Larsen, Kim Guldstrand; Mikucionis, Marius

2008-01-01

This chapter presents principles and techniques for model-based black-box conformance testing of real-time systems using the Uppaal model-checking tool-suite. The basis for testing is given as a network of concurrent timed automata specified by the test engineer. Relativized input...

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 ...

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

Reconfigurable vision system for real-time applications

Science.gov (United States)

Torres-Huitzil, Cesar; Arias-Estrada, Miguel

2002-03-01

Recently, a growing community of researchers has used reconfigurable systems to solve computationally intensive problems. Reconfigurability provides optimized processors for systems on chip designs, and makes easy to import technology to a new system through reusable modules. The main objective of this work is the investigation of a reconfigurable computer system targeted for computer vision and real-time applications. The system is intended to circumvent the inherent computational load of most window-based computer vision algorithms. It aims to build a system for such tasks by providing an FPGA-based hardware architecture for task specific vision applications with enough processing power, using the minimum amount of hardware resources as possible, and a mechanism for building systems using this architecture. Regarding the software part of the system, a library of pre-designed and general-purpose modules that implement common window-based computer vision operations is being investigated. A common generic interface is established for these modules in order to define hardware/software components. These components can be interconnected to develop more complex applications, providing an efficient mechanism for transferring image and result data among modules. Some preliminary results are presented and discussed.

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

An intelligent system for real time automatic defect inspection on specular coated surfaces

Science.gov (United States)

Li, Jinhua; Parker, Johné M.; Hou, Zhen

2005-07-01

Product visual inspection is still performed manually or semi automatically in most industries from simple ceramic tile grading to complex automotive body panel paint defect and surface quality inspection. Moreover, specular surfaces present additional challenge to conventional vision systems due to specular reflections, which may mask the true location of objects and lead to incorrect measurements. There are some sophisticated visual inspection methods developed in recent years. Unfortunately, most of them are highly computational. Systems built on those methods are either inapplicable or very costly to achieve real time inspection. In this paper, we describe an integrated low-cost intelligent system developed to automatically capture, extract, and segment defects on specular surfaces with uniform color coatings. The system inspects and locates regular surface defects with lateral dimensions as small as a millimeter. The proposed system is implemented on a group of smart cameras using its on-board processing ability to achieve real time inspection. The experimental results on real test panels demonstrate the effectiveness and robustness of proposed system.

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.

Real Time Strategy Language

OpenAIRE

Hayes, Roy; Beling, Peter; Scherer, William

2014-01-01

Real Time Strategy (RTS) games provide complex domain to test the latest artificial intelligence (AI) research. In much of the literature, AI systems have been limited to playing one game. Although, this specialization has resulted in stronger AI gaming systems it does not address the key concerns of AI researcher. AI researchers seek the development of AI agents that can autonomously interpret learn, and apply new knowledge. To achieve human level performance, current AI systems rely on game...

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 generation of the Wigner distribution of complex functions using phase conjugation in photorefractive materials.

Science.gov (United States)

Sun, P C; Fainman, Y

1990-09-01

An optical processor for real-time generation of the Wigner distribution of complex amplitude functions is introduced. The phase conjugation of the input signal is accomplished by a highly efficient self-pumped phase conjugator based on a 45 degrees -cut barium titanate photorefractive crystal. Experimental results on the real-time generation of Wigner distribution slices for complex amplitude two-dimensional optical functions are presented and discussed.

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.

Real-time digital simulation of power electronics systems with Neutral Point Piloted multilevel inverter using FPGA

Energy Technology Data Exchange (ETDEWEB)

Rakotozafy, Mamianja [Groupe de Recherches en Electrotechnique et Electronique de Nancy (GREEN), Faculte des Sciences et Techniques, BP 70239, 54506 Vandoeuvre Cedex (France); CONVERTEAM SAS, Parc d' activites Techn' hom, 24 avenue du Marechal Juin, BP 40437, 90008 Belfort Cedex (France); Poure, Philippe [Laboratoire d' Instrumentation Electronique de Nancy (LIEN), Faculte des Sciences et Techniques, BP 70239, 54506 Vandoeuvre Cedex (France); Saadate, Shahrokh [Groupe de Recherches en Electrotechnique et Electronique de Nancy (GREEN), Faculte des Sciences et Techniques, BP 70239, 54506 Vandoeuvre Cedex (France); Bordas, Cedric; Leclere, Loic [CONVERTEAM SAS, Parc d' activites Techn' hom, 24 avenue du Marechal Juin, BP 40437, 90008 Belfort Cedex (France)

2011-02-15

Most of actual real time simulation platforms have practically about ten microseconds as minimum calculation time step, mainly due to computation limits such as processing speed, architecture adequacy and modeling complexities. Therefore, simulation of fast switching converters' instantaneous models requires smaller computing time step. The approach presented in this paper proposes an answer to such limited modeling accuracies and computational bandwidth of the currently available digital simulators.As an example, the authors present a low cost, flexible and high performance FPGA-based real-time digital simulator for a complete complex power system with Neutral Point Piloted (NPP) three-level inverter. The proposed real-time simulator can model accurately and efficiently the complete power system, reducing costs, physical space and avoiding any damage to the actual equipment in the case of any dysfunction of the digital controller prototype. The converter model is computed at a small fixed time step as low as 100 ns. Such a computation time step allows high precision account of the gating signals and thus avoids averaging methods and event compensations. Moreover, a novel high performance model of the NPP three-level inverter has also been proposed for FPGA implementation. The proposed FPGA-based simulator models the environment of the NPP converter: the dc link, the RLE load and the digital controller and gating signals. FPGA-based real time simulation results are presented and compared with offline results obtained using PLECS software. They validate the efficiency and accuracy of the modeling for the proposed high performance FPGA-based real-time simulation approach. This paper also introduces new potential FPGA-based applications such as low cost real time simulator for power systems by developing a library of flexible and portable models for power converters, electrical machines and drives. (author)

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

Real-time Data Access Monitoring in Distributed, Multi-petabyte Systems

Energy Technology Data Exchange (ETDEWEB)

Azemoon, Tofigh; Becla, Jacek, a=Hanushevsky, Andrew; Turri, Massimiliano; /SLAC

2008-04-22

Petascale systems are in existence today and will become common in the next few years. Such systems are inevitably very complex, highly distributed and heterogeneous. Monitoring a petascale system in real-time and understanding its status at any given moment without impacting its performance is a highly intricate task. Common approaches and off-the-shelf tools are either unusable, do not scale, or severely impact the performance of the monitored servers. This paper describes unobtrusive monitoring software developed at Stanford Linear Accelerator Center (SLAC) for a highly distributed petascale production data set. The paper describes the employed solutions, the lessons learned, the problems still to be addressed, and explains how the system can be reused elsewhere.

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

Real-Time Implementation of Medical Ultrasound Strain Imaging System

International Nuclear Information System (INIS)

Jeong, Mok Kun; Kwon, Sung Jae; Bae, Moo Ho

2008-01-01

Strain imaging in a medical ultrasound imaging system can differentiate the cancer or tumor in a lesion that is stiffer than the surrounding tissue. In this paper, a strain imaging technique using quasistatic compression is implemented that estimates the displacement between pre- and postcompression ultrasound echoes and obtains strain by differentiating it in the spatial direction. Displacements are computed from the phase difference of complex baseband signals obtained using their autocorrelation, and errors associated with converting the phase difference into time or distance are compensated for by taking into the center frequency variation. Also, to reduce the effect of operator's hand motion, the displacements of all scanlines are normalized with the result that satisfactory strain image quality has been obtained. These techniques have been incorporated into implementing a medical ultrasound strain imaging system that operates in real time.

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)

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...

Interacting complex systems: Theory and application to real-world situations

Science.gov (United States)

Piccinini, Nicola

The interest in complex systems has increased exponentially during the past years because it was found helpful in addressing many of today's challenges. The study of the brain, biology, earthquakes, markets and social sciences are only a few examples of the fields that have benefited from the investigation of complex systems. Internet, the increased mobility of people and the raising energy demand are among the factors that brought in contact complex systems that were isolated till a few years ago. A theory for the interaction between complex systems is becoming more and more urgent to help mankind in this transition. The present work builds upon the most recent results in this field by solving a theoretical problem that prevented previous work to be applied to important complex systems, like the brain. It also shows preliminary laboratory results of perturbation of in vitro neural networks that were done to test the theory. Finally, it gives a preview of the studies that are being done to create a theory that is even closer to the interaction between real complex systems.

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

Modified projective synchronization with complex scaling factors of uncertain real chaos and complex chaos

International Nuclear Information System (INIS)

Zhang Fang-Fang; Liu Shu-Tang; Yu Wei-Yong

2013-01-01

To increase the variety and security of communication, we present the definitions of modified projective synchronization with complex scaling factors (CMPS) of real chaotic systems and complex chaotic systems, where complex scaling factors establish a link between real chaos and complex chaos. Considering all situations of unknown parameters and pseudo-gradient condition, we design adaptive CMPS schemes based on the speed-gradient method for the real drive chaotic system and complex response chaotic system and for the complex drive chaotic system and the real response chaotic system, respectively. The convergence factors and dynamical control strength are added to regulate the convergence speed and increase robustness. Numerical simulations verify the feasibility and effectiveness of the presented schemes. (general)

New technologies for supporting real-time on-board software development

Science.gov (United States)

Kerridge, D.

1995-03-01

The next generation of on-board data management systems will be significantly more complex than current designs, and will be required to perform more complex and demanding tasks in software. Improved hardware technology, in the form of the MA31750 radiation hard processor, is one key component in addressing the needs of future embedded systems. However, to complement these hardware advances, improved support for the design and implementation of real-time data management software is now needed. This will help to control the cost and risk assoicated with developing data management software development as it becomes an increasingly significant element within embedded systems. One particular problem with developing embedded software is managing the non-functional requirements in a systematic way. This paper identifies how Logica has exploited recent developments in hard real-time theory to address this problem through the use of new hard real-time analysis and design methods which can be supported by specialized tools. The first stage in transferring this technology from the research domain to industrial application has already been completed. The MA37150 Hard Real-Time Embedded Software Support Environment (HESSE) is a loosely integrated set of hardware and software tools which directly support the process of hard real-time analysis for software targeting the MA31750 processor. With further development, this HESSE promises to provide embedded system developers with software tools which can reduce the risks associated with developing complex hard real-time software. Supported in this way by more sophisticated software methods and tools, it is foreseen that MA31750 based embedded systems can meet the processing needs for the next generation of on-board data management systems.

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 of Wearable Breathing Sound Monitoring System for Real-Time Wheeze Detection

Directory of Open Access Journals (Sweden)

Shih-Hong Li

2017-01-01

Full Text Available In the clinic, the wheezing sound is usually considered as an indicator symptom to reflect the degree of airway obstruction. The auscultation approach is the most common way to diagnose wheezing sounds, but it subjectively depends on the experience of the physician. Several previous studies attempted to extract the features of breathing sounds to detect wheezing sounds automatically. However, there is still a lack of suitable monitoring systems for real-time wheeze detection in daily life. In this study, a wearable and wireless breathing sound monitoring system for real-time wheeze detection was proposed. Moreover, a breathing sounds analysis algorithm was designed to continuously extract and analyze the features of breathing sounds to provide the objectively quantitative information of breathing sounds to professional physicians. Here, normalized spectral integration (NSI was also designed and applied in wheeze detection. The proposed algorithm required only short-term data of breathing sounds and lower computational complexity to perform real-time wheeze detection, and is suitable to be implemented in a commercial portable device, which contains relatively low computing power and memory. From the experimental results, the proposed system could provide good performance on wheeze detection exactly and might be a useful assisting tool for analysis of breathing sounds in clinical diagnosis.

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...

Memory Efficient Hard Real-Time Garbage Collection

OpenAIRE

Ritzau, Tobias

2003-01-01

As the development of hardware progresses, computers are expected to solve increasingly complex problems. However, solving more complex problems requires more complex software. To be able to develop these software systems, new programming languages with new features and higher abstraction levels are introduced. These features are designed to ease development, but sometimes they also make the runtime behavior unpredictable. Such features can not be used in real-time systems. A feature that tra...

Scheduling for energy and reliability management on multiprocessor real-time systems

Science.gov (United States)

Qi, Xuan

Scheduling algorithms for multiprocessor real-time systems have been studied for years with many well-recognized algorithms proposed. However, it is still an evolving research area and many problems remain open due to their intrinsic complexities. With the emergence of multicore processors, it is necessary to re-investigate the scheduling problems and design/develop efficient algorithms for better system utilization, low scheduling overhead, high energy efficiency, and better system reliability. Focusing cluster schedulings with optimal global schedulers, we study the utilization bound and scheduling overhead for a class of cluster-optimal schedulers. Then, taking energy/power consumption into consideration, we developed energy-efficient scheduling algorithms for real-time systems, especially for the proliferating embedded systems with limited energy budget. As the commonly deployed energy-saving technique (e.g. dynamic voltage frequency scaling (DVFS)) will significantly affect system reliability, we study schedulers that have intelligent mechanisms to recuperate system reliability to satisfy the quality assurance requirements. Extensive simulation is conducted to evaluate the performance of the proposed algorithms on reduction of scheduling overhead, energy saving, and reliability improvement. The simulation results show that the proposed reliability-aware power management schemes could preserve the system reliability while still achieving substantial energy saving.

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...

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

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

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

Wave optics modeling of real-time holographic wavefront compensation systems using OSSim

Science.gov (United States)

Carbon, Margarita A.; Guthals, Dennis M.; Logan, Jerry D.

2005-08-01

OSSim (Optical System Simulation) is a wave-optics, time-domain simulation toolbox with both optical and data processing components developed for adaptive optics (AO) systems. Diffractive wavefront control elements have recently been added that accurately model optically and electrically addressed spatial light modulators as real time holographic (RTH) devices in diffractive wavefront control systems. The developed RTH toolbox has found multiple applications for a variety of Boeing programs in solving problems of AO system analysis and design. Several complex diffractive wavefront control systems have been modeled for compensation of static and dynamic aberrations such as imperfect segmented primary mirrors and atmospheric and boundary layer turbulence. The results of OSSim simulations of RTH wavefront compensation show very good agreement with available experimental data.

Developing a real-time emulation of multiresolutional control architectures for complex, discrete-event systems

Energy Technology Data Exchange (ETDEWEB)

Davis, W.J.; Macro, J.G.; Brook, A.L. [Univ. of Illinois, Urbana, IL (United States)] [and others

1996-12-31

This paper first discusses an object-oriented, control architecture and then applies the architecture to produce a real-time software emulator for the Rapid Acquisition of Manufactured Parts (RAMP) flexible manufacturing system (FMS). In specifying the control architecture, the coordinated object is first defined as the primary modeling element. These coordinated objects are then integrated into a Recursive, Object-Oriented Coordination Hierarchy. A new simulation methodology, the Hierarchical Object-Oriented Programmable Logic Simulator, is then employed to model the interactions among the coordinated objects. The final step in implementing the emulator is to distribute the models of the coordinated objects over a network of computers and to synchronize their operation to a real-time clock. The paper then introduces the Hierarchical Subsystem Controller as an intelligent controller for the coordinated object. The proposed approach to intelligent control is then compared to the concept of multiresolutional semiosis that has been developed by Dr. Alex Meystel. Finally, the plans for implementing an intelligent controller for the RAMP FMS are discussed.

Robust Real-Time Tracking for Visual Surveillance

Directory of Open Access Journals (Sweden)

Aguilera Josep

2007-01-01

Full Text Available This paper describes a real-time multi-camera surveillance system that can be applied to a range of application domains. This integrated system is designed to observe crowded scenes and has mechanisms to improve tracking of objects that are in close proximity. The four component modules described in this paper are (i motion detection using a layered background model, (ii object tracking based on local appearance, (iii hierarchical object recognition, and (iv fused multisensor object tracking using multiple features and geometric constraints. This integrated approach to complex scene tracking is validated against a number of representative real-world scenarios to show that robust, real-time analysis can be performed.

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...

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.

Quantification of complex blood flow using real-time in vivo vector flow ultrasound

DEFF Research Database (Denmark)

Pedersen, Mads Møller; Pihl, Michael Johannes; Haugaard, Per

2010-01-01

A quantitative method for distinguishing complex from non-complex flow patterns in ultrasound is presented. A new commercial BK Medical ultrasound scanner uses the Transverse Oscillation vector flow technique for visualising flow patterns in real-time. In vivo vector flow data of the blood flow...... patterns of the common carotid artery and the carotid bulb were obtained simultaneously as the basis for quantifying complex flow. The carotid bifurcation of two healthy volunteers were scanned. The presence of complex flow patterns from eight cardiac cycles were evaluated by three experts in medical...... for automatic detection of complex flow patterns....

A REAL TIME DECISION SUPPORT SYSTEM FOR THE ADJUSTMENT OF SAILBOAT RIGGING

Directory of Open Access Journals (Sweden)

Inmaculada Ortigosa

2016-01-01

Full Text Available The operational complexity and performance requirements of modern racing yachts demand the use of advanced applications, such as a decision support system (DSS able to assist crew members during navigation. In this article, the authors describe a near-time computational solver as the main piece of a DSS which analyses and monitors the behaviour of sails and rigging. The solver is made up of two different interconnected tools: an iterative Fluid-Structure Interaction algorithm and an advanced Wireless Sensor Network to monitor rigging. The real-time DSS quantifies crew manoeuvres in physical terms, which are reproduced by a simulation program. It can be used in the design phase of sailing yachts and as an aid for real-time boat performance optimisation and accident prevention. This novel DSS is a useful tool for navigation, especially in races.

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...

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)

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…

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

A real-time architecture for time-aware agents.

Science.gov (United States)

Prouskas, Konstantinos-Vassileios; Pitt, Jeremy V

2004-06-01

This paper describes the specification and implementation of a new three-layer time-aware agent architecture. This architecture is designed for applications and environments where societies of humans and agents play equally active roles, but interact and operate in completely different time frames. The architecture consists of three layers: the April real-time run-time (ART) layer, the time aware layer (TAL), and the application agents layer (AAL). The ART layer forms the underlying real-time agent platform. An original online, real-time, dynamic priority-based scheduling algorithm is described for scheduling the computation time of agent processes, and it is shown that the algorithm's O(n) complexity and scalable performance are sufficient for application in real-time domains. The TAL layer forms an abstraction layer through which human and agent interactions are temporally unified, that is, handled in a common way irrespective of their temporal representation and scale. A novel O(n2) interaction scheduling algorithm is described for predicting and guaranteeing interactions' initiation and completion times. The time-aware predicting component of a workflow management system is also presented as an instance of the AAL layer. The described time-aware architecture addresses two key challenges in enabling agents to be effectively configured and applied in environments where humans and agents play equally active roles. It provides flexibility and adaptability in its real-time mechanisms while placing them under direct agent control, and it temporally unifies human and agent interactions.

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.

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

The inverse method parametric verification of real-time embedded systems

CERN Document Server

André , Etienne

2013-01-01

This book introduces state-of-the-art verification techniques for real-time embedded systems, based on the inverse method for parametric timed automata. It reviews popular formalisms for the specification and verification of timed concurrent systems and, in particular, timed automata as well as several extensions such as timed automata equipped with stopwatches, linear hybrid automata and affine hybrid automata.The inverse method is introduced, and its benefits for guaranteeing robustness in real-time systems are shown. Then, it is shown how an iteration of the inverse method can solv

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.

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.

Specification of real-time automation systems with HybridUML; Spezifikation von Echtzeit-Automatisierungssystemen mit HybridUML

Energy Technology Data Exchange (ETDEWEB)

Berkenkoetter, K.; Bisanz, S.; Hannemann, U.; Peleska, J. [Univ. Bremen (Germany)

2004-07-01

Complex automation systems require specification formalisms supporting the description of real-time requirements with respect to both discrete and time-continuous observables. For this purpose, the authors have designed the HybridUML specification language. Discrete events, communication, and variable assignments are specified by state machines, timers, and invariant conditions. The time-continuous aspects of system behaviour are described by associating differential equations or time-dependent algebraic conditions with system states. The complexity of large systems is controlled by decomposing the specification into parallel components and hierarchical state machines. Instead of inventing a new language syntax, HybridUML is represented as a profile of the Unified Modeling Language UML 2.0. This allows to re-use the syntactic framework of well-accepted graphical UML constructs and development support provided by various UML case tools. The profile is associated with a precise language semantics linking unambiguous meaning to all HybridUML specifications. As a consequence, HybridUML specifications can be compiled into executable code which is suitable for execution in hard realtime on multi-processor computers. This serves both for the development of automation systems and for specification-based testing in real-time. This paper contains an introduction to HybridUML which is illustrated by an example from the field of automated train control. (orig.)

A knowledge-based flight status monitor for real-time application in digital avionics systems

Science.gov (United States)

Duke, E. L.; Disbrow, J. D.; Butler, G. F.

1989-01-01

The Dryden Flight Research Facility of the National Aeronautics and Space Administration (NASA) Ames Research Center (Ames-Dryden) is the principal NASA facility for the flight testing and evaluation of new and complex avionics systems. To aid in the interpretation of system health and status data, a knowledge-based flight status monitor was designed. The monitor was designed to use fault indicators from the onboard system which are telemetered to the ground and processed by a rule-based model of the aircraft failure management system to give timely advice and recommendations in the mission control room. One of the important constraints on the flight status monitor is the need to operate in real time, and to pursue this aspect, a joint research activity between NASA Ames-Dryden and the Royal Aerospace Establishment (RAE) on real-time knowledge-based systems was established. Under this agreement, the original LISP knowledge base for the flight status monitor was reimplemented using the intelligent knowledge-based system toolkit, MUSE, which was developed under RAE sponsorship. Details of the flight status monitor and the MUSE implementation are presented.

On-orbit real-time robust cooperative target identification in complex background

Directory of Open Access Journals (Sweden)

Wen Zhuoman

2015-10-01

Full Text Available Cooperative target identification is the prerequisite for the relative position and orientation measurement between the space robot arm and the to-be-arrested object. We propose an on-orbit real-time robust algorithm for cooperative target identification in complex background using the features of circle and lines. It first extracts only the interested edges in the target image using an adaptive threshold and refines them to about single-pixel-width with improved non-maximum suppression. Adapting a novel tracking approach, edge segments changing smoothly in tangential directions are obtained. With a small amount of calculation, large numbers of invalid edges are removed. From the few remained edges, valid circular arcs are extracted and reassembled to obtain circles according to a reliable criterion. Finally, the target is identified if there are certain numbers of straight lines whose relative positions with the circle match the known target pattern. Experiments demonstrate that the proposed algorithm accurately identifies the cooperative target within the range of 0.3–1.5 m under complex background at the speed of 8 frames per second, regardless of lighting condition and target attitude. The proposed algorithm is very suitable for real-time visual measurement of space robot arm because of its robustness and small memory requirement.

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

Incipient multiple fault diagnosis in real time with applications to large-scale systems

International Nuclear Information System (INIS)

Chung, H.Y.; Bien, Z.; Park, J.H.; Seon, P.H.

1994-01-01

By using a modified signed directed graph (SDG) together with the distributed artificial neutral networks and a knowledge-based system, a method of incipient multi-fault diagnosis is presented for large-scale physical systems with complex pipes and instrumentations such as valves, actuators, sensors, and controllers. The proposed method is designed so as to (1) make a real-time incipient fault diagnosis possible for large-scale systems, (2) perform the fault diagnosis not only in the steady-state case but also in the transient case as well by using a concept of fault propagation time, which is newly adopted in the SDG model, (3) provide with highly reliable diagnosis results and explanation capability of faults diagnosed as in an expert system, and (4) diagnose the pipe damage such as leaking, break, or throttling. This method is applied for diagnosis of a pressurizer in the Kori Nuclear Power Plant (NPP) unit 2 in Korea under a transient condition, and its result is reported to show satisfactory performance of the method for the incipient multi-fault diagnosis of such a large-scale system in a real-time manner

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.

MODELING OF POWER SYSTEMS AND TESTING OF RELAY PROTECTION DEVICES IN REAL AND MODEL TIME

Directory of Open Access Journals (Sweden)

I. V. Novash

2017-01-01

Full Text Available The methods of modelling of power system modes and of testing of relay protection devices with the aid the simulation complexes in real time and with the help of computer software systems that enables the simulation of virtual time scale are considered. Information input protection signals in the simulation of the virtual model time are being obtained in the computational experiment, whereas the tests of protective devices are carried out with the help of hardware and software test systems with the use of estimated input signals. Study of power system stability when modes of generating and consuming electrical equipment and conditions of devices of relay protection are being changed requires testing with the use of digital simulators in a mode of a closed loop. Herewith feedbacks between a model of the power system operating in a real time and external devices or their models must be determined (modelled. Modelling in real time and the analysis of international experience in the use of digital simulation power systems for real-time simulation (RTDS simulator have been fulfilled. Examples are given of the use of RTDS systems by foreign energy companies to test relay protection systems and control, to test the equipment and devices of automatic control, analysis of cyber security and evaluation of the operation of energy systems under different scenarios of occurrence of emergency situations. Some quantitative data on the distribution of RTDS in different countries and Russia are presented. It is noted that the leading energy universities of Russia use the real-time simulation not only to solve scientific and technical problems, but also to conduct training and laboratory classes on modelling of electric networks and anti-emergency automatic equipment with the students. In order to check serviceability of devices of relay protection without taking into account the reaction of the power system tests can be performed in an open loop mode with the

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.

Design and implement of infrared small target real-time detection system based on pipeline technology

Science.gov (United States)

Sun, Lihui; Wang, Yongzhong; He, Yongqiang

2007-01-01

The detection for motive small target in infrared image sequence has become a hot topic nowadays. Background suppress algorithm based on minim gradient median filter and temporal recursion target detection algorithm are introduced. On the basis of contents previously mentioned, a four stages pipeline structure infrared small target detection process system, which aims at characters of algorithm complexity, large amounts of data to process, high frame frequency and exigent real-time character in this kind of application, is designed and implemented. The logical structure of the system was introduced and the function and signals flows are programmed. The system is composed of two FPGA chips and two DSP chips of TI. According to the function of each part, the system is divided into image preprocess stage, target detection stage, track relation stage and image output stage. The experiment of running algorithms on the system presented in this paper proved that the system could meet acquisition and process of 50Hz 240x320 digital image and the system could real time detect small target with a signal-noise ratio more than 3 reliably. The system achieves the characters of large amount of memory, high real-time processing, excellent extension and favorable interactive interface.

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...

A Linear Time Complexity of Breadth-First Search Using P System with Membrane Division

Directory of Open Access Journals (Sweden)

Einallah Salehi

2013-01-01

Full Text Available One of the known methods for solving the problems with exponential time complexity such as NP-complete problems is using the brute force algorithms. Recently, a new parallel computational framework called Membrane Computing is introduced which can be applied in brute force algorithms. The usual way to find a solution for the problems with exponential time complexity with Membrane Computing techniques is by P System with active membrane using division rule. It makes an exponential workspace and solves the problems with exponential complexity in a polynomial (even linear time. On the other hand, searching is currently one of the most used methods for finding solution for problems in real life, that the blind search algorithms are accurate, but their time complexity is exponential such as breadth-first search (BFS algorithm. In this paper, we proposed a new approach for implementation of BFS by using P system with division rule technique for first time. The theorem shows time complexity of BSF in this framework on randomly binary trees reduced from O(2d to O(d.

Real Time Wide Area Radiation Surveillance System

Science.gov (United States)

Biafore, M.

2012-04-01

We present the REWARD project, financed within the FP7 programme, theme SEC-2011.1.5-1 (Development of detection capabilities of difficult to detect radioactive sources and nuclear materials - Capability Project). Within this project, we propose a novel mobile system for real time, wide area radiation surveillance. The system is based on the integration of new miniaturized solid-state radiation sensors: a CdZnTe detector for gamma radiation and a high efficiency neutron detector based on novel silicon technologies. The sensing unit will include a wireless communication interface to send the data remotely to a monitoring base station which also uses a GPS system to calculate the position of the tag. The system will also incorporate middleware and high level software to provide web-service interfaces for the exchange of information, and that will offer top level functionalities as management of users, mobile tags and environment data and alarms, database storage and management and a web-based graphical user interface. Effort will be spent to ensure that the software is modular and re-usable across as many architectural levels as possible. Finally, an expert system will continuously analyze the information from the radiation sensor and correlate it with historical data from the tag location in order to generate an alarm when an abnormal situation is detected. The system will be useful for many different scenarios, including such lost radioactive sources and radioactive contamination. It will be possible to deploy in emergency units and in general in any type of mobile or static equipment. The sensing units will be highly portable thanks to their low size and low energy consumption. The complete system will be scalable in terms of complexity and cost and will offer very high precision on both the measurement and the location of the radiation. The modularity and flexibility of the system will allow for a realistic introduction to the market. Authorities may start with a

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...

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

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.

Studying Complex Interactions in Real Time

DEFF Research Database (Denmark)

Mønster, Dan

2017-01-01

The study of human behavior must take into account the social context, and real-time, networked experiments with multiple participants is one increasingly popular way to achieve this. In this paper a framework based on Python and XMPP is presented that aims to make it easy to develop...

Carded Tow Real-Time Color Assessment: A Spectral Camera-Based System

Directory of Open Access Journals (Sweden)

Rocco Furferi

2016-08-01

Full Text Available One of the most important parameters to be controlled during the production of textile yarns obtained by mixing pre-colored fibers, is the color correspondence between the manufactured yarn and a given reference, usually provided by a designer or a customer. Obtaining yarns from raw pre-colored fibers is a complex manufacturing process entailing a number of steps such as laboratory sampling, color recipe corrections, blowing, carding and spinning. Carding process is the one devoted to transform a “fuzzy mass” of tufted fibers into a regular mass of untwisted fibers, named “tow”. During this process, unfortunately, the correspondence between the color of the tow and the target one cannot be assured, thus leading to yarns whose color differs from the one used for reference. To solve this issue, the main aim of this work is to provide a system able to perform a spectral camera-based real-time measurement of a carded tow, to assess its color correspondence with a reference carded fabric and, at the same time, to monitor the overall quality of the tow during the carding process. Tested against a number of differently colored carded fabrics, the proposed system proved its effectiveness in reliably assessing color correspondence in real-time.

Mechatronic modeling of real-time wheel-rail contact

CERN Document Server

Bosso, Nicola; Gugliotta, Antonio; Somà, Aurelio

2013-01-01

Real-time simulations of the behaviour of a rail vehicle require realistic solutions of the wheel-rail contact problem which can work in a real-time mode. Examples of such solutions for the online mode have been well known and are implemented within standard and commercial tools for the simulation codes for rail vehicle dynamics. This book is the result of the research activities carried out by the Railway Technology Lab of the Department of Mechanical and Aerospace Engineering at Politecnico di Torino. This book presents work on the project for the development of a real-time wheel-rail contact model and provides the simulation results obtained with dSpace real-time hardware. Besides this, the implementation of the contact model for the development of a real-time model for the complex mechatronic system of a scaled test rig is presented in this book and may be useful for the further validation of the real-time contact model with experiments on a full scale test rig.

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

A real-time expert system for nuclear power plant failure diagnosis and operational guide

International Nuclear Information System (INIS)

Naito, N.; Sakuma, A.; Shigeno, K.; Mori, N.

1987-01-01

A real-time expert system (DIAREX) has been developed to diagnose plant failure and to offer a corrective operational guide for boiling water reactor (BWR) power plants. The failure diagnosis model used in DIAREX was systematically developed, based mainly on deep knowledge, to cover heuristics. Complex paradigms for knowledge representation were adopted, i.e., the process representation language and the failure propagation tree. The system is composed of a knowledge base, knowledge base editor, preprocessor, diagnosis processor, and display processor. The DIAREX simulation test has been carried out for many transient scenarios, including multiple failures, using a real-time full-scope simulator modeled after the 1100-MW(electric) BWR power plant. Test results showed that DIAREX was capable of diagnosing a plant failure quickly and of providing a corrective operational guide with a response time fast enough to offer valuable information to plant operators

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.

Simulating Real-Time Aspects of Wireless Sensor Networks

Directory of Open Access Journals (Sweden)

Christian Nastasi

2010-01-01

Full Text Available Wireless Sensor Networks (WSNs technology has been mainly used in the applications with low-frequency sampling and little computational complexity. Recently, new classes of WSN-based applications with different characteristics are being considered, including process control, industrial automation and visual surveillance. Such new applications usually involve relatively heavy computations and also present real-time requirements as bounded end-to- end delay and guaranteed Quality of Service. It becomes then necessary to employ proper resource management policies, not only for communication resources but also jointly for computing resources, in the design and development of such WSN-based applications. In this context, simulation can play a critical role, together with analytical models, for validating a system design against the parameters of Quality of Service demanded for. In this paper, we present RTNS, a publicly available free simulation tool which includes Operating System aspects in wireless distributed applications. RTNS extends the well-known NS-2 simulator with models of the CPU, the Real-Time Operating System and the application tasks, to take into account delays due to the computation in addition to the communication. We demonstrate the benefits of RTNS by presenting our simulation study for a complex WSN-based multi-view vision system for real-time event detection.

Main real time software for high-energy physics experiments

International Nuclear Information System (INIS)

Tikhonov, A.N.

1985-01-01

The general problems of organization of software complexes, as well as development of typical algorithms and packages of applied programs for real time systems used in experiments with charged particle accelerators are discussed. It is noted that numerous qualitatively different real time tasks are solved by parallel programming of the processes of data acquisition, equipment control, data exchange with remote terminals, data express processing and accumulation, operator's instruction interpretation, generation and buffering of resulting files for data output and information processing which is realized on the basis of multicomputer system utilization. Further development of software for experiments is associated with improving the algorithms for automatic recognition and analysis of events with complex topology and standardization of applied program packages

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

Verus: A Tool for Quantitative Analysis of Finite-State Real-Time Systems.

Science.gov (United States)

1996-08-12

Symbolic model checking is a technique for verifying finite-state concurrent systems that has been extended to handle real - time systems . Models with...up to 10(exp 30) states can often be verified in minutes. In this paper, we present a new tool to analyze real - time systems , based on this technique...We have designed a language, called Verus, for the description of real - time systems . Such a description is compiled into a state-transition graph and

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)

Formal Verification of User-Level Real-Time Property Patterns

OpenAIRE

Ge , Ning; Pantel , Marc; Dal Zilio , Silvano

2017-01-01

International audience; To ease the expression of real-time requirements, Dwyer, and then Konrad, studied a large collection of existing systems in order to identify a set of real-time property patterns covering most of the useful use cases. The goal was to provide a set of reusable patterns that system designers can instantiate to express requirements instead of using complex temporal logic formulas. A limitation of this approach is that the choice of patterns is more oriented towards expres...

A Crowdsensing-Based Real-Time System for Finger Interactions in Intelligent Transport System

Directory of Open Access Journals (Sweden)

Chengqun Song

2017-01-01

Full Text Available Crowdsensing leverages human intelligence/experience from the general public and social interactions to create participatory sensor networks, where context-aware and semantically complex information is gathered, processed, and shared to collaboratively solve specific problems. This paper proposes a real-time projector-camera finger system based on the crowdsensing, in which user can interact with a computer by bare hand touching on arbitrary surfaces. The interaction process of the system can be completely carried out automatically, and it can be used as an intelligent device in intelligent transport system where the driver can watch and interact with the display information while driving, without causing visual distractions. A single camera is used in the system to recover 3D information of fingertip for hand touch detection. A linear-scanning method is used in the system to determine the touch for increasing the users’ collaboration and operationality. Experiments are performed to show the feasibility of the proposed system. The system is robust to different lighting conditions. The average percentage of correct hand touch detection of the system is 92.0% and the average time of processing one video frame is 30 milliseconds.

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.

Study of weld quality real-time monitoring system for auto-body assembly

Science.gov (United States)

Xu, Jun; Li, Yong-Bing; Chen, Guan-Long

2005-12-01

Resistance spot welding (RSW) is widely used for the auto-body assembly in automotive industry. But RSW suffers from a major problem of inconsistent quality from weld to weld. The major problem is the complexity of the basic process that may involve material coatings, electrode force, electrode wear, fit up, etc. Therefore weld quality assurance is still a big challenge and goal. Electrode displacement has proved to be a particularly useful signal which correlates well with weld quality. This paper introduces a novel auto-body spot weld quality monitoring system which uses electrode displacement as the quality parameter. This system chooses the latest laser displacement sensor with high resolution to measure the real-time electrode displacement. It solves the interference problem of sensor mounting by designing special fixture, and can be successfully applied on the portable welding machine. It is capable of evaluating weld quality and making diagnosis of process variations such as surface asperities, shunting, worn electrode and weld expansion with real-time electrode displacement. As proved by application in the workshop, the monitoring system has good stability and reliability, and is qualified for monitoring weld quality in process.

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.

Real-time hybrid simulation using the convolution integral method

International Nuclear Information System (INIS)

Kim, Sung Jig; Christenson, Richard E; Wojtkiewicz, Steven F; Johnson, Erik A

2011-01-01

This paper proposes a real-time hybrid simulation method that will allow complex systems to be tested within the hybrid test framework by employing the convolution integral (CI) method. The proposed CI method is potentially transformative for real-time hybrid simulation. The CI method can allow real-time hybrid simulation to be conducted regardless of the size and complexity of the numerical model and for numerical stability to be ensured in the presence of high frequency responses in the simulation. This paper presents the general theory behind the proposed CI method and provides experimental verification of the proposed method by comparing the CI method to the current integration time-stepping (ITS) method. Real-time hybrid simulation is conducted in the Advanced Hazard Mitigation Laboratory at the University of Connecticut. A seismically excited two-story shear frame building with a magneto-rheological (MR) fluid damper is selected as the test structure to experimentally validate the proposed method. The building structure is numerically modeled and simulated, while the MR damper is physically tested. Real-time hybrid simulation using the proposed CI method is shown to provide accurate results

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...

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...

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

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.

Real-time power plant monitoring and verification and validation issues

International Nuclear Information System (INIS)

Ciftcioglu, Oe.; Tuerkcan, E.

1993-03-01

By means of the advances in the computer technology, the implementation of a real-time power plant monitoring and dynamic signal analysis system is described. As hardware and software, the system has several essential components to perform the task. Among these, mention may be made of a remote-controlled data acquisition system, a fast data processing system and a dynamic signal analysis system. For a complex system like an NPP, the system verification and validation is an important issue as the plant operation involves many engineering disciplines and also the 'soft sciences'. Additionally, the real-time requirements impose substantial time limitation for the implementation of tasks. The system V and V is accomplished partly by means of V and V of the system components which are monitored by the help of sensory signals. Therefore, an essential part of the V and V task involves the real-time analyses of the data provided by these signals. In this respect the NPP real-time monitoring system described possesses the required design features to carry out this task which provides enhanced reliability and availability in plant operation. (orig./HP)

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 ...

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.

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.

Is Your Class a Natural Disaster? It can be... The Real Time Earthquake Education (RTEE) System

Science.gov (United States)

Whitlock, J. S.; Furlong, K.

2003-12-01

" historical earthquakes (ex. the students get alerted, like any other real-time alert, to the 1989 Loma Prieta earthquake). Students are then responsible for going through a series of tasks mimicking real earthquake response teams. Teacher feedback compares students' decisions against the actual decisions of the earthquake professionals, giving student assessment meaning and validity. Additionally, it sets up wonderful post-role-play research projects for students to investigate the complex, long-term impacts of the historical earthquake. The integration of technology with education is a critical part of the authentic science experience. Telecommunication improvements are making sets of current, robust resources needed for open-ended investigations increasingly available to students. In the RTEE system, the near real-time determination of earthquake information and subsequent delivery of that information to earthquake professionals is a reality that can be shared with students in their classrooms. The specific focus of the RTEE system is to improve the delivery of real-time earthquake education resources to educators and their students. By coupling the Earthworm system with relevant high-quality educational materials, we hope to provide a critical resource for understanding the societal impacts of earthquakes.

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.

Hardware Approach for Real Time Machine Stereo Vision

Directory of Open Access Journals (Sweden)

Michael Tornow

2006-02-01

Full Text Available Image processing is an effective tool for the analysis of optical sensor information for driver assistance systems and controlling of autonomous robots. Algorithms for image processing are often very complex and costly in terms of computation. In robotics and driver assistance systems, real-time processing is necessary. Signal processing algorithms must often be drastically modified so they can be implemented in the hardware. This task is especially difficult for continuous real-time processing at high speeds. This article describes a hardware-software co-design for a multi-object position sensor based on a stereophotogrammetric measuring method. In order to cover a large measuring area, an optimized algorithm based on an image pyramid is implemented in an FPGA as a parallel hardware solution for depth map calculation. Object recognition and tracking are then executed in real-time in a processor with help of software. For this task a statistical cluster method is used. Stabilization of the tracking is realized through use of a Kalman filter. Keywords: stereophotogrammetry, hardware-software co-design, FPGA, 3-d image analysis, real-time, clustering and tracking.

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 measurement and control at Jet. Experiment Control

International Nuclear Information System (INIS)

Felton, R.; Zabeo, L.; Sartori, F.; Piccolo, F.; Farthing, J.; Budd, T.; Dorling, S.; McCullen, P.; Harling, J.; Dalley, S.; Goodyear, A.; Stephen, A.; Card, P.; Bright, M.; Lucock, R.; Jones, E.; Griph, S.; Hogben, C.; Beldishevski, M.; Buckley, M.; Davis, J.; Young, I.; Hemming, O.; Wheatley, M.; Heesterman, P.; Lloyd, G.; Walters, M.; Bridge, R.; Leggate, H.; Howell, D.; Zastrow, K.D.; Giroud, C.; Coffey, I.; Hawkes, N.; Stamp, M.; Barnsley, R.; Edlington, T.; Guenther, K.; Gowers, C.; Popovichef, S.; Huber, A.; Ingesson, C.; Joffrin, E.; Mazon, D.; Moreau, D.; Murari, A.; Riva, M.; Barana, O.; Bolzonella, T.; Valisa, M.; Innocente, P.; Zerbini, M.; Bosak, K.; Blum, J.; Vitale, E.; Crisanti, F.; La Luna, E. de; Sanchez, J.

2004-01-01

Over the past few ears, the preparation of ITER-relevant plasma scenarios has been the main focus experimental activity on tokamaks. The development of integrated, simultaneous, real-time controls of plasma shape, current, pressure, temperature, radiation, neutron profiles, and also impurities, ELMs (edge localized modes) and MHD are now seen to be essential for further development of quasi-steady state conditions with feedback, or the stabilisation of transient phenomena with event-driven actions. For this thrust, the EFDA JET Real Time Project has developed a set of real-time plasma measurements, experiment control, and communication facilities. The Plasma Diagnostics used for real-time experiments are Far Infra Red interferometry, polarimetry, visible, UV and X-ray spectroscopy, LIDAR, bolometry, neutron and magnetics. Further analysis systems produce integrated results such as temperature profiles on geometry derived from MHD equilibrium solutions. The Actuators include toroidal, poloidal and divertor coils, gas and pellet fuelling, neutral beam injection, radiofrequency (ICRH) waves and microwaves (LH). The Heating/Fuelling Operators can either define a power or gas request waveform or select the real-time instantaneous power/gas request from the Real Time Experiment Central Control (RTCC) system. The Real Time Experiment Control system provides both a high-level, control-programming environment and interlocks with the actuators. A MATLAB facility is being developed for the development of more complex controllers. The plasma measurement, controller and plant control systems communicate in ATM network. The EFDA Real Time project is essential groundwork for future reactors such as ITER. It involves many staff from several institutions. The facility is now frequently used in experiments. (authors)

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...

Representing real time semantics for distributed application integration

NARCIS (Netherlands)

Poon, P.M.S.; Dillon, T.S.; Chang, E.; Feng, L.

Traditional real time system design and development are driven by technological requirements. With the ever growing complexity of requirements and the advances in software design, the alignment of focus has gradually been shifted to the perspective of business and industrial needs. This paper

3D real-time monitoring system for LHD plasma heating experiment

International Nuclear Information System (INIS)

Emoto, M.; Narlo, J.; Kaneko, O.; Komori, A.; Iima, M.; Yamaguchi, S.; Sudo, S.

2001-01-01

The JAVA-based real-time monitoring system has been in use at the National Institute for Fusion Science, Japan, since the end of March 1988 to maintain stable operations. This system utilizes JAVA technology to realize its platform-independent nature. The main programs are written as JAVA applets and provide human-friendly interfaces. In order to enhance the system's easy-recognition nature, a 3D feature is added. Since most of the system is written mainly in JAVA language, we adopted JAVA3D technology, which was easy to incorporate into the current running systems. With this 3D feature, the operator can more easily find the malfunctioning parts of complex instruments, such as LHD vacuum vessels. This feature is also helpful for recognizing physical phenomena. In this paper, we present an example in which the temperature increases of a vacuum vessel after NBI are visualized

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.

Validation of Prototype Continuous Real-Time Vital Signs Video Analytics Monitoring System CCATT Viewer

Science.gov (United States)

2018-01-26

traditional monitors, this capability will facilitate management of a group of patients. Innovative visual analytics of the complex array of real-time...redundant system could be useful in managing hundreds of bedside monitor data sources. With too many data sources, a single central server may suffer...collection rate. 3.2 Viewer Elements Design For detailed elements to display, as well as their color, line styles , and locations on the screen, we