37,660 Hits in 5.4 sec

Scalable Incremental Test-case Generation from Large Behavior Models [chapter]

Bernhard K. Aichernig, Dejan Ničković, Stefan Tiran
2015 Lecture Notes in Computer Science  
Secondly, our specification language enables incremental test-case generation by providing support for compositional modeling, in which each requirement or view of the system is expressed as a separate  ...  We apply our test-case generation technique to two large industrial case studies: (1) an electronic control unit (ECU) of an agricultural device; and (2) a railway interlocking system.  ...  We want to thank Thales Austria GmbH for providing us with requirements for the railway interlocking case study and RE:Lab for providing the requirements for the wheel loader case study.  ... 
doi:10.1007/978-3-319-21215-9_1 fatcat:hkmx5ai4y5bgffqsvxvdbkch3a

On-the-Fly Fidelity Assessment for Trajectory-Based Circuit Macromodels

Saurabh K Tiwary, Rob A Rutenbar
2006 IEEE Custom Integrated Circuits Conference 2006  
We show how the unique structure of a scalable trajectory model allows it to monitor the "fidelity" of the fit automatically, and flag where additional model training is warranted.  ...  Trajectory methods offer an attractive methodology for automated extraction of macromodels from a set of training simulations.  ...  To "repair" the model, we trained the model for this failing test input and added the new linearizations to the database from prior training.  ... 
doi:10.1109/cicc.2006.320884 dblp:conf/cicc/TiwaryR06 fatcat:kpt2fqyoybdbvi4ozaxzajx2fy

Smooth Scaling Ahead: Progressive MAS Simulation from Single PCs to Grids [chapter]

Les Gasser, Kelvin Kakugawa, Brant Chee, Marc Esteva
2005 Lecture Notes in Computer Science  
The ability to migrate agent experiments seamlessly from simple, local single-processor development tools to large-scale distributed simulation environments provides valuable new models for experimentation  ...  This paper reports on recent progress with our experimental platform MACE3J, which now simulates MAS models seamlessly across a variety of scales and architecture types, from single PCs, to Single System  ...  These new models will couple incremental development of agent simulations with controlled testing and execution.  ... 
doi:10.1007/978-3-540-32243-6_1 fatcat:qpkkxuzlbbcejjxgetjk3h6hqa

Instance Weighted Incremental Evolution Strategies for Reinforcement Learning in Dynamic Environments [article]

Zhi Wang and Chunlin Chen and Daoyi Dong
2020 arXiv   pre-print
In this paper, we propose a systematic incremental learning method for ES in dynamic environments.  ...  Instance novelty measures an instance's difference from the previous optimum in the original environment, while instance quality corresponds to how well an instance performs in the new environment.  ...  generations of all tested methods.  ... 
arXiv:2010.04605v1 fatcat:pdrqxoruvfge3lrimj7ruvnyme

Learning-Based Testing of Cyber-Physical Systems-of-Systems: A Platooning Study [chapter]

Karl Meinke
2017 Lecture Notes in Computer Science  
For this we focus on a case study of testing safety and performance properties of multi-vehicle platoons.  ...  Learning-based testing (LBT) is a paradigm for fully automated requirements testing that combines machine learning with modelchecking techniques.  ...  Then they incrementally build up a sequence M 1 , M 2 , ... of models of the SUT, while generating and executing requirements test cases on each model M i .  ... 
doi:10.1007/978-3-319-66583-2_9 fatcat:4yxfzw2vnnfvhokvlxumd4lh44

Scalable trajectory methods for on-demand analog macromodel extraction

S.K. Tiwary, R.A. Rutenbar
2005 Proceedings. 42nd Design Automation Conference, 2005.  
Categories and Subject Descriptors [Simulation and Modeling]: Model Development General Terms Algorithms, Design Key words Circuit, trajectory method, analog, macromodel, SPICE large.  ...  Unfortunately, moving from simple to industrial circuits requires more extensive training, which creates models too large to interpolate efficiently.  ...  However, we lack any unified theory for the general nonlinear case, although there is promising work for important sub-problems, e.g., Volterra models of weakly nonlinear behavior 161 [7] [8].  ... 
doi:10.1109/dac.2005.193842 fatcat:wbwdfqn25ndzrexfprsjrzb4zq

Incremental Construction for Scalable Component-Based Systems

Tauseef Rana, Abdullah Baz
2020 Sensors  
In this paper, to address the issue of scalability for bigger and complex systems based on sensors, we redefine an incremental construction process with an emphasis on behavior preservation and study the  ...  effectiveness of the use of software component models from the component-based development domain.  ...  Special thanks go to the research group of Kung-Kiu Lau and to Suzanne Embury from the School of Computer Science at Manchester University.  ... 
doi:10.3390/s20051435 pmid:32155723 fatcat:fpsqn7osvbf3re2dbatlsrfsj4


Michal Bošanský, Bořek Patzák
2018 Acta Polytechnica CTU Proceedings  
Both considered solvers are designed for distributed system memory model and are based on a Massage Passing Interface (MPI).  ...  Our study is based on comparison of parallel direct solver and parallel iterative solver implemented in SuperLU DIST library from Portable, Extensible Toolkit for Scientific Computation (PETSc).  ...  SGS16/038/OHK1/1T/11 -Advanced algorithms for numerical modelling in mechanics of structures and materials.  ... 
doi:10.14311/app.2018.15.0006 fatcat:toc2grqjwbhxddsavjoau5jljq

