| <?php |
| /******************************************************************************* |
| * Copyright (c) 2015 ALL4TEC. |
| * All rights reserved. This program and the accompanying materials |
| * are made available under the terms of the Eclipse Public License v1.0 |
| * which accompanies this distribution, and is available at |
| * http://www.eclipse.org/legal/epl-v10.html |
| * |
| * Contributors: |
| * Jonathan Dumont (ALL4TEC) - initial API and implementation |
| ******************************************************************************/ |
| ?> |
| <?php |
| # Global variables |
| $pageTitle = "OpenETCS"; |
| $pageKeywords = "Polarsys,ESF,OpenETCS"; |
| $pageAuthor = "Jonathan Dumont"; |
| |
| include("theme/header.php"); |
| include("theme/menu.php"); |
| ?> |
| <div id="body" class="width-started"> |
| <section id="content"> |
| <article class="expanded"> |
| <h3>Issued by the OpenETCS Project</h3> |
| <p> |
| <a href="http://openetcs.org/" target="_blank"><b>OpenETCS</b></a> is a European project ITEA2 that aims at developing an integrated modeling, development, validation and testing framework |
| for leveraging the cost-efficient and reliable implementation of ETCS. The framework provides a holistic tool chain across the whole |
| development process of ETCS software. This tool chain supports the formal specification and verification of the ETCS system requirements, |
| the automatic and ETCS compliant code generation and validation, and the model-based test case generation and execution. |
| </p> |
| <img src="images/news/ice.jpg" class="center" style="margin-bottom:15px;" alt="ICE"> |
| <p> |
| <a href="http://openetcs.org/" target="_blank"><b>OpenETCS</b></a> uses 'Open Standards' on all levels, including hardware and software specification, interface definition, design tools, verification and validation procedures and |
| last but not least embedded control software. By applying those technologies and related business concepts a significant cost cut for the final |
| onboard product is expected down to or even below conventional high performance cab signaling systems (e.g. LZB Linien-Zug-Beeinflussung, |
| as used in Germany, Austria and Spain). The open source concept provides for a neutral and formal method based 'correct' functioning reference |
| device that will help to overcome existing interoperability problems, supporting manufacturers, infrastructure managers and railway undertakings alike, |
| avoiding exhaustive field tests, transferring verification and validation activities from the track site into laboratories, saving scarce resources |
| and finally accelerating the migration phase and therefore supporting the European ERTMS deployment plan. |
| </p> |
| <p> |
| In the context of the <a href="http://openetcs.org/" target="_blank"><b>OpenETCS</b></a> project, <a href="http://www.all4tec.net/" target="_blank"><b>ALL4TEC</b></a> brought its skills on safety and validation to contribute to the demonstration of the SIL4 level |
| of CENELEC standard. The project gave us the opportunity to re-enforce the links between our Model Based Safety Analysis (MBSA) tool Safety Architect |
| and the SysML tool <a href="http://www.eclipse.org/papyrus/" target="_blank"><b>Papyrus</b></a> from the French Research entity <a href="http://www-list.cea.fr" target="_blank"><b>CEA LIST</b></a> (Comissariat à l’Energie Atomique). It was the starting point for the opensourcing |
| of this common project under the name of ESF. |
| </p> |
| </article> |
| </section> |
| |
| <?php |
| include("sidebar.php"); |
| ?> |
| |
| <div class="clear"></div> |
| </div> |
| |
| <?php |
| include("theme/footer.php"); |
| ?> |