Welcome!

Open Source Cloud Authors: Elizabeth White, Pat Romanski, Ram Sonagara, Liz McMillan, Jeev Trika

News Feed Item

GNAT Pro Safety-Critical Development Environment Released for LynxOS-178

AdaCore today announced a new target platform for the latest version of its GNAT Pro Safety-Critical Ada Development Environment. Hosted on Windows workstations, GNAT Pro Safety-Critical V7.2 is now targeted to the LynuxWorks LynxOS-178 V2.2.2 RTOS for PowerPC, and supports both ARINC-653 APEX partitions and POSIX pthreads. GNAT Pro Safety-Critical includes the standard GNAT Pro components – the GNAT Programming Studio (GPS) and GNATbench IDEs and accompanying toolset – along with specialized tools and run-time libraries oriented towards applications that have to meet demanding software safety standards, such as DO-178B or DO-178C for avionics. With GNAT Pro Safety-Critical for LynxOS-178, developers who need to deliver high-assurance applications on this LynuxWorks RTOS now have an integrated and full-functioned toolsuite that implements all versions of the Ada language, including Ada 2012, and is backed by AdaCore’s expert support.

GNAT Pro Safety-Critical includes two static analysis tools that are especially valuable in a certification context. GNATstack predicts the maximum stack usage for each task in an application, directly supporting DO-178B objective A-5(6), “Source code is accurate and consistent”. GNATcheck enforces a customer-tailorable set of rules comprising a project-specific coding standard, directly supporting DO-178B objective A-5(4), “Source code conforms to standards”. GNAT Pro Safety-Critical also includes a number of tools for testing and dynamic analysis: the gdb debugger, the AUnit test framework, and the GNATtest unit test harness generator.

GNAT Pro Safety Critical provides several run-time profiles – libraries reflecting restricted feature sets – that are tuned to the requirements of safety certification. The ZFP (Zero Footprint) profile does not require any Ada run-time routines, thus reducing the memory footprint to user code only. The Cert profile supplements the ZFP with support for exceptions and a secondary stack, along with limited dynamic allocation and several other features. The Ravenscar Cert profile includes the Cert features along with the subset of tasking features defined by the standard Ravenscar profile, providing a deterministic concurrency model consistent with the requirements for certification. A full Ada run-time is also provided.

“With its partitioning and its support for both POSIX and ARINC-653 APEX, LynxOS-178 is a versatile RTOS for developers of safety-certified systems,” said Ed Falis, AdaCore’s Product Manager for GNAT Pro Safety-Critical for LynxOS-178. “Ada is an excellent language choice for this sort of software, and we are happy to make it available to LynuxWorks users through our latest version of GNAT Pro Safety-Critical.”

“With this latest version of GNAT Pro Safety-Critical for LynxOS-178, Ada developers now have support for both legacy Ada applications using Ada 95 / Ada 2005, as well as new Ada applications using Ada 2012,” said John Blevins, LynuxWorks Director Product Marketing. “With strong type checking and powerful static analysis tools, Ada provides the ability to run more sophisticated avionics applications on top of our proven safety-critical RTOS. LynxOS-178 is the only RTOS with FAA acceptance as a Reusable Software Component (RSC) and provides an excellent foundation for building certified avionics systems in Ada.”

About AdaCore

Founded in 1994, AdaCore is the leading provider of commercial software solutions for Ada, a state-of-the-art programming language designed for large, long-lived applications where safety, security, and reliability are critical. AdaCore's flagship product is the open source GNAT Pro development environment, which comes with expert on-line support and is available on more platforms than any other Ada technology. AdaCore has an extensive world-wide customer base; see www.adacore.com/home/company/customers/ for further information.

Ada and GNAT Pro see a growing usage in high-integrity and safety-certified applications, including space-based systems, commercial aircraft avionics, military systems, air traffic management/control, railroad systems, and medical devices, and in security-sensitive domains, such as financial services. The SPARK Pro toolset, available from AdaCore, is especially useful in such contexts.

AdaCore has North American headquarters in New York and European headquarters in Paris. www.adacore.com

About LynxOS-178 RTOS

