Tech Days 2015: An Ada Perspective

•Télécharger en tant que PPTX, PDF•

0 j'aime•365 vues

EU AdaCore Tech Day 2015

Ada: An AdaCore Perspective
Jamie Ayre

The world is starting to catch
up with Ada. Software
“glitches” are becoming less
and less acceptable…

Building new, safe, reliable
systems from scratch is
expensive

Especially when you don’t
use the appropriate tools

Our mission is to help
people build software
that matters

How do we do this?
(This is not a product
presentation)

Busting myths - Ada is certainly not dead
- Ada is a very solid, mainstream language in the safety critical
world
- It has a strong and passionate community
- This community takes it through regular updates

Busting myths – Moving the mountain
- Ada 2012 is raising a lot of interest beyond Ada users
- Supporting modern architectures – ARM, Raspberry Pi, etc.
- Bringing Ada to younger, grass-roots communities – drones, maker, etc.
- Tools like QGen bring Ada to the world of Simulink
- SPARK brings formal methods to non-Ada developers

Busting myths – Ada is only
used in A&D
- Business is developing beyond traditional A&D
market
- We see interest from new markets such as rail,
automotive and industrial automation
- We see massive interest coming from the
automotive industry
- We see a lot of interest from the C/C++
community

Busting myths - Ada has a strong ecosystem
- Long ago we had a compiler…
- We still have that compiler but it has grown into a full
development environment with complimentary tools
- The ecosystem has realigned itself to support customer needs
- Tool and RTOS partners are seeing increased revenue from Ada

Spreading the word
- So let’s tell people about it!
- Customer case studies
- Articles
- Opinion pieces
- Conferences
- Webinars
- Social media

Helping the Developer
- AdaCore is working on improving access to
all developers through
- AdaCore U
- GAP
- Public training courses

Helping the Developer
- And we are still very, very committed to
releasing the GPL edition each year…
- Free Software has made AdaCore the
company we are

Happy
Birthday Lady
Ada!

#AdaLove

Contenu connexe

En vedette

ONEIDNET_HR_Policies

ONEIDNET_HR_Policies

ONEIDNET_HR_Policies

Tech Days 2015: AdaCore Directions

Tech Days 2015: AdaCore Directions

Tech Days 2015: AdaCore Directions

FLSA Executive Exemption From Overtime

FLSA Executive Exemption From Overtime

FLSA Executive Exemption From Overtime

James Baker, SPHR Retired, MAS

Appy Hour Menu - 9/19/12

Appy Hour Menu - 9/19/12

Appy Hour Menu - 9/19/12

matthewlipstein

Sage corporate presentation june 2016

Sage corporate presentation june 2016

Sage corporate presentation june 2016

The "Professional Exemption' requires "Advanced Knowledge" which cannot be attained at the high school level. Requisite knowledge must be customarily acquired by a prolonged course of specialized intellectual study. In some subjects, however, the specialized intellectual study may be acquired by a combination of intellectual study and work experience. The salary test will also increase under "Final rule" anticipated to be published in 2016, going from $455/week to ~$970/week.

FLSA "Learned or Creative Professional Exemption From Overtime

FLSA "Learned or Creative Professional Exemption From Overtime

FLSA "Learned or Creative Professional Exemption From Overtime

James Baker, SPHR Retired, MAS

Administrative Exemption To qualify for the administrative employee exemption, all of the following tests must be met: • The employee must be compensated on a salary or fee basis (as defined in the regulations) at a rate not less than $455 per week; • The employee’s primary duty must be the performance of office or non-manual work directly related to the management or general business operations of the employer or the employer’s customers; and • The employee’s primary duty includes the exercise of discretion and independent judgment with respect to matters of significance. This checklist should help document and validate the position meets these FLSA requirements

FLSA Administrative Exemption (Job Description Checklist)

FLSA Administrative Exemption (Job Description Checklist)

FLSA Administrative Exemption (Job Description Checklist)

James Baker, SPHR Retired, MAS

Евгений Хыст: "Server-Side Geo-Clustering Based on Geohash"

Евгений Хыст: "Server-Side Geo-Clustering Based on Geohash"

Евгений Хыст: "Server-Side Geo-Clustering Based on Geohash"

Anna Shymchenko

[@NaukriEngineering] Apache Spark

[@NaukriEngineering] Apache Spark

[@NaukriEngineering] Apache Spark

The role of data in the provision of feedback at scale

The role of data in the provision of feedback at scale

The role of data in the provision of feedback at scale

Language as a tool of communication

Language as a tool of communication

Language as a tool of communication

En vedette (11)

ONEIDNET_HR_Policies

ONEIDNET_HR_Policies

ONEIDNET_HR_Policies

Tech Days 2015: AdaCore Directions

Tech Days 2015: AdaCore Directions

Tech Days 2015: AdaCore Directions

FLSA Executive Exemption From Overtime

FLSA Executive Exemption From Overtime

FLSA Executive Exemption From Overtime

Appy Hour Menu - 9/19/12

Appy Hour Menu - 9/19/12

Appy Hour Menu - 9/19/12

Sage corporate presentation june 2016

Sage corporate presentation june 2016

Sage corporate presentation june 2016

FLSA "Learned or Creative Professional Exemption From Overtime

FLSA "Learned or Creative Professional Exemption From Overtime

FLSA "Learned or Creative Professional Exemption From Overtime

FLSA Administrative Exemption (Job Description Checklist)

FLSA Administrative Exemption (Job Description Checklist)