Incremental Queries and Transformations: From Concepts to Industrial Applications [chapter]

Dániel Varró
2016 Lecture Notes in Computer Science  
The rapid increase in the size and complexity of system models has drawn significant attention to incremental model query and transformation approaches, which enable fast and incremental reactions to model  ...  Model-driven engineering (MDE) is widely used nowadays in the design of embedded systems, especially in the automotive, avionics or telecommunication domain.  ...  This primarily includes the automated synthesis of a large, well-formed and diverse set of instance models to serve as test cases or scalability benchmarks.  ... 
doi:10.1007/978-3-662-49192-8_5 fatcat:czk2i7ltxranfe3wzmfzplvb5y

Scalable trajectory methods for on-demand analog macromodel extraction

Saurabh K. Tiwary, Rob A. Rutenbar
2005 Proceedings of the 42nd annual conference on Design automation - DAC '05  
Unfortunately, moving from simple to industrial circuits requires more extensive training, which creates models too large to interpolate efficiently.  ...  The approach supports arbitrarily large training runs, automatically prunes redundant trajectory samples, supports limited hierarchy, enables incremental macromodel updates, and gives 3-10X speedups for  ...  It is not difficult to find a test-case where such generated macromodels break.  ... 
doi:10.1145/1065579.1065686 dblp:conf/dac/TiwaryR05 fatcat:gtcqcbpnfzgmxph3huda43tffi

Scalable Test Generators for High-Speed Datapath Circuits [chapter]

Hussain Al-Asaad, John P. Hayes, Brian T. Murray
1998 On-Line Testing for VLSI  
Then a regular test set is extracted and a test generator TG is designed to meet the following goals: scalability, small test set size, full fault coverage, and very low hardware overhead.  ...  High-level models are used to identify potential test sets for a small version of the circuit to be tested.  ...  Fig. 5 . 5 General structure of TG(n) and its state behavior. 4 . Synthesize a test generator TG(n) for S(n) in the style ofFig. 5. Fig. 6 . 6 High-level model of the n-bit CLA [2] .  ... 
doi:10.1007/978-1-4757-6069-9_11 fatcat:dhy2saen3fdtdk63r2etem6upy

Scalable Testing of Context-Dependent Policies over Stateful Data Planes with Armstrong [article]

Seyed K. Fayaz, Yoshiaki Tobioka, Sagar Chaki, Vyas Sekar
2015 arXiv   pre-print
Our design makes three key contributions to address expressiveness and scalability: (1) An abstract I/O unit for modeling network I/O that encodes policy-relevant context information; (2) A practical representation  ...  To address these challenges, we present Armstrong, a system that enables operators to test if network with stateful data plane elements correctly implements a given context-dependent policy.  ...  We make three key contributions to address these challenges: (1) a novel ADU abstraction for modeling network I/O behavior; (2) tractable modeling of NFs as FSM ensembles; and (3) an optimized test workflow  ... 
arXiv:1505.03356v2 fatcat:qbiqewfppzbg3bkjfgysbnajs4

Scalable models of microwave system responses using sequential sampling on unstructured grids

Krishnan Chemmangat, Francesco Ferranti, Tom Dhaene, Luc Knockaert
2013 International journal of numerical modelling  
As a second example, four design variables are taken into account with one of the proposed algorithms and the generated model is used in a frequency-domain optimization.  ...  This paper presents two sequential sampling algorithms for the macromodeling of parameterized system responses in model-dependent sampling frameworks.  ...  IV) Checking the error criteria at the test point. i. IF(Err q > ∆): i. Divide the subspace q into 2 new subspaces and increment Q = Q + 1. ii. Increment q = q + 1 and go to Step II. ii.  ... 
doi:10.1002/jnm.1903 fatcat:cb6gqq35bja3nkrbkgfoku2pfy

A relocalization technique for the multiscale computation of delamination in composite structures [article]

Olivier Allix
2011 arXiv   pre-print
The scalability is restored by performing nonlinear subresolutions in the vincinity of the front of the crack, at each prediction stage of the iterative solver.  ...  Conclusion The accurate prediction of delamination in large process zones of laminated composite structures requires refined models of the material behavior.  ...  Numerical tests have shown that using a linear macro basis provides, in general, good scalability properties to the method [ [13] ].  ... 
arXiv:1109.4799v1 fatcat:nnxiiogqjnb5zc5fwsqclmr7z4

A loss-event driven scalable fluid simulation method for high-speed networks

Suman Kumar, Seung-Jong Park, S. Sitharama Iyengar
2010 Computer Networks  
In this paper, problem associated with scalability of current simulation method for high-speed network case is discussed.  ...  Hence, we present a scalable time-adaptive numerical simulation driven by loss events to represent dynamics of high-speed networks using fluid-based models.  ...  However, the presented optimization works for the large number of flows and not scalable to large bandwidths.  ... 
doi:10.1016/j.comnet.2009.08.018 fatcat:5dzsp5ifgzg45injad7gjo2hiy
« Previous Showing results 1 — 15 out of 37,660 results