Haut PDF 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] ...
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 ...
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 ...
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 ...
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 ...
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) ...
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 ...
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] ...
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 ...
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] ...
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 ...
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 ...
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 ...
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 ...
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 ...
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: ...
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 ...
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 ...
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 ...
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 ...
13
