Abstract: Conducting automatically a process failure mode and effect analysis, PFMEA, for a factory adapted to produce a product in a production process using a meta model, MM, stored or loaded in a data storage. The stored meta model, MM, comprises abstract factory model elements modeling an abstract factory, AF, including one or more service declarations modeling abstract services across different factories, wherein each service declaration comprises failure mode declarations for different failure modes.

Abstract: A method for controlling a technical system, wherein at least one milestone step and a plurality of intermediate steps are scheduled at respective points in time is provided. Time deviations for the intermediate steps are obtained, wherein a time deviation denotes a difference from an initial planning of a step. For the milestone step, a time deviation is determined using the time deviations of the intermediate steps. A cost function is obtained for the milestone step, wherein the cost function defines a cost value for the technical system dependent on the time deviation of the milestone step using a domain-specific language, e.g., based on a contractual requirement for the technical system. A cost value is determined for the technical system using the time deviation of the milestone step and the cost function. The technical system is controlled based on the cost value.

Abstract: A method and apparatus for verifying a software system are provided. A data processing apparatus includes a processing unit and a memory unit communicatively coupled to the processing unit. The memory unit includes a simulation module and a verification module. The simulation module is configured to perform simulation of the software system for a first set of steps based on a first set of input values. The verification module is configured to instantaneously determine a state of the software system is which verification of the software system is to be initiated. The verification module is configured to initiate verification of the software system at the determined state, perform verification of the software system for a second set of steps based on a second set of input values, and output results of the verification of the software system on a display unit.

Abstract: The following refers to a computer-implemented approach for evaluation of contractual requirements in view of a technical railway system, namely whether the latter complies with the requirements. The technical railway system and is modeled in case of non-compliance the system is modeled and contractual requirements are modeled in one common model. The generated model is analyzed in order to calculate control instructions for matching the same.

Abstract: A computer-implemented approach with methods, systems and programs for automatically optimizing a set of contractual template instances for a contract for a technical system between contracting parties is provided. The method accesses a modelling unit, which is adapted to provide modelled contracts with a set of contractual templates, wherein each contractual template has a set of parameters and a set of constraints. A synthesizer is accessed for synthesizing a set of contractual template instances which comply with the received constraints values. Finally, an evaluation engine is accessed with received optimization criteria for optimizing the set of synthesized contractual template instances in order to calculate at least one optimized contractual template instance as a result.

Abstract: The following refers to a computer-implemented approach for evaluation of contractual requirements in view of a technical railway system, namely whether the latter complies with the requirements. The technical railway system and is modeled in case of non-compliance the system is modeled and contractual requirements are modeled in one common model. The generated model is analyzed in order to calculate control instructions for matching the same.

Abstract: Provided is a method and system for conducting automatically a process failure mode and effect analysis, PFMEA, for a factory adapted to produce a product in a production process using a meta model, MM, stored or loaded in a data storage, wherein the stored meta model, MM, comprises abstract factory model elements modeling an abstract factory, AF, including one or more service declarations modeling abstract services across different factories, wherein each service declaration comprises failure mode declarations for different failure modes.

Abstract: A method and system for verifying model-driven software architecture in an integrated-development environment is disclosed. In one embodiment, a method of verifying model-driven software architecture in an integrated-development environment includes generating the model-driven software architecture including a plurality of elements and connections between the elements. Each element consists of at least one of an input, an output, and a parameter. The method includes deriving contracts associated with the model-driven software architecture and its elements based on at least one of the input, the output, and the parameter associated with said each element. Furthermore, the method includes generating programming language statements based on the contracts associated with the model-driven software architecture and its elements and the connections between the elements.

Abstract: A method and system for verifying software in an integrated-development environment is disclosed. In one embodiment, a method of verifying different implementations of a software component in the integrated development environment includes generating a formal similarity specification based on relationships between a set of inputs associated with a first implementation of the software component and a set of inputs associated with a second implementation of the software component, and a set of rules to be satisfied between the outputs of the first implementation and the outputs of the second implementation. The method includes generating programming language statements based on the first implementation of the software component, the second implementation of the software component and the formal similarity specification. Moreover, the method includes verifying similarity of the first implementation of software component and the second implementation using the programming language statements.