• Resources
  • Blog
  • Journalists
  • +44 (0)20 7454 5110
  • Data Privacy
  • Sign Up
  • Send a Release
Cision PR Newswire UK provides press release distribution, targeting, monitoring, and marketing services
  • News
  • Products
    • Overview
    • Content Distribution
    • Multimedia Services
    • Disclosure Services
    • Cision Communications Cloud®
  • Contact
    • General Enquiries
    • Media Enquiries
    • Partnerships
    • Worldwide Offices

Searching for your content...

No results found. Please change your search terms and try again.
  • News in Focus
      • Browse News Releases
      • All Public Company News
      • All Multimedia News


      • View All News Releases
      • Regulatory News
      • D/A/CH Regulatory News
      • UK Regulatory News


      • View All Regulatory News
  • Business & Money
      • Auto & Transportation
      • Aerospace & Defense
      • Air Freight
      • Airlines & Aviation
      • Automotive
      • Maritime & Shipbuilding
      • Railroads & Intermodal Transportation
      • Supply Chain/Logistics
      • Transportation, Trucking & Railroad
      • Travel
      • Trucking & Road Transportation


      • View All Auto & Transportation
      • Business Technology
      • Blockchain
      • Broadcast Tech
      • Computer & Electronics
      • Computer Hardware
      • Computer Software
      • Data Analytics
      • Electronic Commerce
      • Electronic Components
      • Electronic Design Automation
      • Financial Technology
      • High Tech Security
      • Internet Technology
      • Nanotechnology
      • Networks
      • Peripherals
      • Semiconductors


      • View All Business Technology
      • Entertain­ment & Media
      • Advertising
      • Art
      • Books
      • Entertainment
      • Film & Motion Picture
      • Magazines
      • Music
      • Publishing & Information Services
      • Radio & Podcast
      • Television


      • View All Entertain­ment & Media
      • Financial Services & Investing
      • Accounting News & Issues
      • Acquisitions, Mergers & Takeovers
      • Banking & Financial Services
      • Bankruptcy
      • Bond & Stock Ratings
      • Conference Call Announcements
      • Contracts
      • Cryptocurrency
      • Dividends
      • Earnings
      • Earnings Forecasts & Projections
      • Financing Agreements
      • Insurance
      • Investments Opinions
      • Joint Ventures
      • Mutual Funds
      • Private Placement
      • Real Estate
      • Restructuring & Recapitalisation
      • Sales Reports
      • Shareholder Activism
      • Stock Offering
      • Stock Split
      • Venture Capital


      • View All Financial Services & Investing
      • General Business
      • Awards
      • Commercial Real Estate
      • Corporate Expansion
      • Earnings
      • Human Resource & Workforce Management
      • Licensing
      • New Products & Services
      • Obituaries
      • Outsourcing Businesses
      • Overseas Real Estate (non-US)
      • Personnel Announcements
      • Real Estate Transactions
      • Residential Real Estate
      • Small Business Services
      • Socially Responsible Investing
      • Surveys, Polls & Research
      • Trade Show News


      • View All General Business
  • Science & Tech
      • Consumer Technology
      • Artificial Intelligence
      • Blockchain
      • Cloud Computing/Internet of Things
      • Computer Electronics
      • Computer Hardware
      • Computer Software
      • Consumer Electronics
      • Cryptocurrency
      • Data Analytics
      • Electronic Commerce
      • Electronic Gaming
      • Financial Technology
      • Mobile Entertainment
      • Multimedia & Internet
      • Peripherals
      • Social Media
      • STEM (Science, Tech, Engineering, Math)
      • Supply Chain/Logistics
      • Wireless Communications


      • View All Consumer Technology
      • Energy & Natural Resources
      • Alternative Energies
      • Chemical
      • Electrical Utilities
      • Gas
      • General Manufacturing
      • Mining
      • Mining & Metals
      • Oil & Energy
      • Oil & Gas Discoveries
      • Utilities
      • Water Utilities


      • View All Energy & Natural Resources
      • Environ­ment
      • Conservation & Recycling
      • Environmental Issues
      • Environmental Policy
      • Environmental Products & Services
      • Green Technology
      • Natural Disasters


      • View All Environ­ment
      • Heavy Industry & Manufacturing
      • Aerospace & Defence
      • Agriculture
      • Chemical
      • Construction & Building
      • General Manufacturing
      • HVAC (Heating, Ventilation & Air-Conditioning)
      • Machinery
      • Machine Tools, Metalworking & Metallurgy
      • Mining
      • Mining & Metals
      • Paper, Forest Products & Containers
      • Precious Metals
      • Textiles
      • Tobacco


      • View All Heavy Industry & Manufacturing
      • Telecomm­unications
      • Carriers & Services
      • Mobile Entertainment
      • Networks
      • Peripherals
      • Telecommunications Equipment
      • Telecommunications Industry
      • VoIP (Voice over Internet Protocol)
      • Wireless Communications


      • View All Telecomm­unications
  • Lifestyle & Health
      • Consumer Products & Retail
      • Animals & Pets
      • Beers, Wines & Spirits
      • Beverages
      • Bridal Services
      • Cannabis
      • Cosmetics & Personal Care
      • Fashion
      • Food & Beverages
      • Furniture & Furnishings
      • Home Improvement
      • Household, Consumer & Cosmetics
      • Household Products
      • Jewellery
      • Non-Alcoholic Beverages
      • Office Products
      • Organic Food
      • Product Recalls
      • Restaurants
      • Retail
      • Supermarkets
      • Toys


      • View All Consumer Products & Retail
      • Entertain­ment & Media
      • Advertising
      • Art
      • Books
      • Entertainment
      • Film & Motion Picture
      • Magazines
      • Music
      • Publishing & Information Services
      • Radio & Podcast
      • Television


      • View All Entertain­ment & Media
      • Health
      • Biometrics
      • Biotechnology
      • Clinical Trials & Medical Discoveries
      • Dentistry
      • FDA Approval
      • Fitness/Wellness
      • Health Care & Hospitals
      • Health Insurance
      • Infection Control
      • International Medical Approval
      • Medical Equipment
      • Medical Pharmaceuticals
      • Mental Health
      • Pharmaceuticals
      • Supplementary Medicine


      • View All Health
      • Sports
      • General Sports
      • Outdoors, Camping & Hiking
      • Sporting Events
      • Sports Equipment & Accessories


      • View All Sports
      • Travel
      • Amusement Parks & Tourist Attractions
      • Gambling & Casinos
      • Hotels & Resorts
      • Leisure & Tourism
      • Outdoors, Camping & Hiking
      • Passenger Aviation
      • Travel Industry


      • View All Travel
  • Policy & Public Interest
      • Policy & Public Interest
      • Animal Welfare
      • Corporate Social Responsibility
      • Economic News, Trends & Analysis
      • Education
      • Environmental
      • European Government
      • Labour & Union
      • Natural Disasters
      • Not For Profit
      • Public Safety


      • View All Policy & Public Interest
  • People & Culture
      • People & Culture
      • Aboriginal, First Nations & Native American
      • African American
      • Asian American
      • Children
      • Hispanic
      • Lesbian, Gay & Bisexual
      • Men's Interest
      • People with Disabilities
      • Religion
      • Senior Citizens
      • Veterans
      • Women


      • View All People & Culture
  • Overview
  • Content Distribution
  • Multimedia Services
  • Disclosure Services
  • Cision Communications Cloud®
  • General Enquiries
  • Media Enquiries
  • Partnerships
  • Worldwide Offices
  • Cision PR Newswire UK provides press release distribution, targeting, monitoring, and marketing services
  • Send a Release
    • Phone

    • +44 (0)20 7454 5110 from 8 AM - 5:30 PM GMT

    • ALL CONTACT INFO

      Contact Us

      +44 (0)20 7454 5110
      from 8 AM - 5:30 PM GMT

  • Log In
  • Sign Up
  • Resources
  • Blog
  • Journalists
  • GDPR
  • News in Focus
    • Browse News Releases
    • Regulatory News
    • Send a Release
    • Sign Up
    • Log In
    • Resources
    • Blog
    • Journalists
    • RSS
    • GDPR
  • Business & Money
    • Auto & Transportation
    • Business Technology
    • Entertain­ment & Media
    • Financial Services & Investing
    • General Business
    • Send a Release
    • Sign Up
    • Log In
    • Resources
    • Blog
    • Journalists
    • RSS
    • GDPR
  • Science & Tech
    • Consumer Technology
    • Energy & Natural Resources
    • Environ­ment
    • Heavy Industry & Manufacturing
    • Telecomm­unications
    • Send a Release
    • Sign Up
    • Log In
    • Resources
    • Blog
    • Journalists
    • RSS
    • GDPR
  • Lifestyle & Health
    • Consumer Products & Retail
    • Entertain­ment & Media
    • Health
    • Sports
    • Travel
    • Send a Release
    • Sign Up
    • Log In
    • Resources
    • Blog
    • Journalists
    • RSS
    • GDPR
  • Policy & Public Interest
    • Policy & Public Interest
    • Send a Release
    • Sign Up
    • Log In
    • Resources
    • Blog
    • Journalists
    • RSS
    • GDPR
  • People & Culture
    • People & Culture
    • Send a Release
    • Sign Up
    • Log In
    • Resources
    • Blog
    • Journalists
    • RSS
    • GDPR
  • Log In
  • Sign Up
  • Resources
  • Blog
  • Journalists
  • GDPR
  • Overview
  • Content Distribution
  • Multimedia Services
  • Disclosure Services
  • Cision Communications Cloud®
  • Log In
  • Sign Up
  • Resources
  • Blog
  • Journalists
  • GDPR
  • General Enquiries
  • Media Enquiries
  • Partnerships
  • Worldwide Offices
  • Log In
  • Sign Up
  • Resources
  • Blog
  • Journalists
  • GDPR

