GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology

•

0 gefällt mir•5,990 views

AdaCore

From a presentation given at GNAT Pro User Day about the new and upcoming developments with AdaCore technology.

Technologie

GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology

Weitere ähnliche Inhalte

Andere mochten auch

GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...

AdaCore

GNAT Pro User Day: VISIUM™ and Ada

AdaCore

GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality

AdaCore

Ada 2012

AdaCore

Euclid open network - Project Work at #sds2013

Guglielmo Apolloni

GNAT for Lego Mindtorms NXT is a GPL port for the GNAT compilation system to the Lego Mindstorms NXT robotic platform. Originally born as an education-oriented project at MIT Media Lab, the Lego Mindstorms has evolved into a succesful commercial product for education in robotics in a moltitude of Universities and high schools across the globe. The latest revision of the platform includes a 32 bits processor and supports several different sensors able to detect distance, colors and sounds and to communicate via the Bluetooth protocol.

GNAT GPL For Mindstorms

AdaCore

Ada 95 - Programming in the large

Gneuromante canalada.org

Oop

Jun-jun Lagman

Rails Girls Cluj: Programming in the real world

Mircea Mare

Você sabia que a primeira pessoa a programar um computador na história foi uma mulher? E que a primeira mulher a ir ao espaço foi Valentina Tereshkova, uma soviética de 26 anos? No Ada Lovelace Day de Brasília trouxemos alguns dados históricos e fizemos um painel de debate sobre o que as mulheres fizeram e o que ainda fazem na área de TI. Ocorreu dia 13/10, das 19h30 às 22h, com o apoio do Calango Hacker Club (www.calango.club)

Ada Lovelace Day - 200 anos

Tania Andrea

Entrevista exclusiva tim berners lee

Alexandre Grolla

ADA programming language

Aisha Kalsoom

Ada Seminar — An Introduction to Ada

Adrian Hoe

Euclid and his contribution in development of math

Akshay Kumar

High performance fibres

A S M AHASANUL KABIR

Evolution of Programming Languages

Sayanee Basu

Ada 2012

Justo Raúl Venereo Gutierrez

Andere mochten auch (17)

GNAT Pro User Day: Leveraging AdaCore Tool to Support Rigorous Software Devel...

GNAT Pro User Day: VISIUM™ and Ada

GNAT Pro User Day: GNATdashboard - Tracking and Improving Software Quality

Ada 2012

Euclid open network - Project Work at #sds2013

GNAT GPL For Mindstorms

Ada 95 - Programming in the large

Oop

Rails Girls Cluj: Programming in the real world

Ada Lovelace Day - 200 anos

Entrevista exclusiva tim berners lee

ADA programming language

Ada Seminar — An Introduction to Ada

Euclid and his contribution in development of math

High performance fibres

Evolution of Programming Languages

Ada 2012

Mehr von AdaCore

The railway sector is facing a major transition as it moves towards more fully automated systems on both the train and infrastructure side. This in turn, requires the development of appropriate, future-proof connectivity and IT platforms. The Reference Control Command and Signalling Architecture (RCA) and Open Control Command and Signalling Onboard Reference Architecture (OCORA) have developed a functional architecture for future trackside and onboard functions. The RCA OCORA open Control Command Signalling (CCS) on-board reference architecture introduces a standardized separation of safety-relevant and non-safety-relevant railway applications and the underlying IT platforms. This allows rail operators to decouple the very distinct life cycles of the domains and aggregate multiple railway applications on common IT platforms. Based on a Safe Computing Platform (SCP), the architecture accommodates a Platform Independent Application Programming Interface (PI API) between safety-relevant railway applications and IT platforms. This approach supports the portability of railway applications among IT platform realisations from different vendors. Two of its authors will discuss the RCA OCORA architecture with emphasis on its safe computing framework. The talk will review the required operating system standards and the discuss the newly-released DDS Reference Implementation for Safe Computing Platform Messaging. While designed for rail, this architecture will have elements of interest for other industries.

