Filters








98,398 Hits in 7.3 sec

Research on GUI-based Automation Test Technology Driven by Separated Definition Data

Zhenyu Liu, Qiang Chen, Lizhi Cai
2015 International Journal of Control and Automation  
The automation functional test technology has support the typical test tool and proved effective in the specific cases.  ...  The software automated test development technology consequently carried out some study of existing automated testing with current automated testing tools to simplify the script.  ...  Acknowledgements The work is supported by STCSM Talent  ... 
doi:10.14257/ijca.2014.7.6.39 fatcat:jyksqfktfva4bph2e5qentdz6u

Tool Support for Continuous Quality Control

Florian Deissenboeck, Elmar Juergens, Benjamin Hummel, Stefan Wagner, Benedikt Mas y Parareda, Markus Pizka
2008 IEEE Software  
The authors also discuss their own flexible, open-source toolkit, which supports the creation of dashboards for quality control.  ...  This article offers an overview of tools that aim to address these issues.  ...  Moreover, xUnit frameworks [11] automate unit tests for numerable programming languages.  ... 
doi:10.1109/ms.2008.129 fatcat:osdroupgifd5lmocsyj2iijp6m

AUSTRET: An Automated Step Response Testing Tool for Building Automation and Control Systems

Athila Santos, Na Liu, Muhyiddine Jradi
2021 Energies  
Based on the proposed framework, a first-of-its kind tool "AUSTRET" for building automated step response testing of BACS is designed and developed.  ...  As an alternative, the current study proposes a methodological framework to automate step response testing of BACS and to optimize the different steps of this process in a cost-effective way.  ...  Although different dynamic responses were obtained by the study cases, their analysis and control were abstracted by AUSTRET tool.  ... 
doi:10.3390/en14133972 doaj:95f797d350e24483a1c71ba717723e10 fatcat:ets7v7gpgbgvvmdoqofwhfs3mq

Improving component selection and monitoring with controlled experimentation and automated measurements

Christoph Becker, Andreas Rauber
2010 Information and Software Technology  
We describe tool support and a framework for automated measurements.  ...  Method: Our evaluation and selection method and tool empirically evaluate candidate components in controlled experiments by applying automated measurements.  ...  Acknowledgements Part of this work was supported by the European Union in the 6th Framework Program, IST, through the PLANETS project, Contract 033789.  ... 
doi:10.1016/j.infsof.2010.02.001 fatcat:rqqis7bhdfgevjaznhkhxtummy

Controlled Experimentation in Continuous Experimentation: Knowledge and Challenges [article]

Florian Auer and Rasmus Ros and Lukas Kaltenbrunner and Per Runeson and Michael Felderer
2021 arXiv   pre-print
Results: The framework constituents for continuous experimentation include experimentation processes as well as supportive technical and organizational infrastructure.  ...  Objective: We wanted to find the core constituents of a framework for continuous experimentation and the solutions that are applied within the field.  ...  Acknowledgements This work was partially supported by the Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) funded by Knut and Alice Wallenberg Foundation and the Austrian  ... 
arXiv:2102.05310v2 fatcat:fs73k5q32jckvji3q4lhofbtny

Controlled experimentation in continuous experimentation: Knowledge and challenges

Florian Auer, Rasmus Ros, Lukas Kaltenbrunner, Per Runeson, Michael Felderer
2021 Information and Software Technology  
Results: The framework constituents for continuous experimentation include experimentation processes as well as supportive technical and organizational infrastructure.  ...  Objective: We wanted to find the core constituents of a framework for continuous experimentation and the solutions that are applied within the field.  ...  Acknowledgments This work was partially supported by the Wallenberg Artificial Intelligence, Autonomous Systems and Software Program (WASP) funded by Knut and Alice Wallenberg Foundation and the Austrian  ... 
doi:10.1016/j.infsof.2021.106551 fatcat:bygtzpqotjc5jipg64dcelk4km

Simulation-Based Verification of Autonomous Controllers via Livingstone PathFinder [chapter]

A. E. Lindsey, Charles Pecheur
2004 Lecture Notes in Computer Science  
AI software is often used as a means for providing greater autonomy to automated systems, capable of coping with harsh and unpredictable environments.  ...  Due in part to the enormous space of possible situations that they aim to address, autonomous systems pose a serious challenge to traditional test-based verification approaches.  ...  This reduces the exploration to a suite of sequential test cases, but the additional automation and flexibility in search strategies can still be beneficial.  ... 
doi:10.1007/978-3-540-24730-2_28 fatcat:opalntx3ofc2vgqqnetah676ki

Towards bioinformatics assisted infectious disease control

Vitali Sintchenko, Blanca Gallego, Grace Chung, Enrico Coiera
2009 BMC Bioinformatics  
infection monitoring and control.  ...  A pilot study of Salmonella typhimurium genotype clustering and temporospatial outbreak analysis demonstrated better discrimination power than traditional phage typing.  ...  Acknowledgements The authors thank Drs Q Wang, JR Iredell, L Hiley and GL Gilbert for their expert advice and providing genotyping data.  ... 
doi:10.1186/1471-2105-10-s2-s10 pmid:19208185 pmcid:PMC2646247 fatcat:x4jds5naerdhdenvsnltgi3chi

