Minipilot Sample Clauses

Minipilot. The minipilot is a small Event-B model, focused on specific aspects (in the case of WP1, modelling of continuous behaviour and time)
AutoNDA by SimpleDocs
Minipilot. Applications realised in the automotive environment tend to be complex and distributed over hard- and software. The idea of the minipilot thus was to capture a manageable, yet typical element of the pilot application to demonstrate the concepts and functional range of Event-B. With switches and buttons being typical elements of the interface between the cruise control system and the driver, we started with a simple on/off switch as well as a button. Later, a three- way and an n-way switch were added. Apart from being simple, yet typical, elements of a cruise control system, the modelling of switches and buttons requires a simple time model. The time aspect is important in virtually all automotive applications. During the minipilot the project members at Bosch became familiar with Event-B and addressed special aspects of an automotive application.
Minipilot. The minipilot aim was to quickly face some modelization issues (timing, probabilities), without too much development workload. This minipilot helped to find out that probability is required for system modelization, and that timing issues related to input/output of controlers (that seems to be a very low level problem) has an impact at the higher system level.

Related to Minipilot

  • Fabrication Making up data or results and recording or reporting them.

  • Welding Welding and use of cutting torches or cutoff saws will be permitted only in areas that have been cleared or are free of all material capable of carrying fire. Flammable debris and vegetation must be removed from within a minimum 10-foot radius of all welding and cutting operations. A shovel and a 5-gallon standard backpack water container filled and with handpump attached shall be immediately available for use in the event of a fire start. C8.64 – DEBARMENT AND SUSPENSION CERTIFICATION (3/18). Pursuant to 2 CFR 180 and 2 CFR 417, Purchaser shall certify and obtain certifications from its Subcontractors regarding debarment, suspension, ineligibility, and voluntary exclusion, including additional Subcontractors obtained after award of this contract. “Subcontractors” are participants in lower tier covered transactions. Purchaser may rely upon a certification of a prospective Subcontractor that it is not proposed for debarment under 48 CFR 9.4, debarred, suspended, ineligible, or voluntarily excluded from participating in covered transactions or timber sales, unless Purchaser knows that the certification is erroneous. Purchaser shall keep the certifications of its Subcontractors on file until timber sale Termination Date and any extensions thereof, and will provide a copy at the written request of Contracting Officer. Nothing contained in the foregoing shall be construed to require establishment of a system of records in order to render in good faith the certification required by this Subsection. The knowledge and information of Purchaser is not required to exceed that which is normally possessed by a prudent person in the ordinary course of business dealings. If Purchaser knowingly enters into a timber sale transaction with a person who is proposed for debarment under 48 CFR 9.4, suspended, debarred, ineligible, or voluntarily excluded from participation in covered transactions or timber sales, in addition to other remedies available to the Government, Forest Service may pursue available remedies, including suspension and/or debarment. Contracting Officer shall provide a copy of Forms AD-1047 Certification Regarding Debarment, Suspension and Other Responsibility Matters – Primary Covered Transactions and AD-1048 Certification Regarding Debarment, Suspension, Ineligibility and Voluntary Exclusion – Lower Tier Covered Transactions to the Purchaser. Purchaser shall complete form AD-1047 and provide to the Contracting Officer upon request. Purchaser shall require each subcontractor to complete form AD-1048 and provide to the Contracting Officer upon request.

  • COVID-19 Vaccine Passports Pursuant to Texas Health and Safety Code, Section 161.0085(c), Contractor certifies that it does not require its customers to provide any documentation certifying the customer’s COVID-19 vaccination or post-transmission recovery on entry to, to gain access to, or to receive service from the Contractor’s business. Contractor acknowledges that such a vaccine or recovery requirement would make Contractor ineligible for a state-funded contract.

  • Packaging Materials and Containers for Retail Sale 1. When packaging materials and containers in which a good is packaged for retail sales are classified in the Harmonized System with the good, they shall not be taken into account in determining whether all non-originating materials used in the production of the good undergo the applicable change in tariff classification set out in Annex 4.03. 2. When the good is subject to a requirement of regional value content, the value of these packaging materials and containers shall be taken into account as originating or non-originating materials, as the case may be, in calculating the regional value content of the good.

  • Cell Phone Employee shall be provided with a cell phone, with e-mail capabilities, at Board expense. As a condition of receipt of said cell phone, employee is expected to be reachable as necessary and appropriate by the Superintendent and Board President for the thorough and efficient operation of the School District. Incidental personal use shall be permitted. Employees shall have the option of being reimbursed for the use of a personal smartphone in the amount of fifty dollars ($50.00) per month instead of accepting a district cell phone. As a condition of this reimbursement, employee must a) be reasonably available at all times via the personal phone; and b) take reasonable measures to protect the confidentiality of student and staff information being transmitted to and through said phone.

  • Moonlighting Employment as a physician in a professional capacity outside of what is outlined in this Agreement, whether temporary special medical activity (“TSMA”) or external moonlighting, must be approved in writing, in advance, by the Departmental Chair, Program Director and Director of Graduate Medical Education (or designee). Even if approved, professional and general liability insurance as outlined in Section 5.4 is not provided to Trainee engaged in external moonlighting. Trainee acknowledges he or she has the responsibility to obtain insurance for such engagement. TSMA and external moonlighting must be included and reported as part of Trainee's hours spent on clinical experience and education. Trainee shall not be required to engage in any outside work.

  • Cloud storage DSHS Confidential Information requires protections equal to or greater than those specified elsewhere within this exhibit. Cloud storage of Data is problematic as neither DSHS nor the Contractor has control of the environment in which the Data is stored. For this reason: (1) DSHS Data will not be stored in any consumer grade Cloud solution, unless all of the following conditions are met: (a) Contractor has written procedures in place governing use of the Cloud storage and Contractor attests in writing that all such procedures will be uniformly followed. (b) The Data will be Encrypted while within the Contractor network. (c) The Data will remain Encrypted during transmission to the Cloud. (d) The Data will remain Encrypted at all times while residing within the Cloud storage solution. (e) The Contractor will possess a decryption key for the Data, and the decryption key will be possessed only by the Contractor and/or DSHS. (f) The Data will not be downloaded to non-authorized systems, meaning systems that are not on either the DSHS or Contractor networks. (g) The Data will not be decrypted until downloaded onto a computer within the control of an Authorized User and within either the DSHS or Contractor’s network. (2) Data will not be stored on an Enterprise Cloud storage solution unless either: (a) The Cloud storage provider is treated as any other Sub-Contractor, and agrees in writing to all of the requirements within this exhibit; or, (b) The Cloud storage solution used is FedRAMP certified. (3) If the Data includes protected health information covered by the Health Insurance Portability and Accountability Act (HIPAA), the Cloud provider must sign a Business Associate Agreement prior to Data being stored in their Cloud solution.

  • Vlastnictví Zdravotnické zařízení si ponechá a bude uchovávat Zdravotní záznamy. Zdravotnické zařízení a Zkoušející převedou na Zadavatele veškerá svá práva, nároky a tituly, včetně práv duševního vlastnictví k Důvěrným informacím (ve smyslu níže uvedeném) a k jakýmkoli jiným Studijním datům a údajům.

  • TOOL STORAGE 1. A company shall provide on all construction jobs in towns and cities, and elsewhere where reasonably necessary and practicable (or if requested buy the employee), a suitable and secure waterproof lock-up solely for the purpose of storing employees’ tools, and on multi-storey and major projects the company shall provide, where possible, a suitable lock-up for employees’ tools within a reasonable distance of the work area of large groups of employees. 2. Where an employee is absent from work because of illness or accident and has advised the company in accordance with Clause 33 – Personal Leave of the award, the company shall ensure that the employee’s tools are securely stored during his/her absence.

  • Generelt A. Apple Inc. (“Apple”) giver hermed licenstager licens til at bruge Apple-softwaren, evt. tredjepartssoftware, dokumentation, , grænseflader, indhold, skrifter og evt. data, som følger med denne licens, uanset om de er præinstalleret på Apple-hardware, forefindes på disk, som ROM (Read Only Memory), på andet medie eller i anden form (under et kaldet “Apple-softwaren”) i henhold til betingelserne i denne licensaftale. Apple og/eller Apples licensgivere bevarer ejendomsretten til selve Apple-softwaren og forbeholder sig alle de rettigheder, som ikke udtrykkeligt er givet til licenstager. B. Apple vil efter eget valg evt. frigive fremtidige opgraderinger eller opdateringer til Apple-softwaren til licenstagers computer fra Apple. Evt. opgraderinger og opdateringer inkluderer ikke nødvendigvis alle de eksisterende softwarefunktioner eller nye funktioner, som Apple frigiver til nyere modeller af computere fra Apple. Licenstagers rettigheder i henhold til denne licens omfatter alle de softwareopgraderinger eller -opdateringer leveret af Apple til Apple-softwareproduktet, medmindre opgraderingerne eller opdateringerne indeholder en separat licens, i hvilket fald licenstager erklærer sig indforstået med, at betingelserne i den licens er gældende for sådanne opgraderinger eller opdateringer.

Draft better contracts in just 5 minutes Get the weekly Law Insider newsletter packed with expert videos, webinars, ebooks, and more!