378,084 Hits in 9.3 sec

Creating Rich Human-machine Interfaces with Rational Rhapsody and Qt for Industrial Multi-core Real-time Applications

Liher Granado, Oskar Berreteaga
2015 Procedia Manufacturing  
This paper presents a reallife experience of the development of a system and software architecture for a real-time application with an advanced user interface.  ...  Industrial real-time applications and modern rich and friendly user interfaces have been separated worlds for a long time.  ...  Acknowledgements We would like to acknowledge Giulio Santolifor its invaluable work on the Rhapsody Qt profile and his predisposition to share that work and all his knowledge about Rhapsody and Qt with  ... 
doi:10.1016/j.promfg.2015.07.233 fatcat:otn6cnd3ingtdeihnee2pbybye

COTS-Based Architectural Framework for Reliable Real-Time Control Applications in Manufacturing

George K. Adam, Nikos Petrellis, Georgia Garani, Tilemachos Stylianos
2020 Applied Sciences  
The feasibility and applicability of the proposed system's architecture are evaluated and validated through a system application in embedded real-time control in manufacturing.  ...  In this direction, this research applies credible and feasible methodologies (e.g., model-based design, component-based design, formal verification, real-time scheduling, prototyping, and validation) in  ...  Acknowledgments: The authors wants to acknowledge the ADAMs Machines Constructions Company for the technical support and the provision of the machinery and materials used for experiments.  ... 
doi:10.3390/app10093228 fatcat:t7yjnbtx5fdmvmwxbxexdnsnh4

Timing fault detection for safety-critical real-time embedded systems

Sébastien Faucou, Anne-Marie Dplanche, Yvon Trinquet
2002 Proceedings of the 10th workshop on ACM SIGOPS European workshop: beyond the PC - EW10  
On the one hand, a major aspect of dependability for real-time embedded systems is the respect of timing requirements.  ...  This language allows to describe applications which can be easily implemented thanks to a distributed middleware designed on top of the OSEK/VDX real-time kernel.  ...  There is not a lot of architecture-based tool-set dedicated to the design of real-time applications.  ... 
doi:10.1145/1133373.1133425 dblp:conf/sigopsE/FaucouDT02 fatcat:7c42rq3hunc4jinc674qs4lmq4

Predictable component-based software design of real-time MPEG-4 video applications

Egor Bondarev, Milan Pastrnak, Peter H. N. de With, Michel R. V. Chaudron
2005 Visual Communications and Image Processing 2005  
We validated this approach through a case study, for which we developed an advanced MPEG-4 coding application.  ...  The strong real-time requirements of media processing systems should be validated as soon as possible to avoid costly system redesign.  ...  MPEG-4 CODING APPLICATION For validation of our performance prediction design technique, we conducted a case study for which we developed a state-of-the-art MPEG-4 coding application.  ... 
doi:10.1117/12.633520 fatcat:3ytarwmzzjhsrh5u6rwpv5jvtq

Software engineering for real-time

Hermann Kopetz
2000 Proceedings of the conference on The future of Software engineering - ICSE '00  
The systematic validation of ultradependable real-time systems that are used in safety critical applications.  ...  The derivation of tight upper bounds for the worst-case execution time of real-time programs.  ...  In many cases, these simulations will be real-time simulations, where the effects of the real-time control system will be validated with respect to a real-time simulation model of the controlled object  ... 
doi:10.1145/336512.336555 dblp:conf/icse/Kopetz00 fatcat:fwxgbp2f5jfzlefokouni6br4u

MARTHA: Architecture for Control and Emulation of Power Electronics and Smart Grid Systems

Michel A. Kinsy, Ivan Celanovic, Omer Khan, Srinivas Devadas
2013 Design, Automation & Test in Europe Conference & Exhibition (DATE), 2013  
Generic general-purpose architectures running real-time operating systems (RTOS) or quality of service (QoS) schedulers have not been able to meet the hard real-time constraints required by these applications  ...  This paper presents a novel Multicore Architecture for Real-Time Hybrid Applications (MARTHA) with timepredictable execution, low computational latency, and high performance that meets the requirements  ...  To validate our proposed architecture for power electronics applications, we deploy the prototype in an HiL testing configuration for the motor drive model.  ... 
doi:10.7873/date.2013.117 dblp:conf/date/KinsyCKD13 fatcat:xs6gzodei5bpjbqm5twsk7autq

A new modeling approach for IMA platform early validation

Michaël Lafaye, David Faura, Marc Gatti, Laurent Pautet
2010 Proceedings of the 7th International Workshop on Model-Based Methodologies for Pervasive and Embedded Software - MOMPES '10  
This method aim at dimensioning the architecture according to the applications it has to process, and to achieve early platform validation.  ...  Model-based approaches are now mature enough to design embedded critical systems and perform architecture exploration.  ...  They are composed of applications, real-time operating system and hardware modules.  ... 
doi:10.1145/1865875.1865878 dblp:conf/mompes/LafayeFGP10 fatcat:kol4fq5rszdsxmcppq2kvxx6ou

Transaction Level Modelling of SCA Compliant Software Defined Radio Waveforms and Platforms PIM/PSM

