Home Add to Favorite Contact Submit  
           28 March, 2024


    
Category:  Press » Software

 

ARM and Esterel to Deliver Software Development Tools for Safety-Critical Systems

Popularity:
         Views: 1765
2007-12-04 03:16:41     
ARM Ltd

ARM (LSE:ARM); (Nasdaq:ARMHY) and Esterel Technologies, a leader of model-based design and verification tools for critical embedded systems, today announced their collaboration on a toolchain for safety-critical systems requiring IEC 61508 certification. Under the agreement, work has been done to ensure that Esterel SCADE Suite and ARM(R) RealView(R) Compilation Tools can be combined to provide a seamless software development flow, from modelling and code generation to compiling and debugging, for safety-critical systems in automotive, transportation and industrial control.

The SCADE Suite KCG has been certified for IEC 61508 at SIL3 level, the international standard covering functional safety of electrically-based, safety-related systems. The SCADE Suite automatically generates code that is compliant with IEC 61508, as well as the Motor Industry Software Reliability Association (MISRA) rules for software development in the C programming language. By using SCADE Suite together with ARM RealView Compilation Tools, an integral part of the RealView Development Suite and the RealView Microcontroller Development Kit, automotive system design engineers will be able to significantly reduce the time it takes to develop software, remove errors, and optimize the speed, memory and code size for ARM Powered(R) embedded systems based on the Cortex(TM)-M3 and Cortex-R4 processors.

"Safety always comes first in the automotive industry," said Eric Bantegnie, president and CEO, Esterel Technologies. "SCADE Suite is a proven solution for generating and verifying IEC 61508-compliant code for safety-critical embedded systems. Through extensive testing, we have also verified that SCADE Suite and ARM RealView Compilation Tools together can vastly simplify the process of compiling and debugging code, and significantly accelerate our customers' time-to-market. This evidence is provided within the SCADE Suite Compiler Verification Kit (CVK)."

"From processors to system design tools, ARM is committed to helping our Partners build the most reliable, efficient embedded systems possible," said John Cornish, vice president, Marketing, System Design Division, ARM. "Together with Esterel, we are providing a consistent environment for the development of safety-relevant software, using SCADE Suite for simulation and code generation along with RealView Compilation Tools for embedded systems based on the ARM Cortex-M3 and Cortex-R4 processor platforms."

The integrated software development flow from Esterel and ARM will complement the enhanced safety features of the ARM Cortex-M3 and Cortex-R4 processors. The Cortex-R4 processor in particular has been designed specifically for fault-tolerant automotive applications, featuring safety-critical features such as Error-Correction Coding (ECC) technology and a Memory Protection Unit (MPU).

About ARM

ARM designs the technology that lies at the heart of advanced digital products, from wireless, networking and consumer entertainment solutions to imaging, automotive, security and storage devices. ARM's comprehensive product offering includes 16/32-bit RISC microprocessors, data engines, graphics processors, digital libraries, embedded memories, peripherals, software and development tools, as well as analog functions and high-speed connectivity products. Combined with the company's broad Partner community, they provide a total system solution that offers a fast, reliable path to market for leading electronics companies. More information on ARM is available at http://www.arm.com.

About Esterel

Esterel Technologies is the worldwide leader of model-based design and verification tools for critical embedded systems.