FLSA Administrative Exemption (Job Description Checklist)

Евгений Хыст: "Server-Side Geo-Clustering Based on Geohash"

Евгений Хыст: "Server-Side Geo-Clustering Based on Geohash"

Евгений Хыст: "Server-Side Geo-Clustering Based on Geohash"

[@NaukriEngineering] Apache Spark

[@NaukriEngineering] Apache Spark

[@NaukriEngineering] Apache Spark

The role of data in the provision of feedback at scale

The role of data in the provision of feedback at scale

The role of data in the provision of feedback at scale

Language as a tool of communication

Language as a tool of communication

Language as a tool of communication

Similaire à Tech Days 2015: An Ada Perspective

INTERFACE, by apidays - APIs: the next 10 years June 8, 9 & 10 2022 The No Code Mindset Francis Lelong, CEO at Alegria ------------ 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/ Deep dive into the API industry with our reports: https://www.apidays.global/industry-reports/ Subscribe to our global newsletter: https://apidays.typeform.com/to/i1MPEW

INTERFACE, by apidays - The No Code Mindset.pdf

INTERFACE, by apidays - The No Code Mindset.pdf

INTERFACE, by apidays - The No Code Mindset.pdf

Sironta

Sironta at OpenOffice.org Conference 2010

Sironta at OpenOffice.org Conference 2010

Sironta at OpenOffice.org Conference 2010

Start-ups: DSP-Partner's Highlights from Dublin Websummit 2015

Start-ups: DSP-Partner's Highlights from Dublin Websummit 2015

Start-ups: DSP-Partner's Highlights from Dublin Websummit 2015

A2zappsquickviewaug2014slideshare 140808054926-phpapp02

A2zappsquickviewaug2014slideshare 140808054926-phpapp02

A2zappsquickviewaug2014slideshare 140808054926-phpapp02

As the world continues to become digital and mobile, the communications ecosystem is being disrupted. Rather than trying to defend an obsolete business model, operators need to change their point of view and consider the broader possibilities being created by this very transformation as it disrupts every other industry. The characteristics of the new environment are such, that the current "cambrian explosion" of apps will continue with no end in sight - especially as new technologies such as wearables, connected car/home, the internet of things and even implantables appear on the scene. To support the massive proliferation of apps, a new breed of players is appearing: the Communications-as-a-Service Platform providers (CaaS). They will do to the communications stack what Google Maps did for maps or Paypal for payments: simplify it to the point where any developer is able to integrate it into their application with just a few lines of code. In this new world, operators need to partner with CaaS providers to fully participate in the tremendous value creation opportunity, leveraging the strength of the startup world with their own, to unleash the hidden potential in their own capabilities and infrastructure.

The Rise of Communications-as-a-Service (CaaS)

The Rise of Communications-as-a-Service (CaaS)

The Rise of Communications-as-a-Service (CaaS)

Roberto Moctezuma

Social Media, SaaS, and PaaS in a For-Profit World

Social Media, SaaS, and PaaS in a For-Profit World

Social Media, SaaS, and PaaS in a For-Profit World

Asite Solutions Ltd.

H2O.ai - Road Ahead - keynote presentation by Sri Ambati

H2O.ai - Road Ahead - keynote presentation by Sri Ambati

H2O.ai - Road Ahead - keynote presentation by Sri Ambati

OWF2013 INTERNET OF THINGS

OWF2013 INTERNET OF THINGS

OWF2013 INTERNET OF THINGS

fOSSa - Free Open Source Software Academia Conference

Global App and Cap stores for Robots

Global App and Cap stores for Robots

Global App and Cap stores for Robots

Future Role of the Architect

Future Role of the Architect

Future Role of the Architect

Riccardo Bennett-Lovsey

NRB SAP DAY 2017 - William Poos

NRB SAP DAY 2017 - William Poos

NRB SAP DAY 2017 - William Poos

Eseminar – Internet delle Cose

Eseminar – Internet delle Cose

Eseminar – Internet delle Cose

InSide Training

Curvanade Pitch Deck

Curvanade Pitch Deck

Curvanade Pitch Deck

A2Zapps quickview

A2Zapps quickview

A2Zapps quickview

Dipanjan Purkayastha

Today, we are in the midst of a mobile, social, and big data revolution – a new era with the promise of never before imagined possibilities. We require a platform that can deliver these required capabilities in an easy to use manner. In-memory computing has becoming the leading solution for how these applications can bring together the huge amounts of varying data now available. You need a platform that offers services to develop real-time applications with mobile, social or big data capabilities.

The New Reality: the Role of PaaS in Technology Innovation - Franklin Herbas

The New Reality: the Role of PaaS in Technology Innovation - Franklin Herbas

The New Reality: the Role of PaaS in Technology Innovation - Franklin Herbas

GSA Meeting

XebiConFr 15 - AXA : Transformation digitale, les enjeux d'un grand groupe (Y...

XebiConFr 15 - AXA : Transformation digitale, les enjeux d'un grand groupe (Y...

XebiConFr 15 - AXA : Transformation digitale, les enjeux d'un grand groupe (Y...

Publicis Sapient Engineering

