❌ About FreshRSS

Reading view

There are new articles available, click to refresh the page.

Bridge returned error 404! (19699)

404 Page Not Found

RSS-Bridge tried to fetch a page on a website. But it doesn't exists.

Details

Type: HttpException
Code: 404
Message: https://www.youtube.com/feeds/videos.xml?channel_id=UCOC7qHXMYZe-w1737_Vv7Yg resulted in 404 Not Found
File: lib/contents.php
Line: 106

Trace

#0 index.php(11): RssBridge->main()
#1 lib/RssBridge.php(113): DisplayAction->execute()
#2 actions/DisplayAction.php(71): DisplayAction->createResponse()
#3 actions/DisplayAction.php(106): YoutubeBridge->collectData()
#4 bridges/YoutubeBridge.php(198): YoutubeBridge->collectDataInternal()
#5 bridges/YoutubeBridge.php(111): YoutubeBridge->ytGetSimpleHTMLDOM()
#6 bridges/YoutubeBridge.php(465): getSimpleHTMLDOM()
#7 lib/contents.php(157): getContents()
#8 lib/contents.php(106)

Context

Query: action=display&bridge=Youtube&context=By channel id&c=UCOC7qHXMYZe-w1737_Vv7Yg&duration_min=&duration_max=&format=Atom
Version: 2023-09-24
OS: Linux
PHP: 8.2.7

Go back

No maintainer

Webinar | SPARK Pro for Embedded and Systems Programming


SPARK Pro brings formal methods to industrial scale and delivers unbeatable security, correctness and proven memory safety for industrial-scale embedded and native applications.

In this webinar, Yannick Moy outlines key features of SPARK Pro, including demos on pointer ownership, function contracts and safe type casting.

Watch this session to learn more about:
- The rich possibilities for data representation in SPARK
- Available contracts on data types
- The ownership principle for tracking pointers to data
- Available contracts on functions
- Handling of bindings with C libraries, safe type casting, software-hardware interactions
- Specializing the analysis for a given target platform

This is the first in a series of webinars on SPARK Pro - learn more about our SPARK for Proven Memory Safety webinar: https://bit.ly/3TaCjaD

Update on the Ada Community and Alire Package Manager (AdaCore GAP Workshop June 21, 2023)


Fabien Chouteau, AdaCore

This talk was part of the 2023 GNAT Academic Program (GAP) Workshop. See the playlist for other talks. The GNAT Academic Program is an educational initiative that provides resources and support for academic institutions, enabling teachers and students to explore and utilize the Ada and SPARK programming languages. To learn more about GAP please visit our website at: https://www.adacore.com/academia

Update on AdaCore Technologies for Academia (AdaCore GAP Workshop June 21, 2023)


Dr. Yannick Moy, AdaCore

This talk was part of the 2023 GNAT Academic Program (GAP) Workshop. See the playlist for other talks. The GNAT Academic Program is an educational initiative that provides resources and support for academic institutions, enabling teachers and students to explore and utilize the Ada and SPARK programming languages. To learn more about GAP please visit our website at: https://www.adacore.com/academia

SPARK/Ada for High Integrity Spacecraft Software (AdaCore GAP Workshop June 21, 2023)


Dr. Carl Brandon, Vermont Technical College, Vermont, United States

Under the direction of Dr. Carl Brandon, students and staff of the University of Vermont’s CubeSat Lab built a1U CubeSat (10 cm x 10 cm x 10 cm, 1 kg) that was launched by NASA's ELaNa IV program on an Air Force Minotaur 1 rocket on November 19, 2013. Besides the 15 classified Air Force satellites aboard, there were two NASA CubeSats and 12 university CubeSats. Neither NASA CubeSat worked, 8 of the university CubeSats were never heard from, 2 had partial contact for one day, and one worked for four months. The VTC CubeSat, worked for two years and two days until it burned up in reentry over the Pacific. All the other CubeSats were programmed in C and ours in SPARK/Ada. This was our first CubeSat and 80% of the software was written by an undergrad with no prior SPARK/Ada experience. Dr. Brandon will describe the experience and the additions to the CubeSat software called CubedOS.

