Filters








41,857 Hits in 4.9 sec

A Multi-Periodic Synchronous Data-Flow Language

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2008 2008 11th IEEE High Assurance Systems Engineering Symposium  
We propose a new language, built upon synchronous data-flow languages, to handle multi-rate systems properly.  ...  Existing languages mainly focus on mono-periodic systems, implementing multi-periodic systems with these languages is possible but inefficient.  ...  The language builds upon data-flow synchronous languages, adding high level real-time primitives based on strictly periodic clocks. A.  ... 
doi:10.1109/hase.2008.47 dblp:conf/hase/ForgetBLP08 fatcat:znhpqsx3xjfrdjzhuwjiybbwku

Dependent Types for Multi-Rate Flows in Synchronous Programming

William Blair, Hongwei Xi
2017 Electronic Proceedings in Theoretical Computer Science  
In this report, we encode inside ATS various real-time primitives in an experimental synchronous language called Prelude, where ATS is a statically typed language with an ML-like functional core that supports  ...  Whereas ATS is typically used as a general purpose programming language, we hereby demonstrate that it can also be conveniently used to support some forms of advanced static checking in languages equipped  ...  Intuitively, a strictly periodic data flow produces a value after each period.  ... 
doi:10.4204/eptcs.241.3 fatcat:g5o6i62ihvg27nuhmgdfx5lxba

