Abstract: Placement of bridges connecting CAE tools and virtual ECU simulation tools is facilitated. A virtual developmental environment apparatus includes a processing execution unit and a memory for storing a MILS model including a controller block and a plant block, first setting information, a program for realizing a function in the controller block used in executing simulation of the virtual ECU, and second setting information. The processing execution unit identifies a controller block in the MILS model based on the first setting information, arranges a bridge for connecting the input port and the output port and the I/O port of the virtual ECU to the input port and the output port of the identified controller block, and connects the bridge and the I/O port of the virtual ECU based on the second setting information.

Abstract: The techniques disclosed herein enable systems to reduce the time required to terminate a set of microservices for an application while ensuring high availability and preventing request failures. This is accomplished through a termination manager which retrieves request queues for the microservices to analyze outstanding requests that require processing prior to termination. Based on the outstanding requests, the termination manager constructs call graphs for each request. The call graphs capture the operational flow of the associated request by defining a sequence of microservices whose functionality is invoked by the request. From an initial analysis, the termination manager can determine that some of the microservices do not appear in the call graphs, indicating that the microservices are not needed to process the outstanding requests. Accordingly, the unneeded microservices are terminated.

Abstract: Method and device for tabular processing and execution of operation flow, and generation of an operation flow table by the same. The flow steps of the operation flow are sequentially acquired and the continuous flow steps in the operation flow are combined into a flow step sequence corresponding to the operation flow type according to the predetermined flow step sequence combination rule. Based on a predetermined row generation rule corresponding to the flow step sequence having the operation flow types, in the operation flow table, the operation flow table rows corresponding to the flow step sequence are sequentially generated until all the flow steps are processed and a final operation flow table is outputted. The operation flow table is executed by the aforesaid method and device. The editing, processing and execution of the complex operation flow can be made more concise and efficient by the aforesaid operation flow processing.

Abstract: A system performs static program analysis with artifact reuse. The system identifies artifacts associated with the software program being analyzed. The system processes the identified artifacts for performing static program analysis and transmits either the artifacts or identifiers for the artifacts to a second processing device for performing program analysis. The second processing device receives the artifacts and uses the received identifiers to retrieve the artifacts from a networked storage system. The second device also retrieves stored summaries of previous program analysis from the networked storage system. The program analysis uses the retrieved artifacts to generate work units for static program analysis. The analysis is performed only for those work units that are determined to remain unchanged from previous static program analysis cycles.

Abstract: A cross-platform deployment computing system receives an application to be deployed to a cloud. The application is parsed to identify assignment criteria and is assigned to an application availability group the defines security that defines a topology in which the application will be deployed. The application is then provided to a control plane for deployment at a target remote server architecture. In order to deploy the application to a different remote server architecture, the control plane for the different remote server architecture accesses the deployment definitions in the AAG and deploys the application to the different remote server architecture using the deployment definitions in the AAG to which the application is assigned.

Abstract: Disclosed are systems and methods that determine specification portions of Dafny code and transform those specifications into one or more annotations, expressions, comments, and/or assertions that are included in a destination code written in a destination language as part of a compilation of the Dafny code into the destination code. The annotations, expressions, comments, and/or assertions in the destination code may be utilized by a verification component, such as a Checker Framework, to detect errors that are introduced into the destination code by the compiler as part of the compilation or to verify the absence of errors in the destination code.

Abstract: Various embodiments of the present technology empower business domain experts to create “no-code” enterprise applications with a variety of features (e.g., workflow, multi-currency, etc.). By using the tools of various embodiments, the domain expert just has to know the business and not how to code in order to create enterprise applications. In some embodiments, the domain expert can access a tool that allows the domain expert to convey intent and desires instead of providing code. The intent and desire of the domain expert can then be abstracted, translated, and stored as a metadata representation. The metadata representation can then be used to automatically generate appropriate code artifacts for the applications. The code artifacts can include snippets of code written in a variety of languages. These code artifacts can then be wrapped, using a runtime engine for example, to create the application which can be distributed to the end-users.

Abstract: Systems and methods for building management utilizing adaptive edge processing are disclosed. The building system can store gateway components on storage devices. The gateway components can facilitate communication with a cloud platform and facilitate communication with a physical building device. The building system can identify a computing system of the building that is in communication with the physical building device. The physical building device can store one or more data samples. The building system can deploy the gateway components to the computing system responsive to identifying that the computing system is in communication with the physical building device. The gateway components can cause the computing system to communicate with the physical building device to receive the one or more data samples and cause the computing system to communicate the one or more data samples to the cloud platform.

Abstract: In accordance with an embodiment, described herein is a system and method for providing software rollouts within a controller-based container orchestration system. A super controller is responsible for launching and communicating with instance-scoped controllers for various software stack instances. Each software stack instance provides a specific instantiation of a software stack that has been deployed for a specific customer or tenant. The controllers allow a desired state of a system, such as a configuration or version of a software stack instance, to be declared via metadata, and then operate to realize the desired state into a live state. When applied to a cloud computing or containerized software environment that runs single-tenant workloads of many customers or tenants, a deployment process applies software updates in a safe, controlled manner, for example to control the pace of updating each of the several instances within a fleet.