RCA OCORA: Safe Computing Platform using open standards

AdaCore

Long-lived software is a challenge. This was seen very clearly a couple of years ago in the “US COBOL crisis”, but the reasons are less clearly understood, and are worth exploring. The speaker works in Computer Algebra, where “younger” systems are 30-40 years old, and the algorithmic kernel of SageMath, the newest major system, is actually 55 years old, and the people who can debug it are in single figures. More recently, very substantial retooling was required to enable Line 14, the driverless line, of the Paris Métro to be extended. Having reviewed these cases, the speaker will make some tentative suggestions for the management of long-lived software.

Have we a Human Ecosystem?

AdaCore

Rust is undeniably successful. In just over 7 year, it moved from a newly released language to one that is considered as a language for high integrity systems. This success did not happen in isolation - Rusts success is deeply rooted in a number of contributing environmental factors. In this talk, I’d like to make the case why Rust success is due to a general ground shift in software development. What we are seeing is a resurging interest in software practices that were usually part of safety-critical environments being applied to non-safety related, mission-critical environments. On the other side, we are seeing the worlds of safety and security merging. I’d like to take a step back and talk about coming opportunities, changes and chances not only for Rust, but also for other languages and products.

Rust and the coming age of high integrity languages

AdaCore

SPARKNaCl https://github.com/rod-chapman/SPARKNaCl is a new, freely-available, verified and fast reference implementation of the NaCl cryptographic API, based on the TweetNaCl distribution. It has a fully automated, complete and sound proof of type-safety and several key correctness properties. In addition, the code is surprisingly fast - out-performing TweetNaCl's C implementation on an Ed25519 Sign operation by a factor of 3 at all optimisation levels on a 32-bit RISC-V bare-metal machine. This talk will concentrate on how "Proof Driven Optimisation" can result in code that is both correct and fast.

SPARKNaCl: A verified, fast cryptographic library

AdaCore

Rolls-Royce has been developing high integrity digital processing solutions for its safety critical aerospace engine controllers since the 1980s. By the turn of the century, the electronics industry experienced an inflection point. This resulted in a shift to a consumer driven market and a much-reduced focus on the harsh environment electronics and the extended life cycles required by the aerospace industry. As a result, Rolls-Royce took the decision to design its own microprocessor, and for the last 25 years, has been successfully developing harsh environment safety critical processing solutions for all its aerospace engines. Alongside the ever-increasing performance expectations, the past few years have seen cyber-security become a major driver in new processor developments. This presents new and interesting development challenges that will need to be addressed.

Developing Future High Integrity Processing Solutions

AdaCore

Event-driven software can be found everywhere, from low-level drivers, to software that controls and coordinates complex subcomponents, and even in GUIs. Typically, event-driven software is characterised as consisting of a number of stateful components that communicate by sending messages to each other. Event-driven software is notoriously difficult to test. There are often many different sequences of events, and because the exact order of the events will affect the state of the system, it can be easy for bugs to lurk in obscure un-tested sequences of events. Even worse, reproducing these bugs can be difficult due to the need to reproduce the exact sequence of events that led to the issue. Formal verification is one method of solving this: rather than writing tests to check each of the different possible sequences of events, automated formal verification could be used to verify that the software is correct no matter what sequence of events is observed. In this talk, we will look at what capabilities are required to ensure that this will be successful, including what it means for event-driven software to be correct, and how to ensure that the verification can scale to industrial-sized software projects.

Taming event-driven software via formal verification

AdaCore

With the large-scale verification of complex programs like compilers and microkernels, program proof has realised the grand challenge of creating a “verifying compiler” proposed by Sir Tony Hoare in 2003. Still, the effort and expertise required for developing the program and its proof to feed to the “verifying compiler” will exceed the V&V budget of most projects. Another approach gaining traction is to automate the proof as much as possible. More specifically, by tailoring the proof tool to the strengths of a target programming language, leveraging an array of automatic provers, and limiting the ambition of proof to those properties for which proof can be mostly automated. This is the approach we are following in SPARK. In this talk, we will survey what properties can be “mostly” proved automatically, and what this means in terms of effort and expertise.

