Designing Self-Aware Systems Sample Clauses

Designing Self-Aware Systems. ‌ The “first wheel” representing the design or offline phases comprise requirements engineering, mod- eling and programming and verification and validation. In ASCENS we propose a goal-oriented requirements engineering approach for the identification and modeling of functional and adaptive re- quirements of autonomous systems. The approach is called SOTA, which stands for “state of the affairs”. The self-* properties identified in SOTA are then modeled as cooperating components in the SCEL language providing a seamless transition to implementation in jRESP for example. ASCENS focus also on the mathematical approaches to validate and verify the properties of the autonomic sys- tem. Formal methods are used as well to predict the behaviour of such complex systems. This closes the design cycle providing feedback for checking the requirements identified so far or improving the model or code.
Sample 1
AutoNDA by SimpleDocs

Related to Designing Self-Aware Systems

  • Red Hat Enterprise Linux Desktop Software Subscriptions Software Subscriptions for Red Hat Enterprise Linux Desktops and Workstations are subject to the parameters set forth in Table 6 below. Each Red Hat Enterprise Linux Desktop and Workstation Software Subscription includes one Red Hat Network system entitlement and one Smart Management Module, each to be used solely with a single Red Hat Enterprise Linux Desktop or Workstation System. Production Support for Red Hat Enterprise Linux Desktop subscriptions is limited to web-based support only for your helpdesk support personnel. Red Hat is not obligated to support your end users directly.

  • Available Services Subject to the terms of this agreement, Manager may obtain any of the Available Services from Sprint Spectrum in accordance with the provisions of this Section 2.1. The Available Services offered from time to time and the fees charged for such Available Services will be set forth on the then-current Exhibit 2.1.1 (the "Available Services and Fees Schedule"). If Sprint Spectrum offers any new Available Service, it will deliver a new Exhibit 2.1.1 indicating the new service and the fee for the new service. Manager may select one or more of the categories of Available Services. If Manager selects a particular category of services it must take and pay for all of the services under the category selected; Manager may not select only particular services within that category. If Sprint Spectrum determines to no longer offer an Available Service and the service is not a Selected Service, then Sprint Spectrum may give Manager written notice at any time during the term of this agreement that Sprint Spectrum no longer offers the Available Service.

  • Unbundled Copper Loop – Designed (UCL-D) 2.4.2.1 The UCL-D will be provisioned as a dry copper twisted pair (2- or 4-wire) Loop that is unencumbered by any intervening equipment (e.g., filters, load coils, range extenders, digital loop carrier, or repeaters).

  • Unbundled Copper Loop – Non-Designed (UCL-ND 2.4.3.1 The UCL–ND is provisioned as a dedicated 2-wire metallic transmission facility from BellSouth’s Main Distribution Frame (MDF) to a customer’s premises (including the NID). The UCL-ND will be a “dry copper” facility in that it will not have any intervening equipment such as load coils, repeaters, or digital access main lines (DAMLs), and may have up to 6,000 feet of bridged tap between the End User’s premises and the serving wire center. The UCL-ND typically will be 1300 Ohms resistance and in most cases will not exceed 18,000 feet in length, although the UCL-ND will not have a specific length limitation. For Loops less than 18,000 feet and with less than 1300 Ohms resistance, the Loop will provide a voice grade transmission channel suitable for Loop start signaling and the transport of analog voice grade signals. The UCL-ND will not be designed and will not be provisioned with either a DLR or a test point.

  • Unbundled Copper Sub-Loop (UCSL) is a copper facility of any length provided from the cross-box in the field up to and including the End User’s point of demarcation. If available, this facility will not have any intervening equipment such as load coils between the End User and the cross-box.

  • EPP transform-command RTT Refers to the RTT of the sequence of packets that includes the sending of a transform command plus the reception of the EPP response for only one EPP transform command. It does not include packets needed for the start or close of either the EPP or the TCP session. EPP transform commands are those described in section 2.9.3 of EPP RFC 5730. If the RTT is 5 times or more the corresponding SLR, the RTT will be considered undefined.

  • Time Off for Association Business 21.01 Upon written request by the Association to the permanent head, and with the approval in writing of the permanent head, leave with pay shall be awarded to an employee as follows:

  • Time Off for Union Business Leave of absence without pay and without loss of seniority will be granted:

  • Loop Provisioning Involving Integrated Digital Loop Carriers 2.6.1 Where InterGlobe has requested an Unbundled Loop and BellSouth uses IDLC systems to provide the local service to the End User and BellSouth has a suitable alternate facility available, BellSouth will make such alternative facilities available to InterGlobe. If a suitable alternative facility is not available, then to the extent it is technically feasible, BellSouth will implement one of the following alternative arrangements for InterGlobe (e.g. hairpinning):

  • Loop Provisioning Involving IDLC 2.16.1 Where TWTC has requested an Unbundled Loop and AT&T uses IDLC systems to provide the local service to the customer and AT&T has a suitable alternate facility available, AT&T will make such alternative facilities available to TWTC. If a suitable alternative facility is not available, then to the extent it is technically feasible, AT&T will implement one of the following alternative arrangements for TWTC (e.g., hairpinning):

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