LynxOS-178 is a commercial off-the-shelf (COTS) Real-Time Operating System (RTOS) that fully satisfies the objectives of the DO178B/C Level A specification and meets requirements for Integrated Modular Avionics developers. LynxOS-178 delivers the security and real-time responsiveness needed for safety-critical systems and provides a low-risk path to DO-178B certification for developers to meet the technical requirements in the production of software for airborne systems. In addition, LynxOS-178 provides full POSIX conformance, enabling developers to take advantage of the time-to-market and investment-protection benefits of open standards-based development. The powerful formula of DO-178B certification, POSIX conformance and ARINC-653 partitioning allows developers to meet the most stringent requirements for real-time, safety-critical applications, while at the same time ensuring application portability, software reuse and interoperability between embedded systems.

About LynuxWorks

LynuxWorks, a world leader in the embedded software market, is committed to providing open and reliable RTOS and software tools to embedded developers. The company's LynxOS family of OSes offers open standards with the highest level of safety and security features, enabling many mission-critical systems in defense, avionics and other industries. The latest product in the portfolio, the award winning LynxSecure offers a secure separation kernel and embedded hypervisor that forms a platform for the development of high assurance systems. Since it was established in 1988, LynuxWorks has created technology that has been successfully deployed in thousands of designs and millions of products made by leading communications, avionics, aerospace/defense, and consumer electronics companies.

LynuxWorks' headquarters are located in San Jose, CA. For more information, visit www.lynuxworks.com.

All brand or product names are registered trademarks or trademarks of their respective holders.

More Stories By Business Wire

Copyright © 2009 Business Wire. All rights reserved. Republication or redistribution of Business Wire content is expressly prohibited without the prior written consent of Business Wire. Business Wire shall not be liable for any errors or delays in the content, or for any actions taken in reliance thereon.