Towards a Roadmap for Effective Handset Network Test Automation [chapter]

Clauirton A., Andre L. M. Santos, Fabio Q. B. Silv
2008 Frontiers in Robotics, Automation and Control  
internals (Anniele Costa and Ronaldo Bitu) and product manager (Fernando Buononato) of the CIn/SIDI-Samsung Test Center, which provided the technical details about the handsets' network test domain, simulation  ...  The team is also very grateful for the support received from Samsung/SIDI team, in particular from Ariston Carvalho, Miguel Lizarraga, Ildeu Fantini and Vera Bier.  ...  Automation Monitoring and Control via DMAIC Concepts This section discusses the use of DMAIC (Define, Measure, Analyze, Improve, and Control) (Simon, 2007) , a Six Sigma (Harry, 1998 ) framework based  ... 
doi:10.5772/6336 fatcat:a3kogjeyb5eapjrjp6zhguspra

Reconfigurable Knowledge-based Control Solutions for Responsive Manufacturing Systems

Alessandro BRUSAFERI, Andrea BALLARINO, Emanuele CARPANZANO
2011 Studies in Informatics and Control  
Nowadays, a new generation of responsive factories is needed to face continuous changes in product demand and variety, and to manage complex and variant production processes.  ...  In such a context, the present paper describes an automation solution based on a modular distributed approach for agile factories integration and reconfiguration, integrating a knowledge based cooperation  ...  Acknowledgements The work presented in this paper has been partially supported by Regione Lombardia within the project "Accordo di Programma Quadro CNR -Regione Lombardia: Progetto  ... 
doi:10.24846/v20i1y201103 fatcat:d3fmmq3shrcvvhtdgzvgpstb5i

SoK: Attacks on Industrial Control Logic and Formal Verification-Based Defenses [article]

Ruimin Sun, Alejandro Mera, Long Lu, David Choffnes
2021 arXiv   pre-print
We performed systematization on these studies, and found attacks that can compromise a full chain of control and evade detection.  ...  Looking back on past research, we found extensive studies explored control logic modification attacks, as well as formal verification-based security solutions.  ...  Any opinions, findings, and conclusions or recommendations expressed in this paper are those of the authors and do not necessarily reflect the views of the funding agencies or sponsors.  ... 
arXiv:2006.04806v3 fatcat:axupsga555gbhpe7wou5p7ggni

Automated verification of function block-based industrial control systems

Norbert Völker, Bernd J. Krämer
2002 Science of Computer Programming  
The plant has been used previously as a case study for non-linear control 21 design methods [12] and a benchmark for the tool-aided analysis of discretely controlled continuous systems [15] .  ...  The main tools of the Isabelle system in this respect are: (a) a simpliÿer based on term rewriting 39 and (b) a proof search tool, called the classical reasoner.  ... 
doi:10.1016/s0167-6423(01)00028-4 fatcat:cu2frt2ytngjxpaiak4abd6amu

Automated Verification of Function Block Based Industrial Control Systems

Norbert Völker, Bernd J. Krämer
1999 Electronical Notes in Theoretical Computer Science  
The plant has been used previously as a case study for non-linear control 21 design methods [12] and a benchmark for the tool-aided analysis of discretely controlled continuous systems [15] .  ...  The main tools of the Isabelle system in this respect are: (a) a simpliÿer based on term rewriting 39 and (b) a proof search tool, called the classical reasoner.  ... 
doi:10.1016/s1571-0661(04)00135-5 fatcat:aen55k25u5daflk6rxweibcfmu

Closed-Loop Controlled Fluid Administration Systems: A Comprehensive Scoping Review

Guy Avital, Eric J. Snider, David Berard, Saul J. Vega, Sofia I. Hernandez Torres, Victor A. Convertino, Jose Salinas, Emily N. Boice
2022 Journal of Personalized Medicine  
Physiological Closed-Loop Controlled systems continue to take a growing part in clinical practice, offering possibilities of providing more accurate, goal-directed care while reducing clinicians' cognitive  ...  Controller design varies from simplistic to complex designs, based on detailed physiological models and adaptive properties that account for inter-patient and intra-patient variability; their maturity  ...  Conflicts of Interest: The authors (E.J.S., E.N.B., S.J.V., S.I.H.T., J.S.) developed the adaptive resuscitation controller that was identified and highlighted as part of this scoping review.  ... 
doi:10.3390/jpm12071168 pmid:35887665 pmcid:PMC9315597 fatcat:igytawtw4ffynomdss7c55eeku

A simulation-based framework for functional testing of automated driving controllers

Adel Djoudi, Loic Coquelin, Remi Regnier
2020 2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)  
A simulation-based framework for functional testing of automated driving controllers Adel Djoudi 1 , Loic Coquelin 12 , and Rémi Régnier 12 Abstract-Motion planning is a major component of any automated  ...  [9] propose a complete framework for automated driving testing with different controllers and path planning algorithms in urban scenarios.  ... 
doi:10.1109/itsc45102.2020.9294454 fatcat:qvvohymijnhpxidfr3ly4qrfqm
« Previous Showing results 1 — 15 out of 98,398 results