This talk was part of the 2023 GNAT Academic Program (GAP) Workshop. See the playlist for other talks. The GNAT Academic Program is an educational initiative that provides resources and support for academic institutions, enabling teachers and students to explore and utilize the Ada and SPARK programming languages. To learn more about GAP please visit our website at: https://www.adacore.com/academia

Real-Time Parallel Programming (AdaCore GAP Workshop June 21, 2023)


Prof. Luis Miguel Pinho - Polytechnic Institute of Porto & INESC TEC, Porto, Portugal

Developing real-time systems applications requires programming paradigms that can effectively handle the specification of concurrent activities and timing constraints, as well as controlling their execution on a particular platform. This difficult task is increasingly more complex due to the prevailing trend for high performance, and the use of fine-grained parallel execution. This talk will analyze the state-of-the-art and challenges for the development of real-time parallel applications, discussing how the parallel capabilities foreseen in the Ada 2022 standard support real-time parallel programming, and which open issues still remain, comparing with competing initiatives for real-time parallel support, such as the ones proposed for OpenMP.

This talk was part of the 2023 GNAT Academic Program (GAP) Workshop. See the playlist for other talks. The GNAT Academic Program is an educational initiative that provides resources and support for academic institutions, enabling teachers and students to explore and utilize the Ada and SPARK programming languages. To learn more about GAP please visit our website at: https://www.adacore.com/academia

GAP Capstone Projects (AdaCore GAP Workshop June 21, 2023)Description:


Olivier Henley, AdaCore

This talk was part of the 2023 GNAT Academic Program (GAP) Workshop. See the playlist for other talks. The GNAT Academic Program is an educational initiative that provides resources and support for academic institutions, enabling teachers and students to explore and utilize the Ada and SPARK programming languages. To learn more about GAP please visit our website at: https://www.adacore.com/academia

Design and Implementation of a Networked, Embedded Oscilloscope (AdaCore GAP Workshop June 21, 2023)


Prof. Mohamed Ali Ibrahim, Ph.D., P. Eng., University of Ottawa, Canada

The University of Ottawa’s Software Engineering program is currently collaborating with AdaCore on a Capstone project to give its students real-world, industrial integration project experience. In collaboration with Olivier Henley, an experienced AdaCore engineer, Prof. Ibrahim is supervising a team of four students in designing and implementing an oscilloscope based on the STM32F429I-DISCO microcontroller using Ada and SPARK programming languages. The project started in January 2023. It will pick up again next semester and continue until the end of December 2023. This presentation will share progress made during the first four months of the project, including work that has been completed and work that remains to be done.

This talk was part of the 2023 GNAT Academic Program (GAP) Workshop. See the playlist for other talks. The GNAT Academic Program is an educational initiative that provides resources and support for academic institutions, enabling teachers and students to explore and utilize the Ada and SPARK programming languages. To learn more about GAP please visit our website at: https://www.adacore.com/academia

Assertive Programming with SPARK (AdaCore GAP Workshop June 21, 2023)


Dr. Ran Ettinger, Ben-Gurion University of the Negev, Israel

This talk presents the adoption of SPARK alongside Dafny in an elective course given to third-year CS and SE students at Ben-Gurion University of the Negev. Being based on Rustan Leino's "Program Proofs" with example programs following Carroll Morgan's "Programming from Specifications", this course focuses on the detection of proof obligations for the formal verification of iterative and recursive code. This talk aims to show how SPARK and GNATprove are complementing the use of Dafny, demonstrating to students the industrial applicability of the learned approach. In this talk, as in the course, I show how manual annotation of a program with loop invariants, assertions, and ghost procedures for lemmas, with or without full proof, may justify the functional correctness of a developed program, both to the automated verifier and (as importantly) to the human reader. Adoption of open-source SPARK programs as a starting point for assignment exercises is discussed. Finally, one proof-authoring construct that I enjoy in Dafny is highlighted, hoping to inspire its addition to SPARK.