SCADE Suite (http://www.esterel-technologies.com/products/scade-suite/) (TM) is the market leading, model-based development environment dedicated to safety-critical embedded software:

DO-178B qualified up to level A for Military and Aerospace Industries

IEC 61508 certified at SIL level 3 by TUV for Automotive, Heavy Equipment, and Energy

EN 50128 certified at SIL level 4 by TUV for Rail Transportation

SCADE Display (http://www.esterel-technologies.com/products/scade-display/)(TM) is the leading edge embedded graphics design environment dedicated to safety-critical display systems, DO-178B qualified up to level A for Military and Aerospace Industries.

SCADE Suite and SCADE Display combined in the SCADE Certified Software Factory form the only integrated and industrialised tool suite spanning algorithm, logic and displays design, merging formal verification and certified code generation.

Esterel Studio (http://www.esterel-technologies.com/products/esterel-studio/)(TM) is the market leading, front-end design and verification suite for control-intensive hardware IP. Esterel Studio(TM) delivers the full benefits of ESL synthesis with automated RTL/C/SystemC code production from a single and formally verified Esterel Studio IP executable specification.

Esterel Technologies is a privately held company with headquarters in Elancourt, France and Mountain View, California, USA, and with direct sales offices in Germany, the United Kingdom, and China.

For additional information, visit the Esterel Technologies website at http://www.esterel-technologies.com. and http://www-esterel-eda.com.

ARM, RealView and ARM Powered are registered trademarks of ARM Limited. Cortex is a trademark of ARM Limited. All other brands or product names are the property of their respective holders. "ARM" is used to represent ARM Holdings plc; its operating company ARM Limited; and the regional subsidiaries: ARM, Inc.; ARM KK; ARM Korea Ltd.; ARM Taiwan Limited; ARM France SAS; ARM Consulting (Shanghai) Co. Ltd.; ARM Belgium N.V.; AXYS Design Automation Inc.; ARM Germany GmbH; ARM Embedded Technologies Pvt. Ltd.; and ARM Norway, AS.

Specialized in: Do-178b - Do178 - Do178b - Rtca Do-178b Qualification - Do178 Code Generator - Iec61508 Certified - Safety Critical Embedded Software - Correct By Construction - Unambiguous Specifications - Automated Implementation - Formal Methods - Code Generation
URL: http://www.esterel-technologies.com
Print press release      Bookmark this page
Related Press releases 
IDAutomation.com, Inc. announces an update to the GS1 Databar ASP Barcode Component for IIS. (Popularity: ): July 18, 2018 (Tampa, FL.) IDAutomation.com, Inc. announces an update to the IDAutomation GS1 DataBar ASP Barcode Component for IIS, which easily adds GS1 DataBar barcode generation capability to webpages hosted on Microsoft IIS (Internet Information Server) through ASP (Active Server Pages). This server-side component creates GIF or JPG images in any application that can display a dynamic URL and is compatible with all web browsers. No temporary files are ...
Powerline Mobile Vault Free Beta Version Now Available for iPhone & Android (Popularity: ): Port Jefferson Station, NY ( press.abc-directory.com ) October 7, 2017 - Powerline Mobile Apps offers users to test their mobile vault beta version for free. The mobile vault app is designed to hide and encrypt all important information – pictures, videos, call logs, messages and contacts on your phone. Some among the many interesting features of the app include the ‘Stealth Mode’ through which any trace of the mobile vault ...
PCFerret Launches PCFerret Pro and PCFerret Pro Portable v3 - License Restrictions Removed (Popularity: ): PCFerret Launches PCFerret Pro and PCFerret Pro Portable v3BOTHELL, WA. - Sept 19 , 2016 -- PCFerret has launched version 3 of PCFerret Pro and PCFerret Pro Portable. Release Details The licensing restrictions have been removed. PCFerret Pro and PCFerret Pro Portable can now be installed on any number of computers / devices, both personal and business, free of charge.This release replaces the free version of PCFerret with PCFerret Pro and ...
Tipard's iPhone 4 Transfer Follows the Pace of iPhone 4S (Popularity: ): BEIJING, Nov. 18, 2011 -- The release of iPhone 4S could be seen as pioneering. Now you can use your voice to use your iPhone. Just talk to Siri as you would to a person. Siri not only understands what you say, it knows what you mean. This has put iPhone 4S at the cutting edge of tech fashion. There are two excellent programs which can help you follow the ...
U.S. Employment Report: Employee Confidence Index Edges Up (Popularity: ): The SFN Group Employee Confidence Index increased 1.4 points to 50.1 in October. The index, which measures workers' confidence in their personal employment situation and optimism in the economic environment, shows that 40 percent of workers believe the economy is getting weaker and 60 percent believe that there are fewer jobs available. Despite this dreary outlook on the macroeconomic landscape, nearly three-fourths (71 percent) of workers report that they are ...


Related Business 
Centre for Software Reliability (Popularity: ): Research interests: Software dependability (particularly safety and reliability) modelling; Software fault tolerance; Software metrics and quality assurance; Fundamental issues for safety critical systems.
City University, London (Popularity: ): Centre for Software Reliability (CSR). Research interests: Software dependability (particularly safety and reliability) modelling; Software fault tolerance; Software metrics and quality assurance; Fundamental issues for safety critical systems.
netPurists .Net Development Services (Popularity: ): netPurists, a boutique software development company based out of Australia & India. netPurists is a "Microsoft .Net" focused IT services provider. The company specializes in custom software development, application maintenance, mobile apps and technology migrations, with specialist focus on the .Net platform. Banking on our rich and versatile industry experience with well-structured development methodologies, global delivery model and rigid QA systems, we deliver business-critical solutions on-time, within budgets and within ...
Spark (Popularity: ): SPARK, SPADE high-integrity software development products; annotated Ada subset supports developing software for uses where correct operation is vital for safety or business integrity; versions based on Ada 83/95. [Praxis Critical Systems Ltd.]
Green Hills Software (Popularity: ): Compilers and Software Development Tools for Embedded Applications. MULTI integrated development environment, and C, C++, EC++, and Ada optimizing compilers, for embedded applications, target powerpc, 68k, x86, mips, sh, v800, alpha, i960, sparc, and arm.
China Control Arm Manufacturer (Popularity: ): Professional manufacturer from China with 1,500+ types of control arms for all car makes and models, e.g. Toyota control arm, Honda control arm, Volvo control arm, BMW control arm. We utilize the best production technologies, inspection equipment and manufacturing processes to ensure that every single parts we deliver to our global customer with good quality.
R Systems International Ltd. (Popularity: ): R Systems is an offshore software development and integrated software product development company offering outsourcing services to fortune 1000, government and mid-sized organizations worldwide. Our E2E application services are undertaken through matured and proven agile processes to deliver cutting-edge applications.
Critical Software (Popularity: ): Develops and markets software products for business and mission critical information systems, and provide consulting and engineering services for enterprises.
eGrove Systems Pvt Ltd. (Popularity: ): Egrove Systems Corporation is a global service provider specializing in Custom Software Development, Web Design & Development and web development services. With our team's combined experience in graphic design, website development, Flash animation and e-commerce programming, you can be confident that whatever your project demands, our developers can deliver on time and on budget!
Free Software File Download Centre (Popularity: ): You can download various software freeware from different software publisher software: antivirus software, multimedia software, audio software, video software, video software, software utility, network software, business software, communications software, desktop software, software development tools, educational software, game, graphics software, home software, hobby software, security software, privacy software, system utilities, web development software and more freeware software.