Uploads by AdaCore05

by AdaCore05 · · · · 2 subscribers

Youtube uploads by AdaCore05

Ada Java lunar lander demo This video shows an example mixed-language application. The application is a modified version of the Lunar Lander demonstrator, with Ada now used to calculat... From: AdaCore05 Views: 46 1 ratings Time: 02:36 More in Science & Technology

more...


Tags: http://gdata.youtube.com/schemas/2007#video, computer_science, ada

Older Episodes

![](http://i.ytimg.com/vi/7wiFX9x19bg/default.jpg) [Managing Avionics Safety Certification in UAS Platforms](http://www.youtube.com/watch?v=7wiFX9x19bg&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 115 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 2 ratings Time: 01:02:02 More in [Science & Technology](http://www.youtube.com/videos?c=28)
![](http://i.ytimg.com/vi/7wiFX9x19bg/default.jpg) [Managing Avionics Safety Certification in UAS Platforms](http://www.youtube.com/watch?v=7wiFX9x19bg&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 60 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 1 ratings Time: 01:02:02 More in [Science & Technology](http://www.youtube.com/videos?c=28)
![](http://i.ytimg.com/vi/yj8qbsqTEow/default.jpg) [An Introduction to CodePeer 2.3 Demo](http://www.youtube.com/watch?v=yj8qbsqTEow&feature=youtube_gdata) Table of Contents: 37:51 - What is new in CodePeer 2.3? 39:18 - What is new in CodePeer? (cont'd) 39:59 - What is new in CodePeer? (cont'd) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 176 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 1 ratings Time: 41:11 More in [Howto ...
![](http://i.ytimg.com/vi/yj8qbsqTEow/default.jpg) [An Introduction to CodePeer 2.3 Demo](http://www.youtube.com/watch?v=yj8qbsqTEow&feature=youtube_gdata) Table of Contents: 37:51 - What is new in CodePeer 2.3? 39:18 - What is new in CodePeer? (cont'd) 39:59 - What is new in CodePeer? (cont'd) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 150 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 1 ratings Time: 41:11 More in [Howto ...
![](http://i.ytimg.com/vi/z5qqFpB9Rjc/default.jpg) [An Introduction to CodePeer 2.3](http://www.youtube.com/watch?v=z5qqFpB9Rjc&feature=youtube_gdata) Table of Contents: 03:49 - 24:49 - CodePeer Checks and Warnings 24:55 - Run- time checks 26:06 - Other checks 26:55 - Liveness warnings 27:51 - Other warnings... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 279 ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) 0 ratings Time: 28:31 More in [Howto ...
![](http://i.ytimg.com/vi/z5qqFpB9Rjc/default.jpg) [An Introduction to CodePeer 2.3](http://www.youtube.com/watch?v=z5qqFpB9Rjc&feature=youtube_gdata) Table of Contents: 03:49 - 24:49 - CodePeer Checks and Warnings 24:55 - Run- time checks 26:06 - Other checks 26:55 - Liveness warnings 27:51 - Other warnings... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 243 ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_empty_11x11.gif) 0 ratings Time: 28:31 More in [Howto ...
![](http://i.ytimg.com/vi/2qyAksCfdSA/default.jpg) [SPARK and Tokeneer Demo](http://www.youtube.com/watch?v=2qyAksCfdSA&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1398 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 7 ratings Time: 05:30 More in [Science & Technology](http://www.youtube.com/videos?c=28)
![](http://i.ytimg.com/vi/2qyAksCfdSA/default.jpg) [SPARK and Tokeneer Demo](http://www.youtube.com/watch?v=2qyAksCfdSA&feature=youtube_gdata) From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1243 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 7 ratings Time: 05:30 More in [Science & Technology](http://www.youtube.com/videos?c=28)
[![](http://i.ytimg.com/vi/174wt7a2iE0/default.jpg)](http://www.youtube.com/wa tch?v=174wt7a2iE0&feature=youtube_gdata) [Introducing AdaCore University](http://www.youtube.com/watch?v=174wt7a2iE0&feature=youtube_gdata) Introducing AdaCore University. A free e-learning center dedicated to teaching the Ada language and the use of related technologies. Start learning Ada: http... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 481 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 1 ratings Time: 02:07 More in [Howto & Style](http://www.youtube.com/videos?c=26)
![](http://i.ytimg.com/vi/174wt7a2iE0/default.jpg) [Introducing AdaCore University](http://www.youtube.com/watch?v=174wt7a2iE0&feature=youtube_gdata) Introducing AdaCore University. A free e-learning center dedicated to teaching the Ada language and the use of related technologies. Start learning Ada: http... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1695 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 4 ratings Time: 02:07 More in [Howto & Style](http://www.youtube.com/videos?c=26)
![](http://i.ytimg.com/vi/174wt7a2iE0/default.jpg) [Introducing AdaCore University](http://www.youtube.com/watch?v=174wt7a2iE0&feature=youtube_gdata) Introducing AdaCore University. A free e-learning center dedicated to teaching the Ada language and the use of related technologies. Start learning Ada: http... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 1588 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 4 ratings Time: 02:07 More in [Howto & Style](http://www.youtube.com/videos?c=26)
[![](http://i.ytimg.com/vi/174wt7a2iE0/default.jpg)](http://www.youtube.com/wa tch?v=174wt7a2iE0&feature=youtube_gdata) [Introducing AdaCore University](http://www.youtube.com/watch?v=174wt7a2iE0&feature=youtube_gdata) Introducing AdaCore University. A free e-learning center dedicated to teaching the Ada language and the use of related technologies. Start learning Ada: http... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 845 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 1 ratings Time: 02:07 More in [Howto & Style](http://www.youtube.com/videos?c=26)
[![](http://i.ytimg.com/vi/HkgGOOXf- yo/default.jpg)](http://www.youtube.com/watch?v=HkgGOOXf- yo&feature=youtube_gdata) [Verification and Validation of Ada and mixed language applications on ARM](http://www.youtube.com/watch?v=HkgGOOXf-yo&feature=youtube_gdata) ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 167 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 2 ratings ...
![](http://i.ytimg.com/vi/HkgGOOXf-yo/default.jpg) [Verification and Validation of Ada and mixed language applications on ARM](http://www.youtube.com/watch?v=HkgGOOXf-yo&feature=youtube_gdata) ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 477 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 2 ratings Time: 32:32 ...
![](http://i.ytimg.com/vi/HkgGOOXf-yo/default.jpg) [Verification and Validation of Ada and mixed language applications on ARM](http://www.youtube.com/watch?v=HkgGOOXf-yo&feature=youtube_gdata) ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 436 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 2 ratings Time: 32:32 ...
[![](http://i.ytimg.com/vi/HkgGOOXf- yo/default.jpg)](http://www.youtube.com/watch?v=HkgGOOXf- yo&feature=youtube_gdata) [Verification and Validation of Ada and mixed language applications on ARM](http://www.youtube.com/watch?v=HkgGOOXf-yo&feature=youtube_gdata) ARM cpus are now often preferred in safety critical embedded environments where PowerPC was the traditional choice. Such software may now be developed in Ada... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 228 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 2 ratings ...
AdaCore Booth 719 March 29, 2013
[![](http://i.ytimg.com/vi/Hy0-FP0CEf0/default.jpg)](http://www.youtube.com/wa tch?v=Hy0-FP0CEf0&feature=youtube_gdata) [AdaCore Booth 719](http://www.youtube.com/watch?v=Hy0-FP0CEf0&feature=youtube_gdata) 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-l... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 157 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 3 ratings Time: 01:01 More in [Science & Technology](http://www.youtube.com/videos?c=28)
AdaCore Booth 719 March 29, 2013
![](http://i.ytimg.com/vi/Hy0-FP0CEf0/default.jpg) [AdaCore Booth 719](http://www.youtube.com/watch?v=Hy0-FP0CEf0&feature=youtube_gdata) 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-l... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 199 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 3 ratings Time: 01:01 More in [Science & Technology](http://www.youtube.com/videos?c=28)
AdaCore Booth 719 March 29, 2013
![](http://i.ytimg.com/vi/Hy0-FP0CEf0/default.jpg) [AdaCore Booth 719](http://www.youtube.com/watch?v=Hy0-FP0CEf0&feature=youtube_gdata) 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-l... From: [AdaCore05](http://www.youtube.com/channel/UCOC7qHXMYZe-w1737_Vv7Yg) Views: 198 ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) ![](http://gdata.youtube.com/static/images/icn_star_full_11x11.gif) 3 ratings Time: 01:01 More in [Science & Technology](http://www.youtube.com/videos?c=28)