Realised deployments Sample Clauses

Realised deployments. In the DEPLOY project context, for the first time, Siemens tried to define a process using Event- B in modelling Transportation Systems. As Siemens has considerable experience of applying formal methods to software components of railway systems, for DEPLOY the challenge is to raise this to the level of overall systems in order to address system safety. Siemens has been using B method for more than 15 years, and a considerable investment has been made in tools and methods. In particular, an automatic refinement tool (Event-B) has been developed to allow the (almost) automatic production of the concrete B model from the abstract B model. It is therefore important that the use of Event-B at the system level does not impose new investments at the software level. For this purpose, Siemens defined a process including Event-B for the Transportation Systems development. This process was applied to carry-out minipilot and pilot prototypes of the CBTC “manage operating modes” function. By developing minipilot and pilot prototypes, it appeared quite quickly that probabilities had to be added in the model. An experiment has been performed on the minipilot to add probabilities, with success. The realisation of minipilot and pilot gave us a confidence that a large scale Event-B development is feasible with the proposed process. Another achievement is related to the integration of ProB in the data validation of CBTC controller software component which is still problematic for every deployment of CBTC systems on site. The old process based on Atelier B revealed several drawbacks, in particular with huge data properties. The motivation is therefore to automate the proof on huge data properties with alternative technologies. Siemens was interested in ProB because this tool provides services to deal with B properties in order to animate and model check B models. The success story with ProB improves significantly the data validation process at Siemens. It does not require B experts to carry out data validation. Indeed, the B experts are required only in case of problem, whereas in the former process, B experts were required in any case, for long and fastidious tasks. In addition, using ProB significantly reduces the time checking data properties: from 2 or 3 days with Atelier B to 2 or 3 hours per project.
Sample 1
AutoNDA by SimpleDocs

Related to Realised deployments

  • Redeployment Employees may be redeployed to a new job at the same or lower salary in the same or new location.

  • Redeployment and Redundancy 2.14.1 The parties acknowledge that the Public Xxxxxx Xxxxxxxxxx Xxx 0000 (PSMA) and the Public Sector Management (Redeployment and Redundancy) Regulations 2014 (Regulations) provide the legislative framework for redeployment and redundancy for all Employees covered by this Agreement. If the provisions of this Agreement and the Regulations are inconsistent, the provision of the Regulations shall prevail.

  • Military Deployment Deployment or other required relocation as an active member of the U.S. Armed Services to a location not within the geographic limits of Orange County, Florida and/or any county adjacent to Orange County, Florida. The Student must provide activation, deployment, travel, or assignment orders to UCF DHRL. Military deployment or other required relocation terminates this agreement for any semesters commencing after the deployment date, and UCF DHRL will refund a portion of the rent for the semester the Student deploys, based upon the Student’s move out date.

  • Catastrophic Leave The County will administer a Catastrophic Leave procedure designed to permit individual donations of annual leave, vacation, healthcare leave (8 hours maximum per fiscal year), compensatory and/or PIP leave time to an employee who is required to be on an extended unpaid leave due to a catastrophic medical condition or other serious circumstances.

  • Happen After We Receive Your Letter When we receive your letter, we must do two things:

  • Catastrophic Leave Bank The City agrees to establish a Catastrophic Leave Bank to assist employees who have exhausted accrued leave time due to a serious or catastrophic illness or injury. The Catastrophic Leave Bank (CLB) will allow the bargaining unit employees to donate time to affected employees within and outside the unit, so that he/she can remain in a paid status for a longer period of time, thus partially ameliorating the financial impact of the illness, injury or condition. This donated time will be placed in a CLB and drawn down from the CLB by the eligible employee. Eligibility To be eligible for this benefit, the receiving employee must: 1) Be a regular full time employee, 2) Have sustained or have an immediate family member who has sustained a life threatening or debilitating illness, injury or condition which may require confirmation by a physician, 3) Have exhausted all accumulated paid leave including vacation, holiday, sick leave, and/or compensatory time off, 4) Be unable to return to work for at least 30 days or in the case of the condition affecting the immediate family member, that member must be in need of prolonged and significant personal care; and 5) Conformed with the requirements of the Family Medical Leave Act and/or Worker's Compensation.

  • Catastrophic Leave Program Leave credits, as defined below, may be transferred from one or more employees to another employee, on an hour-for-hour basis, in accordance with departmental policies upon the request of both the receiving employee and the transferring employee and upon approval of the employee's appointing authority, under the following conditions:

  • CLEC OUTAGE For a problem limited to one CLEC (or a building with multiple CLECs), BellSouth has several options available for restoring service quickly. For those CLECs that have agreements with other CLECs, BellSouth can immediately start directing traffic to a provisional CLEC for completion. This alternative is dependent upon BellSouth having concurrence from the affected CLECs. Whether or not the affected CLECs have requested a traffic transfer to another CLEC will not impact BellSouth's resolve to re-establish traffic to the original destination as quickly as possible.

  • Deployment (a) In filling a position vacancy at a location NAV CANADA may proceed by the transfer of an employee at the same level.

  • Rest Periods and Meal Breaks (a) All employees shall have two (2) fifteen (15) minute rest periods in each work period in excess of six (6) hours, one (1) rest period to be granted before and one (1) after the meal period, provided the staff to child ratio can be maintained. It is understood that meal breaks and rest periods may be combined subject to operational requirements.

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