TMCnet News
Free Booklet Shows How AdaCore's Technologies Can Help Railway Software Developers Meet EN 50128 ObjectivesAdaCore today announced the publication of AdaCore Technologies for CENELEC EN 50128:2011. Authored by AdaCore expert Quentin Ochem and CERTIFIER safety assessor Jean-Louis Boulanger, this booklet summarizes the EN 50128 railway software standard and explains how the Ada programming language and AdaCore's products can be used to meet its requirements throughout the software life cycle. This Smart News Release features multimedia. View the full release here: http://www.businesswire.com/news/home/20160628005045/en/ Figure 1: Contribution of AdaCore Tools to the "V" Cycle (Graphic: Business Wire) The new booklet presents the following technologies in the context of EN 50128:
The booklet has the following contents:
"Certification requirements are getting more and more complex," said Quentin Ochem, Lead of Business Development and Technical Account Management at AdaCore. "In order to stay competitive, it is crucial yet difficult for railway system developers to fully understand how and where software tools can help. AdaCore's new booklet answers this need and provides a clear mapping between technology capabilities and railway safety requirements." AdaCore products have been used in a variety of safety-critical railway systems and, as explained in the booklet, various tools have been qualified as T2 or T3 tools, and several run-time libraries have been certified at SIL-3 / SIL-4 levels, under EN 50128. Availability The AdaCore Technologies for CENELEC EN 50128:2011 booklet is available now, at no cost. To obtain a copy please contact [email protected]; it is also available for download from http://adacore.com/en-50128. About AdaCore Founded in 1994, AdaCore supplies software development and verification tools for mission-critical, safety-critical, and security-critical systems. Four flagship products highlight the company's offerings:
Over the years customers have used AdaCore products to field and maintain a wide range of critical applications in domains such as railway systems, space systems, commercial avionics, military systems, air traffic management/control, medical devices, and financial services. AdaCore has an extensive and growing world-wide customer base; see www.adacore.com/customers/ for further information. AdaCore products are open source and come with expert on-line support provided by the developers themselves. The company has North American headquarters in New York and European headquarters in Paris. www.adacore.com View source version on businesswire.com: http://www.businesswire.com/news/home/20160628005045/en/ |