A Sharp

Collins Aerospace Selects AdaCore’s QGen Code Generator to Streamline Model-Based Development

Retrieved on: 
Tuesday, July 20, 2021
Technology, Aerospace, Other Technology, Manufacturing, Software, Networks, Ada, ACT, A Sharp, Simulink, Aerospace, Total Quality Logistics, Software, Computer programming

With the adoption of the QGen Enterprise Qualification Package, Collins is now able to streamline its model-based engineering practices.

Key Points: 
  • With the adoption of the QGen Enterprise Qualification Package, Collins is now able to streamline its model-based engineering practices.
  • QGen with TQL-1 allows developers to use the generated code without any manual review, streamlining the critical-system development and verification process.
  • AdaCore is excited to partner with Collins Aerospace to bring to market the first TQL-1 code generator for Simulink, said JC Bernedo, AdaCore QGen team lead.
  • AdaCore has worked closely with Collins throughout the development of QGen to ensure it meets the development needs of their most critical aerospace software.

AdaCore Announces Winners of Fifth Annual “Make with Ada” Competition

Retrieved on: 
Tuesday, March 16, 2021
Data management, Technology, Other Technology, Software, Networks, Internet, Programming languages, Computer programming, Ada, Spark, A Sharp, Software, Spark, Embedded system, Ada and SPARK, AdaCore

Projects touched upon almost every aspect of embedded applications, including drone software, showing that Ada and SPARK are applicable everywhere.

Key Points: 
  • Projects touched upon almost every aspect of embedded applications, including drone software, showing that Ada and SPARK are applicable everywhere.
  • We were pleased to see more student submissions this year, said Fabien Chouteau, AdaCore Software Engineer and author of the Make with Ada blog post series.
  • The Make with Ada competition is part of an overall AdaCore initiative to foster the growth of Ada and SPARK for developing embedded systems and, more generally, for developing software that matters.
  • Ada is a modern, internationally standardized programming language with a long and successful track record in developing high-reliability embedded systems.

Consafe Logistics Selects AdaCore’s GNAT Pro for Critical Warehouse Control System Firmware

Retrieved on: 
Tuesday, December 8, 2020
Hardware, Other Defense, Contracts, Semiconductor, Automotive Manufacturing, Security, Aerospace, Data management, Manufacturing, Consumer electronics, Technology, Audio, Video, Defense, Other Technology, Software, Engineering, Programming languages, Computer programming, Software engineering, Embedded systems, GNAT, New York University, A Sharp, Logistics, Warehouse control system, Compiler, Reliability engineering, Ada, Consafe Logistics, AdaCore

AdaCore today announced that Consafe Logistics , the leading European supplier of warehouse management solutions, has deployed AdaCores GNAT Pro development environment for the Ada programming language to implement mission-critical firmware within its innovative Warehouse Control Systems (WCS).

Key Points: 
  • AdaCore today announced that Consafe Logistics , the leading European supplier of warehouse management solutions, has deployed AdaCores GNAT Pro development environment for the Ada programming language to implement mission-critical firmware within its innovative Warehouse Control Systems (WCS).
  • The selection of GNAT Pro Ada enables Consafe Logistics to meet stringent assurance requirements, helping ensure that its systems operate reliably, safely and securely at its customers large and complex warehouse sites.
  • Consafe Logistics chose Ada for the high-assurance firmware within its WCS solution due to its high levels of reliability, security, maintainability and performance.
  • Consafe Logistics adopted GNAT Pro, replacing an internally created solution, as it enables shorter development cycles, provides confidence that code will work correctly when compiled and is backed by comprehensive support provided by AdaCores GNAT Pro developers themselves.

AdaCore Introduces GNAT Pro for the Wind River® Helix™ Virtualization Platform

