[PDF] Top 20 The Synchronous approach to reactive and real-time systems
Has 10000 "The Synchronous approach to reactive and real-time systems" found on our website. Below are the top 20 most common "The Synchronous approach to reactive and real-time systems".
The Synchronous approach to reactive and real-time 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
39
Seamless Integration between Real-time Analyses and Systems Engineering with the PST Approach
... means to share data between levels, teams and work environments and support cross-cutting ...order to achieve these objectives, we combined a set of modeling languages with dedicated ... Voir le document complet
9
A game approach to the parametric control of real-time systems
... study The applications of parametric real-time control cover a wide range of ...manufacturing systems, traffic systems, communication protocols, logistic systems, hardware ... Voir le document complet
23
ac2lus: Bringing SMT-solving and Abstract Interpretation Techniques to Real-Time Calculus through the Synchronous Language Lustre
... an approach to connect the Real-Time Calculus (RTC) method to the syn- chronous data-flow language Lustre, and its associ- ated tool-chain, allowing the use ... Voir le document complet
11
Test of preemptive real-time systems
... chooseAction and (3) its timing by the function chooseDelay (see Algorithm ...1). The rswtioco relation does not allow either of “standard” outputs and ‘’indicators’’ to be emitted in ... Voir le document complet
22
A Formal Framework to Specify and Verify Real Time Properties on Critical Systems
... for the leadsto Pattern We focus on the example of the leadsto ...of the system are labeled with E 1 and some others with E 2 ...context, the event of a model can be: a ... Voir le document complet
28
Robust Synthesis for Real Time Systems
... enough to handle intricate correctness properties of safety-critical concurrent real-time software—a domain where component-based design would be particularly instrumental to address ... Voir le document complet
46
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 real-time systems using TINA
... priorities to TPN (PrTPN) [7] preserves their expressiveness in terms of language acceptance, but strictly increases their expressiveness in terms of weak timed bisimilarity: it is proven in [7] that priorities ... Voir le document complet
17
Observability Checking to Enhance Diagnosis of Real Time Electronic Systems
... co-simulation, real time system ...of the disadvantages of this distribution is the difficulty of the real time diagnosis to detect and localize a ...fault. ... Voir le document complet
7
Scheduling Multi Clock Real Time Systems: From Requirements to Implementation
... that the specification is correct for all possible execution. To ensure this correctness, a prover or an exhaustive simulation must be ...is the topic of the next section. The remainder ... Voir le document complet
12
Allocation algorithms for real-time systems as applied to battle management
... Section 2.2 discusses Meuleau's method, which divives the off-line value iteration method used for computing the value tables using dynamic programming and the on-line[r] ... Voir le document complet
68
Scheduling of Synchronous Dataflow Graphs with Partially Periodic Real-Time Constraints
... start time from ASAP and ALAP scheduling, the biggest task will have a shorter average start time and thus will appear sooner in the list of tasks ready to be ... Voir le document complet
14
Incremental Validation of Real-Time Systems
... Otherwise, the status is unknown. The function transitions_possible adds all the possible next transitions into the behaviors list (behaviors) with the corresponding ...or the ... Voir le document complet
11
PRETI: Partitioned REal-TIme shared cache for mixed-criticality real-time systems.
... During the past decade, the need for performance and the tremendous integration technology progress have allowed inexpensive superscalar processors featuring instruction level parallelism as ... Voir le document complet
22
Open-Switch and Open-Phase Real Time FDI Process for Multiphase PM Synchronous Motors
... In the second test (Fig. 3), an open switch fault is considered for the VSI at t ...case, the open circuit fault is applied to the upper transistor T1 of the first inverter leg ... Voir le document complet
8
End-to-end latency and temporal consistency analysis in networked real-time systems
... Conclusions and perspectives The article presents an analysis method for end-to-end freshness and end-to-end temporal consistency properties on GALTT ...of the MILP problem. An ... Voir le document complet
26
End-to-end latency and temporal consistency analysis in networked real-time systems
... or time triggered protocol (TTP). The software running on each ECU is often composed of real-time tasks scheduled following a fixed priority ...In the civil aeronautics domain, embedded ... Voir le document complet
27
Energy and quality of control constraints in real-time scheduling of synchronous hybrid tasks
... In the literature, many algorithms were proposed in order to treat the problem of real-time scheduling of the ...1973) the authors found important results for the ... Voir le document complet
11
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
Sujets connexes