A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Research on GUI-based Automation Test Technology Driven by Separated Definition Data
2015
International Journal of Control and Automation
Preserved Fulltext
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
2008
IEEE Software
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2021
Energies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2010
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2021
Information and Software Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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]
2004
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2009
BMC Bioinformatics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2008
Frontiers in Robotics, Automation and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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
2011
Studies in Informatics and Control
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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]
2021
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Other Versions
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
2002
Science of Computer Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
1999
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2007; you can also visit the original URL.
The file type is application/pdf.
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
2022
Journal of Personalized Medicine
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2020
2020 IEEE 23rd International Conference on Intelligent Transportation Systems (ITSC)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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