Pushing the Boundary of Mostly Automatic Program Proof

AdaCore

RCA OCORA: Safe Computing Platform using open standards

AdaCore

Digitalization is concerned with a fundamental shift in value delivery to customers from transactional to continuous. For R&D this requires adopting processes such as DevOps and continuous deployment. Systems engineering companies using platforms need to adjust their ways of working and be cognisant of the role of the ecosystem surrounding them to capitalize on this transformation. The keynote talk will discuss these developments and provide industrial examples from Software Center, a collaboration between 17 large, international companies and five universities with the intent of accelerating the digital transformation of the European software intensive industry.

Product Lines and Ecosystems: from customization to configuration

AdaCore

Securing the Future of Safety and Security of Embedded Software

AdaCore

Spark / Ada for Safe and Secure Firmware Development

AdaCore

Introducing the HICLASS Research Programme - Enabling Development of Complex ...

AdaCore

The Future of Aerospace – More Software Please!

AdaCore

Adaptive AUTOSAR - The New AUTOSAR Architecture

AdaCore

Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...

AdaCore

Software Engineering for Robotics - The RoboStar Technology

AdaCore

MISRA C in an ISO 26262 context

AdaCore

Application of theorem proving for safety-critical vehicle software

AdaCore

The Application of Formal Methods to Railway Signalling Software

AdaCore

Bounded Model Checking for C Programs in an Enterprise Environment

AdaCore

Mehr von AdaCore (20)

RCA OCORA: Safe Computing Platform using open standards

Have we a Human Ecosystem?

Rust and the coming age of high integrity languages

SPARKNaCl: A verified, fast cryptographic library

Developing Future High Integrity Processing Solutions

Taming event-driven software via formal verification

Pushing the Boundary of Mostly Automatic Program Proof

RCA OCORA: Safe Computing Platform using open standards

Product Lines and Ecosystems: from customization to configuration

Securing the Future of Safety and Security of Embedded Software

Spark / Ada for Safe and Secure Firmware Development

Introducing the HICLASS Research Programme - Enabling Development of Complex ...

The Future of Aerospace – More Software Please!

Adaptive AUTOSAR - The New AUTOSAR Architecture

Using Tiers of Assurance Evidence to Reduce the Tears! Adopting the “Wheel of...

Software Engineering for Robotics - The RoboStar Technology

MISRA C in an ISO 26262 context

Application of theorem proving for safety-critical vehicle software

The Application of Formal Methods to Railway Signalling Software

Bounded Model Checking for C Programs in an Enterprise Environment

Kürzlich hochgeladen

DBX First Quarter 2024 Investor Presentation

Dropbox

Strategies for Landing an Oracle DBA Job as a Fresher

Remote DBA Services

Accelerating FinTech Innovation: Unleashing API Economy and GenAI Vasa Krishnan, Chief Technology Officer - FinResults Apidays New York 2024: The API Economy in the AI Era (April 30 & May 1, 2024) ------ Check out our conferences at https://www.apidays.global/ Do you want to sponsor or talk at one of our conferences? https://apidays.typeform.com/to/ILJeAaV8 Learn more on APIscene, the global media made by the community for the community: https://www.apiscene.io Explore the API ecosystem with the API Landscape: https://apilandscape.apiscene.io/

Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...

apidays

Architecting Cloud Native Applications

WSO2

The value of a flexible API Management solution for Open Banking Steve Melan, Manager for IT Innovation and Architecture - State's and Saving's Bank of Luxembourg Apidays New York 2024: The API Economy in the AI Era (April 30 & May 1, 2024) ------ Check out our conferences at https://www.apidays.global/ Do you want to sponsor or talk at one of our conferences? https://apidays.typeform.com/to/ILJeAaV8 Learn more on APIscene, the global media made by the community for the community: https://www.apiscene.io Explore the API ecosystem with the API Landscape: https://apilandscape.apiscene.io/

