LFTS and cruise control Sample Clauses

LFTS and cruise control. The progress toward this way of layering specifications has been made by experimenting with the transportation and automotive case studies of the project. For example, the one presented in Chapter 6 represents a good example to show the power of the LFTS principle when applied to realistic systems. The cruise control is a system that automatically controls the rate of motion of a motor vehicle: the driver sets the speed and the system will take over the throttle of the car to maintain the same speed. In the basic version, the driver must bring the car up to speed manually and use a button to set the cruise control. At that point, the current speed becomes the desired speed. The car will maintain the desired speed but tapping the brake or clutch pedal will disable (standby) the system (the vehicle would otherwise accelerate against braking to maintain the speed). The throttle can instead be used to accelerate but once released the car will then slow down reaching the previously set speed. One of the requirements of the cruise control is to be switched off if an error in engine speed acquisition is detected. This has to be taken into account in the specification. When the engine power is not adjusted properly, the absolute difference between the actual speed and the desired speed will not be decreased. A monolithic specification gathering together these aspects and the more ordinary ones would of course result in something complete but certainly not easily readable and well organised. Pragmatically, following the LFTS principle, we have to organize the specification in two layers7: normal/abnormal (i.e. speed acquisition fails) adding a weaker layer of conditions for the second one. If speed acquisition fails, the engine must not be forced to ask for more power when, for example, the car speed is actually decreasing (maybe an accident has happened or the car is just out of fuel). Switching the engine off is a way to avoid expensive engine damage. 7An Event-B model of this case study is under development as presented in Chapter 6, anyway no layered model has been produced so far. Ideally the process described in Section 7.5.1 could be applied.
Sample 1
AutoNDA by SimpleDocs

Related to LFTS and cruise control

  • Input Control The possibility to subsequently verify and determine whether, and by whom, personal data was entered into, changed or removed from data processing systems must be ensured. • Definition of entry authorisation • Logging of logins

  • Local Control Center, Metering and Telemetry The NTO shall operate, pursuant to ISO Tariffs, ISO Procedures, Reliability Rules and all other applicable reliability rules, standards and criteria on a twenty-four (24) hour basis, a suitable local control center(s) with all equipment and facilities reasonably required for the ISO to exercise ISO Operational Control over NTO Transmission Facilities Under ISO Operational Control, and for the NTO to fulfill its responsibilities under this Agreement. Operation of the NYS Power System is a cooperative effort coordinated by the ISO control center in conjunction with local control centers and will require the exchange of all reasonably necessary information. The NTO shall provide the ISO with Supervisory Control and Data Acquisition (“SCADA”) information on facilities listed in Appendices A-1 and A-2 herein as well as on generation and merchant transmission resources interconnected to the NTO’s transmission facilities pursuant to the ISO OATT. The NTO shall provide metering data for its transmission facilities to the ISO, unless other parties are authorized by the appropriate regulatory authority to provide metering data. The NTO shall collect and submit to the ISO billing quality metering data and any other information for its transmission facilities required by the ISO for billing purposes. The NTO shall provide to the ISO the telemetry and other operating data from generation and merchant transmission resources interconnected to its transmission facilities that the ISO requires for the operation of the NYS Power System. The NTO will establish and maintain a strict code of conduct to prevent such information from reaching any unauthorized person or entity.

  • International Olympic Committee; International Red Cross and Red Crescent Movement As instructed from time to time by ICANN, the names (including their IDN variants, where applicable) relating to the International Olympic Committee, International Red Cross and Red Crescent Movement listed at xxxx://xxx.xxxxx.xxx/en/resources/registries/reserved shall be withheld from registration or allocated to Registry Operator at the second level within the TLD. Additional International Olympic Committee, International Red Cross and Red Crescent Movement names (including their IDN variants) may be added to the list upon ten (10) calendar days notice from ICANN to Registry Operator. Such names may not be activated in the DNS, and may not be released for registration to any person or entity other than Registry Operator. Upon conclusion of Registry Operator’s designation as operator of the registry for the TLD, all such names withheld from registration or allocated to Registry Operator shall be transferred as specified by ICANN. Registry Operator may self-­‐allocate and renew such names without use of an ICANN accredited registrar, which will not be considered Transactions for purposes of Section 6.1 of the Agreement.

  • Access Toll Connecting Trunk Group Architecture 9.2.1 If CBB chooses to subtend a Verizon access Tandem, CBB’s NPA/NXX must be assigned by CBB to subtend the same Verizon access Tandem that a Verizon NPA/NXX serving the same Rate Center Area subtends as identified in the LERG.

  • Erosion and Sediment Control The Contractor shall install and maintain erosion and sediment control devices to prevent adjacent streets, storm drains and property from accumulations of soil, sediment, or dust which result from his work. Devices installed to control sediment and prevent erosion shall comply with the requirements of the Georgia Tech Project Superintendent. The Contractor is responsible for monitoring downstream conditions throughout the construction period and clearing any debris, sediment, and dust caused by the progress of the Work. The Contractor shall inspect, maintain, and clear erosion and sediment control devices at least weekly unless otherwise directed by the Georgia Institute of Technology Construction Manager. At the conclusion of the Work, the Contractor shall remove all installed devices and restoring the site to the satisfaction of the Georgia Tech Construction Manager.

  • Supervisory Control and Data Acquisition (SCADA) Capability The wind plant shall provide SCADA capability to transmit data and receive instructions from the ISO and/or the Connecting Transmission Owner for the Transmission District to which the wind generating plant will be interconnected, as applicable, to protect system reliability. The Connecting Transmission Owner for the Transmission District to which the wind generating plant will be interconnected and the wind plant Developer shall determine what SCADA information is essential for the proposed wind plant, taking into account the size of the plant and its characteristics, location, and importance in maintaining generation resource adequacy and transmission system reliability in its area.

  • Commingling of Resold Services with Unbundled Network Elements and Combinations of Unbundled Network Elements 6.7.1 To the extent it is Technically Feasible and pursuant to the terms of Section 9.1, CLEC may Commingle Telecommunications Services purchased on a resale basis with an Unbundled Network Element or combination of Unbundled Network Elements.

  • Procurement of Goods and Services (a) If the HSP is subject to the procurement provisions of the BPSAA, the HSP will abide by all directives and guidelines issued by the Management Board of Cabinet that are applicable to the HSP pursuant to the BPSAA.

  • Data Input Control It will be possible to retrospectively examine and establish whether and by whom Personal Data have been entered, modified or removed from SAP data processing systems. Measures: • SAP only allows authorized personnel to access Personal Data as required in the course of their duty. • SAP has implemented a logging system for input, modification and deletion, or blocking of Personal Data by SAP or its subprocessors within the Cloud Service to the extent technically possible.

  • Foreign-Owned Companies in Connection with Critical Infrastructure If Texas Government Code, Section 2274.0102(a)(1) (relating to prohibition on contracts with certain foreign-owned companies in connection with critical infrastructure) is applicable to this Contract, pursuant to Government Code Section 2274.0102, Contractor certifies that neither it nor its parent company, nor any affiliate of Contractor or its parent company, is: (1) majority owned or controlled by citizens or governmental entities of China, Iran, North Korea, Russia, or any other country designated by the Governor under Government Code Section 2274.0103, or (2) headquartered in any of those countries.

Time is Money Join Law Insider Premium to draft better contracts faster.