Abstract: An industrial development hub (IDH) supports industrial development and testing capabilities that are offered as a cloud-based service. The IDH comprises an enhanced storage platform and associated design tools that serve as a repository on which customers can store control project code, device configurations, and other digital aspects of an industrial automation project. The IDH system can facilitate discovery and management of digital content associated with control systems, and can be used for system backup and restore, code conversion, and version management.

Abstract: A method of controlling a vehicle for stably performing over-the-air (OTA) software updates by fully considering a power supply status of the vehicle includes: determining a power supply status of the vehicle; determining whether to enable supply of an electric power higher than a value required to perform an over-the-air (OTA) software update of the vehicle based on the power supply status of the vehicle; and performing the OTA software update of the vehicle upon determining that the supply of the electric power higher than the value required to perform the OTA software update of the vehicle is possible.

Abstract: A mobile application development device having a platform processor, a native application converter engine, and a mobile platform framework engine configured to facilitate the development and deployment of mobile applications configured to be run on different mobile operating systems from code that is developed independently and agnostic of the mobile operating system on which it will ultimately run.

Abstract: A control system comprises a first and second moving object control unit for controlling a moving object, an update control unit for controlling reception, from an external apparatus, of a first update program for updating the first moving object control unit and a second update program for updating the second moving object control unit to control updates of the first and second moving object control unit by the first and second update program, and an acquisition unit for acquiring update information indicating an amount of electric power needed to update the first moving object control unit by the first update program and an amount of electric power needed to update the second moving object control unit by the second update program, wherein the update control unit selects, based on the update information, a moving object control unit to be updated among the first and second moving object control unit.

Abstract: To facilitate the commissioning of network identifiers (network IDs), an ordered list comprising network ID's associated with devices of an industrial automation process may be generated and stored. Based at least on the ordered list, a network ID may be identified. A prompt may be generated and displayed, the prompt comprising a notification to power-off one or more devices. Another prompt may be generated and displayed, the prompt comprising a notification to power-on a single device of the industrial automation process. In response to receiving a network-identifier request from the single device, a device identifier may be identified for the single device and stored in a list. A response comprising the network ID and a command to change the assignment mode of the device is autonomously generated and transmitted to the single device, which subsequently stores the network ID changes its mode.

Abstract: Example techniques for identification of diagnostic messages corresponding to exceptions are described. A determination model may determine whether a set of diagnostic messages generated based on analysis of a source code includes a diagnostic message that likely corresponds to an exception. The determination may be used to identify a set of diagnostic messages including the diagnostic message that likely corresponds to an exception.

Abstract: Quantum entanglement protection is disclosed. An entanglement checker receives, from a requestor, a request associated with a first qubit. In response to receiving the request, the entanglement checker accesses qubit entanglement information that identifies an entanglement status of the first qubit. The entanglement checker determines, based on the qubit entanglement information, the entanglement status of the first qubit, and sends a response to the requestor based on the entanglement status.

Abstract: Computing systems, for example, multi-tenant systems deploy software artifacts in data centers created in a cloud platform using a cloud platform infrastructure language that is cloud platform independent. The system receives a declarative specification for creating a datacenter on a cloud platform. The system generates an aggregate pipeline comprising a hierarchy of pipelines. The system generates an aggregate deployment version map associating data center entities of the data center with versions of software artifacts targeted for deployment on the datacenter entities. The system collects a set of software artifacts according to the aggregate deployment version map. The system executes the aggregate pipeline in conjunction with the aggregate deployment version map to create the datacenter in accordance with the cloud platform independent declarative specification.

Abstract: A method for managing a client environment includes obtaining, by a predictor, a future state prediction request associated with an application upgrade on an emulation of a client device, wherein the application upgrade failed; in response to the future state prediction request: obtaining live data associated with the application upgrade; performing natural language processing on the live data to obtain processed live data; applying a future state prediction model to the processed live data to generate a future state prediction; and initiating the remediation of the application upgrade based on the future state prediction.

Abstract: Disclosed herein are system, method, and device embodiments for enriching the capabilities of an API management product by deploying an augmented circuit breaker policy at an API gateway to automate regression analysis. Based on the augmented circuit breaker policy, the API gateway may perform curative remedies when a triggering condition occurs, e.g. rolling back the software release or alerting administrators. In one use case, the augmented circuit break policy may mitigate the damage of a faulty software release by programmatically directing all requests received at the API gateway to a stable version of the API. The benefits may be extended by using machine learning to train normality models on the typical behavior of a particular API. A user may then configure an augmented circuit breaker policy to perform a programmatic rollback when the API gateway recognizes conditions that diverge from normal behavior.

Abstract: A method of selecting a last patch from among a plurality of patches for a same location according to an embodiment of this invention includes generating a plurality of patches for a same location in a program; calculating a final score based on a code change rate, a code complexity, and a context similarity for each of the plurality of patches.