Apidays New York 2024 - The value of a flexible API Management solution for O...

apidays

"I see eyes in my soup": How Delivery Hero implemented the safety system for ...

Zilliz

Three things you will take away from the session: • How to run an effective tenant-to-tenant migration • Best practices for before, during, and after migration • Tips for using migration as a springboard to prepare for Copilot in Microsoft 365 Main ideas: Migration Overview: The presentation covers the current reality of cross-tenant migrations, the triggers, phases, best practices, and benefits of a successful tenant migration Considerations: When considering a migration, it is important to consider the migration scope, performance, customization, flexibility, user-friendly interface, automation, monitoring, support, training, scalability, data integrity, data security, cost, and licensing structure Next Wave: The next wave of change includes the launch of Copilot, which requires businesses to be prepared for upcoming changes related to Copilot and the cloud, and to consolidate data and tighten governance ShareGate: ShareGate can help with pre-migration analysis, configurable migration tool, and automated, end-user driven collaborative governance

Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff

sammart93

CNIC Information System with Pakdata Cf In Pakistan

danishmna97

Angeliki Cooney has spent over twenty years at the forefront of the life sciences industry, working out of Wynantskill, NY. She is highly regarded for her dedication to advancing the development and accessibility of innovative treatments for chronic diseases, rare disorders, and cancer. Her professional journey has centered on strategic consulting for biopharmaceutical companies, facilitating digital transformation, enhancing omnichannel engagement, and refining strategic commercial practices. Angeliki's innovative contributions include pioneering several software-as-a-service (SaaS) products for the life sciences sector, earning her three patents. As the Senior Vice President of Life Sciences at Avenga, Angeliki orchestrated the firm's strategic entry into the U.S. market. Avenga, a renowned digital engineering and consulting firm, partners with significant entities in the pharmaceutical and biotechnology fields. Her leadership was instrumental in expanding Avenga's client base and establishing its presence in the competitive U.S. market.

Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...

Angeliki Cooney

[BuildWithAI] Introduction to Gemini.pdf

Sandro Moreira

How to Troubleshoot Apps for the Modern Connected Worker

ThousandEyes

Abhishek Deb(1), Mr Abdul Kalam(2) M. Des (UX) , School of Design, DIT University , Dehradun. This paper explores the future potential of AI-enabled smartphone processors, aiming to investigate the advancements, capabilities, and implications of integrating artificial intelligence (AI) into smartphone technology. The research study goals consist of evaluating the development of AI in mobile phone processors, analyzing the existing state as well as abilities of AI-enabled cpus determining future patterns as well as chances together with reviewing obstacles as well as factors to consider for more growth.

Exploring the Future Potential of AI-Enabled Smartphone Processors

debabhi2

Passkeys: Developing APIs to enable passwordless authentication Cody Salas, Sr Developer Advocate | Solutions Architect - Yubico Apidays New York 2024: The API Economy in the AI Era (April 30 & May 1, 2024) ------ Check out our conferences at https://www.apidays.global/ Do you want to sponsor or talk at one of our conferences? https://apidays.typeform.com/to/ILJeAaV8 Learn more on APIscene, the global media made by the community for the community: https://www.apiscene.io Explore the API ecosystem with the API Landscape: https://apilandscape.apiscene.io/

Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...

apidays

Dubai, known for its towering skyscrapers, luxurious lifestyle, and relentless pursuit of innovation, often finds itself in the global spotlight. However, amidst the glitz and glamour, the emirate faces its own set of challenges, including the occasional threat of flooding. In recent years, Dubai has experienced sporadic but significant floods, disrupting normalcy and posing unique challenges to its infrastructure. Among the critical nodes in this bustling metropolis is the Dubai International Airport, a vital hub connecting the world. This article delves into the intersection of Dubai flood events and the resilience demonstrated by the Dubai International Airport in the face of such challenges.

Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf

Orbitshub

Effective data discovery is crucial for maintaining compliance and mitigating risks in today's rapidly evolving privacy landscape. However, traditional manual approaches often struggle to keep pace with the growing volume and complexity of data. Join us for an insightful webinar where industry leaders from TrustArc and Privya will share their expertise on leveraging AI-powered solutions to revolutionize data discovery. You'll learn how to: - Effortlessly maintain a comprehensive, up-to-date data inventory - Harness code scanning insights to gain complete visibility into data flows leveraging the advantages of code scanning over DB scanning - Simplify compliance by leveraging Privya's integration with TrustArc - Implement proven strategies to mitigate third-party risks Our panel of experts will discuss real-world case studies and share practical strategies for overcoming common data discovery challenges. They'll also explore the latest trends and innovations in AI-driven data management, and how these technologies can help organizations stay ahead of the curve in an ever-changing privacy landscape.

TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery

TrustArc

Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood

Juan lago vázquez

AXA XL - Insurer Innovation Award Americas 2024

The Digital Insurer

ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke

Product Anonymous

Artificial Intelligence Chap.5 : Uncertainty

Khushali Kathiriya

Following the popularity of “Cloud Revolution: Exploring the New Wave of Serverless Spatial Data,” we’re thrilled to announce this much-anticipated encore webinar. In this sequel, we’ll dive deeper into the Cloud-Native realm by uncovering practical applications and FME support for these new formats, including COGs, COPC, FlatGeoBuf, GeoParquet, STAC, and ZARR. Building on the foundation laid by industry leaders Michelle Roby of Radiant Earth and Chris Holmes of Planet in the first webinar, this second part offers an in-depth look at the real-world application and behind-the-scenes dynamics of these cutting-edge formats. We will spotlight specific use-cases and workflows, showcasing their efficiency and relevance in practical scenarios. Discover the vast possibilities each format holds, highlighted through detailed discussions and demonstrations. Our expert speakers will dissect the key aspects and provide critical takeaways for effective use, ensuring attendees leave with a thorough understanding of how to apply these formats in their own projects. Elevate your understanding of how FME supports these cutting-edge technologies, enhancing your ability to manage, share, and analyze spatial data. Whether you’re building on knowledge from our initial session or are new to the serverless spatial data landscape, this webinar is your gateway to mastering cloud-native formats in your workflows.

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME

Safe Software

Kürzlich hochgeladen (20)

DBX First Quarter 2024 Investor Presentation

Strategies for Landing an Oracle DBA Job as a Fresher

Apidays New York 2024 - Accelerating FinTech Innovation by Vasa Krishnan, Fin...

Architecting Cloud Native Applications

Apidays New York 2024 - The value of a flexible API Management solution for O...

"I see eyes in my soup": How Delivery Hero implemented the safety system for ...

Strategize a Smooth Tenant-to-tenant Migration and Copilot Takeoff

CNIC Information System with Pakdata Cf In Pakistan

Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...

[BuildWithAI] Introduction to Gemini.pdf

How to Troubleshoot Apps for the Modern Connected Worker

Exploring the Future Potential of AI-Enabled Smartphone Processors

Apidays New York 2024 - Passkeys: Developing APIs to enable passwordless auth...

Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf

TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery

Polkadot JAM Slides - Token2049 - By Dr. Gavin Wood

AXA XL - Insurer Innovation Award Americas 2024

ProductAnonymous-April2024-WinProductDiscovery-MelissaKlemke

Artificial Intelligence Chap.5 : Uncertainty

Cloud Frontiers: A Deep Dive into Serverless Spatial Data and FME

GNAT Pro User Day: New and Upcoming Developments in the AdaCore Technology

Empfohlen

Empfohlen

Weitere ähnliche Inhalte

Andere mochten auch

Andere mochten auch (17)

Mehr von AdaCore

Mehr von AdaCore (20)

Kürzlich hochgeladen

Kürzlich hochgeladen (20)