The Free and Open Source Developers' Meeting (FOSDEM) is an annual event held in Brussels, Belgium, in February. The 2014 edition will take place on Saturday the 1st and Sunday the 2nd of February. Ada-Belgium has organized a series of presentations related to Ada, to be held in a dedicated Developer Room, on the first day of the event.
Ada is a general-purpose language originally designed for safety- and mission-critical software engineering. It is used extensively in air traffic control, rail transportation, aerospace, nuclear, financial services and medical devices. It is also perfectly suited for open source development. The latest Ada standard was published by ISO in December 2012. As with the Ada 1995 and Ada 2005 standards, the new Ada 2012 standard already spreads thanks to the availability of its first full implementation which is none other than the GNU Compiler Collection (GNAT).
This DevRoom aims to present the possibilities offered by the Ada Language (object-oriented, multicore, embedded programming) as well as some of the many exciting tools and projects using Ada. A one-page call for participation is available giving an overview of the Ada DevRoom program; it can be used to help announcing the event, or to give an idea about its scope.
If you were at the Ada DevRoom at FOSDEM 2014 and took pictures that you would like to share, feel free to contact me (see below) and we'll make them available in a special section here.New this year: audio/video equipment was provided by the FOSDEM organizers, to enable recording all DevRoom presentations. A few volunteers "manned" that equipment during the day. After postprocessing the registrations is done, we'll post links to them here as well. Stay tuned...
Welcome to the Ada Developer Room at FOSDEM 2014, which is organized by Ada-Belgium in cooperation with Ada-Europe. Ada-Belgium and Ada-Europe are non-profit organizations set up to promote the use of the Ada programming language and related technology, and to disseminate knowledge and experience into academia, research and industry in Belgium and Europe, resp. Ada-Europe has member-organizations, such as Ada-Belgium, in various countries. More information on this DevRoom is available on the Ada-Belgium web-site (see link).
Overview of the main features of the Ada language, with special emphasis on those features that make it especially attractive for free software development. Ada is a feature-rich language, but what really makes Ada stand-out is that the features are nicely integrated towards serving the goals of software engineering. If you prefer to spend your time on designing elegant solutions rather than on low-level debugging, if you think that software should not fail, if you like to build programs from readily available components that you can trust, you should really consider Ada!
Ada is one of very few programming languages that support multithreading as part of the language, as opposed to libraries. Last year, we showed how Ada makes it easy to turn a single-threaded program into a multi-threaded program. We ended up with ten thousand threads working concurrently. I will briefly recap this first episode and then continue with the same program, introducing a task pool wherein a small number of threads (one per processor core) process thousands of small work units.
This presentation will feature live editing of source code, compilation and debugging. Questions from beginners are encouraged. It is not necessary to have attended the first installment. The sources of our example program will be provided to those who want to tinker with them.
A one-hour slot has been reserved for much needed interaction and informal discussion among Ada DevRoom participants and anyone potentially interested in Ada.
This presentation will talk about hybrid verification, an innovative approach to demonstrating the functional correctness of a program using a combination of automated proof and unit testing.
SPARK 2014 comprises a subset of Ada 2012, excluding those features not amenable to sound static verification. SPARK 2014 uses the contract-based programming provided by the latest Ada 2012 version, and uses the Ada 2012 aspect notation to strengthen the specification capabilities of Ada by the addition of new contracts for data dependencies, information flows, state abstraction, and data and behavior refinement. Once the functional behavior or low-level requirements of a program have been captured as SPARK 2014 contracts, the verification toolset can be applied to automatically prove that the implementation is correct and free from run-time exceptions. Only where verification cannot be completed automatically is it necessary to write unit tests, with the same contracts used to check the correct run-time behavior of the relevant subprograms.
A tutorial on how to use the Ada 2012 features for specifying detailed, checked contracts for types and subprograms -- "classes, functions and methods" if you aren't an Ada programmer already.
Contracts document constraints on how types and subprograms behave, but unlike comments they are checked -- either by when the program is compiled or on-the-fly as the program is running. Ada 2012 contract aspects will be presented together with a set of guidelines for using contract aspects consistently. The tutorial will conclude with a live test of the guidelines on some example source text.
After a quick reminder of the Hoare Logic and the approach for designing software by contracts, the tool suite developed by AdaCore for formal verifications is presented. To make the concepts easily understood, a little program simulating a sandpile is used.
Writing parallel versions for shared memory multicore computers with Ada tasks requires minimal modifications of the original source code. For pleasingly parallel computations we experienced almost optimal speedups. If we can afford to spend the same amount of time as one core, then we can ask how much better (e.g.: how much more accurate) we can solve a problem with p cores. This leads to the notion to "quality up". Similar to speedup factors, we can compute "quality up" factors. In this talk we report on our coding efforts to write multicore versions of the path trackers in PHCpack, a free and open source software package to solve polynomial systems. We started investigating the use of multithreading to compensate for the overhead of double double and quad double arithmetic.
PHCpack is a software package to solve polynomial systems with homotopy continuation methods. The Ada 83 code of version 1.0 was archived as Algorithm 795 by ACM Transactions on Mathematical Software in 1999. Version 2.0 was rewritten using concepts of Ada 95. Multitasking was introduced in version 2.3.45. Its current version 2.3.84 is available on github. PHCpack relies on two external software packages: (1) the QD library of Y. Hida, X.S. Li and D.H. Bailey for double double and quad double floating point arithmetic; and (2) MixedVol by T. Gao, T.Y. Li and M. Wu for a faster mixed volume computation. The advantages of double double arithmetic are its simple memory management (a double double is stored in the same way as a complex number) and its predictable cost overhead (just as complex arithmetic). In joint work with Genady Yoffe, we experienced that on 8 cores may already be sufficient to compensate for the cost overhead caused by double double arithmetic. As computers become more powerful and larger problems lead to more propagation of numerical errors, it may well happen that double double arithmetic replaces common double precision arithmetic.
AWS is a framework that allows web servers to be written entirely in Ada. This presentation shows the main principles of AWS, and emphasizes how Ada features can be used to make servers more secure, and immune for example to buffer overrun attacks.
This presentation explains and demonstrates how the Fedora Linux distribution can be used for developing in the Ada language, tells about available tools and frameworks.
A short update on the current state of Ada in Debian and the plans for the next stable release which is due early 2015.
A short overview of the Ada compilers and packages available on FreeBSD, NetBSD, and DragonFly.
Informal discussion on ideas and proposals for future events.
Dirk Craeynest has been involved with the Ada programming language and
related technology for more than 3 decades. After obtaining degrees
in mathematics and computer science, he was involved in research and
teaching at the Computer Science Department of the Leuven university.
Since 1995, he works mainly on large Ada-related software projects
Dirk is co-founder and President of the Ada-Belgium Organization, Vice-President of Ada-Europe (the federation of national Ada organizations), Editorial Board member of the quarterly Ada User Journal, member of ISO/IEC JTC1/SC22/WG9 (working group managing the Ada programming language standard), and elected officer in the Executive Committee of ACM SIGAda (ACM's Special Interest Group in Ada). He is involved in the organization of several annual international events, such as Ada-Europe's Conferences on Reliable Software Technologies and ACM SIGAda's Conferences on High-Integrity Language Technology.
Jean-Pierre Rosen graduated from ENST (French engineering school)
in 1975, and obtained PhD in 1986. He started as a software
engineer at the computing center of ENST, then as Professor, where
he was responsible for the teaching of Software Engineering and Ada.
He has formed Adalog, a company specialized in high level training,
consultancy and software development in the fields of Ada and
associated technologies (software engineering, object oriented
Jean-Pierre Rosen is Chairman of the AFNOR (French standardization body) group for Ada and a member of the ARG (Ada Rapporteur Group), the group of experts in charge of maintenance and evolution of the Ada language. He was a member of the expert team who controlled the development of the validation suite for Ada 95. He is the author of "Methodes de Genie Logiciel avec Ada 95" (Software Engineering Methods with Ada 95) and "HOOD: an industrial approach for software development".
Ludovic Brenta has been programming since 1989 and using GNU/Linux
He graduated from INSA Lyon in industrial engineering in 1996 and has been a software engineer ever since. In 2002, dissatisfied with the languages he used, he started looking for safer alternatives and discovered Ada, which he taught himself with help from the Free Software community. He started giving back in 2003 when he adopted most of the Ada packages in Debian and has been an official Debian Developer since 2006.
José F. Ruiz is a Senior Software Engineer who joined AdaCore in 2002. He received his Ph.D. Degree from the Technical University of Madrid for his work in the field of real-time and multimedia systems, including scheduling policies and resource management in operating systems. He is a specialist in embedded real-time high-integrity systems in Ada, an area where he has been working for more than 15 years, having authored/coauthored over 30 papers in those domains.
Jacob Sparre Andersen holds a PhD in experimental physics from the
Niels Bohr Institute. After his PhD he has worked in bioinformatics,
taught physics, statistics and software engineering, and worked in
an investment bank.
His current activities include writing telephone reception management software, creating models of investments and the financial market, teaching programmers how to use Ada 2012 -- and finding bugs in Java programs.
Jacob has his own consulting company -- Jacob Sparre Andersen Research & Innovation -- and is a co-founder of AdaHeads K/S.
Didier Willame graduated in Mathematics from UMH (Belgium). He is a software engineer with more than 15-years of experience in a wide range of industries (air traffic control, telecommunications, railway transportation, networks, 3D gesture recognition, finance, medicine and e-government). He is also a lecturer at ESI (Ecole Supérieure d'Informatique, Belgium) where he teaches mathematics, statistics and computer science. Moreover, Didier leads all operations at Argonauts-IT Ltd. Finally, his centers of interest include formal proofs of computer source code.
Jan Verschelde obtained his PhD in Computer Science in 1996 at the
Katholieke Universiteit Leuven (KU Leuven). After postdoctoral
fellowships at the KU Leuven, Michigan State University, and the
Mathematical Sciences Research Institute, he became a professor in
the department of Mathematics, Statistics and Computer Science at
the University of Illinois at Chicago (UIC) in 2000.
His main research focus is the development of algorithms and software for solving systems of polynomial equations, an important topic in computational algebraic geometry, which led to the software package PHCpack. Based on polyhedral homotopy continuation methods, PHCpack offers a blackbox solver to approximate all isolated solutions of polynomial systems. In joint work with Andrew Sommese (University of Notre Dame) and Charles Wampler (General Motors Research Labs), new homotopy algorithms were developed for a numerical irreducible decomposition of algebraic sets, in an area which is often called numerical algebraic geometry. PHCpack is one of the optional components of the mathematical software system Sage.
His current research interests include tropical algebraic geometry and the application of general purpose graphics compute processors to path tracking algorithms. At UIC, Jan Verschelde teaches introductory courses to Python programming, symbolic-numeric computing, and supercomputing. For more info, visit http://www.math.uic.edu/~jan/. The source of PHCpack is at https://github.com/janverschelde/PHCpack/.
Pavel Zhukov is a packager and maintainer of the Ada developer tools in the Fedora Linux distribution. The main purpose of the packaging is involving new developers to the Ada development from the wide Fedora community.
John Marino is a developer with commit privileges on the FreeBSD,
DragonFly BSD, and NetBSD projects. He maintains a set of patches that
allow GNAT to build and perfectly pass the compiler testsuite on all
the BSDs, including OpenBSD, as well as Solaris, and Android. This
project is documented on http://www.dragonlace.net. John maintains
an increasing number of Ada packages on several of these platforms.
John has served in the US Air Force, worked as a life support systems flight controller of the International Space Station at NASA's Johnson Space Center, ISS operations at the German Spaceflight Center near Munich, Automated Transfer Vehicle operations in Toulouse on behalf of the European Space Agency, and currently works as Space domain consultant for Booz & Company's Amsterdam office. He holds a Bachelor of Engineering for both Electrical and Biomedical Engineering from Vanderbilt University.
From: firstname.lastname@example.org. (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada Subject: Reminder - Ada Developer Room at FOSDEM 2014, Brussels, Belgium Date: Wed, 27 Nov 2013 21:40:57 +0000 (UTC) Organization: Ada-Belgium, c/o Dept. of Computer Science, K.U.Leuven Keywords: Ada,open source,free software,technical presentations,FOSDEM Reminder! The Call for Presentations for the Ada Developer Room at FOSDEM 2014 is still open. From the CfP: Do you have a talk you want to give? Do you have a project you would like to present? Would you like to get more people involved with your project? We're looking for proposals that are related to Ada software development, and include a technical oriented discussion. You're not limited to slide presentations, of course. Be creative. Propose something fun to share with people so they might feel some of your enthusiasm for Ada! Speaking slots are 25 or 50 minutes, including Q&A. Depending on interest, we might also have a session with lightning presentations (e.g. 5 minutes each). Looking forward to many proposals. Please submit by this weekend! Dirk Dirk Craeynest <email@example.com.> wrote: [ 95 lines deleted; see original version below -- dc ]
From: firstname.lastname@example.org. (Dirk Craeynest) Newsgroups: comp.lang.ada,fr.comp.lang.ada Subject: CfP - Ada Developer Room at FOSDEM 2014, Brussels, Belgium Date: Sun, 20 Oct 2013 17:48:46 +0000 (UTC) Organization: Ada-Belgium, c/o Dept. of Computer Science, KU Leuven Summary: Plan now to attend! Or even better: propose a talk! Keywords: Ada,open source,free software,technical presentations,FOSDEM ----------------------------------------------------------------------- Preliminary Announcement and Call for Presentations 5th Ada Developer Room at FOSDEM 2014 Saturday 1 February 2014, Brussels, Belgium http://www.cs.kuleuven.be/~dirk/ada-belgium/events/14/140201-fosdem.html Organized in cooperation with Ada-Europe ----------------------------------------------------------------------- Ada-Belgium  is pleased to announce that there will be a one-day Ada Developer Room on Saturday 1 February 2014 at FOSDEM 2014 in Brussels, Belgium. This Ada DevRoom is once more organized in cooperation with Ada-Europe . General information ------------------- FOSDEM , the Free and Open source Software Developers' European Meeting, is a free and non-commercial two-day weekend event organized each February in Brussels, Belgium. It is highly developer-oriented and brings together 5000+ participants from all over the world. The goal is to provide open source developers and communities a place to meet with other developers and projects, to be informed about the latest developments in the open source world, to attend interesting talks and presentations on various topics by open source project leaders and committers, and to promote the development and the benefits of open source solutions. Ada Developer Room ------------------ At previous FOSDEM events, Ada-Belgium has organized very well attended Ada Developer Rooms, offering a full day program in 2006 , a two-day program in 2009 , and full day programs in 2012  and 2013 . One of our important goals is to present Ada also to people outside the traditional Ada community. Our proposal for another dedicated Ada DevRoom was accepted recently, and now work continues to prepare the detailed program. We most probably will have a total of 8 schedulable hours between 10:00 and 18:00 in a room which holds up to 80 participants. More information will be posted later on the dedicated web-page on the Ada-Belgium site , and final announcements will of course also be sent to various lists and newsgroups. Call for presentations ---------------------- Ada-Belgium calls on you to: - inform us at email@example.com about specific presentations you would like to hear in this Ada DevRoom; - for bonus points, subscribe to the Ada-FOSDEM mailing list  to discuss and help organize the details; - for more bonus points, be a speaker: the Ada-FOSDEM mailing list is the place to be! Do you have a talk you want to give? Do you have a project you would like to present? Would you like to get more people involved with your project? We're looking for proposals that are related to Ada software development, and include a technical oriented discussion. You're not limited to slide presentations, of course. Be creative. Propose something fun to share with people so they might feel some of your enthusiasm for Ada! Speaking slots are 25 or 50 minutes, including Q&A. Depending on interest, we might also have a session with lightning presentations (e.g. 5 minutes each). We'd like to put together a draft schedule by the end of November. So, please act ASAP, and definitely before November 30, 2013. We look forward to lots of feedback and proposals! Dirk Craeynest, FOSDEM Team of Ada-Belgium Dirk.Craeynest@cs.kuleuven.be (for Ada-Belgium/-Europe/SIGAda/WG9 mail) -----------------------------------------------------------------------  http://www.cs.kuleuven.be/~dirk/ada-belgium  http://www.ada-europe.org  https://fosdem.org  http://www.cs.kuleuven.be/~dirk/ada-belgium/events/06/060226-fosdem.html  http://www.cs.kuleuven.be/~dirk/ada-belgium/events/09/090207-fosdem.html  http://www.cs.kuleuven.be/~dirk/ada-belgium/events/12/120204-fosdem.html  http://www.cs.kuleuven.be/~dirk/ada-belgium/events/13/130203-fosdem.html  http://www.cs.kuleuven.be/~dirk/ada-belgium/events/14/140201-fosdem.html  http://listserv.cc.kuleuven.be/archives/adafosdem.html ----------------------------------------------------------------------- (V20131020.1)
On Saturday, February 1, 2014, Ada-Belgium organizes once more an Ada Developer Room at the Free and Open-Source Developers' Meeting (FOSDEM'2014). Check here shortly for more information.
To the Ada-Belgium home page.
Last update: 2014/02/04.