273 Hits in 4.6 sec

Template-Based Monte-Carlo Test-Suite Generation for Large and Complex Simulink Models

Takashi TOMITA, Daisuke ISHII, Toru MURAKAMI, Shigeki TAKEUCHI, Toshiaki AOKI
2020 IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences  
test case generation, Monte-Carlo method, template-based method * *  ...  In this paper, we focus on decision coverage (DC), condition coverage (CC) and modified condition/decision coverage (MC/DC) criteria, and propose a Monte-Carlo test suite generation method for large and  ...  Conclusions In this paper, we proposed a scalable test suite generation method, based on signal templates, for practical Simulink models, and implemented it as a tool.  ... 
doi:10.1587/transfun.2019map0010 fatcat:zvjlri65xjbahlyzcpyroc62ye

Evaluating Switching Overvoltage of a Wind Farm using Monte Carlo Technique and Fully Digital Parallel Simulators

Jean Belanger, Philippe Venne, Jean- Nicolas Paquin
2010 The Renewable Energies and Power Quality Journal (RE&PQJ)  
This paper describes how the Monte Carlo simulation technique and parallel simulators can be used to evaluate worst-case stresses for different fault and operating conditions.  ...  However, a large increase in the number of distributed generation interconnections may potentially cause a number of technical concerns relating to the operation of the system in question.  ...  For fast and real-time simulation, the model has been compiled using Real-Time Workshop, a C-Code generator for developing and testing algorithms modeled in MATLAB/Simulink.  ... 
doi:10.24084/repqj08.410 fatcat:vck3mos7jjbvjhjhqm6yaidllu

Table of contents

2019 2019 IEEE/ACM 11th International Workshop on Modelling in Software Engineering (MiSE)  
McGill University) Analysis and Testing A Scalable Monte-Carlo Test-Case Generation Tool for Large and Complex Simulink Models 39 Takashi Tomita (Japan Advanced Institute of Science and Technology), Daisuke  ...  MiSE 2019 Table of Contents of Support for User Generated Evolutions of Goal Models 1 Boyue Caroline Hu (University of Toronto) and Alicia M.  ... 
doi:10.1109/mise.2019.00004 fatcat:skc756obsndvbdyr2mmbpvvhty

Test Generation and Test Prioritization for Simulink Models with Dynamic Behavior

Reza Matinnejad, Shiva Nejati, Lionel Briand, Thomas Bruckmann
2018 IEEE Transactions on Software Engineering  
We identify three main challenges in the verification and testing of Simulink models with dynamic behavior, namely incompatibility, oracle and scalability challenges.  ...  To demonstrate scalability, we evaluate our testing approach using industrial Simulink models.  ...  There is almost no study that demonstrates scalability of existing testing and verification Simulink tools to large industrial models.  ... 
doi:10.1109/tse.2018.2811489 fatcat:cxn4q2ix6vhafobq3p3r2wwiqi

A Lean and Highly-automated Model-Based Software Development Process Based on DO-178C/DO-331

Konstantin Dmitriev, Shanza Ali Zafar, Kevin Schmiechen, Yi Lai, Micheal Saleab, Pranav Nagarajan, Daniel Dollinger, Markus Hochstrasser, Florian Holzapfel, Stephan Myschik
2020 2020 AIAA/IEEE 39th Digital Avionics Systems Conference (DASC)  
By producing the essential set of development and verification artifacts, the custom workflow also provides a scalable basis for potential future certification in compliance with DO-178C/DO-331.  ...  It can also be proposed as means of compliance for software of certain applications such as unmanned aircraft systems, urban air mobility and general aviation.  ...  The tool creates model and test case surrogate work items as described in Fig. 4 , which serve as a representation on Polarion for the actual models and test cases.  ... 
doi:10.1109/dasc50938.2020.9256576 fatcat:m6v7qfz3yncw3j4a7j2gtg2jky

Constructing verification models of nonlinear Simulink systems via syntactic hybridization

Nikolaos Kekatos, Marcelo Forets, Goran Frehse
2017 2017 IEEE 56th Annual Conference on Decision and Control (CDC)  
A major obstacle here is that highly scalable reachability algorithms and tools exist for piecewise affine (PWA) dynamical models, but not for nonlinear ones.  ...  This quickly leads to intractably large models, even for small systems.  ...  ACKNOWLEDGEMENT The authors would like to thank Willem Hagemann and Stefano Minopoli for valuable discussions.  ... 
doi:10.1109/cdc.2017.8263907 dblp:conf/cdc/KekatosFF17 fatcat:3mjjeu6y5vdftifdm2zuw6c6mm

Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification [article]

Claudio Menghi, Shiva Nejati, Lionel C. Briand, Yago Isasi Parache
2019 arXiv   pre-print
Otherwise, the test reveals a valid failure. We evaluated ARIsTEO by comparing it with S-Taliro, an open-source and industry-strength tool for testing CPS models.  ...  Black-box testing, however, requires to execute the model under test for a large number of candidate test inputs.  ...  We thank our partners LuxSpace and QRA Corp for their support.  ... 
arXiv:1910.02837v1 fatcat:amcqkop6mjaf7h7ravtutfa22e

Design Issues on Software Aspects and Simulation Tools for Wireless Sensor Networks