Gregory Gailliard, Eric Nicollet, Michel Sarlotte, Francois Verdier
2007 2007 Design, Automation & Test in Europe Conference & Exhibition  
for applications portability.  ...  This latter allows radio platform virtualisation and true reuse of IPs models to validate earlier SDR waveforms and platforms. is the set of software and hardware layers, which provides the services needed  ...  After validation of real-time constraints, the SystemC TLM models of container and component PIM can be refined to their PSM models.  ... 
doi:10.1109/date.2007.364418 dblp:conf/date/GailliardNSV07 fatcat:z4flbrsohrbatiorqzzla6k4nu

In car embedded electronic architectures: How to ensure their safety

Françoise Simonot-Lion
2003 IFAC Proceedings Volumes  
The first one identifies the generic components of an embedded system while the second one details how to model and validate the embedded system throughout the different steps of the development process  ...  In this paper, we intend to list certain activities and key points for ensuring the development of a safe and optimized embedded system.  ...  their essential contributions to the definition of the AIL_Transport language and Nicolas Navet for the fruitful debates that we had on this topic.  ... 
doi:10.1016/s1474-6670(17)32457-6 fatcat:xsf2xf7vfvgsfhv6u3xnix53hu

GUARDS: a generic upgradable architecture for real-time dependable systems

D. Powell, J. Arlat, L. Beus-Dukic, A. Bondavalli, P. Coppola, A. Fantechi, E. Jenn, C. Rabejac, A. Wellings
1999 IEEE Transactions on Parallel and Distributed Systems  
AbstractÐThe development and validation of fault-tolerant computers for critical real-time applications are currently both costly and time consuming.  ...  on commercial off-the-shelf (COTS) components (both processor hardware boards and real-time operating systems).  ...  Real-Time Models In keeping with the genericity objective, the architecture must be capable of supporting a range of real-time computational and scheduling models.  ... 
doi:10.1109/71.774908 fatcat:6fts7tmq5veilfhkejnm744b34

SIMOO-RT-an object-oriented framework for the development of real-time industrial automation systems

L.B. Becker, C.E. Pereira
2002 IEEE Transactions on Robotics and Automation  
Index Terms-Object-oriented methods, real-time systems, software tools, system analysis and design.  ...  The technical details involved in the process of mapping problem-domain objects to design specific entities as well as the automatic code generation for the runtime application are discussed in the paper  ...  The adopted model validation scheme (described in detail in [3] ) consists of an architecture intended to provide a feedback to designers regarding the application's temporal behavior (validation of its  ... 
doi:10.1109/tra.2002.802933 fatcat:pmheilrlpjam7jyguvh72hrm3i

Mermaid: Modelling and evaluation research in MIMD architecture design [chapter]

A. D. Pimentel, J. van Brummen, T. Papathanassiadis, P. M. A. Sloot, L. O. Hertzberger
1995 Lecture Notes in Computer Science  
And finally, the architecture level consists of the trace-driven architecture simulation models.  ...  Abstract The Mermaid project focuses on the construction of simulation models for MIMD multicomputers in order to evaluate them and to give estimates of the system's performance.  ...  Acknowledgements We would like to thank Marcel Beemster for his comments on draft versions of the article and Alfons Hoekstra for his contributions with respect to the Elastic Light Scattering benchmark  ... 
doi:10.1007/bfb0046649 fatcat:6y54rqt4pvbxtds3ntqyk3v6uy

An Integrated Simulation Environment for Parallel and Distributed System Prototying

Alan D. George, Ryan B. Fogarty, Jeff S. Markwell, Michael D. Miars
1999 Simulation (San Diego, Calif.)  
When high-fidelity models of parallel architecture are coupled with workloads generated from real parallel application code in an execution-driven simulation, the result is a potent design and analysis  ...  The scope and interaction of applications, operating systems, communication networks, processors, and other hardware and software lead to substantial system complexity.  ...  Acknowledgments The support provided by the Office of Naval Research on grant N00014-98-1-0188 is acknowledged and appreciated, as is the SCI equipment support from Dolphin Interconnect Solutions, Inc.  ... 
doi:10.1177/003754979907200502 fatcat:nic2u6qu4rghbkktzbr5hqkvky

Calibration of Abstract Performance Models for System-Level Design Space Exploration

Andy D. Pimentel, Mark Thompson, Simon Polstra, Cagkan Erbas
2007 Journal of Signal Processing Systems  
High-level performance modeling and simulation have become a key ingredient of system-level design as they facilitate early architectural design space exploration.  ...  This requires validation (if possible) and calibration of the simulation models, which are two aspects that have not yet been widely addressed in the system-level community.  ...  To model the timing consequences of application events, each architecture model component is parameterized with a table of operation latencies (illustrated for processor 1 in Fig. 2 ).  ... 
doi:10.1007/s11265-007-0085-2 fatcat:7haacgs7jzbwhcmbo2e7gj5gpm

Composition of design patterns

Vincent Gaudel, Frank Singhoff, Alain Plantec, Pierre Dissaux, Jérôme Legrand
2014 ACM SIGBED Review  
This article deals with performance verification of architecture models of real-time embedded systems.  ...  We investigate scheduling analysis of multi-tasks applications running on real-time operating systems (RTOS in this article).  ...  Acknowledgment We would like to thank Ellidiss Technologies and Conseil Regional de Bretagne for their support to this project.  ... 
doi:10.1145/2597457.2597463 fatcat:v752ynwbfna6fokguuqsqh7qze
« Previous Showing results 1 — 15 out of 378,084 results