Apache Flink is a project with a very active, supportive, and continuously growing community. Last year, Flink was among the top ten projects of the Apache Software Foundation with the most traffic on user and development mailing lists. Looking back, Flink started as a research prototype developed by three PhD students at TU Berlin in 2009. In 2014, the developers donated the code base to the ASF and joined the newly founded Apache Flink incubator project. Within three years, Flink grew into a healthy project and gained a lot of momentum. In my presentation, I will discuss Flink's journey from an academic research project to one of the most active projects of the Apache Software Foundation. I will talk about the academic roots of the project, how the original developers got introduced to the ASF, Flink's incubation phase, and how its community evolved after it graduated and became an ASF top-level project. My talk will focus on the decisions, efforts, and circumstances that helped to grow a vital and welcoming open source community.

Flink's Journey from Academia to the ASF

Flink's Journey from Academia to the ASF

Flink's Journey from Academia to the ASF

IT Technology Trends 2014

IT Technology Trends 2014

IT Technology Trends 2014

Similaire à Tech Days 2015: An Ada Perspective (20)

INTERFACE, by apidays - The No Code Mindset.pdf

INTERFACE, by apidays - The No Code Mindset.pdf

INTERFACE, by apidays - The No Code Mindset.pdf

Sironta

Sironta at OpenOffice.org Conference 2010

Sironta at OpenOffice.org Conference 2010

Sironta at OpenOffice.org Conference 2010

Start-ups: DSP-Partner's Highlights from Dublin Websummit 2015

Start-ups: DSP-Partner's Highlights from Dublin Websummit 2015

Start-ups: DSP-Partner's Highlights from Dublin Websummit 2015

A2zappsquickviewaug2014slideshare 140808054926-phpapp02

A2zappsquickviewaug2014slideshare 140808054926-phpapp02

A2zappsquickviewaug2014slideshare 140808054926-phpapp02

The Rise of Communications-as-a-Service (CaaS)

The Rise of Communications-as-a-Service (CaaS)

The Rise of Communications-as-a-Service (CaaS)

Social Media, SaaS, and PaaS in a For-Profit World

Social Media, SaaS, and PaaS in a For-Profit World

Social Media, SaaS, and PaaS in a For-Profit World

H2O.ai - Road Ahead - keynote presentation by Sri Ambati

H2O.ai - Road Ahead - keynote presentation by Sri Ambati

H2O.ai - Road Ahead - keynote presentation by Sri Ambati

OWF2013 INTERNET OF THINGS

OWF2013 INTERNET OF THINGS

OWF2013 INTERNET OF THINGS

Global App and Cap stores for Robots

Global App and Cap stores for Robots

Global App and Cap stores for Robots

Future Role of the Architect

Future Role of the Architect

Future Role of the Architect

NRB SAP DAY 2017 - William Poos

NRB SAP DAY 2017 - William Poos

NRB SAP DAY 2017 - William Poos

Eseminar – Internet delle Cose

Eseminar – Internet delle Cose

Eseminar – Internet delle Cose

Curvanade Pitch Deck

Curvanade Pitch Deck

Curvanade Pitch Deck

A2Zapps quickview

A2Zapps quickview

A2Zapps quickview

The New Reality: the Role of PaaS in Technology Innovation - Franklin Herbas

The New Reality: the Role of PaaS in Technology Innovation - Franklin Herbas

The New Reality: the Role of PaaS in Technology Innovation - Franklin Herbas

GSA Meeting

XebiConFr 15 - AXA : Transformation digitale, les enjeux d'un grand groupe (Y...

XebiConFr 15 - AXA : Transformation digitale, les enjeux d'un grand groupe (Y...

XebiConFr 15 - AXA : Transformation digitale, les enjeux d'un grand groupe (Y...

Flink's Journey from Academia to the ASF

Flink's Journey from Academia to the ASF

Flink's Journey from Academia to the ASF

IT Technology Trends 2014

IT Technology Trends 2014

IT Technology Trends 2014

Plus de 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

RCA OCORA: Safe Computing Platform using open standards

RCA OCORA: Safe Computing Platform using open standards

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?

Have we a Human Ecosystem?

Have we a Human Ecosystem?

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

Rust and the coming age of high integrity languages

Rust and the coming age of high integrity languages

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

SPARKNaCl: A verified, fast cryptographic library

SPARKNaCl: A verified, fast cryptographic library

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

Developing Future High Integrity Processing Solutions

Developing Future High Integrity Processing Solutions

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

Taming event-driven software via formal verification

Taming event-driven software via formal verification

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

Pushing the Boundary of Mostly Automatic Program Proof

Pushing the Boundary of Mostly Automatic Program Proof

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

RCA OCORA: Safe Computing Platform using open standards

RCA OCORA: Safe Computing Platform using open standards

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

Product Lines and Ecosystems: from customization to configuration

Product Lines and Ecosystems: from customization to configuration

Securing the Future of Safety and Security of Embedded Software

Securing the Future of Safety and Security of Embedded Software

Securing the Future of Safety and Security of Embedded Software

Spark / Ada for Safe and Secure Firmware Development

Spark / Ada for Safe and Secure Firmware Development

Spark / Ada for Safe and Secure Firmware Development

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

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

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

The Future of Aerospace – More Software Please!

The Future of Aerospace – More Software Please!

The Future of Aerospace – More Software Please!

Adaptive AUTOSAR - The New AUTOSAR Architecture

Adaptive AUTOSAR - The New AUTOSAR Architecture

Adaptive AUTOSAR - The New AUTOSAR Architecture

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

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

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

Software Engineering for Robotics - The RoboStar Technology

Software Engineering for Robotics - The RoboStar Technology

Software Engineering for Robotics - The RoboStar Technology

MISRA C in an ISO 26262 context

MISRA C in an ISO 26262 context

