# [PDF] Top 20 Designing real-time dependable distributed systems

Has 10000 "Designing real-time dependable distributed systems" found on our website. Below are the top 20 most common "Designing real-time dependable distributed systems".

### Designing real-time dependable distributed systems

... L’archive ouverte pluridisciplinaire HAL, est destinée au dépôt et à la diffusion de documents scientifiques de niveau recherche, publiés ou non, émanant des établissements d’enseignemen[r] ... Voir le document complet

25

### Real-Time Distributed Receding Horizon Motion Planning and Control for Mobile Multi-Robot Dynamic Systems

... **Real**-**Time** **Distributed** Receding Horizon Motion Planning and Control for Mobile Multi-Robot Dynamic **Systems** Jos´e ...a **distributed** receding horizon algorithm where constrained ... Voir le document complet

8

### Distributed Simulation of Heterogeneous and Real-time Systems

... Context **Designing** **real**-**time** cyber physical **systems** (CPS) is a complex task which typically entails the use of many different methodologies and tools in different areas and at different stages ... Voir le document complet

9

### Real-time distributed systems dimensioning and validation: The TURTLE method

... term **real**-**time** UML profile denotes the family of modeling languages that customizes the Unified Modeling Language [Gro03] for **real**-**time** applications and ...a **real**-**time** UML ... Voir le document complet

24

### Load Balancing and Efficient Memory Usage for Homogeneous Distributed Real-Time Embedded Systems

... homogeneous **distributed** **real**-**time** embedded **systems**. Such **systems** must satisfy de- pendence and strict periodicity constraints, and their to- tal execution **time** must be minimized ... Voir le document complet

9

### On designing cyber-physical-social systems with energy-neutrality and real-time capabilities

... knowledge, **real**-**time** **systems** with energy constraints have not been ...hard **real**-**time** system to exercise strict ...operating **time** with reduced energy consumption, and (iii) ... Voir le document complet

7

### Model-Based Testing of Dynamic and Distributed Real-Time Systems

... Determinization of Timed Automata: Timed automata (TA), introduced in (1), form a usual model for the specification of **real**-**time** embedded **systems**. Essentially TAs are an extension of automata with ... Voir le document complet

14

### Distributed Simulation of Heterogeneous and Real-time Systems

... In addition to manage the time synchronization between the Ptolemy model time and the HLA logical time by implementing the TimeRegulator interface, it handles all the logic, data structu[r] ... Voir le document complet

9

### Toward Real-time, Many-Task Applications on Large Distributed Systems

... run **real**-**time** tasks, but volunteer computing could be an low-cost alternative if it could support **real**-**time** ...execution **time** is complementary with those ... Voir le document complet

14

### Holistic Analysis for Deadline Scheduled Real-Time Distributed Systems

... Unité de recherche INRIA Lorraine, Technopôle de Nancy-Brabois, Campus scientifique, 615 rue du Jardin Botanique, BP 101, 54600 VILLERS LÈS NANCY Unité de recherche INRIA Rennes, Irisa, [r] ... Voir le document complet

35

### Mapping real-time communicating tasks on a distributed IMA architecture

... Ongoing work deals with the definition of such a heuristic approach in order to be able to find optimal or near-optimal allocations in the context of complex **systems**. Moreover, tak- ing into account local I/O ... Voir le document complet

9

### Running real time distributed simulations under Linux and CERTI

... New **systems** become more and more ...These **systems** can be embedded inside aircrafts (manned or unmanned), satellites or defense ...such **systems** become a really difficult ...some **real** subsystems ... Voir le document complet

8

### Ensuring Timed Validity of Distributed Real Time Data

... analyse **distributed** **real** **time** ...large **systems** so we work on combining proofs, to reduce the problem size, and model checking, to easily analyse simple ... Voir le document complet

8

### Model-based Synthesis of Distributed Real-time Automotive Architectures

... mixed **time**-triggered and event-triggered ...for **systems** with periodic tasks on a network of processor nodes connected by a **time**-triggered ...for **real**-**time** ...the **real**-**time** ... Voir le document complet

210

### Mapping real-time communicating tasks on a distributed IMA architecture

... Ongoing work deals with the definition of such a heuristic approach in order to be able to find optimal or near-optimal allocations in the context of complex **systems**. Moreover, tak- ing into account local I/O ... Voir le document complet

10

### Incremental Validation of Real-Time Systems

... Keywords: **real**-**time** **systems**, validation, partial knowledge, ...critical **real**-**time** **systems** design, and can be important even for non- critical ...a **real**-**time** system: ... Voir le document complet

11

### How to solve ODEs in real-time HLA distributed simulation

... RTI, **real**-**time**, ...Embedded **Systems** Engineering (PRISE) Project, we are developing and maintaining a complete aircraft flight simulation using the High Level Architecture (HLA), an IEEE standard for ... Voir le document complet

13

### Flexible and Distributed Real-Time Control on a 4G Telecom MPSoC

... Traditional telecom chipset are designed with dedicated hardwired solutions which are cost-ineffective for multi- standard mobile handset. For more flexibility, MPSoCs (Mul- tiprocessor System-on-Chip) [3] with multiple ... Voir le document complet

5

### Real-Time Execution Control for Autonomous Systems

... Autonomous **Systems**, OBDD, Dependability 1 Introduction Advanced robots or satellites have an increasing need for a high level autonomy while performing in a hard **real** **time** ...autonomous ... Voir le document complet

12

### Architecting/Designing Engineering Systems Using Real Options

... significant and must be a central ingredient in the measure of flexibility. "**Real** options analysis" moreover offers significant advantages over NPV or DCF. It recognizes the ability and responsibility of ... Voir le document complet

13

Sujets connexes