118 Hits in 3.3 sec

Synchronous Programming (Dagstuhl Seminar 13471)

Stephen A. Edwards, Alain Girault, Klaus Schneider, Marc Herbstritt
2014 Dagstuhl Reports  
Synchronous programming languages are programming languages with an abstract (logical) notion of time: The execution of such programs is divided into discrete reaction steps, and in each of these reactions  ...  The programs are called synchronous because all outputs are computed together in zero time within a step and because parallel components synchronize their reaction steps by the semantics of the languages  ...  The talk dwells primarily on the bottom layer of the AstraKhan stack, which is called the Topology and Progress Layer.  ... 
doi:10.4230/dagrep.3.11.117 dblp:journals/dagstuhl-reports/EdwardsGS13 fatcat:b7aq6w2q4fawjjqtlfleujr3gi

STARPro — A new multithreaded direct execution platform for Esterel

Simon Yuan, Sidharta Andalam, Li Hsien Yoong, Partha S. Roop, Zoran Salcic
2009 Electronical Notes in Theoretical Computer Science  
Esterel programs have traditionally been compiled to software code for general purpose processors or to hardware netlists.  ...  All concurrent components of an Esterel program execute in lock-step, evolving in discrete instants of time, known as a tick. Execution is assumed to be infinitely fast between ticks.  ...  Acknowledgement The authors would like to acknowledge the assistance of Rohan Aggrawal in STARPro's implementation, and Chia-Hao Chou for his contribution to the design.  ... 
doi:10.1016/j.entcs.2008.01.005 fatcat:nv34m2aabzba3eer3fm5xamywu

A concurrent reactive Esterel processor based on multi-threading

Xin Li, Reinhard von Hanxleden
2006 Proceedings of the 2006 ACM symposium on Applied computing - SAC '06  
This paper presents a novel reactive processor architecture based on multi-threading, which allows the arbitrary nesting of preemption and concurrency, and is scalable to very high degrees of concurrency  ...  Esterel is a concurrent synchronous language for developing reactive systems.  ...  Hence, an alternative approach proposed recently to improve the performance of a software implementation is to implement an Esterel program on a special-purpose reactive processor whose instruction set  ... 
doi:10.1145/1141277.1141489 dblp:conf/sac/LiH06 fatcat:z74iilqwzjaotfgpw2eur3v3x4

Building models of real-time systems from application software

J. Sifakis, S. Tripakis, S. Yovine
2003 Proceedings of the IEEE  
We show an instance of the methodology developed in the TAXYS project for the modeling and analysis of real-time systems programmed in the Esterel language.  ...  Finally, we report on applications of TAXYS to several nontrivial examples.  ...  This is because the model of the latter is the code generated by the Esterel compiler, instrumented with statements that model the passage of time. 3) Possibility of analysis as the generated model is  ... 
doi:10.1109/jproc.2002.805820 fatcat:lheyyulvavhcrmc3fj6o3lggmm

Esterel and Java in an object-oriented modelling and simulation framework for heterogeneous software and hardware systems. The SEP approach

F. Mallet, F. Boeri
1999 Proceedings 25th EUROMICRO Conference. Informatics: Theory and Practice for the New Millennium  
language Esterel.  ...  So design tools have to allow the maximum reusability and an adapted level of description depending on our goals during each part of design cycle.  ...  Their behaviour is on dependency of the absolute time.  ... 
doi:10.1109/eurmic.1999.794469 dblp:conf/euromicro/MalletB99 fatcat:o4nuesr65vet7hjzhnluk2dzhi

Scheduling for embedded real-time systems

F. Balarin, L. Lavagno, P. Murthy, A. Sangiovanni-Vincentelli, C.D. Systems, A. Sangiovanni-
1998 IEEE Design & Test of Computers  
review several approaches to control-oriented and dataflow-oriented software scheduling to determine whether a given technique can satisfy deadlines, throughput, and other constraints for embedded real-time  ...  Time in an Esterel program can elapse only when executing a Halt statement.  ...  Esterel includes several constructs to represent useful notions in reactive real-time programming, such as preemption, watchdogs, exceptions, and so on.  ... 
doi:10.1109/54.655185 fatcat:2j366c6ytfc25mheyqmld6k5ga

A New Multithreaded Architecture Supporting Direct Execution of Esterel

Simon Yuan, LiHsien Yoong, Sidharta Andalam, ParthaS Roop, Zoran Salcic
2009 EURASIP Journal on Embedded Systems  
A compiler, based on UCCFG sd , has been developed for code generation. We have synthesized STARPro and have carried out a range of benchmarking experiments.  ...  We also excel in comparison to recent reactive architectures, by achieving an average speed-up of 37% in worst-case reaction times and a speed-up of 38% in average-case reaction times.  ...  To compare performance of the code generated by the software compilers, we ran each Esterel program for one million reactions with randomly generated input trace.  ... 
doi:10.1155/2009/610891 fatcat:tqhfqdnpqnhbfetp7hhcdtetsu

