Simulate a TPMS malfunction, for example, by disconnecting the power source to any TPMS component, disconnecting any electrical connection between TPMS components, or installing a tyre or wheel on the vehicle that is incompatible with the TPMS. When simulating a TPMS malfunction, the electrical connections for the tell-tale lamps shall not be disconnected.
Simulate. → Terminate = terminate.i SKIP within Simulate Δ Terminate FMU(i) Simulate Terminate terminate.i→SKIP FMUSt ‖ *1 Δ Simulate0 ⨾ Setup ⨾ Init ⨾ CarrySteps Instantiate MA *1 get_st, upd_st, get_cint, upd_cint, *2 get_ct, upd_ct *2 instantiate, setup, set, get, endInit, doStep, terminate, stepOutcome, stepCancel, stepFinished, getState, setState Figure 3: Pictorial description of CSP process FMU FMUSt, Simulate and Terminate are internal processes of FMU . The defi- nition says that an FMU is simulated until it is interrupted (CSP interrupt operator Δ) by a termination request (event terminate.i). FMU’s internal process Simulate puts together in parallel a process that manages the state of the FMU (FMUSt) with a process that does the actual FMU simulation (Simulate0), as depicted in Fig. 3. These two processes synchronise along the channels defined for updating and retrieving the FMU state. This artificial separation of state and behaviour is necessary because CSP is a functional language, and the state of the FMU needs to be accessed by several components of FMU. INTO-CSP’s imperative nature will entail the removal of such separation. Process FMUSt controls a FMU state, a co-simulation interval and the simu- lation’s current time point. Next channels read and write to these state com- ponents and are the enablers of the synchronisation portrayed in Fig. 3: channel get st, upd st : St channel get cint, upd cint : CosimInt channel get ct, upd ct : opt (Time) The set of FMU state events is thus defined as: FMUStEvs = {|upd st, get st, upd cint, get cint, upd ct, get ct |} Above, we define a set of events extensionally using {||}. Process FMUSt is as defined below. It controls a FMU state variable st , a co-simulation interval cint and an optional communication time point oct ; it offers the external choice of the state-manipulation events defined above to update and retrieve state. FMUSt = let FMUSt0(st, cint, oct ) = upd st ?str → FMUSt0(str, cint, oct ) 2 get st !st → FMUSt0(st, cint, oct ) 2 upd cint ?cintr → FMUSt0(st, cintr, oct ) 2 get cint !cint → FMUSt0(st, cint, oct ) 2 upd ct ?octr → FMUSt0(st, cint, octr) → 2 get ct !oct FMUSt0(st, cint, oct ) within FMUSt0(emptySt, (0, 0), {}) Process Simulate (Fig. 3) does the parallel composition of FMUSt and Simulate0. The synchronisation with FMUSt is done through the set of events FMUStEvs, which is hidden so the events become internal as they pertain to the internal processing of a FMU only and are of no intere...
Simulate. This option will interpret the model without any user interaction. When faced with a choice of several observable events, one will be chosen in a random but deterministic manner. Thus, the simulation will always make the same choices for every run of the same model. This behavior is implemented by the use of a pseudo-random number generator that has been initialised with a constant seed. This random number generator is used to resolve the choice between events, and will produce the same series of actions when presented with the same series of choices.
Simulate a valve or gate position command signal at the RIO panel or local control panel as appropriate and demonstrate that the valve or gate is controlled to the desired position without excessive hunting.
Simulate power outage by interrupting normal source, and demonstrate that system operates to provide emergency power.
