Relevant bibliographies by topics / Cyber-physical testing

Academic literature on the topic 'Cyber-physical testing'

Author: Grafiati
Published: 10 December 2022
Last updated: 28 January 2023

Create a spot-on reference in APA, MLA, Chicago, Harvard, and other styles

Select a source type:

Contents

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"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
Abstract:
The reliable performance of the smart grid is a function of the configuration and cyber–physical nature of its constituting sub-systems. Therefore, the ability to capture the interactions between its cyber and physical domains is necessary to understand the effect that each one has on the other. As such, the work in this paper presents a co-simulation platform that formalizes the understanding of cyber information flow and the dynamic behavior of physical systems, and captures the interactions between them in smart grid applications. Power system simulation software packages, embedded microcontrollers, and a real communication infrastructure are combined together to provide a cohesive smart grid cyber–physical platform. A data-centric communication scheme, with automatic network discovery, was selected to provide an interoperability layer between multi-vendor devices and software packages, and to bridge different protocols. The effectiveness of the proposed framework was verified in three case studies: (1) hierarchical control of electric vehicles charging in microgrids, (2) International Electrotechnical Committee (IEC) 61850 protocol emulation for protection of active distribution networks, and (3) resiliency enhancement against fake data injection attacks. The results showed that the co-simulation platform provided a high-fidelity design, analysis, and testing environment for cyber information flow and their effect on the physical operation of the smart grid, as they were experimentally verified, down to the packet, over a real communication network.
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
Abstract:
Smart energy solutions aim to modify and optimise the operation of existing energy infrastructure. Such cyber-physical technology must be mature before deployment to the actual infrastructure, and competitive solutions will have to be compliant to standards still under development. Achieving this technology readiness and harmonisation requires reproducible experiments and appropriately realistic testing environments. Such testbeds for multi-domain cyber-physical experiments are complex in and of themselves. This work addresses a method for the scoping and design of experiments where both testbed and solution each require detailed expertise. This empirical work first revisited present test description approaches, developed a newdescription method for cyber-physical energy systems testing, and matured it by means of user involvement. The new Holistic Test Description (HTD) method facilitates the conception, deconstruction and reproduction of complex experimental designs in the domains of cyber-physical energy systems. This work develops the background and motivation, offers a guideline and examples to the proposed approach, and summarises experience from three years of its application.
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
More sources

Dissertations / Theses on the topic "Cyber-physical testing"

1

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 text
Abstract:
It is envisioned that future cyber-physical systems will provide a more convenient living and working environment. However, such systems need inevitably to collect and process privacy-sensitive information. That means the benefits come with potential privacy leakage risks. Nowadays, this privacy issue receives more attention as a legal requirement of the EU General Data Protection Regulation. In this thesis, privacy-by-design approaches are studied where privacy enhancement is realized through taking privacy into account in the physical layer design. This work focuses in particular on cyber-physical systems namely sensor networks and smart grids. Physical-layer performance and privacy leakage risk are assessed by hypothesis testing measures. First, a sensor network in the presence of an informed eavesdropper is considered. Extended from the traditional hypothesis testing problems, novel privacy-preserving distributed hypothesis testing problems are formulated. The optimality of deterministic likelihood-based test is discussed. It is shown that the optimality of deterministic likelihood-based test does not always hold for an intercepted remote decision maker and an optimal randomized decision strategy is completely characterized by the privacy-preserving condition. These characteristics are helpful to simplify the person-by-person optimization algorithms to design optimal privacy-preserving hypothesis testing networks. Smart meter privacy becomes a significant issue in the development of smart grid technology. An innovative scheme is to exploit renewable energy supplies or an energy storage at a consumer to manipulate meter readings from actual energy demands to enhance the privacy. Based on proposed asymptotic hypothesis testing measures of privacy leakage, it is shown that the optimal privacy-preserving performance can be characterized by a Kullback-Leibler divergence rate or a Chernoff information rate in the presence of renewable energy supplies. When an energy storage is used, its finite capacity introduces memory in the smart meter system. It is shown that the design of an optimal energy management policy can be cast to a belief state Markov decision process framework.

QC 20170815