A real-time architecture design language for multi-rate embedded control systems

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2010 Proceedings of the 2010 ACM Symposium on Applied Computing - SAC '10  
It provides a high-level of abstraction and benefits from the formal properties of synchronous languages.  ...  The language relies on the synchronous approach but extends it to support efficiently systems with multiple real-time constraints, such as deadline constraints or periodicity constraints.  ...  The synchronous approach has been implemented in several programming languages, our language is a synchronous data-flow language and is thus close to Lustre [16] , Signal [4] or Lucid Synchrone [24  ... 
doi:10.1145/1774088.1774196 dblp:conf/sac/ForgetBLP10 fatcat:5ijfdh32qva2be2csoo74cl3bu

Implementing Multi-Periodic Critical Systems: from Design to Code Generation

Julien Forget, Frédéric Boniol, David Lesens, Claire Pagetti
2010 Electronic Proceedings in Theoretical Computer Science  
It enables to assemble in a modular and hierarchical manner several locally mono-periodic synchronous systems into a globally multi-periodic synchronous system.  ...  The system is programmed with a language that extends the synchronous approach with high-level real-time primitives.  ...  In [5] we proposed an extension of synchronous languages to design multi-periodic systems efficiently, by assembling several synchronous nodes into a multi-periodic synchronous program.  ... 
doi:10.4204/eptcs.20.4 fatcat:rt24n2l4tjdsbefhub63awi6u4

Multi-task Implementation of Multi-periodic Synchronous Programs

Claire Pagetti, Julien Forget, Frédéric Boniol, Mikel Cordovilla, David Lesens
2011 Discrete event dynamic systems  
A system is formally specified as a modular and hierarchical assembly of several locally mono-periodic synchronous functions into a globally multi-periodic synchronous system.  ...  the functional and the real-time architecture of a multi-periodic control system.  ...  Designing a multi-periodic system can be realised with such a language.  ... 
doi:10.1007/s10626-011-0107-x fatcat:nnmxwgtjxbhmvblwtqmchifejq

Parallel code generation of synchronous programs for a many-core architecture

Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoit Dupont de Dinechin
2018 2018 Design, Automation & Test in Europe Conference & Exhibition (DATE)  
Data-flow Synchronous languages such as Lustre or Scade are widely used for avionic critical software. Programs are described by networks of computational nodes.  ...  Many-core architectures are good candidates since they offer power and are considered more time predictable than classical multi-cores.  ...  INTRODUCTION Lustre is a synchronous data-flow language, whose industrial version, Scade, is widely used for time-critical applications, especially in avionics.  ... 
doi:10.23919/date.2018.8342182 dblp:conf/date/GraillatMRD18 fatcat:byutr534pzakpj6ixbvsyiakxi

Synchronous Programming [chapter]

Paul Caspi, Stavros Tripakis, Pascal Raymond
2007 Chapman & Hall/CRC Computer & Information Science Series  
Consequently, after some trial and error, most of them finally settled with a very simple program structure, triggered by a single periodic real-time clock, as shown in Table 1 Figure 1 .1: Asynchronous  ...  Yet, these devices were very different from the ones they were used to, i.e., analog and discrete components coming along with a "data sheet" basically describing some "input-output" behavior.  ...  This section gives a flavor of two languages: Esterel as an example of an imperative language, and Lustre as an example of a data-flow language.  ... 
doi:10.1201/9781420011746.ch14 fatcat:4dbhkpkdrfcihfo23hexipcgcy

Enforcing Applicability of Real-Time Scheduling Theory Feasibility Tests with the Use of Design-Patterns [chapter]

Alain Plantec, Frank Singhoff, Pierre Dissaux, Jérôme Legrand
2010 Lecture Notes in Computer Science  
From these models, we apply a model-based engineering process to generate a decision tool what is able to detect from an architecture model which are the feasibility tests that the designer can apply.  ...  Unfortunately, this task is difficult since it requires that designers have a deep understanding of the real-time scheduling theory.  ...  Specification of the Synchronous data flows design-pattern The Synchronous data flows design-pattern is inherited from Meta-H.  ... 
doi:10.1007/978-3-642-16558-0_3 fatcat:klrymwj6f5aynlg7hc5rohl4fe

Design and optimization of multi-clocked embedded systems using formal technique

Yu Jiang, Zonghui Li, Hehua Zhang, Yangdong Deng, Xiaoyu Song, Ming Gu, Jiaguang Sun
2013 Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering - ESEC/FSE 2013  
in an interface timed automaton or a synchronous data flow module with the CSP mechanism.  ...  Data-oriented behaviors are captured by synchronous dataflow, while synchronous controloriented behaviors are captured by timed automata, and inter clock-domain asynchronous communication can be modeled  ...  synchronous node analogous to a synchronous reactive program in a language like Esterel. (2) Second, with the help of shared variables, special synchronize input/output actions and parallel composition  ... 
doi:10.1145/2491411.2494575 dblp:conf/sigsoft/JiangLZDSGS13 fatcat:lykrbprubbcu5owdnufjeoervy

Embedded and Real-time Systems [chapter]

Edward L. Lamie
2019 Real-Time Embedded Multithreading Using ThreadX  
This language is similar to the first order synchronous data-flow language Lustre in which a buffer operator is added.  ...  Lucy-n: an n-synchronous data-flow programming language Participants: Louis Mandel [contact], Adrien Guatto, Marc Pouzet. Lucy-n is a language to program in the n-synchronous model.  ... 
doi:10.1201/9780429187575-1 fatcat:ngrbtza47bhrdmlrbn2xdhg5de

Component reuse methodology for multi-clock Data-Flow parallel embedded Systems

Anne Marie Chana, Patrice Quinton, Steven Derrien
2014 ARIMA  
Flexible parallel components are assembled using a scheduling method which combines the synchronous data-flow principle of balance equations and the polyhedral scheduling technique.  ...  We discuss the relationship of this approach with multi-clock architecture, latency-insensitive design, multidimensional data-flow systems and stream programming  ...  a systematic method to automatically generate a hardware architecture for multi-clock, parallel data-flow systems with flexible generic components.  ... 
doi:10.46298/arima.1979 fatcat:bi6gyfa27jd5vatza752ubttae

The Logical Execution Time Paradigm: New Perspectives for Multicore Systems (Dagstuhl Seminar 18092)

Rolf Ernst, Stefan Kuntz, Sophie Quinton, Martin Simons, Michael Wagner
2018 Dagstuhl Reports  
This introduces a separation between functionality on the one Except where otherwise noted, content of this report is licensed under a Creative Commons BY 3.0  ...  The main purpose was to promote a closer interaction between the subcommunities involved in the application of LET to multicore systems, with a particular emphasis on the automotive domain.  ...  "A multiperiodic synchronous data-flow language". In 11th IEEE High Assurance Systems Engineering Symposium (HASE'08), Nanjing, China, Dec. 2008. 8 J.  ... 
doi:10.4230/dagrep.8.2.122 dblp:journals/dagstuhl-reports/ErnstKQS18 fatcat:6k7z4uyijrhuxceulih3jeiqoa

Time-Triggered Ethernet Metamodel: Design and Application

Tiyam Robati, Amine El Kouhen, Abdelouahed Gherbi, John Mullinsi
2016 Journal of Software  
We discuss how a combination of the TTEthernet metamodel with an IMA metamodel can be used to extend the AADL modeling language to model avionic applications deployed a TTEthernet-networked IMA platform  ...  The key element of such methodology is the modeling language, which enables producing relevant models of the system.  ...  Acknowledgment This work is partially supported by the CRIAQ-NSERC RDC Project VerITTAS (Verification and Integration of multi-critical Time-Triggered Avionics Systems) (AVIO613) No. 435325-12.  ... 
doi:10.17706/jsw.11.10.1040-1053 fatcat:zewzxavx6ve2la5hqxprqfodzy

An alternative polychronous model and synthesis methodology for model-driven embedded software

Bijoy A. Jose, Sandeep K. Shukla
2010 2010 15th Asia and South Pacific Design Automation Conference (ASP-DAC)  
Multi-clocked synchronous (a.k.a. Polychronous) specification languages do not assume that execution proceeds by sampling inputs at predetermined global synchronization points.  ...  Here, we present an alternate polychronous model of computation termed Multi-rate Instantaneous Channel connected Data Flow (MRICDF) actor network model 1 .  ...  The new formalism focuses on visual representation of synchronous language as actors in a data flow network.  ... 
doi:10.1109/aspdac.2010.5419925 dblp:conf/aspdac/JoseS10 fatcat:kjuksrvdgrc6lp6hbiktdt5arm

ERBIUM

Cupertino Miranda, Philippe Dumont, Albert Cohen, Marc Duranton, Antoniu Pop
2010 Proceedings of the 7th ACM international conference on Computing frontiers - CF '10  
It relies on a data structure for scalable and deterministic concurrency, called Event Recording, exposing the data-level, task and pipeline parallelism suitable to a given target.  ...  Optimizing compilers and runtime libraries do not shield programmers from the complexity of multi-core hardware; as a result the need for manual, target-specific optimizations increases with every processor  ...  In concurrent data-flow languages, data and functional parallelism is implicit in (recursive) functions.  ... 
doi:10.1145/1787275.1787312 dblp:conf/cf/MirandaDCDP10 fatcat:vhehg3wmirg4rfcdhzsn4kf4om
« Previous Showing results 1 — 15 out of 41,857 results