Filters








105,833 Hits in 11.9 sec

Modeling of Concurrent Task Execution in a Distributed System for Real-Time Control

Peng, Shin
1987 IEEE transactions on computers  
In a distributed system that implements real-time control, computational tasks are distributed over different nodes for execution to improve response time and system reliability.  ...  The CTMC model is useful for the study of various design and analysis issues in distributed real-time systems.  ...  CONCLUSION A CTMC model is presented in this paper to model the concurrent task execution in a distributed real-time system.  ... 
doi:10.1109/tc.1987.1676931 fatcat:2whksncrlzbczkup66jevzcnpy

The ASSERT Virtual Machine: A Predictable Platform for Real-Time Systems

Juan A. de la Puente, Juan Zamorano, José A. Pulido, Santiago Urueña
2008 IFAC Proceedings Volumes  
The development of real-time control systems is a complex process which has to face often conflicting requirements, especially those related to the performance of the control methods and the real-time  ...  The ASSERT Virtual Machine provides a reliable execution platform for such systems, which allows developers to cope with functional and real-time aspects separately.  ...  Alenia Space, Dave Thomas from Astrium Satellites, and Maxime Perrotin from ESA/ESTEC, in building the final demonstrators.  ... 
doi:10.3182/20080706-5-kr-1001.01810 fatcat:xfibuvx255alvfa5gkjgqwzb7y

Designing concurrent, distributed, and real-time applications with UML

Hassan Gomaa
2006 Proceeding of the 28th international conference on Software engineering - ICSE '06  
This tutorial describes the COMET method for designing real-time and distributed applications, which integrates object-oriented and concurrency concepts and uses UML.  ...  With the proliferation of object-oriented notations and methods, the Unified Modeling Language (UML) has emerged to provide a standardized notation for describing object-oriented models.  ...  The COMET Method COMET is a Concurrent Object Modeling and Architectural Design Method for the development of concurrent applications, in particular distributed and real-time applications [3] .  ... 
doi:10.1145/1134285.1134504 dblp:conf/icse/Gomaa06 fatcat:2vyxoey54zh6zbymuc5tjotorq

Motivating hierarchical run-time models in measurement and control systems

Jie Liu, S. Jefferson, E.A. Lee
2001 Proceedings of the 2001 American Control Conference. (Cat. No.01CH37148)  
In general, dataflow centric models are natural for describing measurement and control algorithms and easy to use in distributed systems, but they lack mechanisms for control!  ...  Cleanly integrating multiple run-time models is a challenging task.  ...  Thus, it can be preempted by the control ' task at any time. Discussion Systematically integrating multiple models is crucial to design large-scale distributed real-time systems.  ... 
doi:10.1109/acc.2001.946165 fatcat:kjqocfiwnngq3nr3qrtp6hhlge

A reconfigurable concurrent function block model and its implementation in real-time Java

Robert W. Brennan, Xiaokun Zhang, Yuefei Xu, Douglas H. Norrie
2002 Integrated Computer-Aided Engineering  
We propose a model to support configuration and reconfiguration of real-time distributed control systems that is built upon recent models for distributed intelligent control and provide an example of its  ...  implementation on a real-time Java platform.  ...  We start with a description of these existing models for real-time distributed control in Section 2.  ... 
doi:10.3233/ica-2002-9306 fatcat:lfrmqrthfrgolgu7kbdpea2tdq

Design and implementation of real-time distributed systems with the ASSERT Virtual Machine

J Zamorano, J A de la Puente
2010 2010 IEEE 15th Conference on Emerging Technologies & Factory Automation (ETFA 2010)  
Components are used in the framework of the ASSERT development process, and are based on the Ravenscar Computational Model, a concurrent tasking model which can be statically analysed for a correct real-time  ...  This paper describes how the ASSERT Virtual Machine, a dedicated execution platform that guarantees a predictable real-time behaviour, can be used to develop real-time embedded distributed systems with  ...  SAE standard for modelling embedded real-time systems [16] .  ... 
doi:10.1109/etfa.2010.5641342 dblp:conf/etfa/ZamoranoP10 fatcat:7fjgbzfw2rbupjbqe65udjz6dm

FBBeam: An Erlang-based IEC 61499 Implementation

Laurin Prenzel, Julien Provost
2019 2019 IEEE 17th International Conference on Industrial Informatics (INDIN)  
This paper aims to investigate the benefits of reusing an existing soft real-time runtime system for the implementation of the IEC 61499.  ...  The IEC 61499 is a modeling language for distributed control systems. Despite numerous research results existing on this topic, industry acceptance is lacking.  ...  CONCLUSION Despite architectural advantages of the IEC 61499 as a modeling language for distributed control systems, industry acceptance is still lacking.  ... 
doi:10.1109/indin41052.2019.8972123 dblp:conf/indin/PrenzelP19 fatcat:ir7rech7xvhjvigai5uir3mwkm

Telerobotic systems design based on real-time CORBA

Michele Amoretti, Stefano Bottazzi, Stefano Caselli, Monica Reggiani
2005 Journal of Robotic Systems  
Furthermore, CORBA services for concurrency control and large-scale data distribution enable geographic-scale access for robot teleprogramming.  ...  Virtual laboratories and remote equipment maintenance are examples of these applications, which are built exploiting distributed computing systems and Internet technologies.  ...  provide real-time features, guaranteed performance and efficient concurrency mechanisms, both locally and in a distributed environment.  ... 
doi:10.1002/rob.20058 fatcat:eifpbh53wbhmvazaf6wbz6myn4

