VDM-RT in the UTP Sample Clauses

VDM-RT in the UTP. ‌ Real-time, concurrency, and rich-state modelling have already been given substantial study in the UTP, specifically within the context of the Circus language family [35]. Circus is a formal modelling language that combines the constructs of the CSP language [20] for modelling of concurrent systems with rich-state modelling as provided by the Z specification language [45]. Circus thus provides semantically equivalent constructs to those in VDM-SL for modelling operations and state, together with the ability to represent concurrent stateful systems. Process state variables in Circus are not shared by concurrent processes, and so information can be conveyed from process to process only through CSP-style communication channels. As we also mentioned in Section 2.3 the basis of Circus is the reactive design, that allows the expression of reactive specifications with assumptions and commitments. ▶ The CircusTime language [40] is an extension of Circus that introduces discrete real-time modelling constructs such as timeouts and deadlines. Additionally, the COMPASS modelling language [44] (CML) is a more recent development that provides similar modelling constructs, but in the context of a new semantic model that has an improved treatment of time in the presence of operators like external choice [6]. All of these languages are based on an extension of reactive designs called timed reactive designs [18, 42]. A timed reactive design, is defined in terms of a healthiness condition RT that subsumes R from reactive designs, and also ensures that measurement of time is well-behaved. A timed reactive design is then written as RT (P Q), for timed assumption P and commitment Q. The addition of timing information here allows the expression of constraints like timing budgets, and could therefore we used to give an account to implicit operations in VDM-RT. Also of interest here are languages like Timed CSP [36] and Hybrid CSP [19] that provide sup- port for continuous time modelling (and in the case of the latter, system dynamics). Although VDM-RT is discrete time, other notations such as Modelica [32] are continuous time based and so the links between discrete and continuous CSP variants needs to be considered to allow the use of these languages in a co-simulation framework. Again, this is a big motivation for the creation of INTO-CSP. The semantic model of CircusTime or CML can thus be applied to give a semantics to the real-time CPUs and threads of VDM-RT. We will model e...
Sample 1