Retrieved on: 
Tuesday, November 24, 2020
Hardware, Other Defense, Contracts, Semiconductor, Automotive Manufacturing, Security, Aerospace, Data management, Manufacturing, Consumer electronics, Technology, Audio, Video, Defense, Other Technology, Software, Engineering, Operating systems, Computer architecture, Computing, Ada, Embedded operating systems, Real-time operating systems, Wind River Systems, GNAT, VxWorks, Helix, A Sharp, Virtualization

AdaCore , a trusted provider of software development and verification tools, today launched a new edition of its premier GNAT Pro Ada, C and C++ development toolsuites in support of the Wind River Helix Virtualization Platform .

Key Points: 
  • AdaCore , a trusted provider of software development and verification tools, today launched a new edition of its premier GNAT Pro Ada, C and C++ development toolsuites in support of the Wind River Helix Virtualization Platform .
  • By choosing GNAT Pro, Helix Platform customers will experience a consistent software development toolchain across each of their Helix Platform partitions and target architectures, thereby helping to reduce overall development and training costs.
  • View the full release here: https://www.businesswire.com/news/home/20201124005118/en/
    The consistency offered by GNAT Pro comes from the bundling of AdaCore's industry-trusted development tools for Wind River VxWorks 7, Wind River Linux, and Bare Metal processors.
  • This, combined with our longstanding partnership with Wind River, makes GNAT Pro a natural development environment for the Helix Virtualization Platform.

HITACHI Rail STS Chooses AdaCore’s GNAT Pro Software Development Environment for New Rail Safety Platform

Retrieved on: 
Tuesday, October 13, 2020
Public transport, Technology, Rail, Semiconductor, Security, Engineering, Transport, Software, Manufacturing, Hardware, Companies, Industries, Ada, Economy of Japan, Hitachi, Fuyo Group, A Sharp, GNAT

AdaCore , a trusted provider of software development and verification tools, today announced that HITACHI Rail STS (Signaling and Transportation Systems) has selected AdaCore's GNAT Pro Ada development environment targeting ARM processors for the modernization of its CSD (Calculator of Available Safety) rail safety platform, to ensure the safe circulation of trains on railway lines and metro networks.

Key Points: 
  • AdaCore , a trusted provider of software development and verification tools, today announced that HITACHI Rail STS (Signaling and Transportation Systems) has selected AdaCore's GNAT Pro Ada development environment targeting ARM processors for the modernization of its CSD (Calculator of Available Safety) rail safety platform, to ensure the safe circulation of trains on railway lines and metro networks.
  • The current goal of HITACHI Rail STS is to obtain EN 50128 certification for this new platform by the end of 2020.
  • Going forward, it will be the universal safety platform for use on all HITACHI Rail STSs Wayside and On-Board projects.
  • Hitachi Rail STS France manages the regional operations for Hitachi Rail STS across Northern and Western Europe, Northern Africa, China and Korea.

AdaCore Announces Winners of Fourth Annual “Make with Ada” Competition

Retrieved on: 
Tuesday, March 3, 2020
Networks, Internet, Data management, Technology, Software, Programming languages, Computer languages, Ada, Spark, A Sharp, Design by contract

The students followed a formal development process with high-level requirements, low-level requirements, test cases, and contract-based programming.

Key Points: 
  • The students followed a formal development process with high-level requirements, low-level requirements, test cases, and contract-based programming.
  • I have been involved with the Make with Ada competition since its inception, and I have watched as the entries have become more sophisticated, said Bill Wong, co-judge and Senior Technology Editor at Electronic Design.
  • Make with Ada competitions have always been full of creative and innovative projects, and this year was no exception.
  • The Make with Ada competition is part of an overall AdaCore initiative to foster the growth of Ada and SPARK for developing embedded systems, and, more generally, for developing software that matters.

AdaCore Introduces Support for C++ Embedded Environments

Retrieved on: 
Tuesday, November 5, 2019
Data management, Security, Technology, Software, Networks, Internet, Free software, Software, Ada, Programming languages, GNAT, A Sharp, mbed, GNU Compiler Collection, GNAT Programming Studio