@ThingsExpo Stories
"We've discovered that after shows 80% if leads that people get, 80% of the conversations end up on the show floor, meaning people forget about it, people forget who they talk to, people forget that there are actual business opportunities to be had here so we try to help out and keep the conversations going," explained Jeff Mesnik, Founder and President of ContentMX, in this SYS-CON.tv interview at 18th Cloud Expo, held June 7-9, 2016, at the Javits Center in New York City, NY.
The 19th International Cloud Expo has announced that its Call for Papers is open. Cloud Expo, to be held November 1-3, 2016, at the Santa Clara Convention Center in Santa Clara, CA, brings together Cloud Computing, Big Data, Internet of Things, DevOps, Digital Transformation, Microservices and WebRTC to one location. With cloud computing driving a higher percentage of enterprise IT budgets every year, it becomes increasingly important to plant your flag in this fast-expanding business opportuni...
“delaPlex Software provides software outsourcing services. We have a hybrid model where we have onshore developers and project managers that we can place anywhere in the U.S. or in Europe,” explained Manish Sachdeva, CEO at delaPlex Software, in this SYS-CON.tv interview at @ThingsExpo, held June 7-9, 2016, at the Javits Center in New York City, NY.
From wearable activity trackers to fantasy e-sports, data and technology are transforming the way athletes train for the game and fans engage with their teams. In his session at @ThingsExpo, will present key data findings from leading sports organizations San Francisco 49ers, Orlando Magic NBA team. By utilizing data analytics these sports orgs have recognized new revenue streams, doubled its fan base and streamlined costs at its stadiums. John Paul is the CEO and Founder of VenueNext. Prior ...
IoT is rapidly changing the way enterprises are using data to improve business decision-making. In order to derive business value, organizations must unlock insights from the data gathered and then act on these. In their session at @ThingsExpo, Eric Hoffman, Vice President at EastBanc Technologies, and Peter Shashkin, Head of Development Department at EastBanc Technologies, discussed how one organization leveraged IoT, cloud technology and data analysis to improve customer experiences and effi...
The Internet of Things will challenge the status quo of how IT and development organizations operate. Or will it? Certainly the fog layer of IoT requires special insights about data ontology, security and transactional integrity. But the developmental challenges are the same: People, Process and Platform and how we integrate our thinking to solve complicated problems. In his session at 19th Cloud Expo, Craig Sproule, CEO of Metavine, will demonstrate how to move beyond today's coding paradigm ...
Internet of @ThingsExpo, taking place November 1-3, 2016, at the Santa Clara Convention Center in Santa Clara, CA, is co-located with the 19th International Cloud Expo and will feature technical sessions from a rock star conference faculty and the leading industry players in the world and ThingsExpo Silicon Valley Call for Papers is now open.
Big Data engines are powering a lot of service businesses right now. Data is collected from users from wearable technologies, web behaviors, purchase behavior as well as several arbitrary data points we’d never think of. The demand for faster and bigger engines to crunch and serve up the data to services is growing exponentially. You see a LOT of correlation between “Cloud” and “Big Data” but on Big Data and “Hybrid,” where hybrid hosting is the sanest approach to the Big Data Infrastructure pro...
A critical component of any IoT project is what to do with all the data being generated. This data needs to be captured, processed, structured, and stored in a way to facilitate different kinds of queries. Traditional data warehouse and analytical systems are mature technologies that can be used to handle certain kinds of queries, but they are not always well suited to many problems, particularly when there is a need for real-time insights.
"My role is working with customers, helping them go through this digital transformation. I spend a lot of time talking to banks, big industries, manufacturers working through how they are integrating and transforming their IT platforms and moving them forward," explained William Morrish, General Manager Product Sales at Interoute, in this SYS-CON.tv interview at 18th Cloud Expo, held June 7-9, 2016, at the Javits Center in New York City, NY.
With 15% of enterprises adopting a hybrid IT strategy, you need to set a plan to integrate hybrid cloud throughout your infrastructure. In his session at 18th Cloud Expo, Steven Dreher, Director of Solutions Architecture at Green House Data, discussed how to plan for shifting resource requirements, overcome challenges, and implement hybrid IT alongside your existing data center assets. Highlights included anticipating workload, cost and resource calculations, integrating services on both sides...
"We are a well-established player in the application life cycle management market and we also have a very strong version control product," stated Flint Brenton, CEO of CollabNet,, in this SYS-CON.tv interview at 18th Cloud Expo, held June 7-9, 2016, at the Javits Center in New York City, NY.
Unless your company can spend a lot of money on new technology, re-engineering your environment and hiring a comprehensive cybersecurity team, you will most likely move to the cloud or seek external service partnerships. In his session at 18th Cloud Expo, Darren Guccione, CEO of Keeper Security, revealed what you need to know when it comes to encryption in the cloud.
We're entering the post-smartphone era, where wearable gadgets from watches and fitness bands to glasses and health aids will power the next technological revolution. With mass adoption of wearable devices comes a new data ecosystem that must be protected. Wearables open new pathways that facilitate the tracking, sharing and storing of consumers’ personal health, location and daily activity data. Consumers have some idea of the data these devices capture, but most don’t realize how revealing and...
What are the successful IoT innovations from emerging markets? What are the unique challenges and opportunities from these markets? How did the constraints in connectivity among others lead to groundbreaking insights? In her session at @ThingsExpo, Carmen Feliciano, a Principal at AMDG, will answer all these questions and share how you can apply IoT best practices and frameworks from the emerging markets to your own business.
Ask someone to architect an Internet of Things (IoT) solution and you are guaranteed to see a reference to the cloud. This would lead you to believe that IoT requires the cloud to exist. However, there are many IoT use cases where the cloud is not feasible or desirable. In his session at @ThingsExpo, Dave McCarthy, Director of Products at Bsquare Corporation, will discuss the strategies that exist to extend intelligence directly to IoT devices and sensors, freeing them from the constraints of ...
You think you know what’s in your data. But do you? Most organizations are now aware of the business intelligence represented by their data. Data science stands to take this to a level you never thought of – literally. The techniques of data science, when used with the capabilities of Big Data technologies, can make connections you had not yet imagined, helping you discover new insights and ask new questions of your data. In his session at @ThingsExpo, Sarbjit Sarkaria, data science team lead ...
Extracting business value from Internet of Things (IoT) data doesn’t happen overnight. There are several requirements that must be satisfied, including IoT device enablement, data analysis, real-time detection of complex events and automated orchestration of actions. Unfortunately, too many companies fall short in achieving their business goals by implementing incomplete solutions or not focusing on tangible use cases. In his general session at @ThingsExpo, Dave McCarthy, Director of Products...
Traditional IT, great for stable systems of record, is struggling to cope with newer, agile systems of engagement requirements coming straight from the business. In his session at 18th Cloud Expo, William Morrish, General Manager of Product Sales at Interoute, outlined ways of exploiting new architectures to enable both systems and building them to support your existing platforms, with an eye for the future. Technologies such as Docker and the hyper-convergence of computing, networking and sto...
WebRTC is bringing significant change to the communications landscape that will bridge the worlds of web and telephony, making the Internet the new standard for communications. Cloud9 took the road less traveled and used WebRTC to create a downloadable enterprise-grade communications platform that is changing the communication dynamic in the financial sector. In his session at @ThingsExpo, Leo Papadopoulos, CTO of Cloud9, discussed the importance of WebRTC and how it enables companies to focus...