Related to VDM-RT in the UTP

  • Investment in the Trust Investments may be accepted by the Trust from such Persons, at such times, on such terms, and for such consideration, which may consist of cash or tangible or intangible property or a combination thereof, as the Trustees from time to time may authorize. At the Trustees’ sole discretion, such investments, subject to applicable law, may be in the form of cash or securities in which the affected Portfolio is authorized to invest, valued as provided in applicable law. Each such investment shall be recorded in the individual Shareholder’s account in the form of full and fractional Shares of the Trust, in such Portfolio (or Class) as the Shareholder shall select. The Trustees and their authorized agents shall have the right to refuse to issue Shares to any Person at any time and for any reason.

  • Collateral in the Possession of a Bailee If any Inventory or other Goods are at any time in the possession of a bailee, such Assignor shall promptly notify the Collateral Agent thereof and, if requested by the Collateral Agent, shall use its commercially reasonable efforts to promptly obtain an acknowledgment from such bailee, in form and substance reasonably satisfactory to the Collateral Agent, that the bailee holds such Collateral for the benefit of the Collateral Agent and shall act upon the instructions of the Collateral Agent, without the further consent of such Assignor. The Collateral Agent agrees with such Assignor that the Collateral Agent shall not give any such instructions unless an Event of Default has occurred and is continuing or would occur after taking into account any action by the respective Assignor with respect to any such bailee.

  • Security Interest in the Collateral To secure the prompt payment and performance to Agent and each Lender of the Obligations, each Borrower hereby assigns, pledges and grants to Agent for its benefit and for the ratable benefit of each Lender a continuing security interest in and to and Lien on all of its Collateral, whether now owned or existing or hereafter acquired or arising and wheresoever located. Each Borrower shall xxxx its books and records as may be necessary or appropriate to evidence, protect and perfect Agent’s security interest and shall cause its financial statements to reflect such security interest. Each Borrower shall promptly provide Agent with written notice of all commercial tort claims, such notice to contain the case title together with the applicable court and a brief description of the claim(s). Upon delivery of each such notice, such Borrower shall be deemed to hereby grant to Agent a security interest and lien in and to such commercial tort claims and all proceeds thereof.

  • METHOD OF CALCULATION OF PROPORTIONATE SHARE WHEREVER REFERRED TO IN THE AGREEMENT Wherever in this Agreement it is stipulated that the Allottee has to make any payment, in common with other Allottee(s) in Project, the same shall be the proportion which the carpet area of the [Apartment/Plot] bears to the total carpet area of all the [Apartments/Plots] in the Project.

  • Grant of Security Interest in the Collateral To secure the prompt payment and performance in full when due, whether by lapse of time, acceleration, mandatory prepayment or otherwise, of the Secured Obligations, each Obligor hereby grants to the Administrative Agent, for the ratable benefit of the Lenders, a continuing security interest in, and a right to set off against, any and all right, title and interest of such Obligor in and to the following, whether now owned or existing or owned, acquired, or arising hereafter (collectively, the “Collateral”): (a) all Accounts; (b) all cash and Cash Equivalents; (c) all Chattel Paper (including Electronic Chattel Paper); (d) those certain Commercial Tort Claims of such Obligor set forth on Schedule 2(d) attached hereto (as such Schedule may be updated from time to time by the Obligors); (e) all Copyright Licenses; (f) all Copyrights; (g) all Deposit Accounts; (h) all Documents; (i) all Equipment; (j) all Fixtures; (k) all General Intangibles; (l) all Goods; (m) all Instruments; (n) all Inventory; (o) all Investment Property; (p) all Letter-of-Credit Rights; (q) all Material Contracts and all such other agreements, contracts, leases, licenses, tax sharing agreements or hedging arrangements now or hereafter entered into by an Obligor, as such agreements may be amended or otherwise modified from time to time (collectively, the “Assigned Agreements”), including without limitation, (i) all rights of an Obligor to receive moneys due and to become due under or pursuant to the Assigned Agreements, (ii) all rights of an Obligor to receive proceeds of any insurance, indemnity, warranty or guaranty with respect to the Assigned Agreements, (iii) claims of an Obligor for damages arising out of or for breach of or default under the Assigned Agreements and (iv) the right of an Obligor to terminate the Assigned Agreements, to perform thereunder and to compel performance and otherwise exercise all remedies thereunder; (r) all Payment Intangibles; (s) all Patent Licenses; (t) all Patents; (u) all Software; (v) all Supporting Obligations; (w) all Trademark Licenses; (x) all Trademarks; (y) all books, records, ledger cards, files, correspondence, computer programs, tapes, disks, and related data processing software (owned by such Obligor or in which it has an interest) that at any time evidence or contain information relating to any Collateral or are otherwise necessary or helpful in the collection thereof or realization thereupon; (z) to the extent not otherwise included, all, Accessions, Proceeds and products of any and all of the foregoing; and (aa) all other assets of such Obligor.

  • Illness in the Family Where no one at home other than the employee can provide for the needs during illness of an immediate member of her family, an employee shall be entitled after notifying her supervisor, to use a maximum of five (5) accumulated sick leave days per illness to care for the member of the family who is ill.

  • INDEMNITY IN PROCEEDINGS BY OR IN THE RIGHT OF THE COMPANY To the fullest extent permitted by applicable law, the Company shall indemnify, hold harmless and exonerate Indemnitee in accordance with the provisions of this Section 4 if Indemnitee was, is, or is threatened to be made, a party to or a participant (as a witness, deponent or otherwise) in any Proceeding by or in the right of the Company to procure a judgment in its favor by reason of Indemnitee’s Corporate Status. Pursuant to this Section 4, Indemnitee shall be indemnified, held harmless and exonerated against all Expenses actually and reasonably incurred by Indemnitee or on Indemnitee’s behalf in connection with such Proceeding or any claim, issue or matter therein, if Indemnitee acted in good faith and in a manner Indemnitee reasonably believed to be in or not opposed to the best interests of the Company. No indemnification, hold harmless or exoneration for Expenses shall be made under this Section 4 in respect of any claim, issue or matter as to which Indemnitee shall have been finally adjudged by a court to be liable to the Company, unless and only to the extent that any court in which the Proceeding was brought or the Delaware Court shall determine upon application that, despite the adjudication of liability but in view of all the circumstances of the case, Indemnitee is fairly and reasonably entitled to indemnification, to be held harmless or to exoneration.

  • Steps in the Grievance Procedure (a) Step 1 (Immediate Supervisor who is not within the scope of this Collective Agreement) An Employee who has a grievance shall first discuss the matter with their immediate supervisor and attempt to resolve the grievance at this stage. In the event that it is not resolved satisfactorily to the Employee, it may be advanced in accordance with the following steps. (b) Step 2 (Director of the Department, or Designate) If: (i) an individual grievance, within fifteen (15) days of the date the Employee first became aware of or reasonably should have become aware of the occurrence of the act causing the grievance; or (ii) a group grievance, within fifteen (15) days of the date any of the aggrieved Parties became aware of the event or reasonably should have become aware of the event leading to the grievance; the grievance shall be submitted, in writing, stating the Article claimed to have been violated, the nature of the grievance and the redress sought, to the appropriate Human Resources Department. The Director of the Department or Designate shall reply in writing within ten (10) days of receiving the grievance. At the request of either Party, a grievance meeting shall be held prior to providing a written reply. If the grievance is not settled at this stage, it may be advanced to Step 3. (c) Step 3 (Vice President, or Designate) Within ten (10) days of the reply from the Director of the Department or Designate or for a dismissal grievance, within fifteen (15) days of the date the Employee first became aware of or reasonably should have become aware of the occurrence of the act causing the grievance, the Employee shall submit the grievance in writing to the appropriate Human Resources Department. The Vice President or Designate shall hold a meeting and render a written decision within ten (10) days of receipt of the grievance. The Employee shall be entitled to have a Union Xxxxxxx and/or Union Representative present during the meeting. If the grievance is not settled at this stage, the Union may decide to proceed to Arbitration. (d) Grievance meetings referred to in Clause 8.05 may include a teleconference or videoconference.

  • INDEMNITY IN THIRD-PARTY PROCEEDINGS To the fullest extent permitted by applicable law, the Company shall indemnify, hold harmless and exonerate Indemnitee in accordance with the provisions of this Section 3 if Indemnitee was, is, or is threatened to be made, a party to or a participant (as a witness, deponent or otherwise) in any Proceeding, other than a Proceeding by or in the right of the Company to procure a judgment in its favor by reason of Indemnitee’s Corporate Status. Pursuant to this Section 3, Indemnitee shall be indemnified, held harmless and exonerated against all Expenses, judgments, liabilities, fines, penalties and amounts paid in settlement (including all interest, assessments and other charges paid or payable in connection with or in respect of such Expenses, judgments, fines, penalties and amounts paid in settlement) actually, and reasonably incurred by Indemnitee or on his or her behalf in connection with such Proceeding or any claim, issue or matter therein, if Indemnitee acted in good faith and in a manner he or she reasonably believed to be in or not opposed to the best interests of the Company and, in the case of a criminal Proceeding, had no reasonable cause to believe that his or her conduct was unlawful.

  • Indemnity in Proceedings by or in the Right of the Corporation The Corporation shall indemnify Indemnitee in accordance with the provisions of this Section 4 if Indemnitee is a party to or threatened to be made a party to any Proceeding by or in the right of the Corporation to procure a judgment in its favor by reason of the fact that Indemnitee is or was a Director or Officer of the Corporation, or is or was serving at the request of the Corporation as a director, officer, employee or agent of another corporation, partnership, joint venture, trust or other enterprise, against all Expenses actually and reasonable incurred by Indemnitee in connection with the defense or settlement of such Proceeding, but only if he/she acted in good faith and in a manner which he/she reasonably believed to be in or not opposed to the best interests of the Corporation, except that in indemnification for Expenses shall be made under this Section 4 in respect of any claim, issue or matter as to which Indemnitee shall have been adjudged to be liable to the Corporation, unless and only to the extent that any court in which such Proceeding was brought shall determine upon application that, despite the adjudication of liability but in view of all the circumstances of the case, Indemnitee is fairly and reasonably entitled to indemnity for such Expenses as such court shall deem proper.