Výsledky vyhledávání - "Synchronous programming"

Model checking of distributed algorithms using synchronous programs Autor Jahier, Erwan, Altisen, Karine, Devismes, Stéphane, Sant'Anna, Gabriel B.

“…The development of trustworthy distributed algorithms requires the verification of some key properties with respect to the formal specification of the expected…”
Získat plný text

Lustre, Fast First, and Fresh Autor Bourke, Timothy, Pouzet, Marc

“…The rate-synchronous model formalizes an industrial approach for composing Lustre nodes that execute at different rates. Such programs are compiled to cyclic…”
Získat plný text

Programming Parallelism on FPGAs with Eclat Autor Sylvestre, Loïc, Sérot, Jocelyn, Chailloux, Emmanuel

“…Eclat is a general-purpose OCaml -like programming language with synchronous semantics for designing reactive hardware applications on FPGAs. It is compiled…”
Získat plný text

Incremental Security Enforcement for Cyber-Physical Systems Autor Panda, Abhinandan, Baird, Alex, Pinisetty, Srinivas, Roop, Partha

“…Cyber-Physical attacks (CP-attacks) are launched either from the cyber-space or from the physical-space to take control of a Cyber-Physical System (CPS)…”
Získat plný text

Implementing synchronous reactive components upon multiprocessor platforms Autor Baruah, Sanjoy

“…Model-based design methodologies based on the synchrony assumption are widely used in many safety-critical application domains. The synchrony assumption…”
Získat plný text

Programming microcontrollers through high-level abstractions: The OMicroB project Autor Varoumas, Steven, Pesin, Basile, Vaugon, Benoît, Chailloux, Emmanuel

“…In this paper, we present an approach for programming microcontrollers that provides more expressivity and safety than the low-level language approach…”
Získat plný text

Synchronous Programming with Refinement Types Autor Chen, Jiawei, de Mendonça, José Luiz Vargas, Ayele, Bereket Shimels, Bekele, Bereket Ngussie, Jalili, Shayan, Sharma, Pranjal, Wohlfeil, Nicholas, Zhang, Yicheng, Jeannin, Jean-Baptiste

“…Cyber-Physical Systems (CPS) consist of software interacting with the physical world, such as robots, vehicles, and industrial processes. CPS are frequently…”
Získat plný text

Scalable Security Enforcement for Cyber Physical Systems Autor Baird, Alex, Panda, Abhinandan, Pearce, Hammond, Pinisetty, Srinivas, Roop, Partha

“…The security of Cyber-Physical Systems (CPSs) is increasingly important as more and more of these systems are added to the Internet of Things (IoT). As we…”
Získat plný text

Propagation and Masking Characteristics of Errors During Software Testing in Synchronous Programming Autor Kim, Young-Mi, Choi, Jin-Young, Yoo, Seunghoon, Park, Myunghwan

“…During testing, an error in software can either propagate to the output variables or be masked before it reaches them. Error propagation and masking…”
Získat plný text

Incorporating Symbolic Discrete Controller Synthesis into a Virtual Robot Experimental Platform: An Implementation with Collaborative Unmanned Aerial Vehicle Robots Autor Özbaltan, Mete, Çaşka, Serkan

“…We introduce a modeling framework aimed at incorporating symbolic discrete controller synthesis (DCS) into a virtual robot experimental platform. This…”
Získat plný text

Integrating discrete controller synthesis into a reactive programming language compiler Autor Delaval, Gwenaël, Rutten, Eric, Marchand, Hervé

“…We define a mixed imperative/declarative programming language: declarative contracts are enforced upon imperatively described behaviors. This paper describes…”
Získat plný text

A type-based analysis of causality loops in hybrid systems modelers Autor Benveniste, Albert, Bourke, Timothy, Caillaud, Benoit, Pagano, Bruno, Pouzet, Marc

“…Explicit hybrid systems modelers like Simulink/Stateflow allow for programming both discrete- and continuous-time behaviors with complex interactions between…”
Získat plný text

Constructive polychronous systems Autor Talpin, Jean-Pierre, Brandt, Jens, Gemünde, Mike, Schneider, Klaus, Shukla, Sandeep

“…The synchronous paradigm provides a logical abstraction of time for reactive system design which allows automatic synthesis of embedded systems that behave in…”
Získat plný text

Embedding Polychrony into Synchrony Autor Brandt, J., Gemunde, M., Schneider, K., Shukla, S. K., Talpin, J-P

“…This paper presents an embedding of polychronous programs into synchronous ones. Due to this embedding, it is not only possible to deepen the understanding of…”
Získat plný text

Model-based programming of intelligent embedded systems and robotic space explorers Autor Williams, B.C., Ingham, M.D., Chung, S.H., Elliott, P.H.

“…Programming complex embedded systems involves reasoning through intricate system interactions along lengthy paths between sensors, actuators, and control…”
Získat plný text

On Reconciling Concurrency, Sequentiality and Determinacy for Reactive Systems-A Sequentially Constructive Circuit Semantics for Esterel Autor Schulz-Rosengarten, Alexander, Smyth, Steven, von Hanxleden, Reinhard, Mendler, Michael

“…A classic challenge in designing reactive systems is how to reconcile concurrency with determinacy. Synchronous languages, such as Esterel, SyncCharts or…”
Získat plný text

Operational semantics of a domain specific language for real time musician–computer interaction Autor Echeveste, José, Cont, Arshia, Giavitto, Jean-Louis, Jacquemard, Florent

“…With the advent and availability of powerful personal computing, the computer music research and industry have been focusing on real-time musical interactions…”
Získat plný text

Implementing mixed-criticality synchronous reactive programs upon uniprocessor platforms Autor Baruah, Sanjoy

“…Model-based design methodologies based on the synchrony assumption are widely used in many safety-critical application domains. The synchrony assumption…”
Získat plný text

Faster Function Blocks for Precision Timed Industrial Automation Autor Pearce, Hammond, Roop, Partha, Biglari-Abhari, Morteza, Schoeberl, Martin

“…In industrial automation, safety-critical control systems need robust timing guarantees in addition to functional correctness. Unfortunately, devices that are…”
Získat plný text

Light-weight Synchronous Java (SJL): An approach for programming deterministic reactive systems with Java Autor Motika, Christian, von Hanxleden, Reinhard

“…A key issue in the development of reliable embedded software is the proper handling of reactive control-flow, which typically involves concurrency. Java and…”
Získat plný text