• Aucun résultat trouvé

[PDF] Top 20 Real-time distributed systems dimensioning and validation: The TURTLE method

Has 10000 "Real-time distributed systems dimensioning and validation: The TURTLE method" found on our website. Below are the top 20 most common "Real-time distributed systems dimensioning and validation: The TURTLE method".

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

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

... UML and RT-LOTOS Environment) is a graphic language for requirement capture, use case driven and scenario-based analysis, architectural and behavioral design, and rapid prototyping of ... Voir le document complet

24

TURTLE: A real-time UML profile supported by a formal validation toolkit

TURTLE: A real-time UML profile supported by a formal validation toolkit

... (1973) and received the PhD degree (1976) and a “Doctorat d’Etat” degree (1986) in computer science from the University of Toulouse, ...coope´rant and an appointed professor of computer ... Voir le document complet

15

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

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

... In the age of Grid, Cloud, volunteer computing, massively parallel applications are deployed over tens or hundreds of thousands of resources over short periods of times to complete immense compu- ...consider ... Voir le document complet

14

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

TURTLE-P: a UML profile for the formal validation of critical and distributed systems

... Real-time UML profiles based on formal methods have been proposed in order to overcome these ...named TURTLE, an acronym for ‘Timed UML and RT-LOTOS ...[18] and its toolkit [27], ... Voir le document complet

29

Incremental Validation of Real-Time Systems

Incremental Validation of Real-Time Systems

... Keywords: real-time systems, validation, partial knowledge, ...Introduction Validation is a mandatory step in critical real-time systems design, and can be ... Voir le document complet

11

Real-time identification of the current density profile in the JET Tokamak: method and validation

Real-time identification of the current density profile in the JET Tokamak: method and validation

... like the diamagnetic energy, the internal inductance and plasma separatrix geometry in less than ...compute the internal magnetic flux configuration which is needed if we want to analyze ... Voir le document complet

7

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

... errors and real-time capability in addition to the distributed and near-optimal aspects of this approach motivate further research about this take on the mobile ... Voir le document complet

8

Distributed Simulation of Heterogeneous and Real-time Systems

Distributed Simulation of Heterogeneous and Real-time Systems

... for distributed simulation of cyber-physical systems ...tools and languages that are not or not easily ...large systems requires tools that integrate all components in a systematic, ... Voir le document complet

9

Robust Synthesis for Real Time Systems

Robust Synthesis for Real Time Systems

... sensors and actuators). The requirement of realizability has already been linked to the robustness problem in [ 21 ] in the context of model ...theories the small deficiencies of ... Voir le document complet

46

PROARTIS: Probabilistically Analysable Real-Time Systems

PROARTIS: Probabilistically Analysable Real-Time Systems

... how the probabilistic and conventional analyses react as the amount of information available about execution history ...affect the accuracy of the provided WCET estimations in each ... Voir le document complet

34

Testing Component-Based Real Time Systems

Testing Component-Based Real Time Systems

... eling and deriving compositional tests for component-based real-time ...require the computation of the syn- chronous product (composition) of components, and there- fore avoids a ... Voir le document complet

8

PRETI: Partitioned REal-TIme shared cache for mixed-criticality real-time systems.

PRETI: Partitioned REal-TIme shared cache for mixed-criticality real-time systems.

... as the economic pressure to use off-the-shelf components or standard IPs, lead to the use of standard microarchitectures in a large range of application ...achieve the best average performance ... Voir le document complet

22

Test of preemptive real-time systems

Test of preemptive real-time systems

... Tmin and Tmax respectively denote the earliest and latest firing times of the transition (after the latter was ...Prioritized Time Petri Nets with Stopwatches (PrSwTPN) extend ... Voir le document complet

22

Analysis of the Repair Time in Distributed Storage Systems

Analysis of the Repair Time in Distributed Storage Systems

... confirm the strong impact of the disk capacity. We see that for the three values of x considered, the shape of the reconstruction times are very ...When the disk capacity is ... Voir le document complet

32

Ensuring Timed Validity of Distributed Real Time Data

Ensuring Timed Validity of Distributed Real Time Data

... to the number of in- equalities and so to the number occurrences requested for a sample of value to be representative of a full ...n the size of a set, this analysis has a n 3 ...to the ... Voir le document complet

8

Testing real-time systems using TINA

Testing real-time systems using TINA

... where the SUT is executed and stimulated with input according to a test specification, and the responses of the SUT are checked to conform to its ...from the extreme large number ... Voir le document complet

17

Joint tasks and cache partitioning for real-time systems

Joint tasks and cache partitioning for real-time systems

... 2.2 Real-time systems on multi core architectures The recent evolution of processors has recently mutated from a increase of the frequency of a single core to an increase of the ... Voir le document complet

35

Mapping real-time communicating tasks on a distributed IMA architecture

Mapping real-time communicating tasks on a distributed IMA architecture

... problems. The allocation can be done on-line, i.e. partitions are executed on the first available processor, or off-line, ...on the basis of the temporal characteristics of ...certification ... Voir le document complet

10

Model-based Synthesis of Distributed Real-time Automotive Architectures

Model-based Synthesis of Distributed Real-time Automotive Architectures

... for Time Budgeting 4.7.2. Related Work The problem of defining time budgets for components and runnables is affine to the issue of end-to-end deadline ...investigated the option ... Voir le document complet

210

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems

... Nijmegen, The Netherlands 3 IRIT, Universit´e de Toulouse, Toulouse, France ...Dynamic real-time systems, where the number of processes is not constant and new processes can be ... Voir le document complet

23

Show all 10000 documents...