The Covid-19 pandemic prevented the printing of the Ada User Journal this year. We have made them available as PDFs below. Older issues may be added later on; in the meantime, please refer to Ada-Europe's AUJ archive for those.
The 25th International Conference on Reliable Software Technologies, scheduled for 8-12 June 2020, has been postponed to June 2021 due to the COVID-19 pandemic. Please refer to the Notice of Cancellation for additional information.
Due to the on-going Covid-19 pandemic our next general assembly will be held virtually using Zoom. All members will receive a personal invitation by email; if you haven't received such an invitation by 1 May 2021, please contact firstname.lastname@example.org.
The next Ada-Europe Conference will be held online. As usual the conference schedule includes a technical program, vendor exhibition and parallel tutorials and workshops. Please see www.ada-europe.org/conference2021 for the preliminary program and additional information. Registration is complimentory for members of Ada Europe.
Ada-Switzerland is a non-profit organization and a member of Ada-Europe. It acts as a forum for persons and parties interested in the Ada programming language, its applications, and related technologies such as software engineering methods, development tools and bindings. The group promotes contacts and information among its members and interested parties. We organize meetings, seminars, conferences, and other activities related to our mandate which is to promote the use of the Ada programming language in Switzerland.
Membership lasts from January 1st to December 31st.
If you wish to apply please contact us and provide the following details:
Please not that in order to become a member of Ada-Switzerland you have to have an address in Switzerland. If you live outside of Switzerland and want to be part of the Ada community you should definitely have a look at the official list of national Ada organizations or contact the General Secretary.
As an Ada-Switzerland member you are entitled to the following benefits:
In addition to the benefits you get as a member of Ada-Switzerland, indirect Ada-Europe membership has the following advantages:
At the 2017 general assembly it was decided that we would organize a networking event for Ada users in Switzerland where people could present aspects of their projects. The first event took place on 21 September 2017 at the HSR Rapperswil. We had six very interesting presentations of about 30 min each, followed by an Ápero, which was kindly sponsored by Paranor. 18 people attended the event. The detailed program, presentations, and a link to our sponsor's website can be found below.
|Astronomical Ada||Ahlan Marriott & Urs Maurer, White Elephant GmbH|
|A common time base for parallel jobs in a distributed and embedded real-time system||Peter Vogelsanger, Rheinmetall Air Defence AG|
|Muen ‐ An x86/64 Separation Kernel for High Assurance||Reto Bürki & Adrian-Ken Rüegsegger, HSR Rapperswil|
|TKM ‐ An IKEv2 Key Manager written in Ada 2012||Reto Bürki & Adrian-Ken Rüegsegger, HSR Rapperswil|
|Recent developments in Zip-Ada, Part 1 (Overview, Deflate)||Gautier de Montmollin|
|Recent developments in Zip-Ada, Part 2 (LZMA)||Gautier de Montmollin|
Ada is an expressive and robust language in which the default for every programming construct is inherently safe. It was designed to allow programs to be engineered rather than crafted and that is why Ada is chosen for applications where failure would result in catastrophic losses in terms of human life, economic damage, or a major breach of security. Ada 2012, the latest revision, brought design by contract and support for multicore platforms to the language.
A brief introduction to Ada using small examples to explain the basics.
Ada Programming is a comprehensive 200-page Wikibooks project that covers the Ada 2012 standard.
AdaCore University is a dedicated e-learning center to teach the Ada language and the use of related technologies.
When you contact us you may do so in English (preferred) or German. Please use the contact form below and select the subject of your enquiry.
The current board was elected on the meeting of 15 March 2018.