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

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

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

International Nuclear Information System (INIS)

Dayang Norhayati Abang Jawawi; Rosbi Mamat

1999-01-01

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

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.

Comparison of Component Frameworks for Real-Time Embedded Systems

Czech Academy of Sciences Publication Activity Database

Pop, T.; Hnětynka, P.; Hošek, P.; Malohlava, M.; Bureš, Tomáš

2014-01-01

Roč. 40, č. 1 (2014), s. 127-170 ISSN 0219-1377 Grant - others:GA AV ČR(CZ) GAP202/11/0312; GA UK(CZ) Project 378111; UK(CZ) SVV-2013- 267312 Keywords : component-based development * component frameworks * real-time and embedded systems Subject RIV: JC - Computer Hardware ; Software Impact factor: 1.782, year: 2014

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

Directory of Open Access Journals (Sweden)

Daniel Pierre Bovet

2008-01-01

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

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

Directory of Open Access Journals (Sweden)

Betti Emiliano

2008-01-01

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

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

Science.gov (United States)

Luo, Jiong

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

High Performance Embedded System for Real-Time Pattern Matching

CERN Document Server

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

2016-01-01

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

Real-time embedded face recognition for smart home

NARCIS (Netherlands)

Zuo, F.; With, de P.H.N.

2005-01-01

We propose a near real-time face recognition system for embedding in consumer applications. The system is embedded in a networked home environment and enables personalized services by automatic identification of users. The aim of our research is to design and build a face recognition system that is

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

Science.gov (United States)

Sims, J. T.

1991-01-01

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

An Embedded Real-Time System on ATLAS ROBIN

OpenAIRE

Yu, Maoyuan

2012-01-01

ATLAS is the largest particle detector at the Large Hadron Collider for high energy physics experiments that produces over 40 TB/s event data. The ATLAS Readout Buffer INput(ROBIN) subsystem is an essential device to buffer and reduce the data, which has a IBM PowerPC core for the control functionalities. This dissertation addresses the software design of an embedded real-time system centering on the PowerPC micro-controller, as the management core of the ROBIN. A page-based solution is pr...

A HARDWARE SUPPORTED OPERATING SYSTEM KERNEL FOR EMBEDDED HARD REAL-TIME APPLICATIONS

NARCIS (Netherlands)

COLNARIC, M; HALANG, WA; TOL, RM

1994-01-01

The concept of the kernel, i.e. the time critical part of a real-time operating system, and its dedicated co-processor, especially tailored for embedded applications, are presented. The co-processor acts as a system controller and operates in conjunction with one or more conventional processors in

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

EOS: A project to investigate the design and construction of real-time distributed Embedded Operating Systems

Science.gov (United States)

Campbell, R. H.; Essick, Ray B.; Johnston, Gary; Kenny, Kevin; Russo, Vince

1987-01-01

Project EOS is studying the problems of building adaptable real-time embedded operating systems for the scientific missions of NASA. Choices (A Class Hierarchical Open Interface for Custom Embedded Systems) is an operating system designed and built by Project EOS to address the following specific issues: the software architecture for adaptable embedded parallel operating systems, the achievement of high-performance and real-time operation, the simplification of interprocess communications, the isolation of operating system mechanisms from one another, and the separation of mechanisms from policy decisions. Choices is written in C++ and runs on a ten processor Encore Multimax. The system is intended for use in constructing specialized computer applications and research on advanced operating system features including fault tolerance and parallelism.

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.

Scheduling and Mapping in an Incremental Design Methodology for Distributed Real-Time Embedded Systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

2004-01-01

In this paper we present an approach to mapping and scheduling of distributed embedded systems for hard real-time applications, aiming at a minimization of the system modification cost. We consider an incremental design process that starts from an already existing system running a set of applicat......In this paper we present an approach to mapping and scheduling of distributed embedded systems for hard real-time applications, aiming at a minimization of the system modification cost. We consider an incremental design process that starts from an already existing system running a set...... be added to the resulted system. Thus, we propose a heuristic which finds the set of already running applications which have to be remapped and rescheduled at the same time with mapping and scheduling the new application, such that the disturbance on the running system (expressed as the total cost implied...... by the modifications) is minimized. Once this set of applications has been determined, we outline a mapping and scheduling algorithm aimed at fulfilling the requirements stated above. The approaches have been evaluated based on extensive experiments using a large number of generated benchmarks as well as a real...

Memory controllers for real-time embedded systems predictable and composable real-time systems

CERN Document Server

Akesson, Benny

2012-01-01

  Verification of real-time requirements in systems-on-chip becomes more complex as more applications are integrated. Predictable and composable systems can manage the increasing complexity using formal verification and simulation.  This book explains the concepts of predictability and composability and shows how to apply them to the design and analysis of a memory controller, which is a key component in any real-time system. This book is generally intended for readers interested in Systems-on-Chips with real-time applications.   It is especially well-suited for readers looking to use SDRAM memories in systems with hard or firm real-time requirements. There is a strong focus on real-time concepts, such as predictability and composability, as well as a brief discussion about memory controller architectures for high-performance computing. Readers will learn step-by-step how to go from an unpredictable SDRAM memory, offering highly variable bandwidth and latency, to a predictable and composable shared memory...

Design of Embedded Real-time Systems: Developing a Method for Practical Software Engineering

DEFF Research Database (Denmark)

Løvengreen, Hans Henrik; Ravn, Anders P.; Rischel, Hans

1990-01-01

The methodological issues and practical problems in development and industrial use of a theory-based design method for embedded, real-time systems are discussed. The method has been used for several years in a number of smaller industries that develop both electronics and software for a professio......The methodological issues and practical problems in development and industrial use of a theory-based design method for embedded, real-time systems are discussed. The method has been used for several years in a number of smaller industries that develop both electronics and software...... for a professional market. The design is expressed in a notation for communicating sequential processes, while data types and operations are expressed in a notation built on mathematical set theory. The authors present an order in which to use the notations, a technique for deriving states and operations...

Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

2004-01-01

We present an approach to design optimization of multi-cluster embedded systems consisting of time-triggered and event-triggered clusters, interconnected via gateways. In this paper, we address design problems which are characteristic to multi-clusters: partitioning of the system functionality...... into time-triggered and event-triggered domains, process mapping, and the optimization of parameters corresponding to the communication protocol. We present several heuristics for solving these problems. Our heuristics are able to find schedulable implementations under limited resources, achieving...... an efficient utilization of the system. The developed algorithms are evaluated using extensive experiments and a real-life example....

Design Optimization of Multi-Cluster Embedded Systems for Real-Time Applications

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

2006-01-01

We present an approach to design optimization of multi-cluster embedded systems consisting of time-triggered and event-triggered clusters, interconnected via gateways. In this paper, we address design problems which are characteristic to multi-clusters: partitioning of the system functionality...... into time-triggered and event-triggered domains, process mapping, and the optimization of parameters corresponding to the communication protocol. We present several heuristics for solving these problems. Our heuristics are able to find schedulable implementations under limited resources, achieving...... an efficient utilization of the system. The developed algorithms are evaluated using extensive experiments and a real-life example....

Real time polarization sensor image processing on an embedded FPGA/multi-core DSP system

Science.gov (United States)

Bednara, Marcus; Chuchacz-Kowalczyk, Katarzyna

2015-05-01

Most embedded image processing SoCs available on the market are highly optimized for typical consumer applications like video encoding/decoding, motion estimation or several image enhancement processes as used in DSLR or digital video cameras. For non-consumer applications, on the other hand, optimized embedded hardware is rarely available, so often PC based image processing systems are used. We show how a real time capable image processing system for a non-consumer application - namely polarization image data processing - can be efficiently implemented on an FPGA and multi-core DSP based embedded hardware platform.

Optimization of Time-Partitions for Mixed-Criticality Real-Time Distributed Embedded Systems

DEFF Research Database (Denmark)

Tamas-Selicean, Domitian; Pop, Paul

2011-01-01

In this paper we are interested in mixed-criticality embedded real-time applications mapped on distributed heterogeneous architectures. The architecture provides both spatial and temporal partitioning, thus enforcing enough separation for the critical applications. With temporal partitioning, each...

Energy-Aware Synthesis of Fault-Tolerant Schedules for Real-Time Distributed Embedded Systems

DEFF Research Database (Denmark)

Poulsen, Kåre Harbo; Pop, Paul; Izosimov, Viacheslav

2007-01-01

This paper presents a design optimisation tool for distributed embedded real-time systems that 1) decides mapping, fault-tolerance policy and generates a fault-tolerant schedule, 2) is targeted for hard real-time, 3) has hard reliability goal, 4) generates static schedule for processes and messages......, 5) provides fault-tolerance for k transient/soft faults, 6) optimises for minimal energy consumption, while considering impact of lowering voltages on the probability of faults, 7) uses constraint logic programming (CLP) based implementation....

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

SAFCM: A Security-Aware Feedback Control Mechanism for Distributed Real-Time Embedded Systems

DEFF Research Database (Denmark)

Ma, Yue; Jiang, Wei; Sang, Nan

2012-01-01

Distributed Real-time Embedded (DRE) systems are facing great challenges in networked, unpredictable and especially unsecured environments. In such systems, there is a strong need to enforce security on distributed computing nodes in order to guard against potential threats, while satisfying......-time systems, a multi-input multi-output feedback loop is designed and a model predictive controller is deployed based on an equation model that describes the dynamic behavior of the DRE systems. This control loop uses security level scaling to globally control the CPU utilization and security performance...... for the whole system. We propose a "security level" metric based on an evolution of cryptography algorithms used in embedded systems. Experimental results demonstrate that SAFCM not only has the excellent adaptivity compared to open-loop mechanism, but also has a better overall performance than PID control...

HVM-TP: A Time Predictable, Portable Java Virtual Machine for Hard Real-Time Embedded Systems

DEFF Research Database (Denmark)

Luckow, Kasper Søe; Thomsen, Bent; Korsholm, Stephan Erbs

2014-01-01

We present HVMTIME; a portable and time predictable JVM implementation with applications in resource-constrained hard real-time embedded systems. In addition, it implements the Safety Critical Java (SCJ) Level 1 specification. Time predictability is achieved by a combination of time predictable...... algorithms, exploiting the programming model of the SCJ specification, and harnessing static knowledge of the hosted SCJ system. This paper presents HVMTIME in terms of its design and capabilities, and demonstrates how a complete timing model of the JVM represented as a Network of Timed Automata can...... be obtained using the tool TetaSARTSJVM. Further, using the timing model, we derive Worst Case Execution Times (WCETs) and Best Case Execution Times (BCETs) of the Java Bytecodes....

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

Constructing a working taxonomy of functional Ada software components for real-time embedded system applications

Science.gov (United States)

Wallace, Robert

1986-01-01

A major impediment to a systematic attack on Ada software reusability is the lack of an effective taxonomy for software component functions. The scope of all possible applications of Ada software is considered too great to allow the practical development of a working taxonomy. Instead, for the purposes herein, the scope of Ada software application is limited to device and subsystem control in real-time embedded systems. A functional approach is taken in constructing the taxonomy tree for identified Ada domain. The use of modular software functions as a starting point fits well with the object oriented programming philosophy of Ada. Examples of the types of functions represented within the working taxonomy are real time kernels, interrupt service routines, synchronization and message passing, data conversion, digital filtering and signal conditioning, and device control. The constructed taxonomy is proposed as a framework from which a need analysis can be performed to reveal voids in current Ada real-time embedded programming efforts for Space Station.

Gene-Auto: Automatic Software Code Generation for Real-Time Embedded Systems

Science.gov (United States)

Rugina, A.-E.; Thomas, D.; Olive, X.; Veran, G.

2008-08-01

This paper gives an overview of the Gene-Auto ITEA European project, which aims at building a qualified C code generator from mathematical models under Matlab-Simulink and Scilab-Scicos. The project is driven by major European industry partners, active in the real-time embedded systems domains. The Gene- Auto code generator will significantly improve the current development processes in such domains by shortening the time to market and by guaranteeing the quality of the generated code through the use of formal methods. The first version of the Gene-Auto code generator has already been released and has gone thought a validation phase on real-life case studies defined by each project partner. The validation results are taken into account in the implementation of the second version of the code generator. The partners aim at introducing the Gene-Auto results into industrial development by 2010.

FPGA-based real-time embedded system for RISS/GPS integrated navigation.

Science.gov (United States)

Abdelfatah, Walid Farid; Georgy, Jacques; Iqbal, Umar; Noureldin, Aboelmagd

2012-01-01

Navigation algorithms integrating measurements from multi-sensor systems overcome the problems that arise from using GPS navigation systems in standalone mode. Algorithms which integrate the data from 2D low-cost reduced inertial sensor system (RISS), consisting of a gyroscope and an odometer or wheel encoders, along with a GPS receiver via a Kalman filter has proved to be worthy in providing a consistent and more reliable navigation solution compared to standalone GPS receivers. It has been also shown to be beneficial, especially in GPS-denied environments such as urban canyons and tunnels. The main objective of this paper is to narrow the idea-to-implementation gap that follows the algorithm development by realizing a low-cost real-time embedded navigation system capable of computing the data-fused positioning solution. The role of the developed system is to synchronize the measurements from the three sensors, relative to the pulse per second signal generated from the GPS, after which the navigation algorithm is applied to the synchronized measurements to compute the navigation solution in real-time. Employing a customizable soft-core processor on an FPGA in the kernel of the navigation system, provided the flexibility for communicating with the various sensors and the computation capability required by the Kalman filter integration algorithm.

Testbeam results of the first real-time embedded tracking system with artificial retina

Energy Technology Data Exchange (ETDEWEB)

Neri, N., E-mail: nicola.neri@mi.infn.it; Abba, A.; Caponio, F.; Citterio, M.; Coelli, S.; Fu, J.; Merli, A.; Monti, M.; Petruzzo, M.

2017-02-11

We present the testbeam results of the first real-time embedded tracking system based on artificial retina algorithm. The tracking system prototype is capable of fast track reconstruction with a latency of the response below 1 μs and track parameter resolutions that are comparable with the offline results. The artificial retina algorithm was implemented in hardware in a custom data acquisition board based on commercial FPGA. The system was tested successfully using a 180 GeV/c proton beam at the CERN SPS with a maximum track rate of about 280 kHz. Online track parameters were found in good agreement with offline results and with the simulated response. - Highlights: • First real-time tracking system based on artificial retina algorithm tested on beam. • Fast track reconstruction within one microsecond latency and offline like quality. • Fast tracking algorithm implemented in commercial FPGAs.

A real-time spike sorting method based on the embedded GPU.

Science.gov (United States)

Zelan Yang; Kedi Xu; Xiang Tian; Shaomin Zhang; Xiaoxiang Zheng

2017-07-01

Microelectrode arrays with hundreds of channels have been widely used to acquire neuron population signals in neuroscience studies. Online spike sorting is becoming one of the most important challenges for high-throughput neural signal acquisition systems. Graphic processing unit (GPU) with high parallel computing capability might provide an alternative solution for increasing real-time computational demands on spike sorting. This study reported a method of real-time spike sorting through computing unified device architecture (CUDA) which was implemented on an embedded GPU (NVIDIA JETSON Tegra K1, TK1). The sorting approach is based on the principal component analysis (PCA) and K-means. By analyzing the parallelism of each process, the method was further optimized in the thread memory model of GPU. Our results showed that the GPU-based classifier on TK1 is 37.92 times faster than the MATLAB-based classifier on PC while their accuracies were the same with each other. The high-performance computing features of embedded GPU demonstrated in our studies suggested that the embedded GPU provide a promising platform for the real-time neural signal processing.

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

Energy-aware embedded classifier design for real-time emotion analysis.

Science.gov (United States)

Padmanabhan, Manoj; Murali, Srinivasan; Rincon, Francisco; Atienza, David

2015-01-01

Detection and classification of human emotions from multiple bio-signals has a wide variety of applications. Though electronic devices are available in the market today that acquire multiple body signals, the classification of human emotions in real-time, adapted to the tight energy budgets of wearable embedded systems is a big challenge. In this paper we present an embedded classifier for real-time emotion classification. We propose a system that operates at different energy budgeted modes, depending on the available energy, where each mode is constrained by an operating energy bound. The classifier has an offline training phase where feature selection is performed for each operating mode, with an energy-budget aware algorithm that we propose. Across the different operating modes, the classification accuracy ranges from 95% - 75% and 89% - 70% for arousal and valence respectively. The accuracy is traded off for less power consumption, which results in an increased battery life of up to 7.7 times (from 146.1 to 1126.9 hours).

HAMLET: HPCN Technology for Real-Time, Embedded Applications

NARCIS (Netherlands)

Mager, J.W.L.J.; Dam, A. ten

1995-01-01

Building an application by using HPCN technology makes the solution scalable and therefore more flexible. The uptake of HPCN technology for real-time, embedded applications, however, is severely hampered by the lack of real application development support. Within the Esprit project HAMLET,

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

A Practical Framework to Study Low-Power Scheduling Algorithms on Real-Time and Embedded Systems

Directory of Open Access Journals (Sweden)

