Добірка наукової літератури з теми "Cyber-physical testing"
Оформте джерело за APA, MLA, Chicago, Harvard та іншими стилями
Ознайомтеся зі списками актуальних статей, книг, дисертацій, тез та інших наукових джерел на тему "Cyber-physical testing".
Біля кожної праці в переліку літератури доступна кнопка «Додати до бібліографії». Скористайтеся нею – і ми автоматично оформимо бібліографічне посилання на обрану працю в потрібному вам стилі цитування: APA, MLA, «Гарвард», «Чикаго», «Ванкувер» тощо.
Також ви можете завантажити повний текст наукової публікації у форматі «.pdf» та прочитати онлайн анотацію до роботи, якщо відповідні параметри наявні в метаданих.
Статті в журналах з теми "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.
Повний текст джерелаDeshmukh, 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.
Повний текст джерелаQIN, 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.
Повний текст джерелаTurlea, 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.
Повний текст джерелаNikolopoulos, 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.
Повний текст джерелаGromov, 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.
Повний текст джерелаPasternak, 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.
Повний текст джерелаEl 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.
Повний текст джерелаHeussen, 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.
Повний текст джерелаAraujo, 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.
Повний текст джерелаДисертації з теми "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.
Повний текст джерелаQC 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.
Повний текст джерелаWireless 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.
Повний текст джерелаTermen 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.
Повний текст джерелаDissertation/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.
Повний текст джерелаDissertation/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.
Повний текст джерелаDissertation/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.
Повний текст джерелаDissertation/Thesis
Doctoral Dissertation Computer Science 2017
(10716420), Taegyu Kim. "Cyber-Physical Analysis and Hardening of Robotic Aerial Vehicle Controllers." Thesis, 2021.
Знайти повний текст джерелаIn 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.
Повний текст джерелаDissertation/Thesis
Doctoral Dissertation Computer Engineering 2019
Частини книг з теми "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.
Повний текст джерелаKhoo, 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.
Повний текст джерелаDeshmukh, 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.
Повний текст джерелаHü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.
Повний текст джерелаFelderer, 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.
Повний текст джерелаKaur, 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.
Повний текст джерелаShrestha, 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.
Повний текст джерелаHilken, 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.
Повний текст джерелаTobin, 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.
Повний текст джерелаWilhelm, 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.
Повний текст джерелаТези доповідей конференцій з теми "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.
Повний текст джерелаSun, 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.
Повний текст джерелаGonzá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.
Повний текст джерелаHumeniuk, 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.
Повний текст джерелаPop, 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.
Повний текст джерелаTicovan, 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.
Повний текст джерелаIvanov, 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.
Повний текст джерелаJui-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.
Повний текст джерелаBhateja, 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.
Повний текст джерелаYardley, 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.
Повний текст джерела