(19)
(11) EP 3 575 990 A3

(12) EUROPEAN PATENT APPLICATION

(88) Date of publication A3:
11.03.2020 Bulletin 2020/11

(43) Date of publication A2:
04.12.2019 Bulletin 2019/49

(21) Application number: 19177656.6

(22) Date of filing: 31.05.2019
(51) International Patent Classification (IPC): 
G06F 17/50(2006.01)
 G06F 11/36(2006.01)
(84) Designated Contracting States:
AL AT BE BG CH CY CZ DE DK EE ES FI FR GB GR HR HU IE IS IT LI LT LU LV MC MK MT NL NO PL PT RO RS SE SI SK SM TR
Designated Extension States:
BA ME
Designated Validation States:
KH MA MD TN

(30) Priority: 31.05.2018 US 201862678648 P
11.09.2018 US 201816128099
30.05.2019 US 201916426624

(71) Applicant: The MathWorks, Inc.
Natick, MA 01760-2098 (US)

(72) Inventors:
  • NANJUNDAPPA, Mahesh
    Marlborough, MA Massachusetts 01752 (US)
  • NEJHUM, S.M. Shahed
    Natick, MA Massachusetts 01760 (US)
  • RAGHAVAN, Vijaya
    Brookline, MA Massachusetts 02445 (US)
  • BALASUBRAMANIAN, Krishna
    Wellesley, MA Massachusetts 02482 (US)
  • DIRNER, John P.
    Roslindale, MA Massachusetts 02131 (US)

(74) Representative: Müller-Boré & Partner Patentanwälte PartG mbB 
Friedenheimer Brücke 21
80639 München
80639 München (DE)

   


(54) OBSERVER FOR SIMULATION TEST AND VERIFICATION


(57) Systems and methods validate the operation of a component of an executable model without inadvertently altering the behavior of the component. The model may be partitioned into a design space and a verification space. The component may be placed in the design space, while an observer for validating the component may be placed in the verification space, and linked to the component. During execution of the model, input or output values for the component may be computed and buffered. Execution of the observer may follow execution of the component. The input or output values may be read out of the buffer, and utilized during execution of validation functionality defined for the observer. Model compilation operations that may inadvertently alter the behavior of the component, such as back propagation of attributes, are blocked between the observer and the component.







Search report















Search report