Academic literature on the topic 'Cyber-physical testing'
Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles
Consult the lists of relevant articles, books, theses, conference reports, and other scholarly sources on the topic 'Cyber-physical testing.'
Next to every source in the list of references, there is an 'Add to bibliography' button. Press on it, and we will generate automatically the bibliographic reference to the chosen work in the citation style you need: APA, MLA, Harvard, Chicago, Vancouver, etc.
You can also download the full text of the academic publication as pdf and read online its abstract whenever available in the metadata.
Journal articles on the topic "Cyber-physical testing"
Woehrle, Matthias, Kai Lampka, and Lothar Thiele. "Conformance testing for cyber-physical systems." ACM Transactions on Embedded Computing Systems 11, no. 4 (December 2012): 1–23. http://dx.doi.org/10.1145/2362336.2362351.
Full textDeshmukh, Jyotirmoy, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, and Vinayak S. Prabhu. "Testing Cyber-Physical Systems through Bayesian Optimization." ACM Transactions on Embedded Computing Systems 16, no. 5s (October 10, 2017): 1–18. http://dx.doi.org/10.1145/3126521.
Full textQIN, Yi, Chang XU, Ziqi CHEN, and Jian LÜ. "Software testing for cyber-physical systems suffering uncertainty." SCIENTIA SINICA Informationis 49, no. 11 (November 1, 2019): 1428–50. http://dx.doi.org/10.1360/n112018-00305.
Full textTurlea, Ana. "Model-in-the-Loop Testing for Cyber Physical Systems." ACM SIGSOFT Software Engineering Notes 44, no. 1 (March 29, 2019): 37. http://dx.doi.org/10.1145/3310013.3310019.
Full textNikolopoulos, Dionysios, Georgios Moraitis, Dimitrios Bouziotas, Archontia Lykou, George Karavokiros, and Christos Makropoulos. "Cyber-Physical Stress-Testing Platform for Water Distribution Networks." Journal of Environmental Engineering 146, no. 7 (July 2020): 04020061. http://dx.doi.org/10.1061/(asce)ee.1943-7870.0001722.
Full textGromov, M. L., N. V. Yevtushenko, and A. V. Laputenko. "Testing Cyber-Physical Systems Using Timed Finite State Machines." Russian Physics Journal 59, no. 12 (April 2017): 2181–82. http://dx.doi.org/10.1007/s11182-017-1033-7.
Full textPasternak, Iryna. "Research and Design of the Multifunctional Cyber-Physical System of Testing Computer Performance in WAN." Advances in Cyber-Physical Systems 4, no. 1 (March 23, 2019): 55–63. http://dx.doi.org/10.23939/acps2019.01.055.
Full textEl Hariri, Mohamad, Tarek Youssef, Mahmoud Saleh, Samy Faddel, Hany Habib, and Osama A. Mohammed. "A Framework for Analyzing and Testing Cyber–Physical Interactions for Smart Grid Applications." Electronics 8, no. 12 (December 1, 2019): 1455. http://dx.doi.org/10.3390/electronics8121455.
Full textHeussen, Kai, Cornelius Steinbrink, Ibrahim F. Abdulhadi, Van Hoa Nguyen, Merkebu Z. Degefa, Julia Merino, Tue V. Jensen, et al. "ERIGrid Holistic Test Description for Validating Cyber-Physical Energy Systems." Energies 12, no. 14 (July 16, 2019): 2722. http://dx.doi.org/10.3390/en12142722.
Full textAraujo, Hugo, Gustavo Carvalho, Morteza Mohaqeqi, Mohammad Reza Mousavi, and Augusto Sampaio. "Sound conformance testing for cyber-physical systems: Theory and implementation." Science of Computer Programming 162 (September 2018): 35–54. http://dx.doi.org/10.1016/j.scico.2017.07.002.
Full textDissertations / Theses on the topic "Cyber-physical testing"
Li, Zuxing. "Privacy-by-Design for Cyber-Physical Systems." Doctoral thesis, KTH, ACCESS Linnaeus Centre, 2017. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-211908.
Full textQC 20170815
Candell, Richard. "Performance Estimation, Testing, and Control of Cyber-Physical Systems Employing Non-ideal Communications Networks." Thesis, Bourgogne Franche-Comté, 2020. http://www.theses.fr/2020UBFCK017.
Full textWireless technology is a key enabler of the promises of Industry 4.0 (Smart Manufacturing). As such, wireless technology will be adopted as a principal mode of communication within the factory beginning with the factory enterprise and eventually being adopted for use within the factory workcell. Factory workcell communication has particular requirements on latency, reliability, scale, and security that must first be met by the wireless communication technology used. Wireless is considered a non-ideal form of communication in that when compared to its wired counterparts, it is considered less reliable (lossy) and less secure. These possible impairments lead to delay and loss of data in industrial automation system where determinism, security, and safety is considered paramount. This thesis investigates the wireless requirements of the factory workcell and applicability of existing wireless technology, it presents a modeling approach to discovery of architecture and data flows using SysML, it provides a method for the use of graph databases to the organization and analysis of performance data collected from a testbed environment, and finally provides an approach to using machine learning in the evaluation of cyberphysical system performance
Bhat, Sriharsha. "Hydrobatics: Efficient and Agile Underwater Robots." Licentiate thesis, KTH, Farkostteknik och Solidmekanik, 2020. http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-286062.
Full textTermen hydrobatik avser förmåga att utföra avancerade manövrer med undervattensfarkoster. Syftet är att, med bibehållen fart och räckvidd, utvigda den operationella förmågan i manövrering, vilket möjliggör helt nya användningsområden för maximering av kostnadseffektivitet. I denna avhandling undersöks fördelar och tekniska utmaningar relaterade till hydrobatik som tillämpas på undervattensrobotar, vanligen kallade autonoma undervattensfarkoster (AUV). Avhandlingen bidrar till ny kunskap i simulering, reglering samt tillämpning i experiment av dessa robotar genom en strukturerad metod för att realisera hydrobatisk förmåga i realistiska scenarier. Tre nyttoområden beaktas - miljöövervakning, havsproduktion och säkerhet. Inom dessa nyttoområden har ett antal scenarios identifierats där en kombination av smidighet i manövrerbarhet samt effektivitet i prestanda är avgörande för robotens förmåga att utföra sin uppgift. För att åstadkomma detta måste två viktiga tekniska utmaningar lösas. För det första har dessa AUVer färre styrytor/trustrar än frihetsgrader, vilket leder till utmaningen med underaktuering. Utmaningen beskrivs i detalj och lösningsstrategier som använder optimal kontroll och modellprediktiv kontroll belyses. För det andra är flödet runt en AUV som genomför hydrobatiska manövrar komplext med övergång från laminär till stark turbulent flöde vid höga anfallsvinklar. Detta gör flygdynamikmodellering svår. En full 0-360 graders flygdynamikmodell härleds därför, vilken kombinerar en multi-tillförlitlighets hydrodynamisk databas med en generaliserad strategi för komponentvis-superpositionering av laster. Detta möjliggör prediktering av hydrobatiska manövrar som t.ex. utförande av looping, roll, spiraler och väldigt snäva svängradier i realtids- eller nära realtids-simuleringar. I nästa steg presenteras ett cyber-fysikaliskt system (CPS) – där funktionalitet som härrör från simuleringar kan överföras till de verkliga användningsområdena på ett effektivt och säkert sätt. Simulatormiljön är nära integrerad i robot-miljön, vilket möjliggör förvalidering av reglerstrategier och mjukvara innan hårdvaruimplementering. En egenutvecklad hydrobatisk AUV (SAM) används som testplattform. CPS-konceptet valideras med hjälp av SAM i ett realistiskt sceanrio genom att utföra ett sökuppdrag av ett nedsänkt föremål under fältförhållanden. Resultaten av arbetet i denna licentiatavhandling kommer att användas i den fortsatta forskningen som fokuserar på att ytterligare undersöka och utveckla ny metodik för reglering av underaktuerade AUVer. Detta inkluderar utveckling av realtidskapabla ickelinjära MPC-implementeringar som körs ombord, samt AI-baserade reglerstrategier genom ruttplaneringsåterkoppling, autonom systemidentifiering och förstärkningsinlärning. Sådan utveckling kommer att tillämpas för att visa nya möjligheter inom de tre nyttoområdena.
SMaRC
"Test-Based Falsification and Conformance Testing for Cyber-Physical Systems." Doctoral diss., 2015. http://hdl.handle.net/2286/R.I.29861.
Full textDissertation/Thesis
Doctoral Dissertation Electrical Engineering 2015
"Instrumentation and Coverage Analysis of Cyber Physical System Models." Master's thesis, 2016. http://hdl.handle.net/2286/R.I.40222.
Full textDissertation/Thesis
Masters Thesis Computer Science 2016
"Formal Requirements-Driven Analysis of Cyber Physical Systems." Doctoral diss., 2017. http://hdl.handle.net/2286/R.I.45030.
Full textDissertation/Thesis
Doctoral Dissertation Computer Science 2017
"From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems." Doctoral diss., 2017. http://hdl.handle.net/2286/R.I.46245.
Full textDissertation/Thesis
Doctoral Dissertation Computer Science 2017
(10716420), Taegyu Kim. "Cyber-Physical Analysis and Hardening of Robotic Aerial Vehicle Controllers." Thesis, 2021.
Find full textIn this thesis, we present cyber-physical analysis and hardening to secure RAV controllers. Through a combination of program analysis and vehicle control modeling, we first developed novel techniques to (1) connect both cyber and physical domains and then (2) analyze individual domains and their interplay. Specifically, we describe how to detect bugs after RAV accidents using provenance (Mayday), how to proactively find bugs using fuzzing (RVFuzzer), and how to patch vulnerable firmware using binary patching (DisPatch). As a result, we have found 91 new bugs in modern RAV control programs, and their developers confirmed 32 cases and patch 11 cases.
"Search-based Test Generation for Automated Driving Systems: From Perception to Control Logic." Doctoral diss., 2019. http://hdl.handle.net/2286/R.I.53484.
Full textDissertation/Thesis
Doctoral Dissertation Computer Engineering 2019
Book chapters on the topic "Cyber-physical testing"
Abbaspour Asadollah, Sara, Rafia Inam, and Hans Hansson. "A Survey on Testing for Cyber Physical System." In Testing Software and Systems, 194–207. Cham: Springer International Publishing, 2015. http://dx.doi.org/10.1007/978-3-319-25945-1_12.
Full textKhoo, Teck Ping. "Model Based Testing of Cyber-Physical Systems." In Formal Methods and Software Engineering, 423–26. Cham: Springer International Publishing, 2018. http://dx.doi.org/10.1007/978-3-030-02450-5_27.
Full textDeshmukh, Jyotirmoy V., and Sriram Sankaranarayanan. "Formal Techniques for Verification and Testing of Cyber-Physical Systems." In Design Automation of Cyber-Physical Systems, 69–105. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-13050-3_4.
Full textHübner, Felix, and Jan Peleska. "Integrated Model-based Testing and Model Checking with the Benefits of Equivalence Partition Testing." In Formal Modeling and Verification of Cyber-Physical Systems, 287–89. Wiesbaden: Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-09994-7_15.
Full textFelderer, Michael, Barbara Russo, and Florian Auer. "On Testing Data-Intensive Software Systems." In Security and Quality in Cyber-Physical Systems Engineering, 129–48. Cham: Springer International Publishing, 2019. http://dx.doi.org/10.1007/978-3-030-25312-7_6.
Full textKaur, Karamjeet, Sukhveer Kaur, Krishan Kumar, Naveen Aggarwal, and Veenu Mangat. "Mininet-WiFi as Software-Defined Wireless Network Testing Platform." In Security and Resilience of Cyber Physical Systems, 91–102. Boca Raton: Chapman and Hall/CRC, 2022. http://dx.doi.org/10.1201/9781003185543-8.
Full textShrestha, Sulav Lal, Taylor Lee, and Sebastian Fischmeister. "Metasploit for Cyber-Physical Security Testing with Real-Time Constraints." In Science of Cyber Security, 260–75. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-031-17551-0_17.
Full textHilken, Christoph, and Jan Peleska. "Model-Based Testing Against Complex SysML Models." In Formal Modeling and Verification of Cyber-Physical Systems, 284–86. Wiesbaden: Springer Fachmedien Wiesbaden, 2015. http://dx.doi.org/10.1007/978-3-658-09994-7_14.
Full textTobin, Dmitriy, Alexey Bogomolov, and Mikhail Golosovskiy. "Model of Organization of Software Testing for Cyber-Physical Systems." In Cyber-Physical Systems: Modelling and Industrial Application, 51–60. Cham: Springer International Publishing, 2022. http://dx.doi.org/10.1007/978-3-030-95120-7_5.
Full textWilhelm, Reinhard, Markus Pister, Gernot Gebhard, and Daniel Kästner. "Testing Implementation Soundness of a WCET Analysis Tool." In A Journey of Embedded and Cyber-Physical Systems, 5–17. Cham: Springer International Publishing, 2020. http://dx.doi.org/10.1007/978-3-030-47487-4_2.
Full textConference papers on the topic "Cyber-physical testing"
Biewer, Sebastian, Pedro R. D'Argenio, and Holger Hermanns. "Cyber-Physical Doping Tests." In 2018 IEEE 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS). IEEE, 2018. http://dx.doi.org/10.1109/mt-cps.2018.00016.
Full textSun, Jun, and Zijiang Yang. "ObjSim: efficient testing of cyber-physical systems." In ISSTA '20: 29th ACM SIGSOFT International Symposium on Software Testing and Analysis. New York, NY, USA: ACM, 2020. http://dx.doi.org/10.1145/3402842.3407158.
Full textGonzález, Carlos A., Mojtaba Varmazyar, Shiva Nejati, Lionel C. Briand, and Yago Isasi. "Enabling Model Testing of Cyber-Physical Systems." In MODELS '18: ACM/IEEE 21th International Conference on Model Driven Engineering Languages and Systems. New York, NY, USA: ACM, 2018. http://dx.doi.org/10.1145/3239372.3239409.
Full textHumeniuk, Dmytro, Giuliano Antoniol, and Foutse Khomh. "Data Driven Testing of Cyber Physical Systems." In 2021 IEEE/ACM 14th International Workshop on Search-Based Software Testing (SBST). IEEE, 2021. http://dx.doi.org/10.1109/sbst52555.2021.00010.
Full textPop, Eugen, Daniela Gifu, and Mihnea Alexandru Moisescu. "Cyber-Physical Systems Based Business Models." In 2022 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR). IEEE, 2022. http://dx.doi.org/10.1109/aqtr55203.2022.9802061.
Full textTicovan, Ioan Vasile, and Gheorghe Sebestyen. "Judicial Surveillance of Cyber-Physical Systems." In 2022 IEEE International Conference on Automation, Quality and Testing, Robotics (AQTR). IEEE, 2022. http://dx.doi.org/10.1109/aqtr55203.2022.9801980.
Full textIvanov, Radoslav, James Weimer, and Insup Lee. "Towards Context-Aware Cyber-Physical Systems." In 2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS). IEEE, 2018. http://dx.doi.org/10.1109/mt-cps.2018.00012.
Full textJui-Hung Chien, Nien-Tzu Chang, Chia-Hung Huang, Shih-Chieh Chang, and Wei Han Wang. "Cyber physical system (CPS) for contactless IC testing." In 2015 10th International Microsystems, Packaging, Assembly and Circuits Technology Conference (IMPACT). IEEE, 2015. http://dx.doi.org/10.1109/impact.2015.7365222.
Full textBhateja, Puneet. "A theoretical framework for testing cyber-physical systems." In 2019 6th International Conference on Control, Decision and Information Technologies (CoDIT). IEEE, 2019. http://dx.doi.org/10.1109/codit.2019.8820518.
Full textYardley, T., R. Berthier, D. Nicol, and W. H. Sanders. "Smart grid protocol testing through cyber-physical testbeds." In 2013 IEEE PES Innovative Smart Grid Technologies Conference (ISGT 2013). IEEE, 2013. http://dx.doi.org/10.1109/isgt.2013.6497837.
Full text