Infrabel Orders Prover ilock for Validation of Requirements for Level Crossing Systems


News provided by

Prover Technology

17 Sep, 2012, 08:00 BST

Share this article


TOULOUSE, France, September 17, 2012 /PRNewswire/ --

Efficient Requirements Validation with Prover iLock Based on Formal Requirement Specifications in PiSPEC

Prover Technology, a world leader in software technology for Automated Development of Rail Control Software, today announced that Infrabel, the Belgian railway infrastructure manager, has placed an order for using Prover iLock for validation of level crossing control requirements.

The Belgian railway network is one of the busiest in Europe, with more than 1,800 level crossing systems. Infrabel chose Prover iLock in order to validate the requirement specifications for new, computerized level crossing systems. Requirement validation detects specification errors and ambiguities, enabling improved quality of requirements specifications and reducing the risk of delays in delivery of computerized rail control.

As part of the order, Prover Technology will formalize Infrabel's level crossing requirements in the formal specification language PiSPEC, and perform requirements validation using the Prover iLock software tool suite.

Requirements Validation with Prover iLock

Based on design, test and safety requirements defined in the formal specification language PiSPEC, the Prover iLock tool suite offers efficient support for requirements validation based on functional simulation and formal safety verification.

The use of formal verification for safety assessment is required by leading railway infrastructure managers, and highly recommended by standards such as CENELEC EN 50128. The reason: formal verification can establish that a rail control system is safe in all possible situations that can arise, as opposed to traditional and time-consuming methods based on test and review.