APA, Harvard, Vancouver, ISO, and other styles
2

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 text
Abstract:
La technologie sans fil est un catalyseur clé des promesses de l’industrie 4.0 (fabrication intelligente). En tant que telle, la technologie sans fil sera adoptée comme mode de communication principal au sein de l’usine en général et dans les unités de production en particulier. La communication des unités de production en usine a des exigences particulières en matière de latence, de fiabilité, d’échelle et de sécurité qui doivent d’abord être satisfaites par la technologie de communication sans fil utilisée. Le sans fil est considéré comme une forme de communication non idéale dans la mesure où par rapport aux communications câblées, il est considéré comme moins fiable (avec perte) et moins sécurisé. Ces dégradations possibles entraînent un retard et une perte de données dans un système d’automatisation industrielle où le déterminisme, la sécurité et la sûreté sont considérés comme primordiaux. Cette thèse étudie les exigences d’une communication sans fil dans les unités de production et l’applicabilité de la technologie sans fil existante dans ce domaine. Elle présente une modélisation SysML de l’architecture du système et des flux de données. Elle fournit une méthode d’utilisation des bases de données de type graphe pour l’organisation et l’analyse des données de performance collectées à partir d’un environnement de test. Enfin, la thèse décrit une approche utilisant l’apprentissage automatique pour l’évaluation des performances d’un système d’objets connectés dans le domaine de fabrication
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
APA, Harvard, Vancouver, ISO, and other styles
3

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 text
Abstract:
The term hydrobatics refers to the agile maneuvering of underwater vehicles. Hydrobatic capabilities in autonomous underwater vehicles (AUVs) can enable increased maneuverability without a sacrifice in efficiency and speed. This means innovative robot designs and new use case scenarios are possible. Benefits and technical challenges related to hydrobatic AUVs are explored in this thesis. The dissertation contributes to new knowledge in simulation, control and field applications, and provides a structured approach to realize hydrobatic capabilities in real world impact areas. Three impact areas are considered - environmental monitoring, ocean production and security. A combination of agility in maneuvering and efficiency in performance is crucial for successful AUV applications. To achieve such performance, two technical challenges must be solved. First, these AUVs have fewer control inputs than degrees of freedom, which leads to the challenge of underactuation. The challenge is described in detail and solution strategies that use optimal control and model predictive control (MPC) are highlighted. Second, the flow around an AUV during hydrobatic maneuvers transitions from laminar to turbulent flow at high angles of attack. This renders flight dynamics modelling difficult. A full 0-360 degree envelope flight dynamics model is therefore derived, which combines a multi-fidelity hydrodynamic database with a generalized component-buildup approach. Such a model enables real-time (or near real-time) simulations of hydrobatic maneuvers including loops, helices and tight turns. Next, a cyber-physical system (CPS) is presented -- it safely transforms capabilities derived in simulation to real-world use cases in the impact areas described. The simulator environment is closely integrated with the robotic system, enabling pre-validation of controllers and software before hardware deployment. The small and hydrobatic SAM AUV (developed in-house at KTH as part of the Swedish Maritime Robotics Center) is used as a test platform. The CPS concept is validated by using the SAM AUV for the search and detection of a submerged target in field operating conditions. Current research focuses on further exploring underactuated control and motion planning. This includes development of real-time nonlinear MPC implementations running on AUV hardware, as well as intelligent control through feedback motion planning, system identification and reinforcement learning. Such strategies can enable real-time robust and adaptive control of underactuated systems. These ideas will be applied to demonstrate new capabilities in the three impact areas.
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
APA, Harvard, Vancouver, ISO, and other styles
4

"Test-Based Falsification and Conformance Testing for Cyber-Physical Systems." Doctoral diss., 2015. http://hdl.handle.net/2286/R.I.29861.

