[PDF] Top 20 Model-Based Testing of Dynamic and Distributed Real-Time Systems
Has 10000 "Model-Based Testing of Dynamic and Distributed Real-Time Systems" found on our website. Below are the top 20 most common "Model-Based Testing of Dynamic and Distributed Real-Time Systems".
Model-Based Testing of Dynamic and Distributed Real-Time Systems
... Context and Motivation In order to build and deliver quality assured software and avoid potential costs caused by unstable software, testing is a definitely essential step in software life ... Voir le document complet
14
A Model-Based Approach for Real-Time Systems Architecture Exploration
... Hardware/software based solutions play significant role in many domains like automotive or ...Complexity of such real-time distributed systems is ...design and ... Voir le document complet
15
Modeling and Testing of Web Based Systems
... to model real time aspects of Web service choreographies but this does not consider orchestration and interoperability of services and ...methodology based on ... Voir le document complet
43
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
... context of Duration Probabilistic Automata (DPA) ...composition of Simple Duration Probabilistic Automata ...sequence of tasks that must be performed in a sequential ...durations of the task. ... Voir le document complet
40
Model-Based Verification, Optimization, Synthesis and Performance Evaluation of Real-Time Systems
... context of Duration Probabilistic Automata (DPA) ...composition of Simple Duration Proba- bilistic Automata ...sequence of tasks that must be performed in a sequential ...durations of the ... Voir le document complet
46
Model based code generation for distributed embedded systems
... Embedded systems are becoming increasingly complex and more ...Cost and quality requirements necessitate reuse of the functional software components for multiple deployment ...allocation ... Voir le document complet
10
Testing real-time systems with runtime enforcement
... system and a test scenario that assumes a specific internal timed behaviour, provide a component to enforce this assumption at ...a model describing the real-time behavior of the system ... Voir le document complet
6
Real Time Dynamic Image Re-targeting Based on a Dynamic Visual Attention Model
... winner-takes-all and inhibition of return algorithms ...way of generating attentional focus is to rely on distributed models of visual attention [10][11] which consider that attention ... Voir le document complet
7
Real-Time Distributed Receding Horizon Motion Planning and Control for Mobile Multi-Robot Dynamic Systems
... presence of such constraints is usually referred as kinodynamic planning ...importance of incorporating dynamics in motion planning dates back to the well-known Dynamic Window approach (DW) ...teams ... Voir le document complet
8
A model of programming languages for dynamic real-time streaming applications
... homo- and heterogeneous multiprocessor platforms due to their broad availability and the appearance of many-core chips, such as the MPPA-256 chip from Kalray (256 cores) [ 34 ] or TEGRA X1 from ... Voir le document complet
155
A DDS/SDN Based Communication System for Efficient Support of Dynamic Distributed Real-Time Applications
... Many distributed real-time applications have dynamic requirements regarding communication delay and ...distribution model of DDS with the ability to assign dynamic ... Voir le document complet
9
Real-time distributed systems dimensioning and validation: The TURTLE method
... use of the UML gives protocol engineers a notation to ...acceptance of UML among practitioners also depends on the capacity of UML tools to offer model analysis ...Wetre and Kritzinger ... Voir le document complet
24
Testing real-time systems using TINA
... University of Oran –BP 1524 - El mnaouar 31000 Oran, Algeria ...for model-based black-box conformance testing of real-time systems using the Time Petri Net ... Voir le document complet
17
Unsupervised Collective-based Framework for Dynamic Retraining of Supervised Real-Time Spam Tweets Detection Model
... piece of irrelevant informa- tion; however, this interpretation is quite not ...definition of information re- trieval (IR) systems ( Manning, Raghavan, & Schütze, 2008 ) in which the relevancy ... Voir le document complet
25
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
... Abstract. Dynamic real-time systems, where the number of processes is not constant and new processes can be created on the fly like in object- based systems ... Voir le document complet
23
Work-conserving dynamic TDM-based memory arbitration for multi-criticality real-time systems
... challenge of this work is related to the task level impact of our dynamic TDM- based arbitration policy specifically the arbitration induced preemption ...amount of time to ... Voir le document complet
156
Extending UPPAAL for the Modeling and Verification of Dynamic Real-Time Systems
... Abstract. Dynamic real-time systems, where the number of processes is not constant and new processes can be created on the fly like in object- based systems ... Voir le document complet
24
Passive testing of production systems based on model inference
... problem of testing produc- tion systems, i.e. systems that run in industrial environments, and that are distributed over several devices and ...such systems are not ... Voir le document complet
11
Conformance Testing of Preemptive Real-Time Systems
... observe and partly ...in real-time. Without automation and modeling tools, testing remains ad hoc, time-consuming and error ...use of models in soft- ware/hardware ... Voir le document complet
27
Testing Component-Based Real Time Systems
... eling and deriving compositional tests for component-based real-time ...computation of the syn- chronous product (composition) of components, and there- fore avoids a ... Voir le document complet
8
Sujets connexes