About Prover Technology

Prover Technology pioneered the use of formal safety verification in rail control in the 1990s, and today offers complete software solutions for development of rail control systems.

Prover Technology is a privately held Swedish company headquartered in Stockholm, Sweden, with wholly owned subsidiaries in France and the USA. For more information and office locations, visit Prover Technology's web site at http://www.prover.com/.

Prover is a registered trademark, and Prover iLock is a trademark of Prover Technology AB.

Any other trademarks mentioned in this release are the intellectual property of their respective owners.

Contact: Arne Borälv, +46-8-6176800, press@prover.com

SOURCE Prover Technology

Modal title

    Contact PR Newswire

  • +44 (0)20 7454 5110
    from 8 AM - 5:30 PM GMT

    • General Enquiries
    • Media Enquiries
    • Partnerships
    • Worldwide Offices

    Products

  • Content Distribution
  • Multimedia Services
  • Disclosure Services
  • Cision Communications Cloud®

    About

  • About PR Newswire
  • About Cision
  • Partnering Opportunities
  • Careers

    • Asia
    • Brazil
    • Canada
    • Czech
    • Denmark
    • Finland
    • France
    • Germany
    • India
    • Israel
    • Mexico
    • Middle East
    • Netherlands
    • Norway
    • Poland
    • Portugal
    • Russia
    • Slovakia
    • Spain
    • Sweden
    • United States

    My Services

  • All News Releases
  • Customer Portal
  • Resources
  • Blog
  • Journalists

Contact PR Newswire


Products


About


My Services
  • All News Releases
  • Customer Portal
  • Resources
  • Blog
  • Journalists
+44 (0)20 7454 5110
from 8 AM - 5:30 PM GMT
  • Terms of Use
  • Privacy Policy
  • Information Security Policy
  • Site Map
  • RSS
  • Cookie Settings
Copyright © 2021 PR Newswire Europe Limited. All Rights Reserved. A Cision company.