US 11,704,605 B2
Framework for guided change management and change impact analysis with automated change validation through formal executable semantics
Georgi Markov, Plainsboro, NJ (US); Jon Hall, Milton Keynes (GB); and Lucia Rapanotti, Milton Keynes (GB)
Assigned to SIEMENS CORPORATION, Iselin, NJ (US); and THE OPEN UNIVERSITY, Milton Keynes (GB)
Filed by Siemens Corporation, Iselin, NJ (US); and The Open University, Milton Keynes (GB)
Filed on Apr. 1, 2020, as Appl. No. 16/837,165.
Claims priority of provisional application 62/829,694, filed on Apr. 5, 2019.
Prior Publication US 2020/0320447 A1, Oct. 8, 2020
Int. Cl. G06Q 10/06 (2023.01); G06F 8/10 (2018.01); G06F 8/71 (2018.01)
CPC G06Q 10/06 (2013.01) [G06F 8/10 (2013.01); G06F 8/71 (2013.01)] 10 Claims
OG exemplary drawing
 
1. A computer implemented method of generating a systematic change solution in a system comprising:
identifying an unsatisfied need to be met by the system;
representing a proposed change to the system to satisfy the need in a high-level representation of the proposed change;
evaluating relationships between the proposed change and at least one additional sub-system of the system to identify dependencies between the proposed change and the at least one sub-system;
updating the proposed change in the high-level representation to address an identified dependency;
mapping the high-level representation to a low-level executable semantic implementation model of the system;
identifying a new component required by the system based on the mapping;
running a simulation on the low level executable semantic implementation model of the system including the newly identified component;
iteratively updating the implementation model based on the simulation and validating each updated implementation model through simulation until no further changes are deemed necessary; and
implementing the updated implementation model as changes to the system to improve the system to satisfy the need;
wherein the low-level executable semantic model is consistent with a hybrid communicating sequential processes (HCSP);
cascading an additional change based on the proposed chance to the system; and
wherein the proposed change is a change to a logic program and the additional change is the addition of a hardware sensor to provide an input to the logic program.