This talk was part of the 2023 GNAT Academic Program (GAP) Workshop. See the playlist for other talks. The GNAT Academic Program is an educational initiative that provides resources and support for academic institutions, enabling teachers and students to explore and utilize the Ada and SPARK programming languages. To learn more about GAP please visit our website at: https://www.adacore.com/academia

The Beauty of Epiphanies in the Learning of Concurrency (AdaCore GAP Workshop June 21, 2022)


Learning concurrency, as a concept, precursor to programming concurrent artifacts, is difficult for students. In fact, it stays difficult beyond that age. Helping students learn how to “think concurrent” is a challenge. Teaching achieves its purpose when the learner learns, not when teacher’s transmission ends. That moment shines as a kind of intellectual epiphany, in the literal sense of revelation. In this talk I will illustrate the ingredients that I have used with most success in causing such epiphany, in the form of a concurrent programming problem that Ada solves magnificently.

with Prof. Tullio Vardanega, University of Padova, Italy

SPARK/Ada in Formal Software System Modeling and Design (AdaCore GAP Workshop June 21, 2022)


In this talk, we will review our experience of teaching SPARK/Ada for software system modeling and design in undergraduate programmes at the University of Southampton. In particular, we focus on the link between system-level design using the Event-B formal method and software-level verification using SPARK for developing dependable systems. Finally, we discuss our ongoing work in building an automatic translator from Event-B to SPARK.

with Dr. Son Hoang, University of Southampton, UK

Developing a Secure Programming Course (AdaCore GAP Workshop June 21, 2022)


When security is mentioned most students think about network security and protecting the operating system and transmission between computers, e.g. passwords, virus protection and encryption. While important, that leads students to neglect what is happening within a program. This presentation describes a course at Roger Williams University that focuses on the program level. It explains the development of the course and its outcomes. It discusses the students’ background and the influence that plays in how the course is executed. It describes why Ada/SPARK was selected, but why this is not considered a “programming” course. It will also provide some of the experiences over three offerings of the course with using the IDE, student perspectives, and future plans.

with Prof. Anthony Ruocco, Roger Williams University, Bristol, Rhode Island, US

Introducing Students to Formal Methods through SPARK (AdaCore GAP Workshop June 21, 2022)


ISAE-SUPAERO is an engineering program focusing on the aerospace industry in which students are exposed to a variety of scientific courses (aerodynamics, mathematics, airplane design, etc.) and only become specialized in their third and last year of study. This presentation highlights two experiments aimed at introducing students to formal methods through SPARK. The first one is a classic lecture introducing deductive methods through SPARK for the third-year students specializing in Computer Science. The second one is a 2-month research project on SPARK proof robustness for 2 second-year students. Both experiments demonstrate how students with no previous knowledge of formal methods or theoretical Computer Science may learn deductive methods efficiently using bottom-up approaches in which they are quickly confronted with tools and practical sessions.

with Prof. Christophe Garion, ISAE-Supaero, France and Dr. Claire Dross, AdaCore.

GNAT Pro Assurance


AdaCore's GNAT Pro Assurance development toolsuite for Ada, C, and C++ is the premier solution for software certification and projects where safety issues, security vulnerabilities, and other software modifications must be handled over the long term while minimizing costs.

Developing FACE™ conformant software in Ada — Tech Days 2021


The FACE™ (Future Airborne Capability Environment™) approach to portable military avionics software is gathering momentum, with FACE conformance increasingly appearing as a selection criterion in US Department of Defense procurements. The language best suited to meet both the portability requirements of the FACE Technical Standard and the assurance requirements of domain-specific standards such as MIL-HDBK-516C or DO-178C is Ada. In this session, you will learn how AdaCore can help you develop FACE conformant Ada software that meets one of the Safety profiles. A demo will take you through the steps of the conformance verification process using a “stubbed run-time library” approach that AdaCore has devised and which the FACE Consortium is currently considering.
❌