High Integrity Software Conference - AdaCore today announced that its GNAT Pro product line now supports the development of embedded software written in C++.

Key Points: 
  • High Integrity Software Conference - AdaCore today announced that its GNAT Pro product line now supports the development of embedded software written in C++.
  • GNAT Pros build environment is based on the multilingual GCC code generation technology, to which AdaCore has contributed and among whose official maintainers are AdaCore personnel.
  • It also improves multiple platform portability, providing consistent technology across native and embedded environments.
  • Embedded software teams have long been moving to multi-language development environments, said Quentin Ochem, lead of Business Development at AdaCore.

Instana Releases First .Net Core Performance Management Solution that Includes Automatic Tracing of All Requests

Retrieved on: 
Thursday, September 19, 2019
Computing, Computer languages, Cross-platform software, Programming languages, Architectural pattern, Microservices, Assembly language, .NET Framework, C Sharp, A Sharp, Programming language

Instana was the first APM solution to release a .Net Core agent in 2018, with this latest release completing the process of automatic instrumentation for code level visibility.

Key Points: 
  • Instana was the first APM solution to release a .Net Core agent in 2018, with this latest release completing the process of automatic instrumentation for code level visibility.
  • "Microservice architectures continue to evolve, creating interesting combinations of programming and infrastructure technologies," said Chris Farrell, Director of Marketing at Instana.
  • "It's critical for any management tool to provide complete code-level visibility and tracing of all user requests across all possible programming languages, including .Net Core."
  • The latest release brings Instana's automatic tracing to a dozen different programming languages - all without any human configuration or engineering effort.

AdaCore’s Fourth Annual Make with Ada Programming Competition Launches Today!

Retrieved on: 
Tuesday, September 10, 2019
Software, Networks, Internet, Data management, Technology, Security, Programming languages, Computer languages, Ada, Embedded systems, Procedural programming languages, Spark, Software, A Sharp, Programming language, Embedded software, Computer programming, CodePeer, Ada and SPARK, AdaCore

AdaCore today announced the launch of its 4th annual Make with Ada programming competition.

Key Points: 
  • AdaCore today announced the launch of its 4th annual Make with Ada programming competition.
  • Geared towards enthusiasts and new Ada users, the goal is to design and implement an embedded software project where Ada and/or SPARK are the primary language technologies.
  • As contestants of this annual programming competition demonstrate, developing embedded software with Ada is a lot easier than you think, and the benefits (cost savings, quality code, fewer bugs, etc.)
  • Ada is a modern, internationally standardized programming language with a long and successful track record in the development of high-reliability embedded systems.

AdaCore Now a Principal Member of The Open Group FACE™ Consortium

Retrieved on: 
Tuesday, April 23, 2019
Technology, Hardware, Software, Other Technology, Satellite, Semiconductor, Manufacturing, Aerospace, Engineering, Defense, Other Defense, Operating systems, Articles, Technology, Ada, POSIX, The Open Group, Unix, X Window System, Future Airborne Capability Environment, Open standard, A Sharp, ACT

The Open Group FACE Consortium Member Meeting AdaCore , a trusted provider of software development and verification tools for the Ada programming language, is raising its membership level in The Open Groups Future Airborne Capability Environment (FACE) Consortium from Associate to Principal.

Key Points: 
  • The Open Group FACE Consortium Member Meeting AdaCore , a trusted provider of software development and verification tools for the Ada programming language, is raising its membership level in The Open Groups Future Airborne Capability Environment (FACE) Consortium from Associate to Principal.
  • We are grateful to AdaCore for upgrading their membership level in The Open Group FACE Consortium, and we look forward to their contributions as one of the organizations who provide leadership and direction within our multitude of activities, said Judy Cerenzia, The Open Group Director, Forum Operations.
  • AdaCore has been an active member of The Open Group FACE Consortium since 2012.
  • www.adacore.com/
    The Open Group FACEConsortium is taking a leadership role in developing open standards for avionics systems of the future.