Railway Data Validator Sample Clauses

Railway Data Validator. In the first experiments, ProB was used instead of Atelier B, on the same IVP (Invariant Validation Project), with great success. But the creation of IVP was still problematic, with few atomizations. Each IVP is an encoding of a specific wayside configuration data in B; this is required in order to validate the configuration data against the formal properties in the generic B project. The goal was to create a tool that could automatically generate the B projects (containing assertions machines), run ProB on created B projects, and collect the result in a synthesis report. In addition, this tool should not work only on ZC (Zone Controller) data, but also on CC (Xxxxxxx Controller) data which were not formally validated before the use of ProB. Indeed, in the CC software development, the topology data are contained in textfiles and loaded “on the fly” by the CC software component when needed. Therefore, in order to enable the CC data validation, the macros in definition files are derived from topology text files instead of Ada programs. Such macros are then merged with variables defined in basic invariant machines to assertion machines for the segment in question. RDV is a new tool realized by Siemens. Via a graphical interface, RDV provides following services: IVP Generation: this function generates an IVP for a sub-section in case of ZC or a segment in case of CC. The generated IVP is almost ready to be used by ProB or Atelier B. Indeed, we still need some manual modifications related to properties of non-function constants, however, in comparison with the former tool, it reduces significantly manual modifications on generated B machines. In addition, with the file selection function based on regular expression, RDV enables the generation of a subset of assertions machines (i.e., only machines with modifications). Moreover, the automation of CC IVP creation is a great help for safety engineers as there are about several hundreds IVP to be created (one project per segment). ProB Launch: RDV enables users to parameterize ProB before launching it. ProB is called on each assertion machine in order to analyse the assertions contained in each machine. 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 ...
AutoNDA by SimpleDocs

Related to Railway Data Validator

  • STATEWIDE CONTRACT MANAGEMENT SYSTEM If the maximum amount payable to Contractor under this Contract is $100,000 or greater, either on the Effective Date or at any time thereafter, this section shall apply. Contractor agrees to be governed by and comply with the provisions of §§00-000-000, 00-000-000, 00-000-000, and 00- 000-000, C.R.S. regarding the monitoring of vendor performance and the reporting of contract information in the State’s contract management system (“Contract Management System” or “CMS”). Contractor’s performance shall be subject to evaluation and review in accordance with the terms and conditions of this Contract, Colorado statutes governing CMS, and State Fiscal Rules and State Controller policies.

  • Mail Order Catalog Warnings In the event that, the Settling Entity prints new catalogs and sells units of the Products via mail order through such catalogs to California consumers or through its customers, the Settling Entity shall provide a warning for each unit of such Product both on the label in accordance with subsection 2.4 above, and in the catalog in a manner that clearly associates the warning with the specific Product being purchased. Any warning provided in a mail order catalog shall be in the same type size or larger than other consumer information conveyed for such Product within the catalog and shall be located on the same display page of the item. The catalog warning may use the Short-Form Warning content described in subsection 2.3(b) if the language provided on the Product label also uses the Short-Form Warning.

  • Authorized User Overview and Mini-Bid Process Project Based IT Consulting Services Contracts enable Authorized Users to use a competitive Mini-bid Process to acquire Services on an as-needed basis, for qualified IT Projects. Project Based IT Consulting Services may include, but will not be limited to projects requiring: analysis, data classification, design, development, testing, quality assurance, security and associated training for Information Technology based applications. See section 1.3 Out of Scope Work for a listing of projects expressly excluded from the scope of this Contract. An Authorized User Agreement for Project Based IT Consulting Services will be governed first by the terms and conditions specified in the OGS Centralized Contract and second by terms and conditions added to the Authorized User Statement of Work. Additional terms and conditions shall not conflict with or modify the terms and conditions of the OGS Centralized Contract. NYS Executive Agencies must adhere to all internal processes and approvals including, as required, approval from NYS Office of Information Technology Services. Other Authorized Users must adhere to their own internal processes and approvals. In accordance with Appendix B, section 28, Modification of Contract Terms, an Authorized User may add additional required terms and conditions to this Mini-Bid and resultant Authorized User Agreement only if such terms and conditions (1) are more favorable to the Authorized User and (2) do not conflict with or supersede the OGS Centralized Contract terms and conditions. Examples of additional terms and conditions include: • Expedited delivery timeframe; • Additional incentives, such as discount for expedited payment/Procurement Card use; and • Any additional requirements imposed by the funding source or Federal law.

  • Telemedicine Services This plan covers clinically appropriate telemedicine services when the service is provided via remote access through an on-line service or other interactive audio and video telecommunications system in accordance with R.I. General Law § 27-81-1. Clinically appropriate telemedicine services may be obtained from a network provider, and from our designated telemedicine service provider. When you seek telemedicine services from our designated telemedicine service provider, the amount you pay is listed in the Summary of Medical Benefits. When you receive a covered healthcare service from a network provider via remote access, the amount you pay depends on the covered healthcare service you receive, as indicated in the Summary of Medical Benefits. For information about telemedicine services, our designated telemedicine service provider, and how to access telemedicine services, please visit our website or contact our Customer Service Department.

  • WASHINGTON’S ELECTRONIC BUSINESS SOLUTION (WEBS). Contractor represents and warrants that it is registered in Washington’s Electronic Business Solution (WEBS), Washington’s contract registration system and that, all of its information therein is current and accurate and that throughout the term of this Master Contract, Contractor shall maintain an accurate profile in WEBS.

  • City’s Contract Manager The City’s contract manager for this Approved Service Order is: Name: Phone No.: Department: E-mail: Address:

  • Transmission System Operation The NTO shall be responsible for ensuring that all actions related to the operation, maintenance and modification of its facilities that are designated as NTO Transmission Facilities Under ISO Operational Control and NTO Transmission Facilities Requiring ISO Notification are performed in accordance with the terms of this Agreement, all Reliability Rules and all other applicable reliability rules, standards and criteria, all operating instructions, ISO Tariffs, and ISO Procedures.

  • Interconnection Customer Provided Services The services provided by Interconnection Customer under this LGIA are set forth in Article 9.6 and Article 13.5.1. Interconnection Customer shall be paid for such services in accordance with Article 11.6.

  • Interconnection Customer Authority Consistent with Good Utility Practice, this LGIA, and the CAISO Tariff, the Interconnection Customer may take actions or inactions with regard to the Large Generating Facility or the Interconnection Customer’s Interconnection Facilities during an Emergency Condition in order to (i) preserve public health and safety, (ii) preserve the reliability of the Large Generating Facility or the Interconnection Customer’s Interconnection Facilities,

  • Infrastructure Vulnerability Scanning Supplier will scan its internal environments (e.g., servers, network devices, etc.) related to Deliverables monthly and external environments related to Deliverables weekly. Supplier will have a defined process to address any findings but will ensure that any high-risk vulnerabilities are addressed within 30 days.

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