MISRA C in an ISO 26262 context

Application of theorem proving for safety-critical vehicle software

Application of theorem proving for safety-critical vehicle software

Application of theorem proving for safety-critical vehicle software

The Application of Formal Methods to Railway Signalling Software

The Application of Formal Methods to Railway Signalling Software

The Application of Formal Methods to Railway Signalling Software

Bounded Model Checking for C Programs in an Enterprise Environment

Bounded Model Checking for C Programs in an Enterprise Environment

Bounded Model Checking for C Programs in an Enterprise Environment

Plus de AdaCore (20)

RCA OCORA: Safe Computing Platform using open standards

RCA OCORA: Safe Computing Platform using open standards

RCA OCORA: Safe Computing Platform using open standards

Have we a Human Ecosystem?

Have we a Human Ecosystem?

Have we a Human Ecosystem?

Rust and the coming age of high integrity languages

Rust and the coming age of high integrity languages

Rust and the coming age of high integrity languages

SPARKNaCl: A verified, fast cryptographic library

SPARKNaCl: A verified, fast cryptographic library

SPARKNaCl: A verified, fast cryptographic library

Developing Future High Integrity Processing Solutions

Developing Future High Integrity Processing Solutions

Developing Future High Integrity Processing Solutions

Taming event-driven software via formal verification

Taming event-driven software via formal verification

Taming event-driven software via formal verification

Pushing the Boundary of Mostly Automatic Program Proof

Pushing the Boundary of Mostly Automatic Program Proof

Pushing the Boundary of Mostly Automatic Program Proof

RCA OCORA: Safe Computing Platform using open standards

RCA OCORA: Safe Computing Platform using open standards

RCA OCORA: Safe Computing Platform using open standards

Product Lines and Ecosystems: from customization to configuration

Product Lines and Ecosystems: from customization to configuration

Product Lines and Ecosystems: from customization to configuration

Securing the Future of Safety and Security of Embedded Software

Securing the Future of Safety and Security of Embedded Software

Securing the Future of Safety and Security of Embedded Software

Spark / Ada for Safe and Secure Firmware Development

Spark / Ada for Safe and Secure Firmware Development

Spark / Ada for Safe and Secure Firmware Development

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

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

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

The Future of Aerospace – More Software Please!

The Future of Aerospace – More Software Please!

The Future of Aerospace – More Software Please!

Adaptive AUTOSAR - The New AUTOSAR Architecture

Adaptive AUTOSAR - The New AUTOSAR Architecture

Adaptive AUTOSAR - The New AUTOSAR Architecture

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

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

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

Software Engineering for Robotics - The RoboStar Technology

Software Engineering for Robotics - The RoboStar Technology

Software Engineering for Robotics - The RoboStar Technology

MISRA C in an ISO 26262 context

MISRA C in an ISO 26262 context

MISRA C in an ISO 26262 context

Application of theorem proving for safety-critical vehicle software

Application of theorem proving for safety-critical vehicle software

Application of theorem proving for safety-critical vehicle software

The Application of Formal Methods to Railway Signalling Software

The Application of Formal Methods to Railway Signalling Software

The Application of Formal Methods to Railway Signalling Software

Bounded Model Checking for C Programs in an Enterprise Environment

Bounded Model Checking for C Programs in an Enterprise Environment

Bounded Model Checking for C Programs in an Enterprise Environment

Dernier

Announcing Codolex 2.0 from GDK Software

Announcing Codolex 2.0 from GDK Software

Announcing Codolex 2.0 from GDK Software

Direct Style Effect Systems -The Print[A] Example- A Comprehension Aid

Direct Style Effect Systems -The Print[A] Example- A Comprehension Aid

Direct Style Effect Systems -The Print[A] Example- A Comprehension Aid

ADR, or Architecture Decision Record, is a valuable tool in software development for several reasons. It provides a centralized location for documenting and tracking architectural decisions, aiding both current and future team members. ADRs enhance communication among team members by documenting the rationale behind architectural decisions, especially beneficial during onboarding of new team members or when revisiting decisions. They serve as a knowledge base, enabling teams to learn from past decisions and refine their decision-making process. Additionally, ADRs contribute to transparency by helping stakeholders understand the reasons behind specific architectural choices. As with any other tool or process, introducing them into an organization can face several obstacles, and overcoming these challenges is crucial for successful implementation. In this talk I go through some common problems and our way of solving them.

Architecture decision records - How not to get lost in the past

Architecture decision records - How not to get lost in the past

Architecture decision records - How not to get lost in the past

Papp Krisztián

OpenChain - The Ramifications of ISO/IEC 5230 and ISO/IEC 18974 for Legal Pro...

OpenChain - The Ramifications of ISO/IEC 5230 and ISO/IEC 18974 for Legal Pro...

OpenChain - The Ramifications of ISO/IEC 5230 and ISO/IEC 18974 for Legal Pro...

%in Soweto+277-882-255-28 abortion pills for sale in soweto

%in Soweto+277-882-255-28 abortion pills for sale in soweto

%in Soweto+277-882-255-28 abortion pills for sale in soweto

Software Quality Assurance Interview Questions

Software Quality Assurance Interview Questions

Software Quality Assurance Interview Questions

