Certain aspects and features provide generation or simulation of sensory data that would otherwise come from Internet-of-things (IoT) sensors in reproducible and controllable way. Thus, the response of a system to very large numbers of sensors can be tested without acquiring and deploying a very large number of sensors for test and development purposes. In some examples, a processing device coupled to a network interface identifies a stored function of time describing a locally sensed property for a simulated sensor. The locally sensed property corresponds to at least one event taking place in a virtual environment. The processing device can determine values of an input variable produced by the stored function of time. The values can be wrapped in a communication protocol to produce messages that are transmitted over the network interface.

According to various embodiments, there is provided a method for testing a device driver software of a processor, the method including: configuring an identity field of a testing device based on a device emulation command received through a first testing device interface, wherein the identity field is accessible by the device driver software for recognising the testing device; running an emulation program on the testing device, the emulation program including an emulation of a human input device in accordance with the configured identity field; receiving an input instruction in the testing device via the first testing device interface, the input instruction indicative of an input performable on the emulated human input device; the emulation program, emulating an output signal generatable by the emulated human input device in response to the input being performed on the emulated human input device; outputting the emulated output signal via a second testing device interface to the device driver software of the processor to translate the emulated output signal to an event in an application program running on the processor.

In an approach to simulating an electronic device, a copy of a design under test is created. A delayed buffer for the copy is created, where the inputs to the design under test are stored in the delayed buffer. A test program is run on the design under test and the copy, where the test program running on the copy is delayed in time by the delayed buffer. Responsive to determining that an event has occurred on the design under test, the test program on the copy is halted. The cause of the event is determined by using the inputs stored in the delayed buffer to scan the copy.

A method of testing a physical system that includes software and hardware includes developing a software application arranged to operate at least a portion of the physical system and constructing a simulation of the physical system within a test ecosystem, the simulation including inputs that simulate control inputs of the physical system and outputs that simulate control and informational outputs. The method also includes connecting the software application to the simulation of the physical system to test the operation of the software application, and simulating operation of the physical system and the software application within test ecosystem operation of the software application as each of a cloud application, a network operation of the software application as each of a cloud application, a network application, and a local application.

A method for testing a technical system. The method includes: tests are carried out with the aid of a simulation of the system, the tests are evaluated with respect to a fulfillment measure of a quantitative requirement on the system and an error measure of the simulation, on the basis of the fulfillment measure and error measure, a classification of the tests as either reliable or unreliable is carried out.

A method for testing a technical system. The method includes: tests are carried out with the aid of a simulation of the system, the tests are evaluated with respect to a fulfillment measure of a quantitative requirement on the system and an error measure of the simulation, on the basis of the fulfillment measure and error measure, a classification of the tests as either reliable or unreliable is carried out, and a test database is improved on the basis of the classification.

A method and system of designing control logic for an avionics system, the method and system including receiving a function requirement defining a desired control logic for the desired control system, designing, by a user in a user interface (UI) of a toolset, the desired control logic comprising an arrangement of predefined library blocks to enable the functional requirement in the desired control system, and generating, by the toolset, a data file representative of the desired control logic to enable the functional requirement during run-time operation in the avionics system.

Aspects of the invention include systems and methods for to detecting security vulnerabilities using modeled attribute propagation. A non-limited example of a computer-implemented method includes generating a model of a device under test, the model comprising a data path similar to the device under test and an attribute network. The method further includes detecting protected data that is introduced into the model and marking the protected data with an attribute. An end point of the marked protected data is detected along the data path. In response to the end point being indicative of a vulnerability, an alert is issued.

Systems and methods for lossless restoration of a digital system are provided. A method may include creating a digital twin of the digital system. Creating the digital twin may include constructing a digital model that replicates hardware and software components and performance metrics of the digital system. The components and the performance metrics may be detected via a plurality of edge devices. The digital model may be configured to be run on a processor to simulate performance of the digital system. The method may include receiving an indication that the digital system is disconnected from a central server, syncing the digital twin with the digital system while the digital system is disconnected from the central server, and, in response to an indication that the digital system has reconnected with the central server, syncing the central server with the digital twin.

Aspects provide for dynamic pathloss mitigation via a cross layer tool chain by simulating a three-dimensional model of a physical environment including an access point, an endpoint running an application, and a passive object; emulating network traffic for the application transmitted between the access point and the endpoint; simulating, in the model, pathways for signals to carry the traffic in a plurality of regions for the physical environment; emulating signal degradation along the pathways in the plurality of regions based on respective locations for the access point, the endpoint, and the passive object in the physical environment; and in response to the signal degradation satisfying a pathloss threshold, outputting a command to the application to affect operations of the endpoint. Additionally, the cross layer tool chain outputs a Graphical User Interface showing a signal degradation map based on the simulated network traffic overlaid on the model.