Leelavathi G, Shaila K, Venugopal K R, Patnaik L M
2013 International journal of network security and its applications  
In this paper, various existing simulation environments for general purpose and specific purpose WSNs are discussed.  ...  For different simulation environments there are different layer, components and protocols implemented so that it is difficult to compare them.  ...  Monte Carlo Simulation To be aware of the impact of risk and uncertainty in financial, project management, cost and other forecasting models , Monte Carlo simulation [24] or probability simulation technique  ... 
doi:10.5121/ijnsa.2013.5204 fatcat:wewv4xpjybdnff4ttivftbkntq

Network and System Simulation Tools for Next Generation Networks: a Case Study [chapter]

S. Mehta, Najnin Sulatan, K.S. Kwak
2010 Modelling, Simulation and Identification  
There are a number of advantages to this approach: lower cost, ease of implementation, and practicality of testing large-scale networks (J. Lessmann et. al, 2008) .  ...  Additionally, most measurements are not repeatable and require a high effort. Simulation is, therefore, the most common approach to developing and testing new protocol for a wireless network.  ...  The popularity of Monte Carlo methods has led to a number of superb commercial tools (Monte Carlo Simulation, web link).  ... 
doi:10.5772/46951 fatcat:zyaa6uswbnhbzowcoco2sc6j4a

Randomized directed testing (REDIRECT) for Simulink/Stateflow models

Manoranjan Satpathy, Anand Yeolekar, S. Ramesh
2008 Proceedings of the 7th ACM international conference on Embedded software - EMSOFT '08  
Many commercial tools are available in the market for test case generation from SL/SF designs; however, we have observed that these tools do not achieve satisfactory coverage in cases when designs involve  ...  A prototype tool has been developed and the tool has been applied to many industrial strength case studies.  ...  The Reactis tester from Reactive Systems [3] generates test cases automatically from SL/SF models. The technique is primarily random simulation; inputs are selected by Monte Carlo methods.  ... 
doi:10.1145/1450058.1450088 dblp:conf/emsoft/SatpathyYR08 fatcat:fkfmm7v2hndwtbpqbfbe7hzrvi

Modular scalable system for operation and testing of UAVs

Maximilian Laiacker, Andreas Klockner, Konstantin Kondak, Marc Schwarzbach, Gertjan Looye, Dominik Sommer, Ingo Kossyk
2013 2013 American Control Conference  
The code for the computational part of the modules can be generated from Matlab/Simulink-models or from Modelica-models.  ...  The code for the computational part of the modules can be generated from Matlab / Simulink -models or from Modelica -models .  ...  Aerial manipulation with a 7 Dof manipulator simple parameter gridding for cases with a limited number of parameters, as well as methods like optimisation-based worst-case search [12] and Monte Carlo  ... 
doi:10.1109/acc.2013.6580042 fatcat:ef7kmu2slnahbimpx5fqlnkhjy

A Survey of Algorithms for Black-Box Safety Validation [article]

Anthony Corso, Robert J. Moss, Mark Koren, Ritchie Lee, Mykel J. Kochenderfer
2020 arXiv   pre-print
Finally, we present a survey of existing academic and commercially available safety validation tools.  ...  Autonomous and semi-autonomous systems for safety-critical applications require rigorous testing before deployment.  ...  Common among all of the tools is an interface to MATLAB, with a particular emphasis on testing Simulink models.  ... 
arXiv:2005.02979v2 fatcat:f3xch54ncncb5osveeaw3q4zva

Analysis of ITU-R Performance and Characterization of Ku Band Satellite Downlink Signals during Rainy Season over Chennai Region of India

S. Suresh, M. G. Madhan, M. Sivaraj, S.Parasuraman
2013 Radioengineering  
Based on the improved model, a Monte Carlo simulation of the DVB–S2 signal link is carried out and the performance is analyzed by received constellation and Bit Error Rate (BER) parameters.  ...  An improved Simulink model for Digital Video Broadcast – Satellite (DVB-S2) downlink channel incorporating rain attenuation and Cross Polarization Discrimination (XPD) effects is developed to study the  ...  Recently, Simulink ® based models have gained importance due to its reduced complexity and scalability and are widely used to study communication systems performance [14] .  ... 
doaj:9ec9fb29b0e3429898abe58a37318b13 fatcat:qtia7w6lmnfehad3l57om45fbq

Efficient Evaluation of Wireless Real-Time Control Networks

Peter Horvath, Mark Yampolskiy, Xenofon Koutsoukos
2015 Sensors  
In this paper, we present a system simulation framework for the design and performance evaluation of complex wireless cyber-physical systems.  ...  We introduce realistic and efficient physical layer models and a system simulation methodology, which provides statistically significant performance evaluation results with low computational complexity  ...  Xenofon Koutsoukos conceived most experiments and provided many valuable suggestions to the framework design.  ... 
doi:10.3390/s150204134 pmid:25679314 pmcid:PMC4367402 fatcat:tevlpkdsgfaubpzrh24fii2f3q

Wireless Sensor Networks (WSNs) [chapter]

Liang Cheng, Qing Ye
2007 Encyclopedia of Wireless and Mobile Communications  
Large numbers of simulation tools are available for WSN network till date, out of which some are dedicated towards wireless sensor networks and some for both wireless and wired networks.  ...  The main objective behind this research paper is to do a comprehensive review of various simulation tools of Wireless Sensor Networks to enable researcher to select the most competent tool for simulating  ...  Now, OPNET is part of Riverbed Application and Network Performance Management Solutions.OPNET tool is a powerful collection of tool sets to create and test large network environments because of its Figure  ... 
doi:10.1201/noe1420043266.ch172 fatcat:zkhgwn755jc6dodnesbmni44y4
« Previous Showing results 1 — 15 out of 273 results