anders.linden

About Anders Linden

CEO at Prover Technology. Joining Prover in 2016, Mr. Lindén brings experiences of managing international software companies to our company.

HLL to become a standard Formal Language

On Dec 4, the first HLL forum organized by Prover was held in Paris. The event brought together the major users of the HLL language. The forum was an exciting opportunity to learn how HLL is used today, and to discuss how HLL can evolve in a controlled way to meet the challenges of tomorrow. [...]

By |2018-12-14T13:19:39+00:00December 14th, 2018|Events|

New Concepts and Competencies needed to meet Future Demand in the Railway Industry

It is clear that there is a trend in the railway industry towards using modern tools and concepts for developing signaling solutions. Most interlocking system projects today are developed with the following characteristics: Errors are found late Late changes are costly Schedules to deliver interlocking software are long and unpredictable There is a need to [...]

By |2018-12-04T13:32:04+00:00December 4th, 2018|Company News, Signaling Solutions, Software Development|

Prover at CBTC World Congress- October 29th – 31st 2018!

We will exhibit at CBTC World Congress! Come to see and discover our market leading solutions for Formal Verification and Signaling Design Automation. We will present Prover Certifier, the first SIL-4 certified sign-off verification tool on the market that allows you to automatically produce complete safety evidence for CENELEC EN50128 SIL 4 certification using Formal [...]

By |2018-11-14T11:34:47+00:00October 18th, 2018|Events|

Prover at Innotrans 2018!

We will exhibit at Innotrans in September. You will find us in Hall 11.2 at booth 209! Come to our booth to see and discover our market leading solutions for Formal Verification and Signaling Design Automation. We will present Prover Certifier, the first SIL-4 certified sign-off verification tool on the market that allows you to [...]

By |2018-07-25T12:12:06+00:00July 25th, 2018|Events|

A summary of the Signaling Design Automation Forum 2018

The 15th of May Prover hosted the first Signaling Design Automation Forum with attendees from all over the world. Our intention was to gather leading signaling management peers from all over the world to discuss the latest evolutions of design automation – software technologies to automate design and verification of railway signaling systems. We wanted [...]

By |2018-06-07T15:39:04+00:00June 7th, 2018|Events|

Embrace the latest evolutions of design automation – SDA Forum 2018

If you are involved in designing and safety assessment of signaling systems, then the Signaling Design Automation Forum 2018 is something for you! Using Design Automation The conference will be focusing on Design Automation and Formal Methods, where leading Infrastructure Managers and suppliers from around the world (such as RATP, NYCT, SL (Stockholm Metro), Siemens [...]

By |2018-04-26T11:14:58+00:00April 26th, 2018|Events, Software Development|

How to build the Business Case for an Interlocking Design Automation investment

Interested in a modern Interlocking Design Automation process? As with all investments you then need a compelling business case to justify the decision to move forward. To build a business case, we compare traditional methods for developing signalling applications with a state of the art process based on formalized specifications and automation tools. Experience shows [...]

By |2018-04-06T10:43:30+00:00April 6th, 2018|Software Development|

Signaling Design Automation Forum on the 15th of May 2018

Involved in Designing and Safety Assessment of Signaling Systems? Then the Signaling Design Automation Forum 2018 is something for you! The Signaling Design Automation Forum is the event to embrace the latest evolutions of design automation – software technologies to automate design and verification for railway signaling systems. The conference will be focusing on Design Automation [...]

By |2018-02-21T13:31:29+00:00February 21st, 2018|Events|

Are ‘Hackatons’ the New Way of producing Innovative Ideas for the Railway Industry?

On the 8th of December, HS2 Ltd and the Transport Systems Catapult (TSC) will be holding a 2 day ‘Hackaton’ in order to share ideas and concepts to expedite delivery of High Speed Two (HS2), one of the largest modern infrastructure projects in the UK. The best ideas will be selected to go through to [...]

By |2017-11-07T09:09:55+00:00November 7th, 2017|Events, Software Development|

Justify Investment in Modern Rail Control Solutions

Software for automating the development of signalling control solutions is critical for fast, cost efficient and safe development and deployment of modern rail control solutions. Business case for rail control solutions To build a business case for software automation for rail control you should compare traditional methods for developing signalling applications with a state of [...]

By |2017-11-02T07:50:05+00:00October 18th, 2017|Signaling Solutions|
Load More Posts