Guest Editors' Introduction: GALS Design and Validation

Mike Kishinevsky, Sandeep K. Shukla, Kenneth S. Stevens
2007 IEEE Design & Test of Computers  
The analysis of the schedulability of computation, event acceptance and generation, and so on, can be done using formal Calculus.  ...  The fourth article, ''A GALS Infrastructure for a Massively Parallel Multiprocessor,'' by Luis Plana et al., presents a case study of a massively parallel multiprocessor aimed at real-time simulation of  ... 
doi:10.1109/mdt.2007.166 fatcat:j4y32mb5t5egxkzly4vlirbggq

Automatic rate desynchronization of embedded reactive programs

Alain Girault, Xavier Nicollin, Marc Pouzet
2006 ACM Transactions on Embedded Computing Systems  
the global reaction time of the program.  ...  We consider general programs whose control structure is a finite state automaton and with a DAG of actions in each state.  ...  Edward Lee (UC Berkeley) for a very helpful explanation of Real-Time Workshop's distributed code generation, to Albert Benveniste and Paul Le Guernic (Inria/Irisa) for interesting discussions on the Signal  ... 
doi:10.1145/1165780.1165786 fatcat:3ghfmu64gfffpgwhanimwbtjmm

A Perspective on Program Verification [chapter]

Willem-Paul de Roever
2008 Lecture Notes in Computer Science  
the other on compositional verification of concurrent and distributed programs, and communication-closed layers.  ...  A perspective on program verification is presented from the point of view of a university professor who has been active over a period of 35 years in the development of formal methods and their supporting  ...  An often-heard obstacle against generating correctness proofs for programs written in C is C's reliance on pointer arithmetic. I do not understand this obstacle.  ... 
doi:10.1007/978-3-540-69149-5_50 fatcat:5wvlimlc4nhldhc53tk3lmlon4

Embedded and Real-time Systems [chapter]

Edward L. Lamie
2019 Real-Time Embedded Multithreading Using ThreadX  
The goal is to provide a general model of deterministic concurrency inside a general purpose functional language to program reactive systems.  ...  Following the work of PhD thesis of Mehdi Dogguy, we have studied a new analysis which adds usages on signals to be able to ensure one to one communications.  ... 
doi:10.1201/9780429187575-1 fatcat:ngrbtza47bhrdmlrbn2xdhg5de

Building timing predictable embedded systems

Philip Axer, Christine Rochange, Maurice Sebastian, Reinhard Von Hanxleden, Reinhard Wilhelm, Wang Yi, Rolf Ernst, Heiko Falk, Alain Girault, Daniel Grund, Nan Guan, Bengt Jonsson (+2 others)
2014 ACM Transactions on Embedded Computing Systems  
A large class of embedded systems is distinguished from general-purpose computing systems by the need to satisfy strict requirements on timing, often under constraints on available resources.  ...  We present techniques for achieving timing predictability on multicores.  ...  use a general-purpose language such as C).  ... 
doi:10.1145/2560033 fatcat:vyvehgnkxfdmnbs2wcwada3sxi

Prototyping Embedded Dsp Systems - From Specification To Implementation

Zoran Salcic
2004 Zenodo  
Publication in the conference proceedings of EUSIPCO, Viena, Austria, 2004  ...  for analysis of system behaviour are programs running on the usual PC platform.  ...  It is performed using software solution running on a simple general-purpose processor, as well as some other non-hard real-time functions.  ... 
doi:10.5281/zenodo.38706 fatcat:navkxtet35ae7hpjep3xrbe6oi

A decade of hardware/ software codesign

W. Wolf
2003 Computer  
Within that time, it has moved from an emerging discipline to a mainstream technology.  ...  Based on an analysis of the performance and cost of various implementations of the program, some of the program's functions were put in the ASIC while other parts were implemented in software running on  ...  Efforts are under way to develop new methods for performance analysis and code generation with the aim of making VLIW-based architectures more useful.  ... 
doi:10.1109/mc.2003.1193227 fatcat:vgbpdvfclvf6rmqubdix32a44u

ReactiveML, ten years later

Louis Mandel, Cédric Pasteur, Marc Pouzet
2015 Proceedings of the 17th International Symposium on Principles and Practice of Declarative Programming - PPDP '15  
Ten years ago we introduced ReactiveML, an extension of a strict ML language with synchronous parallelismà la Esterel to program reactive applications.  ...  Our purpose was to demonstrate that synchronous language principles, originally invented and used for critical real-time control software, would integrate well with ML and prove useful in a wider context  ...  Surprisingly for us, the efficiency of the ReactiveML interpretor compared well with the one of Antescofo: on all musical pieces we tested, response times were lower than the reaction time of the human  ... 
doi:10.1145/2790449.2790509 dblp:conf/ppdp/MandelPP15 fatcat:yilr3iv5wbbebkpq5n2dmvgtfu
« Previous Showing results 1 — 15 out of 118 results