Full text
Abstract:
abstract: In this dissertation, two problems are addressed in the verification and control of Cyber-Physical Systems (CPS): 1) Falsification: given a CPS, and a property of interest that the CPS must satisfy under all allowed operating conditions, does the CPS violate, i.e. falsify, the property? 2) Conformance testing: given a model of a CPS, and an implementation of that CPS on an embedded platform, how can we characterize the properties satisfied by the implementation, given the properties satisfied by the model? Both problems arise in the context of Model-Based Design (MBD) of CPS: in MBD, the designers start from a set of formal requirements that the system-to-be-designed must satisfy. A first model of the system is created. Because it may not be possible to formally verify the CPS model against the requirements, falsification tries to verify whether the model satisfies the requirements by searching for behavior that violates them. In the first part of this dissertation, I present improved methods for finding falsifying behaviors of CPS when properties are expressed in Metric Temporal Logic (MTL). These methods leverage the notion of robust semantics of MTL formulae: if a falsifier exists, it is in the neighborhood of local minimizers of the robustness function. The proposed algorithms compute descent directions of the robustness function in the space of initial conditions and input signals, and provably converge to local minima of the robustness function. The initial model of the CPS is then iteratively refined by modeling previously ignored phenomena, adding more functionality, etc., with each refinement resulting in a new model. Many of the refinements in the MBD process described above do not provide an a priori guaranteed relation between the successive models. Thus, the second problem above arises: how to quantify the distance between two successive models M_n and M_{n+1}? If M_n has been verified to satisfy the specification, can it be guaranteed that M_{n+1} also satisfies the same, or some closely related, specification? This dissertation answers both questions for a general class of CPS, and properties expressed in MTL.
Dissertation/Thesis
Doctoral Dissertation Electrical Engineering 2015
APA, Harvard, Vancouver, ISO, and other styles
5

"Instrumentation and Coverage Analysis of Cyber Physical System Models." Master's thesis, 2016. http://hdl.handle.net/2286/R.I.40222.

Full text
Abstract:
abstract: A Cyber Physical System consists of a computer monitoring and controlling physical processes usually in a feedback loop. These systems are increasingly becoming part of our daily life ranging from smart buildings to medical devices to automobiles. The controller comprises discrete software which may be operating in one of the many possible operating modes and interacting with a changing physical environment in a feedback loop. The systems with such a mix of discrete and continuous dynamics are usually termed as hybrid systems. In general, these systems are safety critical, hence their correct operation must be verified. Model Based Design (MBD) languages like Simulink are being used extensively for the design and analysis of hybrid systems due to the ease in system design and automatic code generation. It also allows testing and verification of these systems before deployment. One of the main challenges in the verification of these systems is to test all the operating modes of the control software and reduce the amount of user intervention. This research aims to provide an automated framework for the structural analysis and instrumentation of hybrid system models developed in Simulink. The behavior of the components introducing discontinuities in the model are automatically extracted in the form of state transition graphs. The framework is integrated in the S-TaLiRo toolbox to demonstrate the improvement in mode coverage.
Dissertation/Thesis
Masters Thesis Computer Science 2016
APA, Harvard, Vancouver, ISO, and other styles
6

"Formal Requirements-Driven Analysis of Cyber Physical Systems." Doctoral diss., 2017. http://hdl.handle.net/2286/R.I.45030.

Full text
Abstract:
abstract: Testing and Verification of Cyber-Physical Systems (CPS) is a challenging problem. The challenge arises as a result of the complex interactions between the components of these systems: the digital control, and the physical environment. Furthermore, the software complexity that governs the high-level control logic in these systems is increasing day by day. As a result, in recent years, both the academic community and the industry have been heavily invested in developing tools and methodologies for the development of safety-critical systems. One scalable approach in testing and verification of these systems is through guided system simulation using stochastic optimization techniques. The goal of the stochastic optimizer is to find system behavior that does not meet the intended specifications. In this dissertation, three methods that facilitate the testing and verification process for CPS are presented: 1. A graphical formalism and tool which enables the elicitation of formal requirements. To evaluate the performance of the tool, a usability study is conducted. 2. A parameter mining method to infer, analyze, and visually represent falsifying ranges for parametrized system specifications. 3. A notion of conformance between a CPS model and implementation along with a testing framework. The methods are evaluated over high-fidelity case studies from the industry.
Dissertation/Thesis
Doctoral Dissertation Computer Science 2017
APA, Harvard, Vancouver, ISO, and other styles
7

"From Formal Requirement Analysis to Testing and Monitoring of Cyber-Physical Systems." Doctoral diss., 2017. http://hdl.handle.net/2286/R.I.46245.