Model Checking Multitask Applications for OSEK Compliant Real-Time Operating Systems

Mark L. McKelvin Jr., Edward B. Gamble Jr., Gerard J. Holzmann
2011 2011 IEEE 17th Pacific Rim International Symposium on Dependable Computing  
In the verification of multitask software in embedded systems, general purpose model checkers do not inherently consider characteristics of the real time operating system, such as priority-based scheduling  ...  real time operating systems.  ...  Ingham, and Mihai Florian for thoughtful discussions on this work.  ... 
doi:10.1109/prdc.2011.49 dblp:conf/prdc/McKelvinGH11 fatcat:zqfydndzdvff7lue5ozyv7f5si

The Evolution of Real-Time Programming [chapter]

Raja Sengupta, Christoph Kirsch
2007 Chapman & Hall/CRC Computer & Information Science Series  
A control engineer could express design in terms of multiple concurrently executing components, i.e, tasks in BET terminology.  ...  Real-time programmers built real-time operating systems that then brought the advances of real-time scheduling theory to bear on the correct temporal execution of these concurrent programs.  ...  Handling multiple concurrent tasks in real time is therefore an important requirement on such systems.  ... 
doi:10.1201/9781420011746.ch11 fatcat:dwl5tf5jabet7eezmykfixfugy

Designing Telerobotic Systems as Distributed CORBA-Based Applications [chapter]

Michele Amoretti, Stefano Bottazzi, Monica Reggiani, Stefano Caselli
2003 Lecture Notes in Computer Science  
In this paper we summarize our experience in the development of a software framework for telerobotics based on Real-Time CORBA.  ...  The framework has been evaluated in a real scenario, building a distributed telerobotic application which allows control of a robot arm and several sensors by multiple Clients.  ...  Departing from other works [2, [4] [5] [6] , we exploited advanced CORBA features to address real-time requirements, concurrency in resource access and in task execution, and data distribution.  ... 
doi:10.1007/978-3-540-39964-3_69 fatcat:uuoy2xzomze7lhjb52wxzoiw6i

Battery Pack Modeling, Simulation, and Deployment on a Multicore Real Time Target

Javier Gazzarri, Nishant Shrivastava, Robyn Jackey, Craig Borghesani
2014 SAE International Journal of Aerospace  
In addition, we present an assessment of model partitioning schemes for real time execution on multicore targets to ensure efficient use of hardware resources, a balanced computational load, and a study  ...  Prior to C code generation for real time execution, a model profiler assesses the model partitioning and helps determine the multicore configuration that results in the lowest average turnaround time,  ...  One option for achieving real time simulation of large models is to distribute computational load by partitioning for multicore execution.  ... 
doi:10.4271/2014-01-2217 fatcat:dk7ms6r5gza3bgl4zfep74wnj4

Visualizing Concurrency Control Algorithms for Real-Time Database Systems

Olusegun Folorunso, H.O.D. Longe, Adio T. Akinwale
2008 Data Science Journal  
This paper describes an approach to visualizing concurrency control (CC) algorithms for real-time database systems (RTDBs).  ...  The Model-View-controller (MVC) architecture is used to alleviate the black box syndrome associated with the study of algorithm behaviour for RTDBs Concurrency Controls.  ...  In contrast to tasks in conventional real-time operating systems, the model assumes transactions to be the schedule unit.  ... 
doi:10.2481/dsj.7.96 fatcat:n4i6pves2neohh3lq7xrws5ahm

Mixed-Critical Systems Design with Coarse-Grained Multi-core Interference [chapter]

Peter Poplavko, Rany Kahil, Dario Socci, Saddek Bensalem, Marius Bozga
2016 Lecture Notes in Computer Science  
In this context, we discuss our work in progress on a scheduler that aims to handle the interference in mixed-critical applications by controlling it at the task level.  ...  Those autonomic concurrent systems which are timing-critical and compute intensive need special resource managers in order to ensure adaptation to unexpected situations in terms of compute resources.  ...  for real-time systems, including their timing constraints.  ... 
doi:10.1007/978-3-319-47166-2_42 fatcat:pzkiklqvtrcrbcasnbfslmcavm

Swift/T: Large-Scale Application Composition via Distributed-Memory Dataflow Processing

J. M. Wozniak, T. G. Armstrong, M. Wilde, D. S. Katz, E. Lusk, I. T. Foster
2013 2013 13th IEEE/ACM International Symposium on Cluster, Cloud, and Grid Computing  
Large batches of these tasks may be executed on high-end computing systems; however, the coordination of the independent processes, their data, and their data dependencies is a significant scalability  ...  In this work, we present Swift/T, a programming language and runtime that enables the rapid development of highly concurrent, task-parallel applications.  ...  Any opinion, finding, and conclusions or recommendations expressed in this material are those of the authors and do not necessarily reflect the views of the National Science Foundation.  ... 
doi:10.1109/ccgrid.2013.99 dblp:conf/ccgrid/WozniakAWKLF13 fatcat:ogqhrn3jivebvikvff2oredxqi
« Previous Showing results 1 — 15 out of 105,833 results