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.

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+01: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+01: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+01: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+01: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+01: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+01: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+01:00October 18th, 2017|Signaling Solutions|

Formal Methods for Railway Interlocking

In the early days of railway history there were no interlocking systems. It was considered enough to have personnel at the train stations manually observing trains and operating signals. The need for automatic signalling eventually became evident: human beings tend to make mistakes, which can lead to serious accidents, and the capacity of railroads was [...]

By |2017-10-13T12:16:04+01:00October 13th, 2017|Formal Methods, Signaling Solutions|

A New Way of Thinking for the Railway Industry

There is a need for a modern approach if infrastructure managers are going to keep up with the future demand. Capacity must increase, preferably fast and cost efficient, and be delivered with a high service level to meet the demand of the future traveler. In the article Is ‘outside-the-box’ thinking enough to implement new rail [...]

By |2017-10-05T13:10:42+01:00October 3rd, 2017|Signaling Solutions|

When the Future is tied to the Railway Industry

Caltrans (The California Department of Transportation) recently released a research report that details the impact of the railway industry on the states economy. The report is an early research product supporting the 2018 California State Rail Plan and provides an overview of opportunities for how railway can address the states needs and challenges in the [...]

By |2017-09-21T10:39:08+01:00September 11th, 2017|Signaling Solutions|
Load More Posts