Full text
Abstract:
abstract: Cyber-Physical Systems (CPS) are being used in many safety-critical applications. Due to the important role in virtually every aspect of human life, it is crucial to make sure that a CPS works properly before its deployment. However, formal verification of CPS is a computationally hard problem. Therefore, lightweight verification methods such as testing and monitoring of the CPS are considered in the industry. The formal representation of the CPS requirements is a challenging task. In addition, checking the system outputs with respect to requirements is a computationally complex problem. In this dissertation, these problems for the verification of CPS are addressed. The first method provides a formal requirement analysis framework which can find logical issues in the requirements and help engineers to correct the requirements. Also, a method is provided to detect tests which vacuously satisfy the requirement because of the requirement structure. This method is used to improve the test generation framework for CPS. Finally, two runtime verification algorithms are developed for off-line/on-line monitoring with respect to real-time requirements. These monitoring algorithms are computationally efficient, and they can be used in practical applications for monitoring CPS with low runtime overhead.
Dissertation/Thesis
Doctoral Dissertation Computer Science 2017
APA, Harvard, Vancouver, ISO, and other styles
8

(10716420), Taegyu Kim. "Cyber-Physical Analysis and Hardening of Robotic Aerial Vehicle Controllers." Thesis, 2021.

Find full text
Abstract:
Robotic aerial vehicles (RAVs) have been increasingly deployed in various areas (e.g., commercial, military, scientific, and entertainment). However, RAVs’ security and safety issues could not only arise from either of the “cyber” domain (e.g., control software) and “physical” domain (e.g., vehicle control model) but also stem in their interplay. Unfortunately, existing work had focused mainly on either the “cyber-centric” or “control-centric” approaches. However, such a single-domain focus could overlook the security threats caused by the interplay between the cyber and physical domains.
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.
APA, Harvard, Vancouver, ISO, and other styles
9

"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 text
Abstract:
abstract: Automated driving systems are in an intensive research and development stage, and the companies developing these systems are targeting to deploy them on public roads in a very near future. Guaranteeing safe operation of these systems is crucial as they are planned to carry passengers and share the road with other vehicles and pedestrians. Yet, there is no agreed-upon approach on how and in what detail those systems should be tested. Different organizations have different testing approaches, and one common approach is to combine simulation-based testing with real-world driving. One of the expectations from fully-automated vehicles is never to cause an accident. However, an automated vehicle may not be able to avoid all collisions, e.g., the collisions caused by other road occupants. Hence, it is important for the system designers to understand the boundary case scenarios where an autonomous vehicle can no longer avoid a collision. Besides safety, there are other expectations from automated vehicles such as comfortable driving and minimal fuel consumption. All safety and functional expectations from an automated driving system should be captured with a set of system requirements. It is challenging to create requirements that are unambiguous and usable for the design, testing, and evaluation of automated driving systems. Another challenge is to define useful metrics for assessing the testing quality because in general, it is impossible to test every possible scenario. The goal of this dissertation is to formalize the theory for testing automated vehicles. Various methods for automatic test generation for automated-driving systems in simulation environments are presented and compared. The contributions presented in this dissertation include (i) new metrics that can be used to discover the boundary cases between safe and unsafe driving conditions, (ii) a new approach that combines combinatorial testing and optimization-guided test generation methods, (iii) approaches that utilize global optimization methods and random exploration to generate critical vehicle and pedestrian trajectories for testing purposes, (iv) a publicly-available simulation-based automated vehicle testing framework that enables application of the existing testing approaches in the literature, including the new approaches presented in this dissertation.
Dissertation/Thesis
Doctoral Dissertation Computer Engineering 2019
APA, Harvard, Vancouver, ISO, and other styles

Book chapters on the topic "Cyber-physical testing"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles

Conference papers on the topic "Cyber-physical testing"

1

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 text
APA, Harvard, Vancouver, ISO, and other styles
2

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
3

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
4

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
5

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
6

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
7

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
8

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
9

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
10

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.

Full text
APA, Harvard, Vancouver, ISO, and other styles
You might also be interested in the extended bibliographies on the topic 'Cyber-physical testing' for particular source types:
Journal articles
We offer discounts on all premium plans for authors whose works are included in thematic literature selections. Contact us to get a unique promo code!

To the bibliography