(Vivek)Call Us, 8448380779,Call girls in Delhi NCr – We Offer best in class call girls. escort Service At Affordable Price At low Rate with Space Night 8000 We Are One Of The Oldest Escort and Call girls Agencies in Delhi. You Will Find That Our Female Escorts Are Full Of Fun, Sexy And They Would Love Enjoy Your Company. We Have A Fantastic Selection Of Escort Ladies Available For In-Calls As Well As Out-Calls. Our Escorts Are Not Only Beautiful But All Have Great Personalities Making Them The Perfect Companion For Any Occasion. In-Call:- You Can Come At Our Place in Delhi Our place Which Is Very Clean Hygienic 100% safe Accommodation. Out-Call:- You have To Come Pick The Girl From My Place We Are Also Provide Door Step Services (Delhi Ncr, Noida, Gurgaon, Faridabad, Ghaziabad Note:- Pic Collectors Time Passers Bargainers Stay Away As We Respect The Value For Your Money Time And Expect The Same From You Hygienic:- Full Ac room And Clean Rooms Available In Hotel 24 * 7 Hourly In Delhi NCR More Details, With WhatsApp Number, +91-8448380779

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

Delhi Call girls

MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...

MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...

MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...

Jittipong Loespradit

+971565801893 Mtp-Kit (500MG) Prices » Dubai [(+971565801893**)] Abortion Pills For Sale In Dubai, UAE, Mifepristone and Misoprostol Tablets Available In Dubai, UAE CONTACT DR.Leen Whatsapp +971565801893 We Have Abortion Pills / Cytotec Tablets /Mifegest Kit Available in Dubai, Sharjah, Abudhabi, Ajman, Alain, Fujairah, Ras Al Khaimah, Umm Al Quwain, UAE, Buy cytotec in Dubai +971565801893''''Abortion Pills near me DUBAI | ABU DHABI|UAE. Price of Misoprostol, Cytotec” +971565801893' Dr.DEEM ''BUY ABORTION PILLS MIFEGEST KIT, MISOPROTONE, CYTOTEC PILLS IN DUBAI, ABU DHABI,UAE'' Contact me now via What's App…… abortion Pills Cytotec also available Oman Qatar Doha Saudi Arabia Bahrain Above all, Cytotec Abortion Pills are Available In Dubai / UAE, you will be very happy to do abortion in Dubai we are providing cytotec 200mg abortion pill in Dubai, UAE. Medication abortion offers an alternative to Surgical Abortion for women in the early weeks of pregnancy. We only offer abortion pills from 1 week-6 Months. We then advise you to use surgery if its beyond 6 months. Our Abu Dhabi, Ajman, Al Ain, Dubai, Fujairah, Ras Al Khaimah (RAK), Sharjah, Umm Al Quwain (UAQ) United Arab Emirates Abortion Clinic provides the safest and most advanced techniques for providing non-surgical, medical and surgical abortion methods for early through late second trimester, including the Abortion By Pill Procedure (RU 486, Mifeprex, Mifepristone, early options French Abortion Pill), Tamoxifen, Methotrexate and Cytotec (Misoprostol). The Abu Dhabi, United Arab Emirates Abortion Clinic performs Same Day Abortion Procedure using medications that are taken on the first day of the office visit and will cause the abortion to occur generally within 4 to 6 hours (as early as 30 minutes) for patients who are 3 to 12 weeks pregnant. When Mifepristone and Misoprostol are used, 50% of patients complete in 4 to 6 hours; 75% to 80% in 12 hours; and 90% in 24 hours. We use a regimen that allows for completion without the need for surgery 99% of the time. All advanced second trimester and late term pregnancies at our Tampa clinic (17 to 24 weeks or greater) can be completed within 24 hours or less 99% of the time without the need surgery. The procedure is completed with minimal to no complications. Our Women's Health Center located in Abu Dhabi, United Arab Emirates, uses the latest medications for medical abortions (RU-486, Mifeprex, Mifegyne, Mifepristone, early options French abortion pill), Methotrexate and Cytotec (Misoprostol). The safety standards of our Abu Dhabi, United Arab Emirates Abortion Doctors remain unparalleled. They consistently maintain the lowest complication rates throughout the nation. Our Physicians and staff are always available to answer questions and care for women in one of the most difficult times in their lives. The decision to have an abortion at the Abortion Clinic in Abu Dhabi, United Arab Emirates.+971565801893

+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...

+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...

+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...

Define the academic and professional writing..pdf

Define the academic and professional writing..pdf

Define the academic and professional writing..pdf

PearlKirahMaeRagusta1

Model Call Girl Services in Delhi reach out to us at 🔝 9953056974 🔝✔️✔️ Our agency presents a selection of young, charming call girls available for bookings at Oyo Hotels. Experience high-class escort services at pocket-friendly rates, with our female escorts exuding both beauty and a delightful personality, ready to meet your desires. Whether it's Housewives, College girls, Russian girls, Muslim girls, or any other preference, we offer a diverse range of options to cater to your tastes. We provide both in-call and out-call services for your convenience. Our in-call location in Delhi ensures cleanliness, hygiene, and 100% safety, while our out-call services offer doorstep delivery for added ease. We value your time and money, hence we kindly request pic collectors, time-passers, and bargain hunters to refrain from contacting us. Our services feature various packages at competitive rates: One shot: ₹2000/in-call, ₹5000/out-call Two shots with one girl: ₹3500/in-call, ₹6000/out-call Body to body massage with sex: ₹3000/in-call Full night for one person: ₹7000/in-call, ₹10000/out-call Full night for more than 1 person: Contact us at 🔝 9953056974 🔝. for details Operating 24/7, we serve various locations in Delhi, including Green Park, Lajpat Nagar, Saket, and Hauz Khas near metro stations. For premium call girl services in Delhi 🔝 9953056974 🔝. Thank you for considering us!

CHEAP Call Girls in Pushp Vihar (-DELHI )🔝 9953056974🔝(=)/CALL GIRLS SERVICE

CHEAP Call Girls in Pushp Vihar (-DELHI )🔝 9953056974🔝(=)/CALL GIRLS SERVICE

CHEAP Call Girls in Pushp Vihar (-DELHI )🔝 9953056974🔝(=)/CALL GIRLS SERVICE

9953056974 Low Rate Call Girls In Saket, Delhi NCR

(Vivek)Call Us, 8448380779,Call girls in Delhi NCr – We Offer best in class call girls. escort Service At Affordable Price At low Rate with Space Night 8000 We Are One Of The Oldest Escort and Call girls Agencies in Delhi. You Will Find That Our Female Escorts Are Full Of Fun, Sexy And They Would Love Enjoy Your Company. We Have A Fantastic Selection Of Escort Ladies Available For In-Calls As Well As Out-Calls. Our Escorts Are Not Only Beautiful But All Have Great Personalities Making Them The Perfect Companion For Any Occasion. In-Call:- You Can Come At Our Place in Delhi Our place Which Is Very Clean Hygienic 100% safe Accommodation. Out-Call:- You have To Come Pick The Girl From My Place We Are Also Provide Door Step Services (Delhi Ncr, Noida, Gurgaon, Faridabad, Ghaziabad Note:- Pic Collectors Time Passers Bargainers Stay Away As We Respect The Value For Your Money Time And Expect The Same From You Hygienic:- Full Ac room And Clean Rooms Available In Hotel 24 * 7 Hourly In Delhi NCR More Details, With WhatsApp Number, +91-8448380779

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

Delhi Call girls

Abortion Pill Prices Tembisa [(+27832195400*)] 🏥 Women's Abortion Clinic in Tembisa ● Abortion Pills For Sale in Tembisa ● Tembisa 🏥🚑!! Abortion Clinic Near Me Cost, Price, Women's Clinic Near Me, Abortion Clinic Near, Abortion Doctors Near me, Abortion Services Near Me, Abortion Pills Over The Counter, Abortion Pill Doctors' Offices, Abortion Clinics, Abortion Places Near Me, Cheap Abortion Places Near Me, Medical Abortion & Surgical Abortion, approved cyctotec pills and womb cleaning pills too plus all the instructions needed This Discrete women’s Termination Clinic offers same day services that are safe and pain free, we use approved pills and we clean the womb so that no side effects are present. Our main goal is that of preventing unintended pregnancies and unwanted births every day to enable more women to have children by choice, not chance. We offer Terminations by Pill and The Morning After Pill.” Our Private VIP Abortion Service offers the ultimate in privacy, efficiency and discretion. we do safe and same day termination and we do also womb cleaning as well its done from 1 week up to 28 weeks. We do delivery of our services world wide SAFE ABORTION CLINICS/PILLS ON SALE WE DO DELIVERY OF PILLS ALSO Abortion clinic at very low costs, 100% Guaranteed and it’s safe, pain free and a same day service. It Is A 45 Minutes Procedure, we use tested abortion pills and we do womb cleaning as well. Alternatively the medical abortion pill and womb cleansing !!!

Abortion Pill Prices Tembisa [(+27832195400*)] 🏥 Women's Abortion Clinic in T...

Abortion Pill Prices Tembisa [(+27832195400*)] 🏥 Women's Abortion Clinic in T...

Abortion Pill Prices Tembisa [(+27832195400*)] 🏥 Women's Abortion Clinic in T...

Medical / Health Care (+971588192166) Mifepristone and Misoprostol tablets 200mg

WSO2Con2024 - WSO2's IAM Vision: Identity-Led Digital Transformation

WSO2Con2024 - WSO2's IAM Vision: Identity-Led Digital Transformation

WSO2Con2024 - WSO2's IAM Vision: Identity-Led Digital Transformation

Conference: Engage2024 in Antwerp Type: Workshop Speakers: Florian Vogler, Henning Kunz, Christoph Adler Title: Navigating the Future with The Hitchhiker's Guide to Notes and Domino 14 Abstract: Embark on an exhilarating journey with industry trailblazers Florian Vogler, Henning Kunz, and Christoph Adler in this not-to-be-missed workshop at the forefront of the tech universe. Get ready for a thrilling kick-off as we navigate the current state of the HCL universe, setting the stage for an exploration of the groundbreaking Notes and Domino 14. Discover the latest enhancements and revolutionary features that will redefine your experience. In this interactive session, unlock a treasure trove of tips and tricks to elevate your utilization of version 14, both with and without the game-changing panagenda MarvelClient. Brace yourself for also diving into Nomad, Nomad Web, and VoltMX, expanding your horizons in the expansive HCL landscape. Be a part of this exclusive opportunity to stay ahead in the ever-evolving world of HCL technologies. Your journey to mastering Notes and Domino 14 begins here. And remember, in the spirit of intergalactic exploration, don't forget to bring your towel!

W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...

W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...

W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...

This presentation covers the following topics: What is logging? The purpose of logging: Debugging The purpose of logging: Security The purpose of logging: Stats & analytics Traditional logging Traditional logging: Advantages Traditional logging: Disadvantages The solution: Large-scale logging Large-scale logging: Core principles Large-scale logging: Solution types Large-scale logging: Cloud vs on-prem Large-scale logging: Operational complexity Large-scale logging: Security Large-scale logging: Costs Large-scale logging: On-prem comparison - Elasticsearch - Grafana Loki - VictoriaLogs On-prem comparison: Setup and operation On-prem comparison: Costs On-prem comparison: Full-text search support On-prem comparison: How to efficiently query 100TB of logs? On-prem comparison: Integration with CLI tools VictoriaLogs for large-scale logging VictoriaLogs demo instance - Ingestion rate: 3600 messages / minute - The number of log messages: 1.1 billion - Uncompressed log messages’ size: 1.5TB - Compressed log messages’ size: 23GB - Compression ratio: 47x - Memory usage: 150MB VictoriaLogs CLI integration demo - Which errors have occurred in all the apps during the last hour? - How many errors have occurred during the last hour? - Which apps generated the most of errors during the last hour? - The number of per-minute errors for the last 10 minutes - Status codes for the last hour - Non-200 status codes for the last week - Top client IPs for the last 4 weeks with 404 and 500 response status codes - Per-month stats for the given IP across all the logs Large-scale logging solution MUST provide excellent CLI integration VictoriaLogs: (temporary) drawbacks VictoriaLogs: Recap - Easy to setup and operate - The lowest RAM usage and disk space usage (up to 30x less than Elasticsearch and Grafana Loki) - Fast full-text search - Excellent integration with traditional command-line tools for log analysis - Accepts logs from popular log shippers (Filebeat, Fluentbit, Logstash, Vector, Promtail, Grafana Agent) - Open source and free to use!

Large-scale Logging Made Easy: Meetup at Deutsche Bank 2024

Large-scale Logging Made Easy: Meetup at Deutsche Bank 2024

Large-scale Logging Made Easy: Meetup at Deutsche Bank 2024

VictoriaMetrics

%in ivory park+277-882-255-28 abortion pills for sale in ivory park

%in ivory park+277-882-255-28 abortion pills for sale in ivory park

%in ivory park+277-882-255-28 abortion pills for sale in ivory park

We specialize in Psychic Readings, Psychic Love Spells, Binding Love Spells, Obsession Spells, Voodoo Spells, Lottery Spells, Marriage Spells, Black Magic Spells, Palm Readings & much more. Are you depressed? We perform this come-to-me love spell that works instantly with the aim of bringing back the victim to the person performing the magic. Have you lost your lover? We perform this come-to-me love spell that works instantly with the aim of bringing back the victim to the person performing the magic. Have you lost your lover? Do u need to solve any relationship problem? Contact the powerful spells caster chief kule with love spells that work overnight and love spells that really work. Have you found yourself infatuated with a special someone you think could be the one? Are you looking for a spell to provide them with a nudge in the right direction? Or maybe the spell you cast didn’t achieve the results you were hoping for? Whether you’re new or versed in the ways of spell casting, we’re here to help. Today we’re going to provide you with a detailed guide on the types of love spells to cast. Not only that but there’s something for those who wish to find outside advice from more advanced spell casters. We’re also going to provide you with the top sites available to help you with your dilemma. Let’s begin our journey by educating ourselves on love magic and what a real love caster looks like. Love Magic and Love Casters Love magic made its first appearance back in Ancient Egypt and has been an active practice since. This type of magic is a branch of traditional magic and can be practiced in various ways. Typically the more common use of love magic is through the work of spells, but other methods look like Charms Rituals-LOVE Potions-Dolls and even Amulets If you are interested in becoming a love caster, be prepared for what’s to come. A genuine love caster knows that the art of love casting is no easy feat and shouldn’t be done casually. You should know that not only does it require you to be gifted spiritually, but you must be ready to serve others. Someone who is considered a real love caster has experience in all manner of spells, no matter the difficulty. Training yourself in attraction, commitment, and marriage spells is an excellent place to start. But this by no means will make you a professional. Practice your craft and expand your knowledge; understand that you will possess the ability to help others in time truly. Types of Love Spells What better way to start broadening your experiences with love spells than by learning more about them? These spells work like just about any other spell. Simply apply your intention, use a medium (sigils, mantras, candles, or charm bags), and top it off with establishing the belief that you will receive what you want. So what kind of spells are available and which ones suit your needs the best? Let’s take a look at the many options you have at your disposal.

%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...

%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...

%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...

Craft an AI & Machine Learning Pitch with our Editable Professional PowerPoint Template. Ignite your AI & Machine Learning pitch with our cutting-edge PowerPoint template tailored for the industry. Perfect for AI conferences, investor presentations, sales pitches to tech-focused companies, training sessions, and educational programs. - 20+ editable slides: Get a variety of options to choose from for your presentation. - Time-saving solution: Download, replace text/images with a few clicks. - User-friendly customization: Easy to use and personalize. - Modern and attractive design: Captivating visuals, sleek layout. - Tailored to your requirements: Fully alterable for customization. - Well-organized slides: Complete control over content. - Thematic specificity: Reflects healthcare industry with relevant graphics. - Showcase your business idea: Communicate value proposition effectively.

AI & Machine Learning Presentation Template

AI & Machine Learning Presentation Template

AI & Machine Learning Presentation Template

Presentation.STUDIO

%in Harare+277-882-255-28 abortion pills for sale in Harare

%in Harare+277-882-255-28 abortion pills for sale in Harare

%in Harare+277-882-255-28 abortion pills for sale in Harare

Dernier (20)

Announcing Codolex 2.0 from GDK Software

Announcing Codolex 2.0 from GDK Software

Announcing Codolex 2.0 from GDK Software

Direct Style Effect Systems -The Print[A] Example- A Comprehension Aid

Direct Style Effect Systems -The Print[A] Example- A Comprehension Aid

Direct Style Effect Systems -The Print[A] Example- A Comprehension Aid

Architecture decision records - How not to get lost in the past

Architecture decision records - How not to get lost in the past

Architecture decision records - How not to get lost in the past

OpenChain - The Ramifications of ISO/IEC 5230 and ISO/IEC 18974 for Legal Pro...

OpenChain - The Ramifications of ISO/IEC 5230 and ISO/IEC 18974 for Legal Pro...

OpenChain - The Ramifications of ISO/IEC 5230 and ISO/IEC 18974 for Legal Pro...

%in Soweto+277-882-255-28 abortion pills for sale in soweto

%in Soweto+277-882-255-28 abortion pills for sale in soweto

%in Soweto+277-882-255-28 abortion pills for sale in soweto

Software Quality Assurance Interview Questions

Software Quality Assurance Interview Questions

Software Quality Assurance Interview Questions

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...

MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...

MarTech Trend 2024 Book : Marketing Technology Trends (2024 Edition) How Data...

+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...

+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...

+971565801893>>SAFE AND ORIGINAL ABORTION PILLS FOR SALE IN DUBAI AND ABUDHAB...

Define the academic and professional writing..pdf

Define the academic and professional writing..pdf

Define the academic and professional writing..pdf

CHEAP Call Girls in Pushp Vihar (-DELHI )🔝 9953056974🔝(=)/CALL GIRLS SERVICE

CHEAP Call Girls in Pushp Vihar (-DELHI )🔝 9953056974🔝(=)/CALL GIRLS SERVICE

CHEAP Call Girls in Pushp Vihar (-DELHI )🔝 9953056974🔝(=)/CALL GIRLS SERVICE

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

call girls in Vaishali (Ghaziabad) 🔝 >༒8448380779 🔝 genuine Escort Service 🔝✔️✔️

Abortion Pill Prices Tembisa [(+27832195400*)] 🏥 Women's Abortion Clinic in T...

Abortion Pill Prices Tembisa [(+27832195400*)] 🏥 Women's Abortion Clinic in T...

Abortion Pill Prices Tembisa [(+27832195400*)] 🏥 Women's Abortion Clinic in T...

WSO2Con2024 - WSO2's IAM Vision: Identity-Led Digital Transformation

WSO2Con2024 - WSO2's IAM Vision: Identity-Led Digital Transformation

WSO2Con2024 - WSO2's IAM Vision: Identity-Led Digital Transformation

W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...

W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...

W01_panagenda_Navigating-the-Future-with-The-Hitchhikers-Guide-to-Notes-and-D...

Large-scale Logging Made Easy: Meetup at Deutsche Bank 2024

Large-scale Logging Made Easy: Meetup at Deutsche Bank 2024

Large-scale Logging Made Easy: Meetup at Deutsche Bank 2024

%in ivory park+277-882-255-28 abortion pills for sale in ivory park

%in ivory park+277-882-255-28 abortion pills for sale in ivory park

%in ivory park+277-882-255-28 abortion pills for sale in ivory park

%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...

%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...

%+27788225528 love spells in Atlanta Psychic Readings, Attraction spells,Brin...

AI & Machine Learning Presentation Template

AI & Machine Learning Presentation Template

AI & Machine Learning Presentation Template

%in Harare+277-882-255-28 abortion pills for sale in Harare

%in Harare+277-882-255-28 abortion pills for sale in Harare

%in Harare+277-882-255-28 abortion pills for sale in Harare

Tech Days 2015: An Ada Perspective

1. Ada: An AdaCore Perspective Jamie Ayre

2. The world is starting to catch up with Ada. Software “glitches” are becoming less and less acceptable…

3. Building new, safe, reliable systems from scratch is expensive

4. Especially when you don’t use the appropriate tools

5. Our mission is to help people build software that matters

6. How do we do this? (This is not a product presentation)

7. Busting myths - Ada is certainly not dead - Ada is a very solid, mainstream language in the safety critical world - It has a strong and passionate community - This community takes it through regular updates

8. Busting myths – Moving the mountain - Ada 2012 is raising a lot of interest beyond Ada users - Supporting modern architectures – ARM, Raspberry Pi, etc. - Bringing Ada to younger, grass-roots communities – drones, maker, etc. - Tools like QGen bring Ada to the world of Simulink - SPARK brings formal methods to non-Ada developers

9. Busting myths – Ada is only used in A&D - Business is developing beyond traditional A&D market - We see interest from new markets such as rail, automotive and industrial automation - We see massive interest coming from the automotive industry - We see a lot of interest from the C/C++ community

10. Busting myths - Ada has a strong ecosystem - Long ago we had a compiler… - We still have that compiler but it has grown into a full development environment with complimentary tools - The ecosystem has realigned itself to support customer needs - Tool and RTOS partners are seeing increased revenue from Ada

11. Spreading the word - So let’s tell people about it! - Customer case studies - Articles - Opinion pieces - Conferences - Webinars - Social media

12. Helping the Developer - AdaCore is working on improving access to all developers through - AdaCore U - GAP - Public training courses

13. Helping the Developer - And we are still very, very committed to releasing the GPL edition each year… - Free Software has made AdaCore the company we are

14. Happy Birthday Lady Ada!