Jian (Denny Lin

2014-05-01

Full Text Available With the advanced technology used to design VLSI (Very Large Scale Integration circuits, low-power and energy-efficiency have played important roles for hardware and software implementation. Real-time scheduling is one of the fields that has attracted extensive attention to design low-power, embedded/real-time systems. The dynamic voltage scaling (DVS and CPU shut-down are the two most popular techniques used to design the algorithms. In this paper, we firstly review the fundamental advances in the research of energy-efficient, real-time scheduling. Then, a unified framework with a real Intel PXA255 Xscale processor, namely real-energy, is designed, which can be used to measure the real performance of the algorithms. We conduct a case study to evaluate several classical algorithms by using the framework. The energy efficiency and the quantitative difference in their performance, as well as the practical issues found in the implementation of these algorithms are discussed. Our experiments show a gap between the theoretical and real results. Our framework not only gives researchers a tool to evaluate their system designs, but also helps them to bridge this gap in their future works.

Embedded Triboelectric Active Sensors for Real-Time Pneumatic Monitoring.

Science.gov (United States)

Fu, Xian Peng; Bu, Tian Zhao; Xi, Feng Ben; Cheng, Ting Hai; Zhang, Chi; Wang, Zhong Lin

2017-09-20

Pneumatic monitoring sensors have great demands for power supply in cylinder systems. Here, we present an embedded sliding triboelectric nanogenerator (TENG) in air cylinder as active sensors for position and velocity monitoring. The embedded TENG is composed of a circular poly(tetrafluoroethylene) polymer and a triangular copper electrode. The working mechanism as triboelectric active sensors and electric output performance are systematically investigated. By integrating into the pneumatic system, the embedded triboelectric active sensors have been used for real-time air pressure/flow monitoring and energy storage. Air pressures are measured from 0.04 to 0.12 MPa at a step of 0.02 MPa with a sensitivity of 49.235 V/MPa, as well as airflow from 50 to 250 L/min at a step of 50 L/min with a sensitivity of 0.002 μA·min/L. This work has first demonstrated triboelectric active sensors for pneumatic monitoring and may promote the development of TENG in intelligent pneumatic system.

Embedded and real-time vehicle detection system for challenging on-road scenes

Science.gov (United States)

Gu, Qin; Yang, Jianyu; Kong, Lingjiang; Yan, Wei Qi; Klette, Reinhard

2017-06-01

Vehicle detection is an important topic for advanced driver-assistance systems. This paper proposes an adaptive approach for an embedded system by focusing on monocular vehicle detection in real time, also aiming at being accurate under challenging conditions. Scene classification is accomplished by using a simplified convolution neural network with hypothesis generation by SoftMax regression. The output is consequently taken into account to optimize detection parameters for hypothesis generation and testing. Thus, we offer a sample-reorganization mechanism to improve the performance of vehicle hypothesis verification. A hypothesis leap mechanism is in use to improve the operating efficiency of the on-board system. A practical on-road test is employed to verify vehicle detection (i.e., accuracy) and also the performance of the designed on-board system regarding speed.

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

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 depth processing for embedded platforms

Science.gov (United States)

Rahnama, Oscar; Makarov, Aleksej; Torr, Philip

2017-05-01

Obtaining depth information of a scene is an important requirement in many computer-vision and robotics applications. For embedded platforms, passive stereo systems have many advantages over their active counterparts (i.e. LiDAR, Infrared). They are power efficient, cheap, robust to lighting conditions and inherently synchronized to the RGB images of the scene. However, stereo depth estimation is a computationally expensive task that operates over large amounts of data. For embedded applications which are often constrained by power consumption, obtaining accurate results in real-time is a challenge. We demonstrate a computationally and memory efficient implementation of a stereo block-matching algorithm in FPGA. The computational core achieves a throughput of 577 fps at standard VGA resolution whilst consuming less than 3 Watts of power. The data is processed using an in-stream approach that minimizes memory-access bottlenecks and best matches the raster scan readout of modern digital image sensors.

Real-time embedded system for stereo video processing for multiview displays

Science.gov (United States)

Berretty, R.-P. M.; Riemens, A. K.; Machado, P. F.

2007-02-01

In video systems, the introduction of 3D video might be the next revolution after the introduction of color. Nowadays multiview auto-stereoscopic displays are entering the market. Such displays offer various views at the same time. Depending on its positions, the viewers' eyes see different images. Hence, the viewers' left eye receives a signal that is different from what his right eye gets; this gives, provided the signals have been properly processed, the impression of depth. New auto-stereoscopic products use an image-plus-depth interface. On the other hand, a growing number of 3D productions from the entertainment industry use a stereo format. In this paper, we show how to compute depth from the stereo signal to comply with the display interface format. Furthermore, we present a realisation suitable for a real-time cost-effective implementation on an embedded media processor.

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.

ertCPN: The adaptations of the coloured Petri-Net theory for real-time embedded system modeling and automatic code generation

Directory of Open Access Journals (Sweden)

Wattanapong Kurdthongmee

2003-05-01

Full Text Available A real-time system is a computer system that monitors or controls an external environment. The system must meet various timing and other constraints that are imposed on it by the real-time behaviour of the external world. One of the differences between a real-time and a conventional software is that a real-time program must be both logically and temporally correct. To successfully design and implement a real-time system, some analysis is typically done to assure that requirements or designs are consistent and that they satisfy certain desirable properties that may not be immediately obvious from specification. Executable specifications, prototypes and simulation are particularly useful in real-time systems for debugging specifications. In this paper, we propose the adaptations to the coloured Petri-net theory to ease the modeling, simulation and code generation process of an embedded, microcontroller-based, real-time system. The benefits of the proposed approach are demonstrated by use of our prototype software tool called ENVisAge (an Extended Coloured Petri-Net Based Visual Application Generator Tool.

A real-time extension of density matrix embedding theory for non-equilibrium electron dynamics

Science.gov (United States)

Kretchmer, Joshua S.; Chan, Garnet Kin-Lic

2018-02-01

We introduce real-time density matrix embedding theory (DMET), a dynamical quantum embedding theory for computing non-equilibrium electron dynamics in strongly correlated systems. As in the previously developed static DMET, real-time DMET partitions the system into an impurity corresponding to the region of interest coupled to the surrounding environment, which is efficiently represented by a quantum bath of the same size as the impurity. In this work, we focus on a simplified single-impurity time-dependent formulation as a first step toward a multi-impurity theory. The equations of motion of the coupled impurity and bath embedding problem are derived using the time-dependent variational principle. The accuracy of real-time DMET is compared to that of time-dependent complete active space self-consistent field (TD-CASSCF) theory and time-dependent Hartree-Fock (TDHF) theory for a variety of quantum quenches in the single impurity Anderson model (SIAM), in which the Hamiltonian is suddenly changed (quenched) to induce a non-equilibrium state. Real-time DMET shows a marked improvement over the mean-field TDHF, converging to the exact answer even in the non-trivial Kondo regime of the SIAM. However, as expected from analogous behavior in static DMET, the constrained structure of the real-time DMET wavefunction leads to a slower convergence with respect to active space size, in the single-impurity formulation, relative to TD-CASSCF. Our initial results suggest that real-time DMET provides a promising framework to simulate non-equilibrium electron dynamics in which strong electron correlation plays an important role, and lays the groundwork for future multi-impurity formulations.

A Verification Method of Inter-Task Cooperation in Embedded Real-time Systems and its Evaluation

Science.gov (United States)

Yoshida, Toshio

In software development process of embedded real-time systems, the design of the task cooperation process is very important. The cooperating process of such tasks is specified by task cooperation patterns. Adoption of unsuitable task cooperation patterns has fatal influence on system performance, quality, and extendibility. In order to prevent repetitive work caused by the shortage of task cooperation performance, it is necessary to verify task cooperation patterns in an early software development stage. However, it is very difficult to verify task cooperation patterns in an early software developing stage where task program codes are not completed yet. Therefore, we propose a verification method using task skeleton program codes and a real-time kernel that has a function of recording all events during software execution such as system calls issued by task program codes, external interrupts, and timer interrupt. In order to evaluate the proposed verification method, we applied it to the software development process of a mechatronics control system.

Embedded Web Technology: Internet Technology Applied to Real-Time System Control

Science.gov (United States)

Daniele, Carl J.

1998-01-01

The NASA Lewis Research Center is developing software tools to bridge the gap between the traditionally non-real-time Internet technology and the real-time, embedded-controls environment for space applications. Internet technology has been expanding at a phenomenal rate. The simple World Wide Web browsers (such as earlier versions of Netscape, Mosaic, and Internet Explorer) that resided on personal computers just a few years ago only enabled users to log into and view a remote computer site. With current browsers, users not only view but also interact with remote sites. In addition, the technology now supports numerous computer platforms (PC's, MAC's, and Unix platforms), thereby providing platform independence.In contrast, the development of software to interact with a microprocessor (embedded controller) that is used to monitor and control a space experiment has generally been a unique development effort. For each experiment, a specific graphical user interface (GUI) has been developed. This procedure works well for a single-user environment. However, the interface for the International Space Station (ISS) Fluids and Combustion Facility will have to enable scientists throughout the world and astronauts onboard the ISS, using different computer platforms, to interact with their experiments in the Fluids and Combustion Facility. Developing a specific GUI for all these users would be cost prohibitive. An innovative solution to this requirement, developed at Lewis, is to use Internet technology, where the general problem of platform independence has already been partially solved, and to leverage this expanding technology as new products are developed. This approach led to the development of the Embedded Web Technology (EWT) program at Lewis, which has the potential to significantly reduce software development costs for both flight and ground software.

Development of embedded real-time and high-speed vision platform

Science.gov (United States)

Ouyang, Zhenxing; Dong, Yimin; Yang, Hua

2015-12-01

Currently, high-speed vision platforms are widely used in many applications, such as robotics and automation industry. However, a personal computer (PC) whose over-large size is not suitable and applicable in compact systems is an indispensable component for human-computer interaction in traditional high-speed vision platforms. Therefore, this paper develops an embedded real-time and high-speed vision platform, ER-HVP Vision which is able to work completely out of PC. In this new platform, an embedded CPU-based board is designed as substitution for PC and a DSP and FPGA board is developed for implementing image parallel algorithms in FPGA and image sequential algorithms in DSP. Hence, the capability of ER-HVP Vision with size of 320mm x 250mm x 87mm can be presented in more compact condition. Experimental results are also given to indicate that the real-time detection and counting of the moving target at a frame rate of 200 fps at 512 x 512 pixels under the operation of this newly developed vision platform are feasible.

Implementation of an RBF neural network on embedded systems: real-time face tracking and identity verification.

Science.gov (United States)

Yang, Fan; Paindavoine, M

2003-01-01

This paper describes a real time vision system that allows us to localize faces in video sequences and verify their identity. These processes are image processing techniques based on the radial basis function (RBF) neural network approach. The robustness of this system has been evaluated quantitatively on eight video sequences. We have adapted our model for an application of face recognition using the Olivetti Research Laboratory (ORL), Cambridge, UK, database so as to compare the performance against other systems. We also describe three hardware implementations of our model on embedded systems based on the field programmable gate array (FPGA), zero instruction set computer (ZISC) chips, and digital signal processor (DSP) TMS320C62, respectively. We analyze the algorithm complexity and present results of hardware implementations in terms of the resources used and processing speed. The success rates of face tracking and identity verification are 92% (FPGA), 85% (ZISC), and 98.2% (DSP), respectively. For the three embedded systems, the processing speeds for images size of 288 /spl times/ 352 are 14 images/s, 25 images/s, and 4.8 images/s, respectively.

An algorithm of a real time image tracking system using a camera with pan/tilt motors on an embedded system

Science.gov (United States)

Kim, Hie-Sik; Nam, Chul; Ha, Kwan-Yong; Ayurzana, Odgeral; Kwon, Jong-Won

2005-12-01

The embedded systems have been applied to many fields, including households and industrial sites. The user interface technology with simple display on the screen was implemented more and more. The user demands are increasing and the system has more various applicable fields due to a high penetration rate of the Internet. Therefore, the demand for embedded system is tend to rise. An embedded system for image tracking was implemented. This system is used a fixed IP for the reliable server operation on TCP/IP networks. Using an USB camera on the embedded Linux system developed a real time broadcasting of video image on the Internet. The digital camera is connected at the USB host port of the embedded board. All input images from the video camera are continuously stored as a compressed JPEG file in a directory at the Linux web-server. And each frame image data from web camera is compared for measurement of displacement Vector. That used Block matching algorithm and edge detection algorithm for past speed. And the displacement vector is used at pan/tilt motor control through RS232 serial cable. The embedded board utilized the S3C2410 MPU, which used the ARM 920T core form Samsung. The operating system was ported to embedded Linux kernel and mounted of root file system. And the stored images are sent to the client PC through the web browser. It used the network function of Linux and it developed a program with protocol of the TCP/IP.

Real-Time Video Convolutional Face Finder on Embedded Platforms

Directory of Open Access Journals (Sweden)

Mamalet Franck

2007-01-01

Full Text Available A high-level optimization methodology is applied for implementing the well-known convolutional face finder (CFF algorithm for real-time applications on mobile phones, such as teleconferencing, advanced user interfaces, image indexing, and security access control. CFF is based on a feature extraction and classification technique which consists of a pipeline of convolutions and subsampling operations. The design of embedded systems requires a good trade-off between performance and code size due to the limited amount of available resources. The followed methodology copes with the main drawbacks of the original implementation of CFF such as floating-point computation and memory allocation, in order to allow parallelism exploitation and perform algorithm optimizations. Experimental results show that our embedded face detection system can accurately locate faces with less computational load and memory cost. It runs on a 275 MHz Starcore DSP at 35 QCIF images/s with state-of-the-art detection rates and very low false alarm rates.

Real-Time Video Convolutional Face Finder on Embedded Platforms

Directory of Open Access Journals (Sweden)

Franck Mamalet

2007-03-01

Full Text Available A high-level optimization methodology is applied for implementing the well-known convolutional face finder (CFF algorithm for real-time applications on mobile phones, such as teleconferencing, advanced user interfaces, image indexing, and security access control. CFF is based on a feature extraction and classification technique which consists of a pipeline of convolutions and subsampling operations. The design of embedded systems requires a good trade-off between performance and code size due to the limited amount of available resources. The followed methodology copes with the main drawbacks of the original implementation of CFF such as floating-point computation and memory allocation, in order to allow parallelism exploitation and perform algorithm optimizations. Experimental results show that our embedded face detection system can accurately locate faces with less computational load and memory cost. It runs on a 275 MHz Starcore DSP at 35 QCIF images/s with state-of-the-art detection rates and very low false alarm rates.

An Embedded Real-Time Red Peach Detection System Based on an OV7670 Camera, ARM Cortex-M4 Processor and 3D Look-Up Tables

Directory of Open Access Journals (Sweden)

Marcel Tresanchez

2012-10-01

Full Text Available This work proposes the development of an embedded real-time fruit detection system for future automatic fruit harvesting. The proposed embedded system is based on an ARM Cortex-M4 (STM32F407VGT6 processor and an Omnivision OV7670 color camera. The future goal of this embedded vision system will be to control a robotized arm to automatically select and pick some fruit directly from the tree. The complete embedded system has been designed to be placed directly in the gripper tool of the future robotized harvesting arm. The embedded system will be able to perform real-time fruit detection and tracking by using a three-dimensional look-up-table (LUT defined in the RGB color space and optimized for fruit picking. Additionally, two different methodologies for creating optimized 3D LUTs based on existing linear color models and fruit histograms were implemented in this work and compared for the case of red peaches. The resulting system is able to acquire general and zoomed orchard images and to update the relative tracking information of a red peach in the tree ten times per second.

An embedded real-time red peach detection system based on an OV7670 camera, ARM cortex-M4 processor and 3D look-up tables.

Science.gov (United States)

Teixidó, Mercè; Font, Davinia; Pallejà, Tomàs; Tresanchez, Marcel; Nogués, Miquel; Palacín, Jordi

2012-10-22

This work proposes the development of an embedded real-time fruit detection system for future automatic fruit harvesting. The proposed embedded system is based on an ARM Cortex-M4 (STM32F407VGT6) processor and an Omnivision OV7670 color camera. The future goal of this embedded vision system will be to control a robotized arm to automatically select and pick some fruit directly from the tree. The complete embedded system has been designed to be placed directly in the gripper tool of the future robotized harvesting arm. The embedded system will be able to perform real-time fruit detection and tracking by using a three-dimensional look-up-table (LUT) defined in the RGB color space and optimized for fruit picking. Additionally, two different methodologies for creating optimized 3D LUTs based on existing linear color models and fruit histograms were implemented in this work and compared for the case of red peaches. The resulting system is able to acquire general and zoomed orchard images and to update the relative tracking information of a red peach in the tree ten times per second.

Reconfiguration of Computation and Communication Resources in Multi-Core Real-Time Embedded Systems

DEFF Research Database (Denmark)

Pezzarossa, Luca

-core platform. Our approach is to associate reconfiguration with operational mode changes where the system, during normal operation, changes a subset of the executing tasks to adapt its behaviour to new conditions. Reconfiguration is therefore used during a mode change to modify the real-time guaranteed services...... of the communication channels between the tasks that are affected by the reconfiguration. This thesis investigates the use of reconfiguration in the context of multicore realtime systems targeting embedded applications. We address the reconfiguration of both the computation and the communication resources of a multi...... by the communication fabric between the cores of the platform. To support this, we present a new network on chip architecture, named Argo 2, that allows instantaneous and time-predictable reconfiguration of the communication channels. Our reconfiguration-capable architecture is prototyped using the existing time...

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.

Tradeoff analysis for Dependable Real-Time Embedded Systems during the Early Design Phases

DEFF Research Database (Denmark)

Gan, Junhe

Embedded systems are becoming increasingly complex and have tight competing constraints in terms of performance, cost, energy consumption, dependability, flexibility, security, etc. The objective of this thesis is to propose design methods and tools for supporting the tradeoff analysis of competing...... to processing elements, as well as the processor voltage and frequency levels for executing each task, such that transient faults are tolerated, the real-time constraints of the application are satisfied, and the energy consumed is minimized. In this thesis, we target the early design phases, when decisions...... have a high impact on the subsequent implementation choices. However, due to a lack of information, the early design phases are characterized by uncertainties, e.g., in the worst-case execution times (WCETs), in the functionality requirements, or in the hardware component costs. In this context, we...

Embedded XML DOM Parser: An Approach for XML Data Processing on Networked Embedded Systems with Real-Time Requirements

Directory of Open Access Journals (Sweden)

Cavia Soto MAngeles

2008-01-01

Full Text Available Abstract Trends in control and automation show an increase in data processing and communication in embedded automation controllers. The eXtensible Markup Language (XML is emerging as a dominant data syntax, fostering interoperability, yet little is still known about how to provide predictable real-time performance in XML processing, as required in the domain of industrial automation. This paper presents an XML processor that is designed with such real-time performance in mind. The publication attempts to disclose insight gained in applying techniques such as object pooling and reuse, and other methods targeted at avoiding dynamic memory allocation and its consequent memory fragmentation. Benchmarking tests are reported in order to illustrate the benefits of the approach.

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

An embedded real-time red peach detection system based on an OV7670 camera, ARM Cortex-M4 processor and 3D Look-Up Tables

OpenAIRE

Teixidó Cairol, Mercè; Font Calafell, Davinia; Pallejà Cabrè, Tomàs; Tresánchez Ribes, Marcel; Nogués Aymamí, Miquel; Palacín Roca, Jordi

2012-01-01

This work proposes the development of an embedded real-time fruit detection system for future automatic fruit harvesting. The proposed embedded system is based on an ARM Cortex-M4 (STM32F407VGT6) processor and an Omnivision OV7670 color camera. The future goal of this embedded vision system will be to control a robotized arm to automatically select and pick some fruit directly from the tree. The complete embedded system has been designed to be placed directly in the gripper tool of the future...

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

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

Design and Performance Evaluation of an Adaptive Resource Management Framework for Distributed Real-Time and Embedded Systems

Directory of Open Access Journals (Sweden)

Chen Yingming

2008-01-01

Full Text Available Abstract Achieving end-to-end quality of service (QoS in distributed real-time embedded (DRE systems require QoS support and enforcement from their underlying operating platforms that integrates many real-time capabilities, such as QoS-enabled network protocols, real-time operating system scheduling mechanisms and policies, and real-time middleware services. As standards-based quality of service (QoS enabled component middleware automates integration and configuration activities, it is increasingly being used as a platform for developing open DRE systems that execute in environments where operational conditions, input workload, and resource availability cannot be characterized accurately a priori. Although QoS-enabled component middleware offers many desirable features, however, it historically lacked the ability to allocate resources efficiently and enable the system to adapt to fluctuations in input workload, resource availability, and operating conditions. This paper presents three contributions to research on adaptive resource management for component-based open DRE systems. First, we describe the structure and functionality of the resource allocation and control engine (RACE, which is an open-source adaptive resource management framework built atop standards-based QoS-enabled component middleware. Second, we demonstrate and evaluate the effectiveness of RACE in the context of a representative open DRE system: NASA's magnetospheric multiscale mission system. Third, we present an empirical evaluation of RACE's scalability as the number of nodes and applications in a DRE system grows. Our results show that RACE is a scalable adaptive resource management framework and yields a predictable and high-performance system, even in the face of changing operational conditions and input workload.

Design and Performance Evaluation of an Adaptive Resource Management Framework for Distributed Real-Time and Embedded Systems

Directory of Open Access Journals (Sweden)

Chenyang Lu

2008-04-01

Full Text Available Achieving end-to-end quality of service (QoS in distributed real-time embedded (DRE systems require QoS support and enforcement from their underlying operating platforms that integrates many real-time capabilities, such as QoS-enabled network protocols, real-time operating system scheduling mechanisms and policies, and real-time middleware services. As standards-based quality of service (QoS enabled component middleware automates integration and configuration activities, it is increasingly being used as a platform for developing open DRE systems that execute in environments where operational conditions, input workload, and resource availability cannot be characterized accurately a priori. Although QoS-enabled component middleware offers many desirable features, however, it historically lacked the ability to allocate resources efficiently and enable the system to adapt to fluctuations in input workload, resource availability, and operating conditions. This paper presents three contributions to research on adaptive resource management for component-based open DRE systems. First, we describe the structure and functionality of the resource allocation and control engine (RACE, which is an open-source adaptive resource management framework built atop standards-based QoS-enabled component middleware. Second, we demonstrate and evaluate the effectiveness of RACE in the context of a representative open DRE system: NASA's magnetospheric multiscale mission system. Third, we present an empirical evaluation of RACE's scalability as the number of nodes and applications in a DRE system grows. Our results show that RACE is a scalable adaptive resource management framework and yields a predictable and high-performance system, even in the face of changing operational conditions and input workload.

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

Sharing Real-Time Objects in Distributed Embedded Systems

DEFF Research Database (Denmark)

Larsen, Erland Ketil; Havn, Ib

2015-01-01

microcontrollers connected by a RS-485 bus. The demo system shows that it is relatively simple to implement a distributed embedded system with the provided API, and the latency of the communication service is predictable. A low coupling to hardware makes it easy to port to another platform and/or another network...

Real-time quantitative PCR of microdissected paraffin-embedded breast carcinoma

DEFF Research Database (Denmark)

Gjerdrum, Lise Mette; Sorensen, Boe Sandahl; Kjeldsen, Eigil

2004-01-01

We studied the feasibility of using real-time quantitative PCR to determine HER-2 DNA amplification and mRNA expression in microdissected formalin-fixed, paraffin-embedded breast tumors and compared this with standard immunohistochemistry (IHC) and fluorescent in situ hybridization (FISH) methods...

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.

Real-time quantitative PCR of microdissected paraffin-embedded breast carcinoma

DEFF Research Database (Denmark)

Gjerdrum, Lise Mette; Sorensen, Boe Sandahl; Kjeldsen, Eigil

2004-01-01

We studied the feasibility of using real-time quantitative PCR to determine HER-2 DNA amplification and mRNA expression in microdissected formalin-fixed, paraffin-embedded breast tumors and compared this with standard immunohistochemistry (IHC) and fluorescent in situ hybridization (FISH) methods...... tumors as being amplified. Interestingly, all these scored 2+ with the HercepTest, but were negative using FISH. We believe that real-time quantitative PCR analysis of HER-2 DNA amplification following microdissection represents a useful supplementary or perhaps even an alternative technique...

Analysis and Synthesis of Distributed Real-Time Embedded Systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

like automotive electronics, real-time multimedia, avionics, medical equipment, and factory systems. The proposed analysis and synthesis techniques derive optimized implementations that fulfill the imposed design constraints. An important part of the implementation process is the synthesis...

Assessing Task Migration Impact on Embedded Soft Real-Time Streaming Multimedia Applications

Directory of Open Access Journals (Sweden)

Alimonda Andrea

2008-01-01

Full Text Available Abstract Multiprocessor systems on chips (MPSoCs are envisioned as the future of embedded platforms such as game-engines, smart-phones and palmtop computers. One of the main challenge preventing the widespread diffusion of these systems is the efficient mapping of multitask multimedia applications on processing elements. Dynamic solutions based on task migration has been recently explored to perform run-time reallocation of task to maximize performance and optimize energy consumption. Even if task migration can provide high flexibility, its overhead must be carefully evaluated when applied to soft real-time applications. In fact, these applications impose deadlines that may be missed during the migration process. In this paper we first present a middleware infrastructure supporting dynamic task allocation for NUMA architectures. Then we perform an extensive characterization of its impact on multimedia soft real-time applications using a software FM Radio benchmark.

Assessing Task Migration Impact on Embedded Soft Real-Time Streaming Multimedia Applications

Directory of Open Access Journals (Sweden)

Andrea Acquaviva

2008-01-01

Full Text Available Multiprocessor systems on chips (MPSoCs are envisioned as the future of embedded platforms such as game-engines, smart-phones and palmtop computers. One of the main challenge preventing the widespread diffusion of these systems is the efficient mapping of multitask multimedia applications on processing elements. Dynamic solutions based on task migration has been recently explored to perform run-time reallocation of task to maximize performance and optimize energy consumption. Even if task migration can provide high flexibility, its overhead must be carefully evaluated when applied to soft real-time applications. In fact, these applications impose deadlines that may be missed during the migration process. In this paper we first present a middleware infrastructure supporting dynamic task allocation for NUMA architectures. Then we perform an extensive characterization of its impact on multimedia soft real-time applications using a software FM Radio benchmark.

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

Co-simulation of Distributed Embedded Real-Time Control Systems

NARCIS (Netherlands)

Verhoef, M.; Visser, P.M.; Hooman, J.; Broenink, Johannes F.; Davies, J.; Gibbons, J.

2007-01-01

Development of computerized embedded control systems is difficult because it brings together systems theory, electrical engineering and computer science. The engineering and analysis approaches advocated by these disciplines are fundamentally different which complicates reasoning about e.g.

Real-time multiple objects tracking on Raspberry-Pi-based smart embedded camera

Science.gov (United States)

Dziri, Aziz; Duranton, Marc; Chapuis, Roland

2016-07-01

Multiple-object tracking constitutes a major step in several computer vision applications, such as surveillance, advanced driver assistance systems, and automatic traffic monitoring. Because of the number of cameras used to cover a large area, these applications are constrained by the cost of each node, the power consumption, the robustness of the tracking, the processing time, and the ease of deployment of the system. To meet these challenges, the use of low-power and low-cost embedded vision platforms to achieve reliable tracking becomes essential in networks of cameras. We propose a tracking pipeline that is designed for fixed smart cameras and which can handle occlusions between objects. We show that the proposed pipeline reaches real-time processing on a low-cost embedded smart camera composed of a Raspberry-Pi board and a RaspiCam camera. The tracking quality and the processing speed obtained with the proposed pipeline are evaluated on publicly available datasets and compared to the state-of-the-art methods.

Combining UML2 Application and SystemC Platform Modelling for Performance Evaluation of Real-Time Embedded Systems

Directory of Open Access Journals (Sweden)

Qu Yang

2008-01-01

Full Text Available Abstract Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several stand-alone applications. The network-on-chip communication and device networking combine the design challenges of conventional distributed systems and resource constrained real-time embedded systems. Interoperable design space exploration for both the application and platform development is required. Application designer needs abstract platform models to rapidly check the feasibility of a new feature or application. Platform designer needs abstract application models for defining platform computation and communication capacities. We propose a layered UML application/workload and SystemC platform modelling approach that allow application and platform to be modelled at several levels of abstraction, which enables early performance evaluation of the resulting system. The overall approach has been experimented with a mobile video player case study, while different load extraction methods have been validated by applying them to MPEG-4 encoder, Quake2 3D game, and MP3 decoder case studies previously.

Modeling and validating distributed embedded real-time control systems

NARCIS (Netherlands)

Verhoef, M.H.G.

2009-01-01

The development of complex embedded control systems can be improved significantly by applying formal techniques from control engineering and software engineering. It is shown how these approaches can be combined to improve the design and analysis of high-tech systems, both in theory and practice.

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

2006-01-01

We present an approach to static priority preemptive process scheduling for the synthesis of hard real-time distributed embedded systems where communication plays an important role. The communication model is based on a time-triggered protocol. We have developed an analysis for the communication...... delays proposing four different message scheduling policies over a time-triggered communication channel. Optimization strategies for the synthesis of communication are developed, and the four approaches to message scheduling are compared using extensive experiments...

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

1999-01-01

We present an approach to static priority preemptive process scheduling for the synthesis of hard real-time distributed embedded systems where communication plays an important role. The communication model is based on a time-triggered protocol. We have developed an analysis for the communication...... delays proposing four different message scheduling policies over a time-triggered communication channel. Optimization strategies for the synthesis of communication are developed, and the four approaches to message scheduling are compared using extensive experiments....

Schedulability-Driven Communication Synthesis for Time Triggered Embedded Systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

2004-01-01

We present an approach to static priority preemptive process scheduling for the synthesis of hard real-time distributed embedded systems where communication plays an important role. The communication model is based on a time-triggered protocol. We have developed an analysis for the communication...... delays with four different message scheduling policies over a time-triggered communication channel. Optimization strategies for the synthesis of communication are developed, and the four approaches to message scheduling are compared using extensive experiments....

Towards cycle-accurate performance predictions for real-time embedded systems

NARCIS (Netherlands)

Triantafyllidis, K.; Bondarev, E.; With, de P.H.N.; Arabnia, H.R.; Deligiannidis, L.; Jandieri, G.

2013-01-01

In this paper we present a model-based performance analysis method for component-based real-time systems, featuring cycle-accurate predictions of latencies and enhanced system robustness. The method incorporates the following phases: (a) instruction-level profiling of SW components, (b) modeling the

Real-time Kernel Implementation Practice Program for Embedded Software Engineers' Education and its Evaluation

Science.gov (United States)

Yoshida, Toshio; Matsumoto, Masahide; Seo, Katsuhiko; Chino, Shinichiro; Sugino, Eiji; Sawamoto, Jun; Koizumi, Hisao

A real-time kernel (henceforth RTK) is in the center place of embedded software technology, and the understanding of RTK is indispensable for the embedded system design. To implement RTK, it is necessary to understand languages that describe RTK software program code, system programming manners, software development tools, CPU on that RTK runs and the interface between software and hardware, etc. in addition to understanding of RTK itself. This means RTK implementation process largely covers embedded software implementation process. Therefore, it is thought that RTK implementation practice program is very effective as a means of the acquisition of common embedded software skill in addition to deeper acquisition of RTK itself. In this paper, we propose to apply RTK implementing practice program to embedded software engineers educational program. We newly developed very small and step-up type RTK named μK for educational use, and held a seminar that used μK as a teaching material for the students of information science and engineers of the software house. As a result, we confirmed that RTK implementation practice program is very effective for the acquisition of embedded software common skill.

Parallel embedded systems: where real-time and low-power meet

DEFF Research Database (Denmark)

Karakehayov, Zdravko; Guo, Yu

2008-01-01

This paper introduces a combination of models and proofs for optimal power management via Dynamic Frequency Scaling and Dynamic Voltage Scaling. The approach is suitable for systems on a chip or microcontrollers where processors run in parallel with embedded peripherals. We have developed...... a software tool, called CASTLE, to provide computer assistance in the design process of energy-aware embedded systems. The tool considers single processor and parallel architectures. An example shows an energy reduction of 23% when the tool allocates two microcontrollers for parallel execution....

Scheduling and Communication Synthesis for Distributed Real-Time Systems

DEFF Research Database (Denmark)

Pop, Paul

2000-01-01

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

Real-time systems

OpenAIRE

Badr, Salah M.; Bruztman, Donald P.; Nelson, Michael L.; Byrnes, Ronald Benton

1992-01-01

This paper presents an introduction to the basic issues involved in real-time systems. Both real-time operating sys and real-time programming languages are explored. Concurrent programming and process synchronization and communication are also discussed. The real-time requirements of the Naval Postgraduate School Autonomous Under Vehicle (AUV) are then examined. Autonomous underwater vehicle (AUV), hard real-time system, real-time operating system, real-time programming language, real-time sy...

A microkernel middleware architecture for distributed embedded real-zime systems

OpenAIRE

Pfeffer, Matthias

2001-01-01

A microkernel middleware architecture for distributed embedded real-zime systems / T. Ungerer ... - In: Symposium on Reliable Distributed Systems : Proceedings : October 28 - 31, 2001, New Orleans, Louisiana, USA. - Los Alamitos, Calif. [u.a.] : IEEE Computer Soc., 2001. - S. 218-226

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.

Verification and Performance Analysis for Embedded Systems

DEFF Research Database (Denmark)

Larsen, Kim Guldstrand

2009-01-01

This talk provides a thorough tutorial of the UPPAAL tool suite for, modeling, simulation, verification, optimal scheduling, synthesis, testing and performance analysis of embedded and real-time systems.......This talk provides a thorough tutorial of the UPPAAL tool suite for, modeling, simulation, verification, optimal scheduling, synthesis, testing and performance analysis of embedded and real-time systems....

[Comparison of two different real-time PCR systems in postmortem diagnosis of tuberculosis in paraffin-embedded tissues].

Science.gov (United States)

Yağmur, Gülhan; Albayrak, Nurhan; Daş, Taner; Yıldırım, Muzaffer; Ozgün, Ayşe; Büyük, Yalçın

2014-10-01

Tuberculosis (TB) is one of those infections with high morbidity and mortality in all around the world. Hundreds of people died from this disease without diagnosed or due to resistant strains in Turkey. Therefore, it is important to identify postmortem cases who have died from tuberculosis. Molecular methods have been widely used as well as conventional methods in the diagnosis of tuberculosis. The aim of this study was to compare the two different real-time polymerase chain reaction (Rt-PCR) system in the postmortem diagnosis of Mycobacterium tuberculosis infections in paraffin-embedded tissues. A total of 40 paraffin-embedded tissue samples [lung (n= 35), brain (n= 2), heart (n= 2), lymph node (n= 1)] in which histopathologic findings consistent with TB (necrotizing granulomatous inflammation, gelatinous caseous pneumonia, necrotic fibrous nodul) obtained from 37 autopsy cases (31 male, 6 female; age range: 25-85 yrs) were included in the study. Paraffin-embedded tissues were deparafinized with xylene and ethyl alcohol and then DNA isolation was done with QIAsymphony DSP Virus/Pathogen Midi kit in the QIAsymphony device. DNA amplification process was performed by Rt-PCR using the kit Artus® M. tuberculosis RG-PCR in the Rotor-Gene® Q device (Qiagen, Germany). Likewise, after deparafinization process, samples placed in the cartridge and isolation and Rt-PCR was performed by Xpert® MTB/RIF (Cepheid, USA) system, simultaneosly. Seventeen and 20 out of the 40 paraffin-embedded tissues yielded positive results with Qiagen and Xpert system, respectively. M.tuberculosis DNA was found positive in 13 (32.5%) and negative in 16 (40%) of the samples by both of the systems, exhibiting 72.5% (29/40) of concordance. On the other hand, seven (17.5%) samples that were positive with Xpert system yielded negative result with the Qiagen, while four (10%) samples that were positive with Qiagen yielded negative result with the Xpert system. Of the 20 positive cases detected with

Platform for real-time simulation of dynamic systems and hardware-in-the-loop for control algorithms.

Science.gov (United States)

de Souza, Isaac D T; Silva, Sergio N; Teles, Rafael M; Fernandes, Marcelo A C

2014-10-15

The development of new embedded algorithms for automation and control of industrial equipment usually requires the use of real-time testing. However, the equipment required is often expensive, which means that such tests are often not viable. The objective of this work was therefore to develop an embedded platform for the distributed real-time simulation of dynamic systems. This platform, called the Real-Time Simulator for Dynamic Systems (RTSDS), could be applied in both industrial and academic environments. In industrial applications, the RTSDS could be used to optimize embedded control algorithms. In the academic sphere, it could be used to support research into new embedded solutions for automation and control and could also be used as a tool to assist in undergraduate and postgraduate teaching related to the development of projects concerning on-board control systems.

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

Multithreading for Embedded Reconfigurable Multicore Systems

NARCIS (Netherlands)

Zaykov, P.G.

2014-01-01

In this dissertation, we address the problem of performance efficient multithreading execution on heterogeneous multicore embedded systems. By heterogeneous multicore embedded systems we refer to those, which have real-time requirements and consist of processor tiles with General Purpose Processor

Multithreading for embedded reconfigurable multicore systems

NARCIS (Netherlands)

Zaykov, P.G.

2014-01-01

In this dissertation, we address the problem of performance efficient multithreading execution on heterogeneous multicore embedded systems. By heterogeneous multicore embedded systems we refer to those, which have real-time requirements and consist of processor tiles with General Purpose Processor

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.

Distributed digital real-time control system for TCV tokamak

Energy Technology Data Exchange (ETDEWEB)

Le, H.B. [École Polytechnique Fédérale de Lausanne (EPFL), Centre de Recherches en Physique des Plasmas (CRPP), Association EURATOM-Confédération Suisse, CH-1015 Lausanne (Switzerland); Felici, F. [Eindhoven University of Technology, P.O. Box 513, 5600 MB Eindhoven (Netherlands); Paley, J.I.; Duval, B.P.; Moret, J.-M.; Coda, S.; Sauter, O.; Fasel, D.; Marmillod, P. [École Polytechnique Fédérale de Lausanne (EPFL), Centre de Recherches en Physique des Plasmas (CRPP), Association EURATOM-Confédération Suisse, CH-1015 Lausanne (Switzerland)

2014-03-15

Highlights: • A new distributed digital control system for the TCV tokamak has been commissioned. • Data is shared in real-time between all nodes using the reflective memory. • The customised Linux OS allows achieving deterministic and low latency behaviour. • The control algorithm design in Simulink together with the automatic code generation using Embedded Coder allow rapid algorithm development. • Controllers designed outside the TCV environment can be ported easily. • The previous control system functions have been emulated and improved. • New capabilities include MHD control, profile control, equilibrium reconstruction. - Abstract: A new digital feedback control system (named the SCD “Système de Contrôle Distribué”) has been developed, integrated and used successfully to control TCV (Tokamak à Configuration Variable) plasmas. The system is designed to be modular, distributed, and scalable, accommodating hundreds of diagnostic inputs and actuator outputs. With many more inputs and outputs available than previously possible, it offers the possibility to design advanced control algorithms with better knowledge of the plasma state and to coherently control all TCV actuators, including poloidal field (PF) coils, gas valves, the gyrotron powers and launcher angles of the electron cyclotron heating and current drive system (ECRH/ECCD) together with diagnostic triggering signals. The system consists of multiple nodes; each is a customised Linux desktop or embedded PC which may have local ADC and DAC cards. Each node is also connected to a memory network (reflective memory) providing a reliable, deterministic method of sharing memory between all nodes. Control algorithms are programmed as block diagrams in Matlab-Simulink providing a powerful environment for modelling and control design. The C code is generated automatically from the Simulink block diagram and compiled, with the Simulink Embedded Coder (SEC, formerly Real-Time Workshop Embedded

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

International Nuclear Information System (INIS)

Zhang Sifeng; Cao Ping; Song Kezhu; Yao Lin

2010-01-01

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

Supporting Development of Energy-Optimised Java Real-Time Systems using TetaSARTS

DEFF Research Database (Denmark)

Luckow, Kasper Søe; Bøgholm, Thomas; Thomsen, Bent

2013-01-01

This paper presents how the tool TetaSARTS can be used to support the development of embedded hard real-time systems written in Java using the emerging Safety Critical Java (SCJ) profile. TetaSARTS facilitates control-flow sensitive schedulability analysis of a set of real-time tasks, and features...

The embedded operating system project

Science.gov (United States)

Campbell, R. H.

1984-01-01

This progress report describes research towards the design and construction of embedded operating systems for real-time advanced aerospace applications. The applications concerned require reliable operating system support that must accommodate networks of computers. The report addresses the problems of constructing such operating systems, the communications media, reconfiguration, consistency and recovery in a distributed system, and the issues of realtime processing. A discussion is included on suitable theoretical foundations for the use of atomic actions to support fault tolerance and data consistency in real-time object-based systems. In particular, this report addresses: atomic actions, fault tolerance, operating system structure, program development, reliability and availability, and networking issues. This document reports the status of various experiments designed and conducted to investigate embedded operating system design issues.

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

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.

Real-time fetal ECG system design using embedded microprocessors

Science.gov (United States)

Meyer-Baese, Uwe; Muddu, Harikrishna; Schinhaerl, Sebastian; Kumm, Martin; Zipf, Peter

2016-05-01

The emphasis of this project lies in the development and evaluation of new robust and high fidelity fetal electrocardiogram (FECG) systems to determine the fetal heart rate (FHR). Recently several powerful algorithms have been suggested to improve the FECG fidelity. Until now it is unknown if these algorithms allow a real-time processing, can be used in mobile systems (low power), and which algorithm produces the best error rate for a given system configuration. In this work we have developed high performance, low power microprocessor-based biomedical systems that allow a fair comparison of proposed, state-of-the-art FECG algorithms. We will evaluate different soft-core microprocessors and compare these solutions to other commercial off-the-shelf (COTS) hardcore solutions in terms of price, size, power, and speed.

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

Verification and controller synthesis for resource-constrained real-time systems

DEFF Research Database (Denmark)

Li, Shuhao; Pettersson, Paul

2010-01-01

-TIGA to check whether a given control objective can be enforced, and if so, we synthesize a controller for the system. We carry out a case study of this approach on a battery-powered autonomous truck. Experimental results indicate that the method is effective and computationally feasible.......An embedded system is often subject to timing constraints, resource constraints, and it should operate properly no matter how its environment behaves. This paper proposes to use timed game automata to characterize the timed behaviors and the environment uncertainties, and use piece-wise constant...... integer functions to approximate the continuous resources in real-time embedded systems. Based on these formal models and techniques, we employ the realtime model checker UPPAAL to verify a system against a given functional and/or timing requirement. Furthermore, we employ the timed game solver UPPAAL...

OpenVX-based Python Framework for real-time cross platform acceleration of embedded computer vision applications

Directory of Open Access Journals (Sweden)

Ori Heimlich

2016-11-01

Full Text Available Embedded real-time vision applications are being rapidly deployed in a large realm of consumer electronics, ranging from automotive safety to surveillance systems. However, the relatively limited computational power of embedded platforms is considered as a bottleneck for many vision applications, necessitating optimization. OpenVX is a standardized interface, released in late 2014, in an attempt to provide both system and kernel level optimization to vision applications. With OpenVX, Vision processing are modeled with coarse-grained data flow graphs, which can be optimized and accelerated by the platform implementer. Current full implementations of OpenVX are given in the programming language C, which does not support advanced programming paradigms such as object-oriented, imperative and functional programming, nor does it have runtime or type-checking. Here we present a python-based full Implementation of OpenVX, which eliminates much of the discrepancies between the object-oriented paradigm used by many modern applications and the native C implementations. Our open-source implementation can be used for rapid development of OpenVX applications in embedded platforms. Demonstration includes static and real-time image acquisition and processing using a Raspberry Pi and a GoPro camera. Code is given as supplementary information. Code project and linked deployable virtual machine are located on GitHub: https://github.com/NBEL-lab/PythonOpenVX.

Embedded Real-Time Architecture for Level-Set-Based Active Contours

Directory of Open Access Journals (Sweden)

Dejnožková Eva

2005-01-01

Full Text Available Methods described by partial differential equations have gained a considerable interest because of undoubtful advantages such as an easy mathematical description of the underlying physics phenomena, subpixel precision, isotropy, or direct extension to higher dimensions. Though their implementation within the level set framework offers other interesting advantages, their vast industrial deployment on embedded systems is slowed down by their considerable computational effort. This paper exploits the high parallelization potential of the operators from the level set framework and proposes a scalable, asynchronous, multiprocessor platform suitable for system-on-chip solutions. We concentrate on obtaining real-time execution capabilities. The performance is evaluated on a continuous watershed and an object-tracking application based on a simple gradient-based attraction force driving the active countour. The proposed architecture can be realized on commercially available FPGAs. It is built around general-purpose processor cores, and can run code developed with usual tools.

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

T-UPPAAL: Online Model-based Testing of Real-Time Systems

DEFF Research Database (Denmark)

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

2004-01-01

The goal of testing is to gain confidence in a physical computer based system by means of executing it. More than one third of typical project resources is spent on testing embedded and real-time systems, but still it remains ad-hoc, based on heuristics, and error-prone. Therefore systematic...

A distributed real-time Java system based on CSP

NARCIS (Netherlands)

Bakkers, André; Hilderink, G.H.; Broenink, Johannes F.

1999-01-01

Real-time embedded systems in general require a reliability that is orders of magnitude higher than what is presently obtainable with state of the art C programs. The reason for the poor reliability of present day software is the unavailability of a formalism to design sequential C programs. The use

Compilation and synthesis for real-time embedded controllers

DEFF Research Database (Denmark)

Fränzle, Martin; Müller-Olm, Markus

1999-01-01

This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract requirements rather than verified against the timing requirements a posteriori. The first, more pragmatic approach is concerne......-time systems at a very high level of abstraction....

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.

Investigating the Effect of Voltage-Switching on Low-Energy Task Scheduling in Hard Real-Time Systems

Science.gov (United States)

2005-01-01

We investigate the effect of voltage-switching on task execution times and energy consumption for dual-speed hard real - time systems , and present a...scheduling algorithm and apply it to two real-life task sets. Our results show that energy can be conserved in embedded real - time systems using energy...aware task scheduling. We also show that switching times have a significant effect on the energy consumed in hard real - time systems .

An Embedded Device for Real-Time Noninvasive Intracranial Pressure Estimation.

Science.gov (United States)

Matthews, Jonathan M; Fanelli, Andrea; Heldt, Thomas

2018-01-01

The monitoring of intracranial pressure (ICP) is indicated for diagnosing and guiding therapy in many neurological conditions. Current monitoring methods, however, are highly invasive, limiting their use to the most critically ill patients only. Our goal is to develop and test an embedded device that performs all necessary mathematical operations in real-time for noninvasive ICP (nICP) estimation based on a previously developed model-based approach that uses cerebral blood flow velocity (CBFV) and arterial blood pressure (ABP) waveforms. The nICP estimation algorithm along with the required preprocessing steps were implemented on an NXP LPC4337 microcontroller unit (MCU). A prototype device using the MCU was also developed, complete with display, recording functionality, and peripheral interfaces for ABP and CBFV monitoring hardware. The device produces an estimate of mean ICP once per minute and performs the necessary computations in 410 ms, on average. Real-time nICP estimates differed from the original batch-mode MATLAB implementation of theestimation algorithm by 0.63 mmHg (root-mean-square error). We have demonstrated that real-time nICP estimation is possible on a microprocessor platform, which offers the advantages of low cost, small size, and product modularity over a general-purpose computer. These attributes take a step toward the goal of real-time nICP estimation at the patient's bedside in a variety of clinical settings.

Enhanced Interrupt Response Time in the nMPRA based on Embedded Real Time Microcontrollers

Directory of Open Access Journals (Sweden)

GAITAN, N. C.

2017-08-01

Full Text Available In any real-time operating system, task switching and scheduling, interrupts, synchronization and communication between processes, represent major problems. The implementation of these mechanisms through software generates significant delays for many applications. The nMPRA (Multi Pipeline Register Architecture architecture is designed for the implementation of real-time embedded microcontrollers. It supports the competitive execution of n tasks, enabling very fast switching between them, with a usual delay of one machine cycle and a maximum of 3 machine cycles, for the memory-related work instructions. This is because each task has its own PC (Program Counter, set of pipeline registers and a general registers file. The nMPRA is provided with an advanced distributed interrupt controller that implements the concept of "interrupts as threads". This allows the attachment of one or more interrupts to the same task. In this context, the original contribution of this article is to presents the solutions for improving the response time to interrupts when a task has attached a large number of interrupts. The proposed solutions enhance the original architecture for interrupts logic in order to transfer control, to the interrupt handler as soon as possible, and to create an interrupt prioritization at task level.

DCOS, a Real-Time Light-weight Data Centric Operating System

NARCIS (Netherlands)

Hofmeijer, T.J.; Dulman, S.O.; Jansen, P.G.; Havinga, Paul J.M.; Sahni, S.

2004-01-01

DCOS is a Data Centric lightweight Operating System for embedded devices. Despite limited energy and hardware resources, it supports a data driven architecture with provisions for dynamic loadable Modules. It combines these with Real-Time provisions based on Earliest Deadline First with a simple but

DCOS, a real-time light-weight Data Centric Operating System

NARCIS (Netherlands)

Hofmeijer, T.J.; Dulman, S.O.; Jansen, P.G.; Havinga, Paul J.M.

2004-01-01

DCOS is a Data Centric lightweight Operating System for embedded devices. Despite limited energy and hardware resources, it supports a data driven architecture with provisions for dynamic loadable Modules. It combines these with Real-Time provisions based on Earliest Deadline First with a simple but

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)

The embedded operating system project

Science.gov (United States)

Campbell, R. H.

1985-01-01

The design and construction of embedded operating systems for real-time advanced aerospace applications was investigated. The applications require reliable operating system support that must accommodate computer networks. Problems that arise in the construction of such operating systems, reconfiguration, consistency and recovery in a distributed system, and the issues of real-time processing are reported. A thesis that provides theoretical foundations for the use of atomic actions to support fault tolerance and data consistency in real-time object-based system is included. The following items are addressed: (1) atomic actions and fault-tolerance issues; (2) operating system structure; (3) program development; (4) a reliable compiler for path Pascal; and (5) mediators, a mechanism for scheduling distributed system processes.

NInFEA: an embedded framework for the real-time evaluation of fetal ECG extraction algorithms.

Science.gov (United States)

Pani, Danilo; Barabino, Gianluca; Raffo, Luigi

2013-02-01

Fetal electrocardiogram (ECG) extraction from non-invasive biopotential recordings is a long-standing research topic. Despite the significant number of algorithms presented in the scientific literature, it is difficult to find information about embedded hardware implementations able to provide real-time support for the required features, bridging the gap between theory and practice. This article presents the NInFEA (non-invasive fetal ECG analysis) tool, an embedded hardware/software framework based on the hybrid dual-core OMAP-L137 low-power processor for the real-time evaluation of fetal ECG extraction algorithms. The hybrid platform, including a digital signal processor (DSP) and a general-purpose processor (GPP), allows achieving the best performance compared with single-core architectures. The GPP provides a portable graphical user interface, whereas the DSP is extensively used for advanced signal processing tasks. As a case study, three state-of-the-art fetal ECG extraction algorithms have been ported onto NInFEA, along with some support routines needed to provide the additional information required by the clinicians and supported by the user interface. NInFEA can be regarded both as a reference design for similar applications and as a common embedded low-power testbed for real-time fetal ECG extraction algorithms.

SPECT detector system design based on embedded system

International Nuclear Information System (INIS)

Zhang Weizheng; Zhao Shujun; Zhang Lei; Sun Yuanling

2007-01-01

A single-photon emission computed tomography detector system based on embedded Linux designed. This system is composed of detector module, data acquisition module, ARM MPU module, network interface communication module and human machine interface module. Its software uses multithreading technology based on embedded Linux. It can achieve high speed data acquisition, real-time data correction and network data communication. It can accelerate the data acquisition and decrease the dead time. The accuracy and the stability of the system can be improved. (authors)

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.

Combining instruction prefetching with partial cache locking to improve WCET in real-time systems.

Directory of Open Access Journals (Sweden)

Fan Ni

Full Text Available Caches play an important role in embedded systems to bridge the performance gap between fast processor and slow memory. And prefetching mechanisms are proposed to further improve the cache performance. While in real-time systems, the application of caches complicates the Worst-Case Execution Time (WCET analysis due to its unpredictable behavior. Modern embedded processors often equip locking mechanism to improve timing predictability of the instruction cache. However, locking the whole cache may degrade the cache performance and increase the WCET of the real-time application. In this paper, we proposed an instruction-prefetching combined partial cache locking mechanism, which combines an instruction prefetching mechanism (termed as BBIP with partial cache locking to improve the WCET estimates of real-time applications. BBIP is an instruction prefetching mechanism we have already proposed to improve the worst-case cache performance and in turn the worst-case execution time. The estimations on typical real-time applications show that the partial cache locking mechanism shows remarkable WCET improvement over static analysis and full cache locking.

Combining instruction prefetching with partial cache locking to improve WCET in real-time systems.

Science.gov (United States)

Ni, Fan; Long, Xiang; Wan, Han; Gao, Xiaopeng

2013-01-01

Caches play an important role in embedded systems to bridge the performance gap between fast processor and slow memory. And prefetching mechanisms are proposed to further improve the cache performance. While in real-time systems, the application of caches complicates the Worst-Case Execution Time (WCET) analysis due to its unpredictable behavior. Modern embedded processors often equip locking mechanism to improve timing predictability of the instruction cache. However, locking the whole cache may degrade the cache performance and increase the WCET of the real-time application. In this paper, we proposed an instruction-prefetching combined partial cache locking mechanism, which combines an instruction prefetching mechanism (termed as BBIP) with partial cache locking to improve the WCET estimates of real-time applications. BBIP is an instruction prefetching mechanism we have already proposed to improve the worst-case cache performance and in turn the worst-case execution time. The estimations on typical real-time applications show that the partial cache locking mechanism shows remarkable WCET improvement over static analysis and full cache locking.

Design of Networks-on-Chip for Real-Time Multi-Processor Systems-on-Chip

DEFF Research Database (Denmark)

Sparsø, Jens

2012-01-01

This paper addresses the design of networks-on-chips for use in multi-processor systems-on-chips - the hardware platforms used in embedded systems. These platforms typically have to guarantee real-time properties, and as the network is a shared resource, it has to provide service guarantees...... (bandwidth and/or latency) to different communication flows. The paper reviews some past work in this field and the lessons learned, and the paper discusses ongoing research conducted as part of the project "Time-predictable Multi-Core Architecture for Embedded Systems" (T-CREST), supported by the European...

Toward real-time virtual biopsy of oral lesions using confocal laser endomicroscopy interfaced with embedded computing.

Science.gov (United States)

Thong, Patricia S P; Tandjung, Stephanus S; Movania, Muhammad Mobeen; Chiew, Wei-Ming; Olivo, Malini; Bhuvaneswari, Ramaswamy; Seah, Hock-Soon; Lin, Feng; Qian, Kemao; Soo, Khee-Chee

2012-05-01

Oral lesions are conventionally diagnosed using white light endoscopy and histopathology. This can pose a challenge because the lesions may be difficult to visualise under white light illumination. Confocal laser endomicroscopy can be used for confocal fluorescence imaging of surface and subsurface cellular and tissue structures. To move toward real-time "virtual" biopsy of oral lesions, we interfaced an embedded computing system to a confocal laser endomicroscope to achieve a prototype three-dimensional (3-D) fluorescence imaging system. A field-programmable gated array computing platform was programmed to enable synchronization of cross-sectional image grabbing and Z-depth scanning, automate the acquisition of confocal image stacks and perform volume rendering. Fluorescence imaging of the human and murine oral cavities was carried out using the fluorescent dyes fluorescein sodium and hypericin. Volume rendering of cellular and tissue structures from the oral cavity demonstrate the potential of the system for 3-D fluorescence visualization of the oral cavity in real-time. We aim toward achieving a real-time virtual biopsy technique that can complement current diagnostic techniques and aid in targeted biopsy for better clinical outcomes.

[Real-time Gait Training System with Embedded Functional Electrical Stimulation].

Science.gov (United States)

Gu, Linyan; Ruan, Zhaomin; Jia, Guifeng; Xla, Jing; Qiu, Lijian; Wu, Changwang; Jin, Xiaoqing; Ning, Gangmin

2015-07-01

To solve the problem that mostly gait analysis is independent from the treatment, this work proposes a system that integrates the functions of gait training and assessment for foot drop treatment. The system uses a set of sensors to collect gait parameters and designes multi-mode functional electrical stimulators as actuator. Body area network technology is introduced to coordinate the data communication and execution of the sensors and stimulators, synchronize the gait analysis and foot drop treatment. Bluetooth 4.0 is applied to low the power consumption of the system. The system realizes the synchronization of treatment and gait analysis. It is able to acquire and analyze the dynamic parameters of ankle, knee and hip in real-time, and treat patients by guiding functional electrical stimulation delivery to the specific body locations of patients.

Real time expert systems

International Nuclear Information System (INIS)

Asami, Tohru; Hashimoto, Kazuo; Yamamoto, Seiichi

1992-01-01

Recently, aiming at the application to the plant control for nuclear reactors and traffic and communication control, the research and the practical use of the expert system suitable to real time processing have become conspicuous. In this report, the condition for the required function to control the object that dynamically changes within a limited time is presented, and the technical difference between the real time expert system developed so as to satisfy it and the expert system of conventional type is explained with the actual examples and from theoretical aspect. The expert system of conventional type has the technical base in the problem-solving equipment originating in STRIPS. The real time expert system is applied to the fields accompanied by surveillance and control, to which conventional expert system is hard to be applied. The requirement for the real time expert system, the example of the real time expert system, and as the techniques of realizing real time processing, the realization of interruption processing, dispersion processing, and the mechanism of maintaining the consistency of knowledge are explained. (K.I.)

Dependable Real-Time Systems

Science.gov (United States)

1991-09-30

0196 or 413 545-0720 PI E-mail Address: krithi@nirvan.cs.umass.edu, stankovic(ocs.umass.edu Grant or Contract Title: Dependable Real - Time Systems Grant...Dependable Real - Time Systems " Grant or Contract Number: N00014-85-k-0398 L " Reporting Period: 1 Oct 87 - 30 Sep 91 , 2. Summary of Accomplishments ’ 2.1 Our...in developing a sound approach to scheduling tasks in complex real - time systems , (2) developed a real-time operating system kernel, a preliminary

An Approach to Incremental Design of Distributed Embedded Systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Pop, Traian

2001-01-01

In this paper we present an approach to incremental design of distributed embedded systems for hard real-time applications. We start from an already existing system running a set of applications and the design problem is to implement new functionality on this system. Thus, we propose mapping...... strategies of functionality so that the already running functionality is not disturbed and there is a good chance that, later, new functionality can easily be mapped on the resulted system. The mapping and scheduling for hard real-time embedded systems are considered the context of a realistic communication...

Logic Model Checking of Time-Periodic Real-Time Systems

Science.gov (United States)

Florian, Mihai; Gamble, Ed; Holzmann, Gerard

2012-01-01

In this paper we report on the work we performed to extend the logic model checker SPIN with built-in support for the verification of periodic, real-time embedded software systems, as commonly used in aircraft, automobiles, and spacecraft. We first extended the SPIN verification algorithms to model priority based scheduling policies. Next, we added a library to support the modeling of periodic tasks. This library was used in a recent application of the SPIN model checker to verify the engine control software of an automobile, to study the feasibility of software triggers for unintended acceleration events.

Energy efficient approach for transient fault recovery in real time ...

African Journals Online (AJOL)

DR OKE

Keywords: DVS, Fault tolerance, Real Time System, Transient Fault. ... in which missing the deadline may cause a failure and soft real time system, ..... Pillai, P., Shin, K., Real-time dynamic voltage scaling for low-power embedded operating ...

An Embedded System Dedicated to Intervehicle Communication Applications

Directory of Open Access Journals (Sweden)

Zhou Haiying

2010-01-01

Full Text Available To overcome system latency and network delay is essential for intervehicle communication (IVC applications such as hazard alarming and cooperative driving. This paper proposes a low-cost embedded software system dedicated to such applications. It consists of two basic component layers: an operating system, named HEROS (hybrid event-driven and real-time multitasking operating system, and a communication protocol, named CIVIC (Communication Inter Véhicule Intelligente et Coopérative. HEROS is originally designed for wireless sensor networks (WSNs. It contains a component-based resource-aware kernel and a low-latency tuple-based communication system. Moreover, it provides a configurable event-driven and/or real-time multitasking mechanism for various embedded applications. The CIVIC is an autoconfiguration cooperative IVC protocol. It merges proactive and reactive approaches to speed up and optimize location-based routing discovery with high-mobility nodes. Currently, this embedded system has been implemented and tested. The experiment results show that the new embedded system has low system latency and network delay under the principle of small resource consumption.

COMDES-II: A Component-Based Framework for Generative Development of Distributed Real-Time Control Systems

DEFF Research Database (Denmark)

Ke, Xu; Sierszecki, Krzysztof; Angelov, Christo K.

2007-01-01

The paper presents a generative development methodology and component models of COMDES-II, a component-based software framework for distributed embedded control systems with real-time constraints. The adopted methodology allows for rapid modeling and validation of control software at a higher lev...... methodology for COMDES-II from a general perspective, describes the component models in details and demonstrates their application through a DC-Motor control system case study.......The paper presents a generative development methodology and component models of COMDES-II, a component-based software framework for distributed embedded control systems with real-time constraints. The adopted methodology allows for rapid modeling and validation of control software at a higher level...

Real-time Linux operating system for plasma control on FTU--implementation advantages and first experimental results

International Nuclear Information System (INIS)

Vitale, V.; Centioli, C.; Iannone, F.; Mazza, G.; Panella, M.; Pangione, L.; Podda, S.; Zaccarian, L.

2004-01-01

In this paper, we report on the experiment carried out at the Frascati Tokamak Upgrade (FTU) on the porting of the plasma control system (PCS) from a LynxOS architecture to an open source Linux real-time architecture. The old LynxOS system was implemented on a VME/PPC604r embedded controller guaranteeing successful plasma position, density and current control. The new RTAI-Linux operating system has shown to easily adapt to the VME hardware via a VME/INTELx86 embedded controller. The advantages of the new solution versus the old one are not limited to the reduced cost of the new architecture (based on the open-source characteristic of the RTAI architecture) but also enhanced by the response time of the real-time system which, also through an optimization of the real-time code, has been reduced from 150 μs (LynxOS) to 70 μs (RTAI). The new real-time operating system is also shown to be suitable for new extended control activities, whose implementation is also possible based on the reduced duty cycle duration, which leaves space for the real-time implementation of nonlinear control laws. We report here on recent experiments related to the optimization of the coupling between additional radiofrequency power and plasma

Real-time Linux operating system for plasma control on FTU--implementation advantages and first experimental results

Energy Technology Data Exchange (ETDEWEB)

Vitale, V. E-mail: vitale@frascati.enea.it; Centioli, C.; Iannone, F.; Mazza, G.; Panella, M.; Pangione, L.; Podda, S.; Zaccarian, L

2004-06-01

In this paper, we report on the experiment carried out at the Frascati Tokamak Upgrade (FTU) on the porting of the plasma control system (PCS) from a LynxOS architecture to an open source Linux real-time architecture. The old LynxOS system was implemented on a VME/PPC604r embedded controller guaranteeing successful plasma position, density and current control. The new RTAI-Linux operating system has shown to easily adapt to the VME hardware via a VME/INTELx86 embedded controller. The advantages of the new solution versus the old one are not limited to the reduced cost of the new architecture (based on the open-source characteristic of the RTAI architecture) but also enhanced by the response time of the real-time system which, also through an optimization of the real-time code, has been reduced from 150 {mu}s (LynxOS) to 70 {mu}s (RTAI). The new real-time operating system is also shown to be suitable for new extended control activities, whose implementation is also possible based on the reduced duty cycle duration, which leaves space for the real-time implementation of nonlinear control laws. We report here on recent experiments related to the optimization of the coupling between additional radiofrequency power and plasma.

Graphical Model Debugger Framework for Embedded Systems

DEFF Research Database (Denmark)

Zeng, Kebin

2010-01-01

Model Driven Software Development has offered a faster way to design and implement embedded real-time software by moving the design to a model level, and by transforming models to code. However, the testing of embedded systems has remained at the code level. This paper presents a Graphical Model...... Debugger Framework, providing an auxiliary avenue of analysis of system models at runtime by executing generated code and updating models synchronously, which allows embedded developers to focus on the model level. With the model debugger, embedded developers can graphically test their design model...

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 System Verification by Kappa-Induction

Science.gov (United States)

Pike, Lee S.

2005-01-01

We report the first formal verification of a reintegration protocol for a safety-critical, fault-tolerant, real-time distributed embedded system. A reintegration protocol increases system survivability by allowing a node that has suffered a fault to regain state consistent with the operational nodes. The protocol is verified in the Symbolic Analysis Laboratory (SAL), where bounded model checking and decision procedures are used to verify infinite-state systems by k-induction. The protocol and its environment are modeled as synchronizing timeout automata. Because k-induction is exponential with respect to k, we optimize the formal model to reduce the size of k. Also, the reintegrator's event-triggered behavior is conservatively modeled as time-triggered behavior to further reduce the size of k and to make it invariant to the number of nodes modeled. A corollary is that a clique avoidance property is satisfied.

Dealing with dynamism in embedded system design

NARCIS (Netherlands)

Gheorghita, S.V.

2007-01-01

In the past decade, real-time embedded systems became more and more complex and pervasive. From the user perspective, these systems have stringent requirements regarding size, performance and energy consumption, and due to business competition, their time-to-market is a crucial factor. Besides these

A Real-Time Programmer's Tour of General-Purpose L4 Microkernels

Directory of Open Access Journals (Sweden)

Ruocco Sergio

2008-01-01

Full Text Available Abstract L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements. It now faces the challenges of tightly integrated systems, in which user interface, multimedia, OS, wireless protocols, and even software-defined radios must run on a single CPU. In this paper we discuss the pros and cons of L4-embedded for real-time systems design, focusing on the issues caused by the extreme speed optimisations it inherited from its general-purpose ancestors. Since these issues can be addressed with a minimal performance loss, we conclude that, overall, the design of real-time systems based on L4-embedded is possible, and facilitated by a number of design features unique to microkernels and the L4 family.

A Real-Time Programmer's Tour of General-Purpose L4 Microkernels

Directory of Open Access Journals (Sweden)

Sergio Ruocco

2008-02-01

Full Text Available L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements. It now faces the challenges of tightly integrated systems, in which user interface, multimedia, OS, wireless protocols, and even software-defined radios must run on a single CPU. In this paper we discuss the pros and cons of L4-embedded for real-time systems design, focusing on the issues caused by the extreme speed optimisations it inherited from its general-purpose ancestors. Since these issues can be addressed with a minimal performance loss, we conclude that, overall, the design of real-time systems based on L4-embedded is possible, and facilitated by a number of design features unique to microkernels and the L4 family.

A Real-Time Embedded System for Stereo Vision Preprocessing Using an FPGA

DEFF Research Database (Denmark)

Kjær-Nielsen, Anders; Jensen, Lars Baunegaard With; Sørensen, Anders Stengaard

2008-01-01

In this paper a low level vision processing node for use in existing IEEE 1394 camera setups is presented. The processing node is a small embedded system, that utilizes an FPGA to perform stereo vision preprocessing at rates limited by the bandwidth of IEEE 1394a (400Mbit). The system is used...

ETHERNET BASED EMBEDDED SYSTEM FOR FEL DIAGNOSTICS AND CONTROLS

International Nuclear Information System (INIS)

Jianxun Yan; Daniel Sexton; Steven Moore; Albert Grippo; Kevin Jordan

2006-01-01

An Ethernet based embedded system has been developed to upgrade the Beam Viewer and Beam Position Monitor (BPM) systems within the free-electron laser (FEL) project at Jefferson Lab. The embedded microcontroller was mounted on the front-end I/O cards with software packages such as Experimental Physics and Industrial Control System (EPICS) and Real Time Executive for Multiprocessor System (RTEMS) running as an Input/Output Controller (IOC). By cross compiling with the EPICS, the RTEMS kernel, IOC device supports, and databases all of these can be downloaded into the microcontroller. The first version of the BPM electronics based on the embedded controller was built and is currently running in our FEL system. The new version of BPM that will use a Single Board IOC (SBIOC), which integrates with an Field Programming Gate Array (FPGA) and a ColdFire embedded microcontroller, is presently under development. The new system has the features of a low cost IOC, an open source real-time operating system, plug and play-like ease of installation and flexibility, and provides a much more localized solution

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.

Real-time algorithms for JET hard X-ray and gamma-ray profile monitor

International Nuclear Information System (INIS)

Fernandes, A.; Pereira, R.C.; Valcárcel, D.F.; Alves, D.; Carvalho, B.B.; Sousa, J.; Kiptily, V.; Correia, C.M.B.A.; Gonçalves, B.

2014-01-01

Highlights: • Real-time tools and mechanisms are required for data handling and machine control. • A new DAQ system, ATCA based, with embedded FPGAs, was installed at JET. • Different real-time algorithms were developed for FPGAs and MARTe application. • MARTe provides the interface to CODAS and to the JET real-time network. • The new DAQ system is capable to process and deliver data in real-time. - Abstract: The steady state operation with high energy content foreseen for future generation of fusion devices will necessarily demand dedicated real-time tools and mechanisms for data handling and machine control. Consequently, the real-time systems for those devices should be carefully selected and their capabilities previously established. The Joint European Torus (JET) is undertaking an enhancement program, which includes tests of relevant real-time tools for the International Thermonuclear Experimental Reactor (ITER), a key experiment for future fusion devices. In these enhancements a new Data AcQuisition (DAQ) system is included, with real-time processing capabilities, for the JET hard X-ray and gamma-ray profile monitor. The DAQ system is composed of dedicated digitizer modules with embedded Field Programmable Gate Array (FPGA) devices. The interface between the DAQ system, the JET control and data acquisition system and the JET real-time data network is provided by the Multithreaded Application Real-Time executor (MARTe). This paper describes the real-time algorithms, developed for both digitizers’ FPGAs and MARTe application, capable of meeting the DAQ real-time requirements. The new DAQ system, including the embedded real-time features, was commissioned during the 2012 experiments. Results achieved with these real-time algorithms during experiments are presented

Real-time algorithms for JET hard X-ray and gamma-ray profile monitor

Energy Technology Data Exchange (ETDEWEB)

Fernandes, A., E-mail: anaf@ipfn.ist.utl.pt [Associação EURATOM/IST, Instituto de Plasmas e Fusão Nuclear, Instituto Superior Técnico, Universidade Técnica de Lisboa, 1049-001 Lisboa (Portugal); Pereira, R.C.; Valcárcel, D.F.; Alves, D.; Carvalho, B.B.; Sousa, J. [Associação EURATOM/IST, Instituto de Plasmas e Fusão Nuclear, Instituto Superior Técnico, Universidade Técnica de Lisboa, 1049-001 Lisboa (Portugal); Kiptily, V. [EURATOM/CCFE Fusion Association, Culham Centre for Fusion Energy, Culham Science Centre, Abingdon OX14 3DB (United Kingdom); Correia, C.M.B.A. [Centro de Instrumentação, Dept. de Física, Universidade de Coimbra, 3004-516 Coimbra (Portugal); Gonçalves, B. [Associação EURATOM/IST, Instituto de Plasmas e Fusão Nuclear, Instituto Superior Técnico, Universidade Técnica de Lisboa, 1049-001 Lisboa (Portugal)

2014-03-15

Highlights: • Real-time tools and mechanisms are required for data handling and machine control. • A new DAQ system, ATCA based, with embedded FPGAs, was installed at JET. • Different real-time algorithms were developed for FPGAs and MARTe application. • MARTe provides the interface to CODAS and to the JET real-time network. • The new DAQ system is capable to process and deliver data in real-time. - Abstract: The steady state operation with high energy content foreseen for future generation of fusion devices will necessarily demand dedicated real-time tools and mechanisms for data handling and machine control. Consequently, the real-time systems for those devices should be carefully selected and their capabilities previously established. The Joint European Torus (JET) is undertaking an enhancement program, which includes tests of relevant real-time tools for the International Thermonuclear Experimental Reactor (ITER), a key experiment for future fusion devices. In these enhancements a new Data AcQuisition (DAQ) system is included, with real-time processing capabilities, for the JET hard X-ray and gamma-ray profile monitor. The DAQ system is composed of dedicated digitizer modules with embedded Field Programmable Gate Array (FPGA) devices. The interface between the DAQ system, the JET control and data acquisition system and the JET real-time data network is provided by the Multithreaded Application Real-Time executor (MARTe). This paper describes the real-time algorithms, developed for both digitizers’ FPGAs and MARTe application, capable of meeting the DAQ real-time requirements. The new DAQ system, including the embedded real-time features, was commissioned during the 2012 experiments. Results achieved with these real-time algorithms during experiments are presented.

Development of wireless brain computer interface with embedded multitask scheduling and its application on real-time driver's drowsiness detection and warning.

Science.gov (United States)

Lin, Chin-Teng; Chen, Yu-Chieh; Huang, Teng-Yi; Chiu, Tien-Ting; Ko, Li-Wei; Liang, Sheng-Fu; Hsieh, Hung-Yi; Hsu, Shang-Hwa; Duann, Jeng-Ren

2008-05-01

Biomedical signal monitoring systems have been rapidly advanced with electronic and information technologies in recent years. However, most of the existing physiological signal monitoring systems can only record the signals without the capability of automatic analysis. In this paper, we proposed a novel brain-computer interface (BCI) system that can acquire and analyze electroencephalogram (EEG) signals in real-time to monitor human physiological as well as cognitive states, and, in turn, provide warning signals to the users when needed. The BCI system consists of a four-channel biosignal acquisition/amplification module, a wireless transmission module, a dual-core signal processing unit, and a host system for display and storage. The embedded dual-core processing system with multitask scheduling capability was proposed to acquire and process the input EEG signals in real time. In addition, the wireless transmission module, which eliminates the inconvenience of wiring, can be switched between radio frequency (RF) and Bluetooth according to the transmission distance. Finally, the real-time EEG-based drowsiness monitoring and warning algorithms were implemented and integrated into the system to close the loop of the BCI system. The practical online testing demonstrates the feasibility of using the proposed system with the ability of real-time processing, automatic analysis, and online warning feedback in real-world operation and living environments.

Optimal design of distributed control and embedded systems

CERN Document Server

Çela, Arben; Li, Xu-Guang; Niculescu, Silviu-Iulian

2014-01-01

Optimal Design of Distributed Control and Embedded Systems focuses on the design of special control and scheduling algorithms based on system structural properties as well as on analysis of the influence of induced time-delay on systems performances. It treats the optimal design of distributed and embedded control systems (DCESs) with respect to communication and calculation-resource constraints, quantization aspects, and potential time-delays induced by the associated  communication and calculation model. Particular emphasis is put on optimal control signal scheduling based on the system state. In order to render  this complex optimization problem feasible in real time, a time decomposition is based on periodicity induced by the static scheduling is operated. The authors present a co-design approach which subsumes the synthesis of the optimal control laws and the generation of an optimal schedule of control signals on real-time networks as well as the execution of control tasks on a single processor. The a...

Embedded control system for high power RF amplifiers

International Nuclear Information System (INIS)

Sharma, Deepak Kumar; Gupta, Alok Kumar; Jain, Akhilesh; Hannurkar, P.R.

2011-01-01

RF power devices are usually very sensitive to overheat and reflected RF power; hence a protective interlock system is required to be embedded with high power solid state RF amplifiers. The solid state RF amplifiers have salient features of graceful degradation and very low mean time to repair (MTTR). In order to exploit these features in favour of lowest system downtime, a real-time control system is embedded with high power RF amplifiers. The control system is developed with the features of monitoring, measurement and network publishing of various parameters, historical data logging, alarm generation, displaying data to the operator and tripping the system in case of any interlock failure. This paper discusses the design philosophy, features, functions and implementation details of the embedded control system. (author)

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

A Non-invasive Real-time Localization System for Enhanced Efficacy in Nasogastric Intubation.

Science.gov (United States)

Sun, Zhenglong; Foong, Shaohui; Maréchal, Luc; Tan, U-Xuan; Teo, Tee Hui; Shabbir, Asim

2015-12-01

Nasogastric (NG) intubation is one of the most commonly performed clinical procedures. Real-time localization and tracking of the NG tube passage at the larynx region into the esophagus is crucial for safety, but is lacking in current practice. In this paper, we present the design, analysis and evaluation of a non-invasive real-time localization system using passive magnetic tracking techniques to improve efficacy of the clinical NG intubation process. By embedding a small permanent magnet at the insertion tip of the NG tube, a wearable system containing embedded sensors around the neck can determine the absolute position of the NG tube inside the body in real-time to assist in insertion. In order to validate the feasibility of the proposed system in detecting erroneous tube placement, typical reference intubation trajectories are first analyzed using anatomically correct models and localization accuracy of the system are evaluated using a precise robotic platform. It is found that the root-mean-squared tracking accuracy is within 5.3 mm for both the esophagus and trachea intubation pathways. Experiments were also designed and performed to demonstrate that the system is capable of tracking the NG tube accurately in biological environments even in presence of stationary ferromagnetic objects (such as clinical instruments). With minimal physical modification to the NG tube and clinical process, this system allows accurate and efficient localization and confirmation of correct NG tube placement without supplemental radiographic methods which is considered the current clinical standard.

Time-dependent embedding

OpenAIRE

Inglesfield, J. E.

2007-01-01

A method of solving the time-dependent Schr\\"odinger equation is presented, in which a finite region of space is treated explicitly, with the boundary conditions for matching the wave-functions on to the rest of the system replaced by an embedding term added on to the Hamiltonian. This time-dependent embedding term is derived from the Fourier transform of the energy-dependent embedding potential, which embeds the time-independent Schr\\"odinger equation. Results are presented for a one-dimensi...

Java for Cost Effective Embedded Real-Time Software

DEFF Research Database (Denmark)

Korsholm, Stephan Erbs

2012-01-01

This thesis presents the analysis, design and implementation of the Hardware near Virtual Machine (HVM) - a Java virtual machine for embedded devices. The HVM supports the execution of Java programs on low-end embedded hard- ware environments with as little as a few kB of RAM and 32 kB of ROM....... The HVM is based on a Java-to-C translation mechanism and it produces selfcontained, strict ANSI-C code that has been specially crafted to allow it to be embedded into existing C based build and execution environments; environ- ments which may be based on non standard C compilers and libraries. The HVM...... does not require a POSIX-like OS, nor does it require a C runtime library to be present for the target. The main distinguishing feature of the HVM is to support the stepwise addition of Java into an existing C based build and execution environment for low-end embedded systems. This will allow...

Java for Cost Effective Embedded Real-Time Software

DEFF Research Database (Denmark)

Korsholm, Stephan

This thesis presents the analysis, design and implementation of the Hardware near Virtual Machine (HVM) - a Java virtual machine for embedded devices. The HVM supports the execution of Java programs on low-end embedded hard- ware environments with as little as a few kB of RAM and 32 kB of ROM....... The HVM is based on a Java-to-C translation mechanism and it produces self- contained, strict ANSI-C code that has been specially crafted to allow it to be embedded into existing C based build and execution environments; environ- ments which may be based on non standard C compilers and libraries. The HVM...... does not require a POSIX-like OS, nor does it require a C runtime library to be present for the target. The main distinguishing feature of the HVM is to support the stepwise addition of Java into an existing C based build and execution environment for low-end embedded systems. This will allow...

Feature-based component model for design of embedded systems

Science.gov (United States)

Zha, Xuan Fang; Sriram, Ram D.

2004-11-01

An embedded system is a hybrid of hardware and software, which combines software's flexibility and hardware real-time performance. Embedded systems can be considered as assemblies of hardware and software components. An Open Embedded System Model (OESM) is currently being developed at NIST to provide a standard representation and exchange protocol for embedded systems and system-level design, simulation, and testing information. This paper proposes an approach to representing an embedded system feature-based model in OESM, i.e., Open Embedded System Feature Model (OESFM), addressing models of embedded system artifacts, embedded system components, embedded system features, and embedded system configuration/assembly. The approach provides an object-oriented UML (Unified Modeling Language) representation for the embedded system feature model and defines an extension to the NIST Core Product Model. The model provides a feature-based component framework allowing the designer to develop a virtual embedded system prototype through assembling virtual components. The framework not only provides a formal precise model of the embedded system prototype but also offers the possibility of designing variation of prototypes whose members are derived by changing certain virtual components with different features. A case study example is discussed to illustrate the embedded system model.

Replacing OSE with Real Time capable Linux

OpenAIRE

Boman, Simon; Rutgersson, Olof

2009-01-01

For many years OSE has been a common used operating system, with real time extensions enhancements, in embed-ded systems. But in the last decades, Linux has grown and became a competitor to common operating systems and, in recent years, even as an operating system with real time extensions. With this in mind, ÅF was interested in replacing the quite expensive OSE with some distribution of the open source based Linux on a PowerPC MPC8360. Therefore, our purpose with thesis is to implement Linu...

CoMik : a predictable and cycle-accurately composable real-time microkernel

NARCIS (Netherlands)

Nelson, A.T.; Nejad, A.B.; Molnos, A.M.; Koedam, M.L.P.J.; Goossens, K.G.W.

2014-01-01

The functionality of embedded systems is ever increasing. This has lead to mixed time-criticality systems, where applications with a variety of real-time requirements co-exist on the same platform and share resources. Due to inter-application interference, verifying the real-time requirements of

PERFORMANCE COMPARISON OF USART COMMUNICATION BETWEEN REAL TIME OPERATING SYSTEM (RTOS AND NATIVE INTERRUPT

Directory of Open Access Journals (Sweden)

Novian Habibie

2016-02-01

Full Text Available Comunication between microcontrollers is one of the crucial point in embedded sytems. On the other hand, embedded system must be able to run many parallel task simultaneously. To handle this, we need a reliabe system that can do a multitasking without decreasing every task’s performance. The most widely used methods for multitasking in embedded systems are using Interrupt Service Routine (ISR or using Real Time Operating System (RTOS. This research compared perfomance of USART communication on system with RTOS to a system that use interrupt. Experiments run on two identical development board XMega A3BU-Xplained which used intenal sensor (light and temperature and used servo as external component. Perfomance comparison done by counting ping time (elapsing time to transmit data and get a reply as a mark that data has been received and compare it. This experiments divided into two scenarios: (1 system loaded with many tasks, (2 system loaded with few tasks. Result of the experiments show that communication will be faster if system only loaded with few tasks. System with RTOS has won from interrupt in case (1, but lose to interrupt in case (2.

Scheduling of network access for feedback-based embedded systems

Science.gov (United States)

Liberatore, Vincenzo

2002-07-01

nd communication capabilities. Examples range from smart dust embedded in building materials to networks of appliances in the home. Embedded devices will be deployed in unprecedented numbers, will enable pervasive distributed computing, and will radically change the way people interact with the surrounding environment [EGH00a]. The paper targets embedded systems and their real-time (RT) communication requirements. RT requirements arise from the

Multi-domain transformational design flow for embedded systems

NARCIS (Netherlands)

Rovers, K.C.; van de Burgwal, M.D.; Kuper, Jan; Kokkeler, Andre B.J.; Smit, Gerardus Johannes Maria

2011-01-01

Current tools for embedded system design have limited support for modelling the interaction of the system with its physical environment. Furthermore, the natural representation of (streaming, real-time) applications with dataflow models is not supported by most tools. However, integrating multiple

Tuning Linux to meet real time requirements

Science.gov (United States)

Herbel, Richard S.; Le, Dang N.

2007-04-01

There is a desire to use Linux in military systems. Customers are requesting contractors to use open source to the maximal possible extent in contracts. Linux is probably the best operating system of choice to meet this need. It is widely used. It is free. It is royalty free, and, best of all, it is completely open source. However, there is a problem. Linux was not originally built to be a real time operating system. There are many places where interrupts can and will be blocked for an indeterminate amount of time. There have been several attempts to bridge this gap. One of them is from RTLinux, which attempts to build a microkernel underneath Linux. The microkernel will handle all interrupts and then pass it up to the Linux operating system. This does insure good interrupt latency; however, it is not free [1]. Another is RTAI, which provides a similar typed interface; however, the PowerPC platform, which is used widely in real time embedded community, was stated as "recovering" [2]. Thus this is not suited for military usage. This paper provides a method for tuning a standard Linux kernel so it can meet the real time requirement of an embedded system.

A Real-Time Programmer's Tour of General-Purpose L4 Microkernels

OpenAIRE

Ruocco Sergio

2008-01-01

Abstract L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements. It now faces the challenges of tightly integrated systems, in which user interface, multimedia, OS, wireless protocols, and even software-defined radios must run on a single CPU. In this paper we discuss the pros and cons of L4-embedded for real-time systems design, focusing on the issues caused by the extreme speed optimisations it inherited from its general-purpose ancestors. Sinc...

A Real-Time Programmer's Tour of General-Purpose L4 Microkernels

OpenAIRE

Sergio Ruocco

2008-01-01

L4-embedded is a microkernel successfully deployed in mobile devices with soft real-time requirements. It now faces the challenges of tightly integrated systems, in which user interface, multimedia, OS, wireless protocols, and even software-defined radios must run on a single CPU. In this paper we discuss the pros and cons of L4-embedded for real-time systems design, focusing on the issues caused by the extreme speed optimisations it inherited from its general-purpose ancestors. Since these i...

Validation of tumor markers in central nervous system germ cell tumors by real-time reverse transcriptase polymerase chain reaction using formalin-fixed paraffin-embedded tissues.

Science.gov (United States)

Kim, Dowhan; Lee, Da Hye; Choi, Junjeong; Shim, Kyu Won; Kim, Se Hoon

2013-01-01

The therapeutic protocols for treatment of germinomas and non-germinomatous germ cell tumors (NGGCTs) are completely different, so it is important to distinguish pure germinomas from NGGCTs. As it can be difficult to diagnose by morphology alone, immunohisto-chemistry (IHC) has been widely used as an ancillary test to improve diagnostic accuracy. However, IHC has limitations due to the misinterpretation of results or the aberrant loss of immunoreactivity. However, real-time RT-PCR has certain advantages over IHC, including its quantitative nature. The aim of our study was to evaluate the usefulness of real-time RT-PCR on formalin-fixed paraffin-embedded (FFPE) tissue blocks for the diagnosis of germ cell tumors of the central nervous system. We selected eight markers of germ cell tumors using a literature search, and validated them using real-time RT-PCR. Among them, POU5F1, NANOG and TGFB2 were statistically significant (P=0.05) in multiple comparisons (MANOVA) of three groups (pure germinomas, mature teratomas and malignant germ cell tumors). Two-group (pure germinomas and NGGCTs) discriminant analysis achieved a 70.0% success rate in cross-validation. We concluded that real-time RT-PCR using FFPE tissue has adequate validating power comparable to IHC in the diagnosis of central nervous system germ cell tumors; therefore, when IHC is not available, not conclusive or not informative, RT-PCR is a potential alternative to a repeat biopsy.

Real time management of the AD Schottky/BTF beam measurement system

CERN Document Server

Ludwig, M

2003-01-01

The AD Schottky and BTF system relies on rapid acquisition and analysis of beam quantisation noise during the AD cycle which is based on an embedded receiver and digital signal processing board hosted in a VME system. The software running in the VME sets up the embedded system and amplifiers, interfaces to the RF and control system, manages the execution speed and sequence constraints with respect to the various operating modes, schedules measurements during the AD cycle and performs post processing taking into account the beam conditions in an autonomous way. The operating modes of the instrument dynamically depend on a detailed configuration, the beam parameters during the AD cycle and optional user interaction. Various subsets of the processed data are available on line and in quasi real time for beam intensity, momentum spread and several spectrum types, which form an important part of AD operation today.

Dedicated real-time monitoring system for health care using ZigBee.

Science.gov (United States)

Alwan, Omar S; Prahald Rao, K

2017-08-01

Real-time monitoring systems (RTMSs) have drawn considerable attentions in the last decade. Several commercial versions of RTMS for patient monitoring are available which are used by health care professionals. Though they are working satisfactorily on various communication protocols, their range, power consumption, data rate and cost are really bothered. In this study, the authors present an efficient embedded system based wireless health care monitoring system using ZigBee. Their system has a capability to transmit the data between two embedded systems through two transceivers over a long range. In this, wireless transmission has been applied through two categories. The first part which contains Arduino with ZigBee will send the signals to the second device, which contains Raspberry with ZigBee. The second device will measure the patient data and send it to the first device through ZigBee transceiver. The designed system is demonstrated on volunteers to measure the body temperature which is clinically important to monitor and diagnose for fever in the patients.

Real-time portable system for fabric defect detection using an ARM processor

Science.gov (United States)

Fernandez-Gallego, J. A.; Yañez-Puentes, J. P.; Ortiz-Jaramillo, B.; Alvarez, J.; Orjuela-Vargas, S. A.; Philips, W.

2012-06-01

Modern textile industry seeks to produce textiles as little defective as possible since the presence of defects can decrease the final price of products from 45% to 65%. Automated visual inspection (AVI) systems, based on image analysis, have become an important alternative for replacing traditional inspections methods that involve human tasks. An AVI system gives the advantage of repeatability when implemented within defined constrains, offering more objective and reliable results for particular tasks than human inspection. Costs of automated inspection systems development can be reduced using modular solutions with embedded systems, in which an important advantage is the low energy consumption. Among the possibilities for developing embedded systems, the ARM processor has been explored for acquisition, monitoring and simple signal processing tasks. In a recent approach we have explored the use of the ARM processor for defects detection by implementing the wavelet transform. However, the computation speed of the preprocessing was not yet sufficient for real time applications. In this approach we significantly improve the preprocessing speed of the algorithm, by optimizing matrix operations, such that it is adequate for a real time application. The system was tested for defect detection using different defect types. The paper is focused in giving a detailed description of the basis of the algorithm implementation, such that other algorithms may use of the ARM operations for fast implementations.

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.

Real-time C++ efficient object-oriented and template microcontroller programming

CERN Document Server

Kormanyos, Christopher

2013-01-01

This is a highly practical guide to programming real-time embedded microcontroller systems in C++. Its many examples are backed by real-time performance measurements and size analyses that quantify the true cost of the code to the last byte and microsecond.

Consumption estimation in system design for real time embedded applications; Estimation de la consommation dans la conception systeme des applications embarquees temps reel

Energy Technology Data Exchange (ETDEWEB)

Laurent, J.

2002-12-15

Today, power and energy consumption have become, as time and area, an important constraint when you design a system. Indeed modern applications use more and more processing and memory resources so these lead a significant increase of consumption. Furthermore, embedded software impact is preponderant in real time system so the code optimisation has a great impact onto the consumption constraint. Several research teams have already developed estimation methodologies for processor but almost are at instruction level (ILPA). With this kind of method you have to measure the consumption of each instruction of the instruction set and also the inter-instruction consumption overhead. For complex architecture, this kind of methodology is not adapted due to the prohibitive number of consumption measures. So the characterisation time of this kind of architecture is too important furthermore with this method is very difficult to take into account the external environment. For actual architecture another method is needed to reduce the characterisation time while preserving the accuracy. The reduction of the characterisation time have to be realized by increasing the abstraction level. So, we propose here a new approach based on a functional and architectural analysis of the target in consumption point of view (FLPA). Our methodology has two steps: the first one is a modeling step and the second is estimation step. (author)

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

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)

Heartbeat-based error diagnosis framework for distributed embedded systems

Science.gov (United States)

Mishra, Swagat; Khilar, Pabitra Mohan

2012-01-01

Distributed Embedded Systems have significant applications in automobile industry as steer-by-wire, fly-by-wire and brake-by-wire systems. In this paper, we provide a general framework for fault detection in a distributed embedded real time system. We use heartbeat monitoring, check pointing and model based redundancy to design a scalable framework that takes care of task scheduling, temperature control and diagnosis of faulty nodes in a distributed embedded system. This helps in diagnosis and shutting down of faulty actuators before the system becomes unsafe. The framework is designed and tested using a new simulation model consisting of virtual nodes working on a message passing system.

FAILSAFE Health Management for Embedded Systems

Science.gov (United States)

Horvath, Gregory A.; Wagner, David A.; Wen, Hui Ying; Barry, Matthew

2010-01-01

The FAILSAFE project is developing concepts and prototype implementations for software health management in mission- critical, real-time embedded systems. The project unites features of the industry-standard ARINC 653 Avionics Application Software Standard Interface and JPL s Mission Data System (MDS) technology (see figure). The ARINC 653 standard establishes requirements for the services provided by partitioned, real-time operating systems. The MDS technology provides a state analysis method, canonical architecture, and software framework that facilitates the design and implementation of software-intensive complex systems. The MDS technology has been used to provide the health management function for an ARINC 653 application implementation. In particular, the focus is on showing how this combination enables reasoning about, and recovering from, application software problems.

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.

Real-time video compressing under DSP/BIOS

Science.gov (United States)

Chen, Qiu-ping; Li, Gui-ju

2009-10-01

This paper presents real-time MPEG-4 Simple Profile video compressing based on the DSP processor. The programming framework of video compressing is constructed using TMS320C6416 Microprocessor, TDS510 simulator and PC. It uses embedded real-time operating system DSP/BIOS and the API functions to build periodic function, tasks and interruptions etcs. Realize real-time video compressing. To the questions of data transferring among the system. Based on the architecture of the C64x DSP, utilized double buffer switched and EDMA data transfer controller to transit data from external memory to internal, and realize data transition and processing at the same time; the architecture level optimizations are used to improve software pipeline. The system used DSP/BIOS to realize multi-thread scheduling. The whole system realizes high speed transition of a great deal of data. Experimental results show the encoder can realize real-time encoding of 768*576, 25 frame/s video images.

Embedded system based on a real time fuzzy motor speed controller

Directory of Open Access Journals (Sweden)

Ebrahim Abd El-Hamid Mohamed Ramadan

2014-06-01

Full Text Available This paper describes an implementation of a fuzzy logic control (FLC system and a/the conventional proportional-integral (PI controller for speed control of DC motor, based on field programmable gate array (FPGA circuit. The proposed scheme is aimed to improve the tracking performance and to eliminate the load disturbance in the speed control of DC motors. The proposed fuzzy system has been applied to a permanent magnet DC motor, via a configuration of H-bridge. The fuzzy control algorithm is designed and verified with a nonlinear model, using the MATLAB® tools. Both FLC and conventional PI controller hardware are synthesized, functionally verified and implemented using Xilinx Integrated Software Environment (ISE Version 11.1i. The real time implementation of these controllers is made on Spartan-3E FPGA starter kit (XC3S500E. The practical results showed that the proposed FLC scheme has better tracking performance than the conventional PI controller for the speed control of DC motors.

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

Adaptive Embedded Systems – Challenges of Run-Time Resource Management

DEFF Research Database (Denmark)

Understanding and efficiently controlling the dynamic behavior of adaptive embedded systems is a challenging endavor. The challenges come from the often very complicated interplay between the application, the application mapping, and the underlying hardware architecture. With MPSoC, we have...... the technology to design and fabricate dynamically reconfigurable hardware platforms. However, such platforms will pose new challenges to tools and methods to efficiently explore these platforms at run-time. This talk will address some of the challenges of run-time resource management in adaptive embedded...... systems....

Integrated Design Tools for Embedded Control Systems

NARCIS (Netherlands)

Jovanovic, D.S.; Hilderink, G.H.; Broenink, Johannes F.; Karelse, F.

2001-01-01

Currently, computer-based control systems are still being implemented using the same techniques as 10 years ago. The purpose of this project is the development of a design framework, consisting of tools and libraries, which allows the designer to build high reliable heterogeneous real-time embedded

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,

Design Optimization of Mixed-Criticality Real-Time Embedded Systems

DEFF Research Database (Denmark)

Tamas-Selicean, Domitian; Pop, Paul

2015-01-01

is allocated several time slots on a processor. Tasks of different SILs can share a partition only if they are all elevated to the highest SIL among them. Such elevation leads to increased development costs, which increase dramatically with each SIL. Tasks of higher SILs can be decomposed into redundant...... structures of lower SIL tasks. We are interested to determine (i) the mapping of tasks to processors, (ii) the assignment of tasks to partitions, (iii) the decomposition of tasks into redundant lower SIL tasks, (iv) the sequence and size of the partition time slots on each processor, and (v) the schedule...... tables, such that all the applications are schedulable and the development costs are minimized. We have proposed a Tabu Search-based approach to solve this optimization problem. The proposed algorithm has been evaluated using several synthetic and real-life benchmarks....

Use of a FORTH-based PROLOG for real-time expert systems. 1: Spacelab life sciences experiment application

Science.gov (United States)

Paloski, William H.; Odette, Louis L.; Krever, Alfred J.; West, Allison K.

1987-01-01

A real-time expert system is being developed to serve as the astronaut interface for a series of Spacelab vestibular experiments. This expert system is written in a version of Prolog that is itself written in Forth. The Prolog contains a predicate that can be used to execute Forth definitions; thus, the Forth becomes an embedded real-time operating system within the Prolog programming environment. The expert system consists of a data base containing detailed operational instructions for each experiment, a rule base containing Prolog clauses used to determine the next step in an experiment sequence, and a procedure base containing Prolog goals formed from real-time routines coded in Forth. In this paper, we demonstrate and describe the techniques and considerations used to develop this real-time expert system, and we conclude that Forth-based Prolog provides a viable implementation vehicle for this and similar applications.

Techniques for building timing-predictable embedded systems

CERN Document Server

Guan, Nan

2016-01-01

This book describes state-of-the-art techniques for designing real-time computer systems. The author shows how to estimate precisely the effect of cache architecture on the execution time of a program, how to dispatch workload on multicore processors to optimize resources, while meeting deadline constraints, and how to use closed-form mathematical approaches to characterize highly variable workloads and their interaction in a networked environment. Readers will learn how to deal with unpredictable timing behaviors of computer systems on different levels of system granularity and abstraction. Introduces promising techniques for dealing with challenges associated with deploying real-time systems on multicore platforms; Provides a complete picture of building timing-predictable computer systems, at the program level, component level and system level; Leverages different levels of abstraction to deal with the complexity of the analysis.

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

Abstractions for aperiodic multiprocessor scheduling of real-time stream processing applications

NARCIS (Netherlands)

Hausmans, J.P.H.M.

2015-01-01

Embedded multiprocessor systems are often used in the domain of real-time stream processing applications to keep up with increasing power and performance requirements. Examples of such real-time stream processing applications are digital radio baseband processing and WLAN transceivers. These stream

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

IGBT Switching Characteristic Curve Embedded Half-Bridge MMC Modelling and Real Time Simulation Realization

Science.gov (United States)

Zhengang, Lu; Hongyang, Yu; Xi, Yang

2017-05-01

The Modular Multilevel Converter (MMC) is one of the most attractive topologies in recent years for medium or high voltage industrial applications, such as high voltage dc transmission (HVDC) and medium voltage varying speed motor drive. The wide adoption of MMCs in industry is mainly due to its flexible expandability, transformer-less configuration, common dc bus, high reliability from redundancy, and so on. But, when the sub module number of MMC is more, the test of MMC controller will cost more time and effort. Hardware in the loop test based on real time simulator will save a lot of time and money caused by the MMC test. And due to the flexible of HIL, it becomes more and more popular in the industry area. The MMC modelling method remains an important issue for the MMC HIL test. Specifically, the VSC model should realistically reflect the nonlinear device switching characteristics, switching and conduction losses, tailing current, and diode reverse recovery behaviour of a realistic converter. In this paper, an IGBT switching characteristic curve embedded half-bridge MMC modelling method is proposed. This method is based on the switching curve referring and sample circuit calculation, and it is sample for implementation. Based on the proposed method, a FPGA real time simulation is carried out with 200ns sample time. The real time simulation results show the proposed method is correct.

Modelling and analysis of real-time coordination patterns

NARCIS (Netherlands)

Kemper, Stephanie

2011-01-01

Present-day embedded software systems need to support an increasing number of features and formalisms; the two most important ones being handling of real-time, and the possibility to develop the system in a modular, component-based way. To ensure that the behaviour of the final system is correct

Evaluation issues on real-time operating system in nuclear power plants

Energy Technology Data Exchange (ETDEWEB)

Kim, Y. M.; Jeong, C. H.; Koh, J. S. [Regulatory Research Div., Korea Inst. of Nuclear Safety (Korea, Republic of)

2006-07-01

In the recent few years, using the hard real-time operating system (RTOS) of safety-critical applications has gained increased acceptance in the nuclear safety system. Failure of this software could cause catastrophic consequences for human life. The digital I and C systems of nuclear power plants also have used hard RTOSs which are executing a required mission completely within its deadline. Because the nuclear power plants have to maintain a very high level of safety, the hard RTOS software should be reliable and safe. The RTOS used in safety-critical I and C systems is the base software used for the purpose of satisfying the real-time constraints, So, careful evaluation of its safety and functionality is very important, So far, the nuclear power plants of Korea have adopted commercial off-the-shelf (COTS) RTOS software. But, these days the RTOS embedded in safety grade PLC has been developed by KNICS project controlled by Ministry of Commerce, Industry and Energy of Korea. Whether COTS RTOS or newly developed RTOS, it must be evaluated its safety and reliability. (authors)

Evaluation issues on real-time operating system in nuclear power plants

International Nuclear Information System (INIS)

Kim, Y. M.; Jeong, C. H.; Koh, J. S.

2006-01-01

In the recent few years, using the hard real-time operating system (RTOS) of safety-critical applications has gained increased acceptance in the nuclear safety system. Failure of this software could cause catastrophic consequences for human life. The digital I and C systems of nuclear power plants also have used hard RTOSs which are executing a required mission completely within its deadline. Because the nuclear power plants have to maintain a very high level of safety, the hard RTOS software should be reliable and safe. The RTOS used in safety-critical I and C systems is the base software used for the purpose of satisfying the real-time constraints, So, careful evaluation of its safety and functionality is very important, So far, the nuclear power plants of Korea have adopted commercial off-the-shelf (COTS) RTOS software. But, these days the RTOS embedded in safety grade PLC has been developed by KNICS project controlled by Ministry of Commerce, Industry and Energy of Korea. Whether COTS RTOS or newly developed RTOS, it must be evaluated its safety and reliability. (authors)

Real-time on a standard UNIX workstation?

International Nuclear Information System (INIS)

Glanzman, T.

1992-09-01

This is a report of an ongoing R ampersand D project which is investigating the use of standard UNIX workstations for the real-time data acquisition from a major new experimental initiative, the SLAC B Factory (PEP II). For this work an IBM RS/6000 workstation running the AIX operating system is used. Real-time extensions to the UNIX operating system are explored and performance measured. These extensions comprise a set of AIX-specific and POSIX-compliant system services. Benchmark comparisons are made with embedded processor technologies. Results are presented for a simple prototype on-line system for laboratory-testing of a new prototype drift chamber

Evaluation of a Connectionless NoC for a Real-Time Distributed Shared Memory Many-Core System

NARCIS (Netherlands)

Rutgers, J.H.; Bekooij, Marco Jan Gerrit; Smit, Gerardus Johannes Maria

2012-01-01

Real-time embedded systems like smartphones tend to comprise an ever increasing number of processing cores. For scalability and the need for guaranteed performance, the use of a connection-oriented network-on-chip (NoC) is advocated. Furthermore, a distributed shared memory architecture is preferred

Development of a real-time closed-loop micro-/nano-positioning system embedded with a capacitive sensor

International Nuclear Information System (INIS)

Shiou, Fang-Jung; Chiang, Chia-Jui; Liou, Ke-Jhen; Liao, Shu-Chung; Chen, Chao-Jung; Liou, Huay-Chung

2010-01-01

The hysteresis and nonlinearity of the PZT is an actual problem in the piezo-driven micro-/nano-positioning stage, especially for the open-loop positioning stage. The study presents the development of an NI cRIO9074-based real-time closed-loop micro-/nano-positioning system, to overcome the problem of the hysteresis and nonlinearity of a PZT and to increase the positioning speed of the positioning stage. The developed system mainly consists of a piezoelectric actuator, a bridge-type hinge mechanism for displacement magnification, a micro-/nano-positioning stage body, a capacitive sensor system, an NI cRIO9074 real-time control unit with FPGA chip and a PC. After executing the optimization analysis of the displacement, stress and the frequency, using the ANSYS software, the dimensions of the stage body have been designed and determined. A set of software written with the LabView programming language was developed to construct the real-time PID closed-loop control of the developed positioning system. Based on the test results, the designed closed-loop micro-/nano-positioning system was capable of precision positioning within the travel of 119.08 µm with maximum stage tilting angle at 25 µrad. The steady-state positioning deviation of the stage is about ±2 nm in the step-positioning test. In the transient slope-tracing test at a tracing speed of 5 µm s −1 , an error of about ±100 nm is observed

Planning and Building Qualifiable Embedded Systems: Safety and Risk Properties Assessment for a Large and Complex System with Embedded Subsystems

Science.gov (United States)

Silva, N.; Lopes, R.; Barbosa, R.

2012-01-01

Systems based on embedded components and applications are today used in all markets. They are planned and developed by all types of institutions with different types of background experience, multidisciplinary teams and all types of capability and maturity levels. Organisational/engineering maturity has an impact on all aspects of the engineering of large and complex systems. An embedded system is a specific computer system designed to perform one or more dedicated functions, usually with real-time constraints. It is generally integrated as part of a more complex device typically composed of specific hardware such as sensors and actuators. This article presents an experimented technique to evaluate the organisation, processes, system and software engineering practices, methods, tools and the planned/produced artefacts themselves, leading towards certification/qualification. The safety and risk assessment of such core and complex systems is explained, described on a step-by- step manner, while presenting the main results and conclusions of the application of the technique to a real case study.

Development of device drivers embedded in real time OS for SPring-8 SR control system

International Nuclear Information System (INIS)

Masuda, T.; Fujiwara, S.; Nakamura, T.; Takebe, H.; Wada, T.

1994-01-01

A distributed computer system has been adopted for the SPring-8 SR control system. For lower level computers, we intend to adopt VMEbus computer systems with the real time OS which are compliant with POSIX. For R and D study, we introduced LynxOS and wrote device drivers for Digital Output(DO), Digital Input(DI) and Analog Input(AI) boards on VMEbus. They were successfully operated with device drivers. (author)

Checkpointing for graceful degradation in distributed embedded systems

Science.gov (United States)

Sababha, Belal Hussein

real-time embedded systems. As a case study, the BCS protocol was used to checkpoint the avionics of an unmanned aerial vehicle. Faults were injected during run-time causing one of the system's stability control tasks to fail. The system was able to recover in a very short time by restarting the affected task on a different processor with a correct state with a time delay that did not cause any instability.

Fast And Flexible Modelling Of Real-Time Systems With Rtcp-Nets

Directory of Open Access Journals (Sweden)

Marcin Szpyrka

2004-01-01

Full Text Available A large number of formalisms has been proposed for real-time systems modelling. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of a model, its analysis and modification. RTCP-nets have been defined to facilitate fast modelling of embedded systems incorporating rule-based systems. Computer tools that are being developed for RTCP-nets, use a template mechanism to allow users to design models and manipulate its properties fast and effectively. Both theoretical and practical aspects of RTCP-nets are presented in the paper.

Fast and Flexible Modelling of Real-Time Systems with RTCP-Nets

Directory of Open Access Journals (Sweden)

Marcin Szpyrka

2004-01-01

Full Text Available A large number of formalisms has been proposed for real-time systems modelling. However, formal methods are not widely used in industrial software development. Such a situation could be treated as a result of a lack of suitable tools for fast designing of a model, its analysis and modification. RTCP-nets have been defined to facilitate fast modelling of embedded systems incorporating rule-based systems. Computer tools that are being developed for RTCP-nets, use a template mechanism to allow users to design models and manipulate its properties fast and effectively. Both theoretical and practical aspects of RTCP-nets are presented in the paper.

Embedded Electro-Optic Sensor Network for the On-Site Calibration and Real-Time Performance Monitoring of Large-Scale Phased Arrays

National Research Council Canada - National Science Library

Yang, Kyoung

2005-01-01

This final report summarizes the progress during the Phase I SBIR project entitled "Embedded Electro-Optic Sensor Network for the On-Site Calibration and Real-Time Performance Monitoring of Large-Scale Phased Arrays...

Embedded Artificial Neuval Network-Based Real-Time Half-Wave Dynamic Resistance Estimation during the A.C. Resistance Spot Welding Process

Directory of Open Access Journals (Sweden)

Liang Gong

2013-01-01

Full Text Available Online monitoring of the instantaneous resistance variation during the A.C. resistance spot welding is of paramount importance for the weld quality control. On the basis of the welding transformer circuit model, a new method is proposed to measure the transformer primary-side signal for estimating the secondary-side resistance in each 1/4 cycle. The tailored computing system ensures that the measuring method possesses a real-time computational capacity with satisfying accuracy. Since the dynamic resistance cannot be represented via an explicit function with respect to measurable parameters from the primary side of the welding transformer, an offline trained embedded artificial neural network (ANN successfully realizes the real-time implicit function calculation or estimation. A DSP-based resistance spot welding monitoring system is developed to perform ANN computation. Experimental results indicate that the proposed method is applicable for measuring the dynamic resistance in single-phase, half-wave controlled rectifier circuits.

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

EMBEDDED CONTROL SYSTEM FOR MOBILE ROBOTS WITH DIFFERENTIAL DRIVE

Directory of Open Access Journals (Sweden)

Michal KOPČÍK

2017-09-01

Full Text Available This article deals with design and implementation of control system for mobile robots with differential drive using embedded system. This designed embedded system consists of single control board featuring ARM based microcontroller which control the peripherals in real time and perform all low-level motion control. Designed embedded system can be easily expanded with additional sensors, actuators or control units to enhance applicability of mobile robot. Designed embedded system also features build-in communication module, which can be used for data for data acquisition and control of the mobile robot. Control board was implemented on two different types of mobile robots with differential drive, one of which was wheeled and other was tracked. These mobile robots serve as testing platform for Fault Detection and Isolation using hardware and analytical redundancy using Multisensor Data Fusion based on Kalman filters.

The ITER Fast Plant System Controller ATCA prototype Real-Time Software Architecture

International Nuclear Information System (INIS)

Carvalho, B.B.; Santos, B.; Carvalho, P.F.; Neto, A.; Boncagni, L.; Batista, A.J.N.; Correia, M.; Sousa, J.; Gonçalves, B.

2013-01-01

Highlights: ► High performance ATCA systems for fast control and data acquisition. ► IEEE1588 timing system and synchronization. ► Plasma control algorithms. ► Real-time control software frameworks. ► Targeted for nuclear fusion experiments with long duration discharges. -- Abstract: IPFN is developing a prototype Fast Plant System Controller (FPSC) based in ATCA embedded technologies dedicated to ITER CODAC data acquisition and control tasks in the sub-millisecond range. The main goal is to demonstrate the usability of the ATCA standard and its enhanced specifications for the high speed, very high density parallel data acquisition needs of the most demanding ITER tokamak plasma Instrumentation and Control (I and C) systems. This effort included the in-house development of a new family of high performance ATCA I/O and timing boards. The standard ITER software system CODAC Core System (CCS) v3.1, with the control based in the EPICS system does not cover yet the real-time requirements fulfilled by this hardware, so a new set of software components was developed for this specific platform, attempting to integrate and leverage the new features in CSS, for example the Multithreaded Application Real Time executor (MARTe) software framework, the new Data Archiving Network (DAN) solution, an ATCA IEEE-1588-2008 timing interface, and the Intelligent Platform Management Interface (IPMI) for system monitoring and remote management. This paper presents the overall software architecture for the ATCA FPSC, as well a discussion on the ITER constrains and design choices and finally a detailed description of the software components already developed

The ITER Fast Plant System Controller ATCA prototype Real-Time Software Architecture

Energy Technology Data Exchange (ETDEWEB)

Carvalho, B.B., E-mail: bernardo@ipfn.ist.utl.pt [Associacao EURATOM/IST Instituto de Plasmas e Fusao Nuclear, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, P-1049-001 Lisboa (Portugal); Santos, B.; Carvalho, P.F.; Neto, A. [Associacao EURATOM/IST Instituto de Plasmas e Fusao Nuclear, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, P-1049-001 Lisboa (Portugal); Boncagni, L. [Associazione Euratom-ENEA sulla Fusione, Frascati Research Centre, Division of Fusion Physics, Frascati, Rome (Italy); Batista, A.J.N.; Correia, M.; Sousa, J.; Gonçalves, B. [Associacao EURATOM/IST Instituto de Plasmas e Fusao Nuclear, Instituto Superior Tecnico, Universidade Tecnica de Lisboa, P-1049-001 Lisboa (Portugal)

2013-10-15

Highlights: ► High performance ATCA systems for fast control and data acquisition. ► IEEE1588 timing system and synchronization. ► Plasma control algorithms. ► Real-time control software frameworks. ► Targeted for nuclear fusion experiments with long duration discharges. -- Abstract: IPFN is developing a prototype Fast Plant System Controller (FPSC) based in ATCA embedded technologies dedicated to ITER CODAC data acquisition and control tasks in the sub-millisecond range. The main goal is to demonstrate the usability of the ATCA standard and its enhanced specifications for the high speed, very high density parallel data acquisition needs of the most demanding ITER tokamak plasma Instrumentation and Control (I and C) systems. This effort included the in-house development of a new family of high performance ATCA I/O and timing boards. The standard ITER software system CODAC Core System (CCS) v3.1, with the control based in the EPICS system does not cover yet the real-time requirements fulfilled by this hardware, so a new set of software components was developed for this specific platform, attempting to integrate and leverage the new features in CSS, for example the Multithreaded Application Real Time executor (MARTe) software framework, the new Data Archiving Network (DAN) solution, an ATCA IEEE-1588-2008 timing interface, and the Intelligent Platform Management Interface (IPMI) for system monitoring and remote management. This paper presents the overall software architecture for the ATCA FPSC, as well a discussion on the ITER constrains and design choices and finally a detailed description of the software components already developed.

Synthesis of Flexible Fault-Tolerant Schedules with Preemption for Mixed Soft and Hard Real-Time Systems

DEFF Research Database (Denmark)

Izosimov, Viacheslav; Pop, Paul; Eles, Petru

2008-01-01

In this paper we present an approach for scheduling with preemption for fault-tolerant embedded systems composed of soft and hard real-time processes. We are interested to maximize the overall utility for average, most likely to happen, scenarios and to guarantee the deadlines for the hard...

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.

Hardware Support for Embedded Java

DEFF Research Database (Denmark)

Schoeberl, Martin

2012-01-01

The general Java runtime environment is resource hungry and unfriendly for real-time systems. To reduce the resource consumption of Java in embedded systems, direct hardware support of the language is a valuable option. Furthermore, an implementation of the Java virtual machine in hardware enables...... worst-case execution time analysis of Java programs. This chapter gives an overview of current approaches to hardware support for embedded and real-time Java....

Meeting the Challenge of Distributed Real-Time & Embedded (DRE) Systems

Science.gov (United States)

2012-05-10

replication • Dynamic resource management • Examples • W3C Web Services, CORBA Component Model & Object Services, Sun’s J2EE, Microsoft’s .NET, etc...System Middleware Infrastructure Mission Computing Services Model-driven engineering ( MDE ) •Apply MDE tools to • Model • Analyze • Synthesize...Pulse Rate GPS MyLocation Refresh Ready www.isis.vanderbilt.edu/ projects/mobies Applying MDE to Bold Stroke ANALYSIS TOOLS CODE GENERATORS Stateflow Real

Integrated Design Tools for Embedded Control Systems

OpenAIRE

Jovanovic, D.S.; Hilderink, G.H.; Broenink, Johannes F.; Karelse, F.

2001-01-01

Currently, computer-based control systems are still being implemented using the same techniques as 10 years ago. The purpose of this project is the development of a design framework, consisting of tools and libraries, which allows the designer to build high reliable heterogeneous real-time embedded systems in a very short time at a fraction of the present day costs. The ultimate focus of current research is on transformation control laws to efficient concurrent algorithms, with concerns about...

Scheduling with Optimized Communication for Time-Triggered Embedded Systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

1999-01-01

We present an approach to process scheduling for synthesis of safety-critical distributed embedded systems.Our system model captures both the flow of data and that of control. The communication model is based on a time-triggered protocol. We take into consideration overheads due to communication...

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

Task Mapping and Partition Allocation for Mixed-Criticality Real-Time Systems

DEFF Research Database (Denmark)

Tamas-Selicean, Domitian; Pop, Paul

2012-01-01

In this paper we address the mapping of mixedcriticality hard real-time applications on distributed embedded architectures. We assume that the architecture provides both spatial and temporal partitioning, thus enforcing enough separation between applications. With temporal partitioning, each...

Real-Time Audio Processing on the T-CREST Multicore Platform

DEFF Research Database (Denmark)

Ausin, Daniel Sanz; Pezzarossa, Luca; Schoeberl, Martin

2017-01-01

of the audio signal. This paper presents a real-time multicore audio processing system based on the T-CREST platform. T-CREST is a time-predictable multicore processor for real-time embedded systems. Multiple audio effect tasks have been implemented, which can be connected together in different configurations...... forming sequential and parallel effect chains, and using a network-onchip for intercommunication between processors. The evaluation of the system shows that real-time processing of multiple effect configurations is possible, and that the estimation and control of latency ensures real-time behavior.......Multicore platforms are nowadays widely used for audio processing applications, due to the improvement of computational power that they provide. However, some of these systems are not optimized for temporally constrained environments, which often leads to an undesired increase in the latency...

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

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.

Computation Offloading for Frame-Based Real-Time Tasks under Given Server Response Time Guarantees

Directory of Open Access Journals (Sweden)

Anas S. M. Toma

2014-11-01

Full Text Available Computation offloading has been adopted to improve the performance of embedded systems by offloading the computation of some tasks, especially computation-intensive tasks, to servers or clouds. This paper explores computation offloading for real-time tasks in embedded systems, provided given response time guarantees from the servers, to decide which tasks should be offloaded to get the results in time. We consider frame-based real-time tasks with the same period and relative deadline. When the execution order of the tasks is given, the problem can be solved in linear time. However, when the execution order is not specified, we prove that the problem is NP-complete. We develop a pseudo-polynomial-time algorithm for deriving feasible schedules, if they exist.  An approximation scheme is also developed to trade the error made from the algorithm and the complexity. Our algorithms are extended to minimize the period/relative deadline of the tasks for performance maximization. The algorithms are evaluated with a case study for a surveillance system and synthesized benchmarks.

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

Formal Verification and Implementation of Real-Time Applications

Directory of Open Access Journals (Sweden)

Liviu Haţegan

2009-12-01

Full Text Available This paper presents a method for the formal description, verification and automatic source code generation of embedded real-time multitasking applications, based on a model consisting of networks of timed automata. The model describes a real-time operating system kernel and application tasks, taking into consideration both non-preemptive and preemptive scheduling. The timing properties of theproposed model can be verified using a modelchecking tool. We also provide a solution for C source code generation based on the application’s model. For this purpose a unified resource access interface was implemented.

On Building a Scalable Real-Time Fault-Tolerant System for Embedded Applications

National Research Council Canada - National Science Library

Abdelzaher, T

2001-01-01

.... This raises the challenge of constructing dependable and predictable real-time services for application developers on top of the inexpensive hardware and software components which has minimal support...

Towards a Real-Time Embedded System for Water Monitoring Installed in a Robotic Sailboat

Directory of Open Access Journals (Sweden)

Andouglas Goncalves da Silva Junior

2016-08-01

Full Text Available Problems related to quality (and quantity of water in natural resources or in artificial reservoirs are frequently arising and are at the center of attention of authorities and governments around the world. Many times the monitoring is not performed in an efficient time frame and a precise manner, whereas the adoption of fast and punctual solutions would undoubtedly improve the water quality and consequently enhance the life of people. To minimize or diminish such kinds of problems, we propose an architecture for sensors installed in a robotic platform, an autonomous sail boat, able to acquire raw data relative to water quality, to process and make them available to people that might be interested in such information. The main contributions are the sensors architecture itself, which uses low cost sensors, with practical experimentation done with a prototype. Results show data collected for points in lakes and rivers in the northeast of Brazil. This embedded system is fixed in the sailboat robot with the intention to facilitate the study of water quality for long endurance missions. This robot can help monitoring water bodies in a more consistent manner. Nonetheless the system can also be used with fixed vases or buoys in strategic points.

Towards a Real-Time Embedded System for Water Monitoring Installed in a Robotic Sailboat.

Science.gov (United States)

Silva Junior, Andouglas Goncalves da; Lima Sa, Sarah Thomaz de; Santos, Davi Henrique Dos; Negreiros, Álvaro Pinto Ferrnandes de; Souza Silva, João Moreno Vilas Boas de; Álvarez Jácobo, Justo Emílio; Garcia Gonçalves, Luiz Marcos

2016-08-08

Problems related to quality (and quantity) of water in natural resources or in artificial reservoirs are frequently arising and are at the center of attention of authorities and governments around the world. Many times the monitoring is not performed in an efficient time frame and a precise manner, whereas the adoption of fast and punctual solutions would undoubtedly improve the water quality and consequently enhance the life of people. To minimize or diminish such kinds of problems, we propose an architecture for sensors installed in a robotic platform, an autonomous sail boat, able to acquire raw data relative to water quality, to process and make them available to people that might be interested in such information. The main contributions are the sensors architecture itself, which uses low cost sensors, with practical experimentation done with a prototype. Results show data collected for points in lakes and rivers in the northeast of Brazil. This embedded system is fixed in the sailboat robot with the intention to facilitate the study of water quality for long endurance missions. This robot can help monitoring water bodies in a more consistent manner. Nonetheless the system can also be used with fixed vases or buoys in strategic points.

Real-time systems scheduling fundamentals

CERN Document Server

Chetto, Maryline

2014-01-01

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

Scala for Real-Time Systems?

DEFF Research Database (Denmark)

Schoeberl, Martin

2015-01-01

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

Modelling and Analyses of Embedded Systems Design

DEFF Research Database (Denmark)

Brekling, Aske Wiid

We present the MoVES languages: a language with which embedded systems can be specified at a stage in the development process where an application is identified and should be mapped to an execution platform (potentially multi- core). We give a formal model for MoVES that captures and gives......-based verification is a promising approach for assisting developers of embedded systems. We provide examples of system verifications that, in size and complexity, point in the direction of industrially-interesting systems....... semantics to the elements of specifications in the MoVES language. We show that even for seem- ingly simple systems, the complexity of verifying real-time constraints can be overwhelming - but we give an upper limit to the size of the search-space that needs examining. Furthermore, the formal model exposes...

Applying a Real-Time PCR Assay for Histoplasma capsulatum to Clinically Relevant Formalin-Fixed Paraffin-Embedded Human Tissue

Science.gov (United States)

Koepsell, Scott A.; Hinrichs, Steven H.

2012-01-01

A real-time PCR assay to detect Histoplasma capsulatum in formalin-fixed, paraffin-embedded (FFPE) tissue is described. The assay had an analytical sensitivity of 6 pg/μl of fungal DNA, analytical specificity of 100%, and clinical sensitivity of 88.9%. This proof-of-concept study may aid in the diagnosis of histoplasmosis from FFPE tissue. PMID:22855519

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

Formal synthesis of application and platform behaviors of embedded software systems

DEFF Research Database (Denmark)

Kim, Jin Hyun; Kang, Inhye; Choi, Jin-Young

2015-01-01

Two main embedded software components, application software and platform software, i.e., the real-time operating system (RTOS), interact with each other in order to achieve the functionality of the system. However, they are so different in behaviors that one behavior modeling language is not suff......Two main embedded software components, application software and platform software, i.e., the real-time operating system (RTOS), interact with each other in order to achieve the functionality of the system. However, they are so different in behaviors that one behavior modeling language...... is not sufficient to model both styles of behaviors and to reason about the characteristics of their individual behaviors as well as their parallel behavior and interaction properties. In this paper, we present a formal approach to the synthesis of the application software and the RTOS behavior models...

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

Specification and Compilation of Real-Time Stream Processing Applications

NARCIS (Netherlands)

Geuns, S.J.

2015-01-01

This thesis is concerned with the specification, compilation and corresponding temporal analysis of real-time stream processing applications that are executed on embedded multiprocessor systems. An example of such applications are software defined radio applications. These applications typically

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

Executable UML Modeling For Automotive Embedded Systems

International Nuclear Information System (INIS)

Gerard, Sebastien

2000-01-01

Engineers are more and more faced to the hard problem of sophisticated real-time System whereas time to market becomes always smaller. Object oriented modeling supported by UML standard brings effective solutions to such problems. However the possibility to specify real-time aspects of an application are not yet fully satisfactory Indeed, existing industrial proposals supply good answers to concurrency specification problem but they are yet limited regarding to real-time quantitative properties specification of an application. This work aims to construct a complete and consistent UML methodology based on a profile dedicated to automotive embedded Systems modeling and prototyping. This profile contains ail needed extensions to express easily the real-time quantitative properties of an application. Moreover, thanks to the formalization of UML protocol state machines, real-time concepts have been well-integrated in the object oriented paradigm. The main result of this deep integration is that a user is now able to model real-time Systems through the classical object oriented view i.e. without needing any specific knowing in real-time area. In order to answer to an industrial requirement, Systems prototyping (key point for car industry) the ACCORD/UML approach allows also to build executable models of an application. For that purpose, the method supplies a set of rules allow.ng to remove UML ambiguous semantics points, to complete semantics variation points and then to obtain a complete and coherent global model of an application being executable. The work of UML extension and its using formalization realized all along this thesis supplied also a complete and non-ambiguous modeling framework for automotive electronics Systems development. This is also a base particularly well-suited to tackle other facets of the Systems development as automatic and optimized code generation, validation, simulation or tests. (author) [fr

Dataflow formalisation of real-time streaming applications on a composable and predictable multi-processor SOC

NARCIS (Netherlands)

Nelson, A.T.; Goossens, K.G.W.; Akesson, K.B.

2015-01-01

Embedded systems often contain multiple applications, some of which have real-time requirements and whose performance must be guaranteed. To efficiently execute applications, modern embedded systems contain Globally Asynchronous Locally Synchronous (GALS) processors, network on chip, DRAM and SRAM

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.

Soft Real-Time PID Control on a VME Computer

Science.gov (United States)

Karayan, Vahag; Sander, Stanley; Cageao, Richard

2007-01-01

microPID (uPID) is a computer program for real-time proportional + integral + derivative (PID) control of a translation stage in a Fourier-transform ultraviolet spectrometer. microPID implements a PID control loop over a position profile at sampling rate of 8 kHz (sampling period 125microseconds). The software runs in a strippeddown Linux operating system on a VersaModule Eurocard (VME) computer operating in real-time priority queue using an embedded controller, a 16-bit digital-to-analog converter (D/A) board, and a laser-positioning board (LPB). microPID consists of three main parts: (1) VME device-driver routines, (2) software that administers a custom protocol for serial communication with a control computer, and (3) a loop section that obtains the current position from an LPB-driver routine, calculates the ideal position from the profile, and calculates a new voltage command by use of an embedded PID routine all within each sampling period. The voltage command is sent to the D/A board to control the stage. microPID uses special kernel headers to obtain microsecond timing resolution. Inasmuch as microPID implements a single-threaded process and all other processes are disabled, the Linux operating system acts as a soft real-time system.

A Programmable Microkernel for Real-Time Systems

Science.gov (United States)

2003-06-01

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

Temporal Proof Methodologies for Real-Time Systems,

Science.gov (United States)

1990-09-01

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

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

Directory of Open Access Journals (Sweden)

Carlos Garre

2014-01-01

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

Real-Time Dispatch of Petroleum Tank Trucks

OpenAIRE

Brown, Gerald G.; Graves, Glenn W.

1981-01-01

Management Science, 27, 1, pp. 19-32. (1982 International Management Science Achievement Award Finalist). A highly automated, real-time dispatch system is described which uses embedded optimization routines to replace extensive manual operations and to reduce substantially operating costs for a nation-wide fleet of petroleum tank trucks. The system is currently used in daily operations by the Order Entry and Dispatch segment of the Chevron U.S.A. Marketing System. Refined petroleum produ...

A real-time monitoring system for night glare protection

Science.gov (United States)

Ma, Jun; Ni, Xuxiang

2010-11-01

When capturing a dark scene with a high bright object, the monitoring camera will be saturated in some regions and the details will be lost in and near these saturated regions because of the glare vision. This work aims at developing a real-time night monitoring system. The system can decrease the influence of the glare vision and gain more details from the ordinary camera when exposing a high-contrast scene like a car with its headlight on during night. The system is made up of spatial light modulator (The liquid crystal on silicon: LCoS), image sensor (CCD), imaging lens and DSP. LCoS, a reflective liquid crystal, can modular the intensity of reflective light at every pixel as a digital device. Through modulation function of LCoS, CCD is exposed with sub-region. With the control of DSP, the light intensity is decreased to minimum in the glare regions, and the light intensity is negative feedback modulated based on PID theory in other regions. So that more details of the object will be imaging on CCD and the glare protection of monitoring system is achieved. In experiments, the feedback is controlled by the embedded system based on TI DM642. Experiments shows: this feedback modulation method not only reduces the glare vision to improve image quality, but also enhances the dynamic range of image. The high-quality and high dynamic range image is real-time captured at 30hz. The modulation depth of LCoS determines how strong the glare can be removed.

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

Neural Feedback Scheduling of Real-Time Control Tasks

OpenAIRE

Xia, Feng; Tian, Yu-Chu; Sun, Youxian; Dong, Jinxiang

2008-01-01

Many embedded real-time control systems suffer from resource constraints and dynamic workload variations. Although optimal feedback scheduling schemes are in principle capable of maximizing the overall control performance of multitasking control systems, most of them induce excessively large computational overheads associated with the mathematical optimization routines involved and hence are not directly applicable to practical systems. To optimize the overall control performance while minimi...

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 .

Embedded systems design for high-speed data acquisition and control

CERN Document Server

Di Paolo Emilio, Maurizio

2015-01-01

This book serves as a practical guide for practicing engineers who need to design embedded systems for high-speed data acquisition and control systems. A minimum amount of theory is presented, along with a review of analog and digital electronics, followed by detailed explanations of essential topics in hardware design and software development. The discussion of hardware focuses on microcontroller design (ARM microcontrollers and FPGAs), techniques of embedded design, high speed data acquisition (DAQ) and control systems. Coverage of software development includes main programming techniques, culminating in the study of real-time operating systems. All concepts are introduced in a manner to be highly-accessible to practicing engineers and lead to the practical implementation of an embedded board that can be used in various industrial fields as a control system and high speed data acquisition system.   • Describes fundamentals of embedded systems design in an accessible manner; • Takes a problem-solving ...

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

Real-time multi-camera video acquisition and processing platform for ADAS

Science.gov (United States)

Saponara, Sergio

2016-04-01

The paper presents the design of a real-time and low-cost embedded system for image acquisition and processing in Advanced Driver Assisted Systems (ADAS). The system adopts a multi-camera architecture to provide a panoramic view of the objects surrounding the vehicle. Fish-eye lenses are used to achieve a large Field of View (FOV). Since they introduce radial distortion of the images projected on the sensors, a real-time algorithm for their correction is also implemented in a pre-processor. An FPGA-based hardware implementation, re-using IP macrocells for several ADAS algorithms, allows for real-time processing of input streams from VGA automotive CMOS cameras.

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)

Progesterone receptor isoform analysis by quantitative real-time polymerase chain reaction in formalin-fixed, paraffin-embedded canine mammary dysplasias and tumors

DEFF Research Database (Denmark)

Guil-Luna, S.; Stenvang, Jan; Brünner, Nils

2014-01-01

and its isoforms in formalin-fixed, paraffin-embedded tissue samples from canine mammary lesions (4 dysplasias, 10 benign tumors, and 46 carcinomas) using 1-step SYBR Green quantitative real-time polymerase chain reaction (RT-qPCR). Progesterone receptor was expressed in 75% of dysplasias, all benign...... in the expression of isoform A versus B. Analysis of progesterone receptor mRNA isoforms by RT-qPCR was successful in routinely formalin-fixed, paraffin-embedded tissue samples and enabled the distribution of isoforms A and B to be identified for the first time in dysplasias, benign tumors, and malignant tumors...

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

Real-Time Dispatch of Petroleum Tank Trucks

OpenAIRE

Gerald G. Brown; Glenn W. Graves

1981-01-01

A highly automated, real-time dispatch system is described which uses embedded optimization routines to replace extensive manual operations and to reduce substantially operating costs for a nation-wide fleet of petroleum tank trucks. The system is currently used in daily operations by the Order Entry and Dispatch segment of the Chevron U.S.A. Marketing System. Refined petroleum products valued at several billion dollars per year are dispatched from more than 80 bulk terminals on a fleet excee...

Scheduling of Fault-Tolerant Embedded Systems with Soft and Hard Timing Constraints

DEFF Research Database (Denmark)

Izosimov, Viacheslav; Pop, Paul; Eles, Petru

2008-01-01

In this paper we present an approach to the synthesis of fault-tolerant schedules for embedded applications with soft and hard real-time constraints. We are interested to guarantee the deadlines for the hard processes even in the case of faults, while maximizing the overall utility. We use time....../utility functions to capture the utility of soft processes. Process re-execution is employed to recover from multiple faults. A single static schedule computed off-line is not fault tolerant and is pessimistic in terms of utility, while a purely online approach, which computes a new schedule every time a process...

Expressing Environment Assumptions and Real-time Requirements for a Distributed Embedded System with Shared Variables

DEFF Research Database (Denmark)

Tjell, Simon; Fernandes, João Miguel

2008-01-01

In a distributed embedded system, it is often necessary to share variables among its computing nodes to allow the distribution of control algorithms. It is therefore necessary to include a component in each node that provides the service of variable sharing. For that type of component, this paper...

Performance analysis and kernel size study of the Lynx real-time operating system

Science.gov (United States)

Liu, Yuan-Kwei; Gibson, James S.; Fernquist, Alan R.

1993-01-01

This paper analyzes the Lynx real-time operating system (LynxOS), which has been selected as the operating system for the Space Station Freedom Data Management System (DMS). The features of LynxOS are compared to other Unix-based operating system (OS). The tools for measuring the performance of LynxOS, which include a high-speed digital timer/counter board, a device driver program, and an application program, are analyzed. The timings for interrupt response, process creation and deletion, threads, semaphores, shared memory, and signals are measured. The memory size of the DMS Embedded Data Processor (EDP) is limited. Besides, virtual memory is not suitable for real-time applications because page swap timing may not be deterministic. Therefore, the DMS software, including LynxOS, has to fit in the main memory of an EDP. To reduce the LynxOS kernel size, the following steps are taken: analyzing the factors that influence the kernel size; identifying the modules of LynxOS that may not be needed in an EDP; adjusting the system parameters of LynxOS; reconfiguring the device drivers used in the LynxOS; and analyzing the symbol table. The reductions in kernel disk size, kernel memory size and total kernel size reduction from each step mentioned above are listed and analyzed.

Experiences with Ada in an embedded system

Science.gov (United States)

Labaugh, Robert J.

1988-01-01

Recent experiences with using Ada in a real time environment are described. The application was the control system for an experimental robotic arm. The objectives of the effort were to experiment with developing embedded applications in Ada, evaluating the suitability of the language for the application, and determining the performance of the system. Additional objectives were to develop a control system based on the NASA/NBS Standard Reference Model for Telerobot Control System Architecture (NASREM) in Ada, and to experiment with the control laws and how to incorporate them into the NASREM architecture.

Application of embedded database to digital power supply system in HIRFL

International Nuclear Information System (INIS)

Wu Guanghua; Yan Huaihai; Chen Youxin; Huang Yuzhen; Zhou Zhongzu; Gao Daqing

2014-01-01

Background: This paper introduces the application of embedded MySQL database in the real-time monitoring system of the digital power supply system in Heavy Ion Research Facility in Lanzhou (HIRFL). Purpose: The aim is to optimize the real-time monitoring system of the digital power supply system for better performance. Methods: The MySQL database is designed and implemented under Linux operation system running on ARM processor, together with the related functions for real-time data monitoring, such as collection, storage and query. All status parameters of digital power supply system is collected and communicated with ARM by a FPGA, whilst the user interface is realized by Qt toolkits at ARM end. Results: The actual operation indicates that digital power supply can realize the function of real-time data monitoring, collection, storage and so on. Conclusion: Through practical application, we have found some aspects we can improve and we will try to optimize them in the future. (authors)

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

Embedded system of image storage based on fiber channel

Science.gov (United States)

Chen, Xiaodong; Su, Wanxin; Xing, Zhongbao; Wang, Hualong

2008-03-01

In domains of aerospace, aviation, aiming, and optic measure etc., the embedded system of imaging, processing and recording is absolutely necessary, which has small volume, high processing speed and high resolution. But the embedded storage technology becomes system bottleneck because of developing slowly. It is used to use RAID to promote storage speed, but it is unsuitable for the embedded system because of its big volume. Fiber channel (FC) technology offers a new method to develop the high-speed, portable storage system. In order to make storage subsystem meet the needs of high storage rate, make use of powerful Virtex-4 FPGA and high speed fiber channel, advance a project of embedded system of digital image storage based on Xilinx Fiber Channel Arbitrated Loop LogiCORE. This project utilizes Virtex- 4 RocketIO MGT transceivers to transmit the data serially, and connects many Fiber Channel hard drivers by using of Arbitrated Loop optionally. It can achieve 400MBps storage rate, breaks through the bottleneck of PCI interface, and has excellences of high-speed, real-time, portable and massive capacity.

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.

A Dynamic Time Warping Approach to Real-Time Activity Recognition for Food Preparation

Science.gov (United States)

Pham, Cuong; Plötz, Thomas; Olivier, Patrick

We present a dynamic time warping based activity recognition system for the analysis of low-level food preparation activities. Accelerometers embedded into kitchen utensils provide continuous sensor data streams while people are using them for cooking. The recognition framework analyzes frames of contiguous sensor readings in real-time with low latency. It thereby adapts to the idiosyncrasies of utensil use by automatically maintaining a template database. We demonstrate the effectiveness of the classification approach by a number of real-world practical experiments on a publically available dataset. The adaptive system shows superior performance compared to a static recognizer. Furthermore, we demonstrate the generalization capabilities of the system by gradually reducing the amount of training samples. The system achieves excellent classification results even if only a small number of training samples is available, which is especially relevant for real-world scenarios.

Software Development Technologies for Reactive, Real-Time, and Hybrid Systems: Summary of Research

Science.gov (United States)

Manna, Zohar

1998-01-01

This research is directed towards the implementation of a comprehensive deductive-algorithmic environment (toolkit) for the development and verification of high assurance reactive systems, especially concurrent, real-time, and hybrid systems. For this, we have designed and implemented the STCP (Stanford Temporal Prover) verification system. Reactive systems have an ongoing interaction with their environment, and their computations are infinite sequences of states. A large number of systems can be seen as reactive systems, including hardware, concurrent programs, network protocols, and embedded systems. Temporal logic provides a convenient language for expressing properties of reactive systems. A temporal verification methodology provides procedures for proving that a given system satisfies a given temporal property. The research covered necessary theoretical foundations as well as implementation and application issues.

A real-time virtual delivery system for photon radiotherapy delivery monitoring

Directory of Open Access Journals (Sweden)

Feng Shi

2014-03-01

Full Text Available Purpose: Treatment delivery monitoring is important for radiotherapy, which enables catching dosimetric error at the earliest possible opportunity. This project develops a virtual delivery system to monitor the dose delivery process of photon radiotherapy in real-time using GPU-based Monte Carlo (MC method.Methods: The simulation process consists of 3 parallel CPU threads. A thread T1 is responsible for communication with a linac, which acquires a set of linac status parameters, e.g. gantry angles, MLC configurations, and beam MUs every 20 ms. Since linac vendors currently do not offer interface to acquire data in real time, we mimic this process by fetching information from a linac dynalog file at the set frequency. Instantaneous beam fluence map (FM is calculated based. A FM buffer is also created in T1 and the instantaneous FM is accumulated to it. This process continues, until a ready signal is received from thread T2 on which an in-house developed MC dose engine executes on GPU. At that moment, the accumulated FM is transferred to T2 for dose calculations, and the FM buffer in T1 is cleared. Once the dose calculation finishes, the resulting 3D dose distribution is directed to thread T3, which displays it in three orthogonal planes in color wash overlaid on the CT image. This process continues to monitor the 3D dose distribution in real-time.Results: An IMRT and a VMAT cases used in our patient-specific QA are studied. Maximum dose differences between our system and treatment planning system are 0.98% and 1.58% for the IMRT and VMAT cases, respectively. The update frequency is >10Hz and the relative uncertainty level is 2%.Conclusion: By embedding a GPU-based MC code in a novel data/work flow, it is possible to achieve real-time MC dose calculations to monitor delivery process.------------------------------Cite this article as: Shi F, Gu X, Graves YJ, Jiang S, Jia X. A real-time virtual delivery system for photon radiotherapy delivery

Analysis for Embedded Systems: Experiments with Priced Timed Automata

DEFF Research Database (Denmark)

Ovatman, Tolga; Brekling, Aske Wiid; Hansen, Michael Reichhardt

2010-01-01

costs of those models. In order to achieve this, a basic model is built using priced timed automata and some resource consumption scenarios are verified. Even though the experiments are performed on small and basic models, we believe we have taken a basis step in showing that it is promising to use...... priced timed automata and Uppaal Cora as a model checking tool in reasoning about resource consumption of embedded systems....

An Improved Scheduling Technique for Time-Triggered Embedded Systems

DEFF Research Database (Denmark)

Pop, Paul; Eles, Petru; Peng, Zebo

1999-01-01

clock synchronization and mode changes. We have improved the quality of the schedules by introducing a new priority function that takes into consideration the communication protocol. Communication has been optimized through packaging messages into slots with a properly selected order and lengths......In this paper we present an improved scheduling technique for the synthesis of time-triggered embedded systems. Our system model captures both the flow of data and that of control. We have considered communication of data and conditions for a time-triggered protocol implementation that supports...

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.

Development of real-time multitask OSS based on cognitive task analysis

International Nuclear Information System (INIS)

Wang He; Cheng Shouyu

2010-01-01

A Real-time Multi-task Operator Support System (RMOSS) has been developed to support the operator's decision making process in the control room of NPP. VxWorks, one embedded real-time operation system, is used for RMOSS software development. According to the SRK modeling analysis result of the operator' decision making process, RMOSS is divided into five system subtasks, including Data Collection and Validation Task (DCVT), Operation Monitor Task (OMT), Fault Diagnostic Task (FDT), Operation Guideline Task (OGT) and Human Machine Interface Task (HMIT). The task test of RMOSS has been done in a real-time full scope simulator. The results showed that each task of RMOSS is capable of accomplishing their functions. (authors)

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

Computers as components principles of embedded computing system design

CERN Document Server

Wolf, Marilyn

2012-01-01

Computers as Components: Principles of Embedded Computing System Design, 3e, presents essential knowledge on embedded systems technology and techniques. Updated for today's embedded systems design methods, this edition features new examples including digital signal processing, multimedia, and cyber-physical systems. Author Marilyn Wolf covers the latest processors from Texas Instruments, ARM, and Microchip Technology plus software, operating systems, networks, consumer devices, and more. Like the previous editions, this textbook: Uses real processors to demonstrate both technology and tec

Efficient and Fast Implementation of Embedded Time-of-Flight Ranging System Based on FPGAs

DEFF Research Database (Denmark)

Zhou, Weiguo; Lyu, Congyi; Jiang, Xin

2017-01-01

Time-of-flight cameras perceive depth information about the surrounding environment with an amplitude-modulated near-infrared light source. The distance between the sensor and objects is calculated through measuring the time the light needs to travel. To be used in fast and embedded applications......, such as 3-D reconstruction, visual SLAM, human-robot interactions, and object detection, the 3-D imaging must be performed at high frame rates and accuracy. Thus, this paper presents a real-time field programmable gate arrays platform that calculates the phase shift and then the distance. Experimental...... results shown that the platform can acquire ranging images at the maximum frame rate of 131fps with a fine measurement precision (appropriately 5.1mm range error at 1.2m distance with the proper integration time). Low resource utilization and power consumption of the proposed system make it very suitable...

Real-time cerebellar neuroprosthetic system based on a spiking neural network model of motor learning.

Science.gov (United States)

Xu, Tao; Xiao, Na; Zhai, Xiaolong; Kwan Chan, Pak; Tin, Chung

2018-02-01

Damage to the brain, as a result of various medical conditions, impacts the everyday life of patients and there is still no complete cure to neurological disorders. Neuroprostheses that can functionally replace the damaged neural circuit have recently emerged as a possible solution to these problems. Here we describe the development of a real-time cerebellar neuroprosthetic system to substitute neural function in cerebellar circuitry for learning delay eyeblink conditioning (DEC). The system was empowered by a biologically realistic spiking neural network (SNN) model of the cerebellar neural circuit, which considers the neuronal population and anatomical connectivity of the network. The model simulated synaptic plasticity critical for learning DEC. This SNN model was carefully implemented on a field programmable gate array (FPGA) platform for real-time simulation. This hardware system was interfaced in in vivo experiments with anesthetized rats and it used neural spikes recorded online from the animal to learn and trigger conditioned eyeblink in the animal during training. This rat-FPGA hybrid system was able to process neuronal spikes in real-time with an embedded cerebellum model of ~10 000 neurons and reproduce learning of DEC with different inter-stimulus intervals. Our results validated that the system performance is physiologically relevant at both the neural (firing pattern) and behavioral (eyeblink pattern) levels. This integrated system provides the sufficient computation power for mimicking the cerebellar circuit in real-time. The system interacts with the biological system naturally at the spike level and can be generalized for including other neural components (neuron types and plasticity) and neural functions for potential neuroprosthetic 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....

Design of multi-channel analyzer's monitoring system based on embedded system

International Nuclear Information System (INIS)

Yang Tao; Wei Yixiang

2007-01-01

A new Multi-Channel Analyzer's Monitoring system based on ARM9 Embedded system is introduced in this paper. Some solutions to problem are also discussed during the procedure of design, installation and debugging on Linux system. The Monitoring system is developed by using MiniGUI and Linux software system API, with the functions of collecting, displaying and I/O data controlling 1024 channels datum. They are all realized in real time, with the merits of low cost, small size and portability. All these lay the foundation of developing homemade Digital and Portable nuclear spectrometers. (authors)

Real-time particle image velocimetry based on FPGA technology

International Nuclear Information System (INIS)

Iriarte Munoz, Jose Miguel

2008-01-01

Particle image velocimetry (PIV), based on laser sheet, is a method for image processing and calculation of distributed velocity fields.It is well established as a fluid dynamics measurement tool, being applied to liquid, gases and multiphase flows.Images of particles are processed by means of computationally demanding algorithms, what makes its real-time implementation difficult.The most probable displacements are found applying two dimensional cross-correlation function. In this work, we detail how it is possible to achieve real-time visualization of PIV method by designing an adaptive embedded architecture based on FPGA technology.We show first results of a physical field of velocity calculated by this platform system in a real-time approach. [es

Mobile monitoring and embedded control system for factory environment.

Science.gov (United States)

Lian, Kuang-Yow; Hsiao, Sung-Jung; Sung, Wen-Tsai

2013-12-17

This paper proposes a real-time method to carry out the monitoring of factory zone temperatures, humidity and air quality using smart phones. At the same time, the system detects possible flames, and analyzes and monitors electrical load. The monitoring also includes detecting the vibrations of operating machinery in the factory area. The research proposes using ZigBee and Wi-Fi protocol intelligent monitoring system integration within the entire plant framework. The sensors on the factory site deliver messages and real-time sensing data to an integrated embedded systems via the ZigBee protocol. The integrated embedded system is built by the open-source 32-bit ARM (Advanced RISC Machine) core Arduino Due module, where the network control codes are built in for the ARM chipset integrated controller. The intelligent integrated controller is able to instantly provide numerical analysis results according to the received data from the ZigBee sensors. The Android APP and web-based platform are used to show measurement results. The built-up system will transfer these results to a specified cloud device using the TCP/IP protocol. Finally, the Fast Fourier Transform (FFT) approach is used to analyze the power loads in the factory zones. Moreover, Near Field Communication (NFC) technology is used to carry out the actual electricity load experiments using smart phones.

Mobile Monitoring and Embedded Control System for Factory Environment

Science.gov (United States)

Lian, Kuang-Yow; Hsiao, Sung-Jung; Sung, Wen-Tsai

2013-01-01

This paper proposes a real-time method to carry out the monitoring of factory zone temperatures, humidity and air quality using smart phones. At the same time, the system detects possible flames, and analyzes and monitors electrical load. The monitoring also includes detecting the vibrations of operating machinery in the factory area. The research proposes using ZigBee and Wi-Fi protocol intelligent monitoring system integration within the entire plant framework. The sensors on the factory site deliver messages and real-time sensing data to an integrated embedded systems via the ZigBee protocol. The integrated embedded system is built by the open-source 32-bit ARM (Advanced RISC Machine) core Arduino Due module, where the network control codes are built in for the ARM chipset integrated controller. The intelligent integrated controller is able to instantly provide numerical analysis results according to the received data from the ZigBee sensors. The Android APP and web-based platform are used to show measurement results. The built-up system will transfer these results to a specified cloud device using the TCP/IP protocol. Finally, the Fast Fourier Transform (FFT) approach is used to analyze the power loads in the factory zones. Moreover, Near Field Communication (NFC) technology is used to carry out the actual electricity load experiments using smart phones. PMID:24351642

Mobile Monitoring and Embedded Control System for Factory Environment

Directory of Open Access Journals (Sweden)

Kuang-Yow Lian

2013-12-01

Full Text Available This paper proposes a real-time method to carry out the monitoring of factory zone temperatures, humidity and air quality using smart phones. At the same time, the system detects possible flames, and analyzes and monitors electrical load. The monitoring also includes detecting the vibrations of operating machinery in the factory area. The research proposes using ZigBee and Wi-Fi protocol intelligent monitoring system integration within the entire plant framework. The sensors on the factory site deliver messages and real-time sensing data to an integrated embedded systems via the ZigBee protocol. The integrated embedded system is built by the open-source 32-bit ARM (Advanced RISC Machine core Arduino Due module, where the network control codes are built in for the ARM chipset integrated controller. The intelligent integrated controller is able to instantly provide numerical analysis results according to the received data from the ZigBee sensors. The Android APP and web-based platform are used to show measurement results. The built-up system will transfer these results to a specified cloud device using the TCP/IP protocol. Finally, the Fast Fourier Transform (FFT approach is used to analyze the power loads in the factory zones. Moreover, Near Field Communication (NFC technology is used to carry out the actual electricity load experiments using smart phones.

Timing analysis for embedded systems using non-preemptive EDF scheduling under bounded error arrivals

Directory of Open Access Journals (Sweden)

Michael Short

2017-07-01

Full Text Available Embedded systems consist of one or more processing units which are completely encapsulated by the devices under their control, and they often have stringent timing constraints associated with their functional specification. Previous research has considered the performance of different types of task scheduling algorithm and developed associated timing analysis techniques for such systems. Although preemptive scheduling techniques have traditionally been favored, rapid increases in processor speeds combined with improved insights into the behavior of non-preemptive scheduling techniques have seen an increased interest in their use for real-time applications such as multimedia, automation and control. However when non-preemptive scheduling techniques are employed there is a potential lack of error confinement should any timing errors occur in individual software tasks. In this paper, the focus is upon adding fault tolerance in systems using non-preemptive deadline-driven scheduling. Schedulability conditions are derived for fault-tolerant periodic and sporadic task sets experiencing bounded error arrivals under non-preemptive deadline scheduling. A timing analysis algorithm is presented based upon these conditions and its run-time properties are studied. Computational experiments show it to be highly efficient in terms of run-time complexity and competitive ratio when compared to previous approaches.

Scalable and near-optimal design space exploration for embedded systems

CERN Document Server

Kritikakou, Angeliki; Goutis, Costas

2014-01-01

This book describes scalable and near-optimal, processor-level design space exploration (DSE) methodologies.  The authors present design methodologies for data storage and processing in real-time, cost-sensitive data-dominated embedded systems.  Readers will be enabled to reduce time-to-market, while satisfying system requirements for performance, area, and energy consumption, thereby minimizing the overall cost of the final design.   • Describes design space exploration (DSE) methodologies for data storage and processing in embedded systems, which achieve near-optimal solutions with scalable exploration time; • Presents a set of principles and the processes which support the development of the proposed scalable and near-optimal methodologies; • Enables readers to apply scalable and near-optimal methodologies to the intra-signal in-place optimization step for both regular and irregular memory accesses.

Cost Analysis for Real-time Java Scoped-memory Areas

Directory of Open Access Journals (Sweden)

Delvin Defoe

2007-08-01

Full Text Available Java has recently joined C and C++ as a development platform for real-time and embedded applications. Java's garbage collection, while generally a useful feature, can be problematic for these applications: garbage collection occurs at unpredictable times and its latency is typically unbounded. This can compromise necessary real-time guarantees. To overcome these limitations, the Real-Time for Java Expert Group (RTJEG proposed the Real-Time Specification for Java (RTSJ, which introduced new memory models and new threads to utilize those models. One such memory model uses scoped-memory areas, which work best in the context of a NoHeapRealtimeThread (NHRT. Although much work has been done with scoped-memory areas and NHRTs, there is no system-independent analysis of their costs. In this article we present an asymptotic analysis for RTSJ scoped-memory areas and NHRTs.

Java simulations of embedded control systems.

Science.gov (United States)

Farias, Gonzalo; Cervin, Anton; Arzén, Karl-Erik; Dormido, Sebastián; Esquembre, Francisco

2010-01-01

This paper introduces a new Open Source Java library suited for the simulation of embedded control systems. The library is based on the ideas and architecture of TrueTime, a toolbox of Matlab devoted to this topic, and allows Java programmers to simulate the performance of control processes which run in a real time environment. Such simulations can improve considerably the learning and design of multitasking real-time systems. The choice of Java increases considerably the usability of our library, because many educators program already in this language. But also because the library can be easily used by Easy Java Simulations (EJS), a popular modeling and authoring tool that is increasingly used in the field of Control Education. EJS allows instructors, students, and researchers with less programming capabilities to create advanced interactive simulations in Java. The paper describes the ideas, implementation, and sample use of the new library both for pure Java programmers and for EJS users. The JTT library and some examples are online available on http://lab.dia.uned.es/jtt.

Design of signal reception and processing system of embedded ultrasonic endoscope

Science.gov (United States)

Li, Ming; Yu, Feng; Zhang, Ruiqiang; Li, Yan; Chen, Xiaodong; Yu, Daoyin

2009-11-01

Embedded Ultrasonic Endoscope, based on embedded microprocessor and embedded real-time operating system, sends a micro ultrasonic probe into coelom through the biopsy channel of the Electronic Endoscope to get the fault histology features of digestive organs by rotary scanning, and acquires the pictures of the alimentary canal mucosal surface. At the same time, ultrasonic signals are processed by signal reception and processing system, forming images of the full histology of the digestive organs. Signal Reception and Processing System is an important component of Embedded Ultrasonic Endoscope. However, the traditional design, using multi-level amplifiers and special digital processing circuits to implement signal reception and processing, is no longer satisfying the standards of high-performance, miniaturization and low power requirements that embedded system requires, and as a result of the high noise that multi-level amplifier brought, the extraction of small signal becomes hard. Therefore, this paper presents a method of signal reception and processing based on double variable gain amplifier and FPGA, increasing the flexibility and dynamic range of the Signal Reception and Processing System, improving system noise level, and reducing power consumption. Finally, we set up the embedded experiment system, using a transducer with the center frequency of 8MHz to scan membrane samples, and display the image of ultrasonic echo reflected by each layer of membrane, with a frame rate of 5Hz, verifying the correctness of the system.

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.

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

Virtual timers in hierarchical real-time systems

NARCIS (Netherlands)

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

2009-01-01

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

A high-resolution mini-microscope system for wireless real-time monitoring.

Science.gov (United States)

Wang, Zongjie; Boddeda, Akash; Parker, Benjamin; Samanipour, Roya; Ghosh, Sanjoy; Menard, Frederic; Kim, Keekyoung

2017-09-04

Compact, cost-effective and high-performance microscope that enables the real-time imaging of cells and lab-on-a-chip devices is highly demanded for cell biology and biomedical engineering. This paper aims to present the design and application of an inexpensive wireless mini-microscope with resolution up to 2592 × 1944 pixels and speed up to 90 fps. The mini-microscope system was built on a commercial embedded system (Raspberry Pi). We modified a camera module and adopted an inverse dual lens system to obtain the clear field of view and appropriate magnification for tens of micrometer objects. The system was capable of capturing time-lapse images and transferring image data wirelessly. The entire system can be operated wirelessly and cordlessly in a conventional cell culturing incubator. The developed mini-microscope was used to monitor the attachment and proliferation of NIH-3T3 and HEK 293 cells inside an incubator for 50 hours. In addition, the mini-microscope was used to monitor a droplet generation process in a microfluidic device. The high-quality images captured by the mini-microscope enabled us an automated analysis of experimental parameters. The successful applications prove the great potential of the developed mini-microscope for monitoring various biological samples and microfluidic devices. This paper presents the design of a high resolution mini-microscope system that enables the wireless real-time imaging of cells inside the incubator. This system has been verified to be a useful tool to obtain high-quality images and videos for the automated quantitative analysis of biological samples and lab-on-a-chip devices in the long term.

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.

Real-time cerebellar neuroprosthetic system based on a spiking neural network model of motor learning

Science.gov (United States)

Xu, Tao; Xiao, Na; Zhai, Xiaolong; Chan, Pak Kwan; Tin, Chung

2018-02-01

Objective. Damage to the brain, as a result of various medical conditions, impacts the everyday life of patients and there is still no complete cure to neurological disorders. Neuroprostheses that can functionally replace the damaged neural circuit have recently emerged as a possible solution to these problems. Here we describe the development of a real-time cerebellar neuroprosthetic system to substitute neural function in cerebellar circuitry for learning delay eyeblink conditioning (DEC). Approach. The system was empowered by a biologically realistic spiking neural network (SNN) model of the cerebellar neural circuit, which considers the neuronal population and anatomical connectivity of the network. The model simulated synaptic plasticity critical for learning DEC. This SNN model was carefully implemented on a field programmable gate array (FPGA) platform for real-time simulation. This hardware system was interfaced in in vivo experiments with anesthetized rats and it used neural spikes recorded online from the animal to learn and trigger conditioned eyeblink in the animal during training. Main results. This rat-FPGA hybrid system was able to process neuronal spikes in real-time with an embedded cerebellum model of ~10 000 neurons and reproduce learning of DEC with different inter-stimulus intervals. Our results validated that the system performance is physiologically relevant at both the neural (firing pattern) and behavioral (eyeblink pattern) levels. Significance. This integrated system provides the sufficient computation power for mimicking the cerebellar circuit in real-time. The system interacts with the biological system naturally at the spike level and can be generalized for including other neural components (neuron types and plasticity) and neural functions for potential neuroprosthetic applications.

Embedded Systems

Indian Academy of Sciences (India)

Embedded system, micro-con- troller ... Embedded systems differ from general purpose computers in many ... Low cost: As embedded systems are extensively used in con- .... operating systems for the desktop computers where scheduling.

Embedded Web Technology: Applying World Wide Web Standards to Embedded Systems

Science.gov (United States)

Ponyik, Joseph G.; York, David W.

2002-01-01

Embedded Systems have traditionally been developed in a highly customized manner. The user interface hardware and software along with the interface to the embedded system are typically unique to the system for which they are built, resulting in extra cost to the system in terms of development time and maintenance effort. World Wide Web standards have been developed in the passed ten years with the goal of allowing servers and clients to intemperate seamlessly. The client and server systems can consist of differing hardware and software platforms but the World Wide Web standards allow them to interface without knowing about the details of system at the other end of the interface. Embedded Web Technology is the merging of Embedded Systems with the World Wide Web. Embedded Web Technology decreases the cost of developing and maintaining the user interface by allowing the user to interface to the embedded system through a web browser running on a standard personal computer. Embedded Web Technology can also be used to simplify an Embedded System's internal network.

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

The design of a real-time distributed system

International Nuclear Information System (INIS)

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

1986-01-01

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

Coordinated scheduling for dynamic real-time systems

Science.gov (United States)

Natarajan, Swaminathan; Zhao, Wei

1994-01-01

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

μC/OS-II the real-time kennel and its new progress

International Nuclear Information System (INIS)

Shao Beibei

2003-01-01

A lot of effort has been made to spread the application of RTOS in embedded system development in China. RTOS, μC/OS and μC/OS-II, with its opened source code, is well known in embedded systems. Learning RTOS, Using RTOS, becomes more and more popular. The Book of 'Micro C/OS-II The Real-Time Kennel Second Edition' was published in 2002. Here some new progress of the RTOS, especially the safety certifications, the reliability of software is introduced. (authors)

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

Optimal task mapping in safety-critical real-time parallel systems

International Nuclear Information System (INIS)

Aussagues, Ch.

1998-01-01

This PhD thesis is dealing with the correct design of safety-critical real-time parallel systems. Such systems constitutes a fundamental part of high-performance systems for command and control that can be found in the nuclear domain or more generally in parallel embedded systems. The verification of their temporal correctness is the core of this thesis. our contribution is mainly in the following three points: the analysis and extension of a programming model for such real-time parallel systems; the proposal of an original method based on a new operator of synchronized product of state machines task-graphs; the validation of the approach by its implementation and evaluation. The work addresses particularly the main problem of optimal task mapping on a parallel architecture, such that the temporal constraints are globally guaranteed, i.e. the timeliness property is valid. The results incorporate also optimally criteria for the sizing and correct dimensioning of a parallel system, for instance in the number of processing elements. These criteria are connected with operational constraints of the application domain. Our approach is based on the off-line analysis of the feasibility of the deadline-driven dynamic scheduling that is used to schedule tasks inside one processor. This leads us to define the synchronized-product, a system of linear, constraints is automatically generated and then allows to calculate a maximum load of a group of tasks and then to verify their timeliness constraints. The communications, their timeliness verification and incorporation to the mapping problem is the second main contribution of this thesis. FInally, the global solving technique dealing with both task and communication aspects has been implemented and evaluated in the framework of the OASIS project in the LETI research center at the CEA/Saclay. (author)

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

Specification and Test of Real-Time Systems

DEFF Research Database (Denmark)

Nielsen, Brian

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

Improving Timeliness in Real-Time Secure Database Systems

National Research Council Canada - National Science Library

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

2006-01-01

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

Real-Time Imaging System for the OpenPET

Science.gov (United States)

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

2012-02-01

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

System Identification and Embedded Controller Design for Pneumatic Actuator with Stiffness Characteristic

Directory of Open Access Journals (Sweden)

Khairuddin Osman

2014-01-01

Full Text Available This paper presents model and controller design applications to pneumatic actuator embedded system. Two model strategies of position and force are proposed to realize compliance control for stiffness characteristic. Model of the pneumatic actuator system (transfer function is obtained from system identification (SI method. Next, combination of predictive functional control with observer (PFC-O design is selected as a new control strategy for pneumatic system. Performance assessment of the controller is performed in MATLAB and validated through real-time experiments using national instrument (NI devices and programmable system on chip (PSoC microcontroller. Result shows that the new controller is adapted to the system and able to successfully control both simulation and real-time experiments.

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.

Promise of a low power mobile CPU based embedded system in artificial leg control.

Science.gov (United States)

Hernandez, Robert; Zhang, Fan; Zhang, Xiaorong; Huang, He; Yang, Qing

2012-01-01

This paper presents the design and implementation of a low power embedded system using mobile processor technology (Intel Atom™ Z530 Processor) specifically tailored for a neural-machine interface (NMI) for artificial limbs. This embedded system effectively performs our previously developed NMI algorithm based on neuromuscular-mechanical fusion and phase-dependent pattern classification. The analysis shows that NMI embedded system can meet real-time constraints with high accuracies for recognizing the user's locomotion mode. Our implementation utilizes the mobile processor efficiently to allow a power consumption of 2.2 watts and low CPU utilization (less than 4.3%) while executing the complex NMI algorithm. Our experiments have shown that the highly optimized C program implementation on the embedded system has superb advantages over existing PC implementations on MATLAB. The study results suggest that mobile-CPU-based embedded system is promising for implementing advanced control for powered lower limb prostheses.

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

Implementation of Real-Time Machining Process Control Based on Fuzzy Logic in a New STEP-NC Compatible System

Directory of Open Access Journals (Sweden)

Po Hu

2016-01-01

Full Text Available Implementing real-time machining process control at shop floor has great significance on raising the efficiency and quality of product manufacturing. A framework and implementation methods of real-time machining process control based on STEP-NC are presented in this paper. Data model compatible with ISO 14649 standard is built to transfer high-level real-time machining process control information between CAPP systems and CNC systems, in which EXPRESS language is used to define new STEP-NC entities. Methods for implementing real-time machining process control at shop floor are studied and realized on an open STEP-NC controller, which is developed using object-oriented, multithread, and shared memory technologies conjunctively. Cutting force at specific direction of machining feature in side mill is chosen to be controlled object, and a fuzzy control algorithm with self-adjusting factor is designed and embedded in the software CNC kernel of STEP-NC controller. Experiments are carried out to verify the proposed framework, STEP-NC data model, and implementation methods for real-time machining process control. The results of experiments prove that real-time machining process control tasks can be interpreted and executed correctly by the STEP-NC controller at shop floor, in which actual cutting force is kept around ideal value, whether axial cutting depth changes suddenly or continuously.

Hierarchical programming language for modal multi-rate real-time stream processing applications

NARCIS (Netherlands)

Geuns, S.J.; Hausmans, J.P.H.M.; Bekooij, Marco Jan Gerrit

2014-01-01

Modal multi-rate stream processing applications with real-time constraints which are executed on multi-core embedded systems often cannot be conveniently specified using current programming languages. An important issue is that sequential programming languages do not allow for convenient programming

Real-Time Operating System/360

Science.gov (United States)

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

1969-01-01

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

The evolution of real-time control systems at JET

Energy Technology Data Exchange (ETDEWEB)

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

2001-07-01

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

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.

Time-dependent potential-functional embedding theory

International Nuclear Information System (INIS)

Huang, Chen; Libisch, Florian; Peng, Qing; Carter, Emily A.

2014-01-01

We introduce a time-dependent potential-functional embedding theory (TD-PFET), in which atoms are grouped into subsystems. In TD-PFET, subsystems can be propagated by different suitable time-dependent quantum mechanical methods and their interactions can be treated in a seamless, first-principles manner. TD-PFET is formulated based on the time-dependent quantum mechanics variational principle. The action of the total quantum system is written as a functional of the time-dependent embedding potential, i.e., a potential-functional formulation. By exploiting the Runge-Gross theorem, we prove the uniqueness of the time-dependent embedding potential under the constraint that all subsystems share a common embedding potential. We derive the integral equation that such an embedding potential needs to satisfy. As proof-of-principle, we demonstrate TD-PFET for a Na 4 cluster, in which each Na atom is treated as one subsystem and propagated by time-dependent Kohn-Sham density functional theory (TDDFT) using the adiabatic local density approximation (ALDA). Our results agree well with a direct TDDFT calculation on the whole Na 4 cluster using ALDA. We envision that TD-PFET will ultimately be useful for studying ultrafast quantum dynamics in condensed matter, where key regions are solved by highly accurate time-dependent quantum mechanics methods, and unimportant regions are solved by faster, less accurate methods

Low-cost guaranteed-throughput communication ring for real-time streaming MPSoCs

NARCIS (Netherlands)

Dekens, B.H.J.; Kurtin, Philip Sebastian; Bekooij, Marco Jan Gerrit; Smit, Gerardus Johannes Maria

2013-01-01

Connection-oriented guaranteed-throughput mesh-based networks on chip have been proposed as a replacement for buses in real-time embedded multiprocessor systems such as software defined radios. Even with attractive features like throughput and latency guarantees they are not always used because

Enabling Next-Generation Multicore Platforms in Embedded Applications

Science.gov (United States)

2014-04-01

multiplying effect. Oftentimes, this additional autonomy not only replaces human pilots or operators, but actually provides superior capabilities...J.V.B. Mataix. Static use of locking caches in multitask preemptive real-time systems. In Proceedings of the IEEE Real-Time Embedded Systems

A Model for Industrial Real-Time Systems

DEFF Research Database (Denmark)

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

2015-01-01

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

Development of real-time x-ray microtomography system

International Nuclear Information System (INIS)

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

2013-01-01

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

A curriculum for real-time computer and control systems engineering

Science.gov (United States)

Halang, Wolfgang A.

1990-01-01

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

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

Science.gov (United States)

1999-01-01

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

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

Real-time alerts and reminders using information systems.

Science.gov (United States)

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

2011-09-01

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

Formal methods for dependable real-time systems

Science.gov (United States)

Rushby, John

1993-01-01

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

A framework for building real-time expert systems

Science.gov (United States)

Lee, S. Daniel

1991-01-01

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

Design and development of embedded control system for high power RF test facility

International Nuclear Information System (INIS)

Nageswara Rao, J.; Badapanda, M.K.; Upadhyay, Rinki; Tripathi, Akhilesh; Hannurkar, P.R.

2013-01-01

Design and development of an embedded control system for the control, interlock and operation of 1MW, 352.2 MHz TH2089 klystron based RF test facility. The key components of the control system are NI compact Re configurable Input Output (cRIO) system and Windows based PC. The cRIO system's rugged hardware architecture includes a 1.06 GHz Dual-Core embedded controller with Real Time (RT) Operating System, a reconfigurable Field Programmable Gate Array (FPGA) chassis for custom I/O timing, control and processing; and I/O modules. Windows based Graphical User Interface (GUI) has been developed to guide the user through start-up procedure, to set the operating parameters and also to display the status information of all the signals. The application software for data logging and publishing of the acquired data namely set, read back and status signals of auxiliary power supplies and machine safety interlocks has been developed in LabVIEW RT module and is running on embedded controller. Machine safety interlock logic has been implemented in FPGA to meet the time criticality. (author)

Scenario-based verification of real-time systems using UPPAAL

DEFF Research Database (Denmark)

Li, Shuhao; Belaguer, Sandie; David, Alexandre