EN 50128 Certified Rail Software Solutions
Esterel Technologies, worldwide leader of model-based design and verification tools for critical embedded systems, provides Esterel SCADE™. This unique solution reduces rail transportation control software development costs while achieving the highest levels of safety, including EN 50128 at SIL 3/4.
Esterel Technologies is an ISO 9001:2000 certified company.
Aircraft manufacturers and sub-contractors have been using Esterel SCADE technology for more than 15 years, and ground transportation constructors are now adopting this technology. SCADE generated production code for the Airbus A380 and A340-600, the Boeing 787, Eurocopter helicopters, the Falcon 7X business jet, the Peugeot 407 car, Hong-Kong subway, more than 20 power plants and many more.
In the rail domain, Esterel SCADE is already used in particular by:
Ansaldo Signal relies on Esterel SCADE for large production projects to develop complex systems such as interlocking and train control. Esterel SCADE is used to specify the base signalling functions and to model the environment in compliance with the project principle, rules and the most stringent certification constraints.
Ansaldo have said “SCADE is particularly relevant for our activities due to its strict modularity; a function once designed will always behave the same regardless of the context of usage.”
Esterel SCADE development platform can benefit to applications with significant rail transportation safety implications such as on-board software, automatic train operations, power management, interlocking and train control systems, signalling, ground stations and other train and operations control applications.
Today, most railway transportation systems are automated and software controlled. New methods and tools are becoming necessary in this increasingly aggressive market where pressure on cost is ever-increasing.
Esterel SCADE provides a complete set of tools for verification and validation, and automatically generates a certified set of code ready to be integrated in the system. This enables to avoid expensive and tedious tests and reviews of the generated code, which otherwise often consumes more than 50% of the development budgets.
Esterel SCADE is the model-based development environment dedicated to safety-critical embedded software:
Esterel SCADE enables to develop software, including variants, in a well-defined, efficient, reproducible and cost-effective manner.
Esterel SCADE reduces development and verification costs while achieving safety and integrity:
Esterel SCADE-generated code:
Esterel Technologies, the leading worldwide provider of model-based development solutions for critical systems, and Altran, the European leader in innovation consulting and high technology, today announced a strategic global partnership. The partnership will offer a comprehensive critical systems
At the second French/German Embedded Systems Symposium held at Bercy in Paris, France, it was announced that Microsoft, Esterel Technologies and Geensys have taken a leadership role in helping advance the development of technologies and methods in the embedded industries of France and Germany. In
Esterel Technologies, the leading worldwide provider of model-based solutions for the development of critical embedded software, and Wind River, the global leader in device software optimisation, will host a webcast on Wednesday 17 June to explore the problems developers face when confronted with
Esterel Technologies, the leading worldwide provider of model-based development solutions for mission and safety-critical systems, and Aitech Defense Systems, the largest independent supplier of COTS rugged computer products for harsh environments, have announced their formal partnership to offer
The interoperable embedded systems tool chain for enhanced rapid design, prototyping and code generation (INTERESTED) project, a new initiative targeting complex embedded systems and software development and funded under the European Union's seventh framework programme, was announced today.
Esterel Technologies has announced the availability of Esterel SCADE® 6.1, further bolstering its position in model-based development for critical embedded applications. SCADE 6.1 includes significant productivity enhancements to model-based design entry, new verification technologies, and e
Esterel Technologies, the leading worldwide provider of model-based solutions for the development of critical embedded software, will host a webinar on Wednesday, October 29 to explore the problems developers face when confronted with creating safety-critical applications under EN 50128 up to SIL
Certification validates latest SCADE Suite™ Code Generation Technology for critical software application generation in rail, industrial, and automotive applications. Esterel Technologies, an ISO 9001:2000 certified company, is proud to announce that the latest release of the proven KCG™
Elancourt, France, and Boston, Massachusetts - Esterel Technologies is the first and only provider of model-based development solutions to achieve ISO 9001:2000 certification for the design and sale of mission and safety-critical software tools and services. This certification, g
Esterel Technologies SCADE Suite Timing Verifier™ and SCADE Suite Stack Verifier™, powered by AbsInt's aiT and StackAnalyzer tools, provide worst case execution timing (WCET) and stack usage analysis at the SCADE Suite™ model level. Esterel Technologies, the leading worldwide provider o
Esterel Technologies, an ISO 9001:2000 certified company, is proud to announce that the latest release of the proven KCG™ Code Generator has been certified by TÜV SÜD Automotive GmbH up to safety integrity level (SIL) 3/4 under EN 50128 and SIL 3 under IEC 61508. This ce
Esterel Technologies has announced the immediate availability of Esterel SCADE Display™ 6.0, the first design and development environment for mission and safety-critical embedded display applications qualified under DO-178B and providing native support for OpenGL® SC. Develope
Nürnberg, Germany – Esterel Technologies, the leading worldwide provider of model-based solutions for the development of mission and safety-critical systems, has expanded its open and flexible SCADE Suite development environment to include integration with the Eclipse™ platform
Esterel Technologies, the leading worldwide provider of model-based solutions for the development of mission and safety-critical systems has integrated its technology with the leading worldwide supplier of measurement and rapid prototyping solutions for embedded applications, National Instruments
SCADE 6.0 Unified Modelling Style combines arrayed data flow and state machine design capabilities in a single, fully integrated environment. SCADE 6.0 provides the breakthrough capability of a unified modelling, verification and certified code generation capability, called the U
Twins1
679 Av Julien Lefèbvre
06270 Villeneuve Loubet
Other
France
Otto Hahn Str. 13B
D-85521 Ottobrünn - Riemerling, München
Other
Germany
498, GuoShouJing Road
201203 Shanghai
Other
China
Suite 208
100 View Street
CA 94041 Mountain View
Other
United States of America
PO Box 7995
Berkshire
Crowthorne
RG45 9AA
Other
United Kingdom
8, rue Blaise Pascal
78990 Elancourt
Other
France