Ada Lovelace Articles S
Total Page:16
File Type:pdf, Size:1020Kb
ADA Volume 36 USER Number 1 March 2015 JOURNAL Contents Page Editorial Policy for Ada User Journal 2 Editorial 3 Quarterly News Digest 4 Conference Calendar 24 Forthcoming Events 32 Bicentennial Ada Lovelace Articles S. Charman-Anderson “Ada Lovelace: Victorian Computing Visionary” 35 Articles from the Advances on Methods Special Session of Ada-Europe 2015 J. Sparre Andersen "Persistent Containers with Ada 2012" 43 F. Sánchez-Ledesma, J. Pastor, D. Alonso and B. Álvarez "A Task-Based Concurrency Scheme for Executing Component-Based Applications" 49 Ada-Europe Associate Members (National Ada Organizations) 56 Ada-Europe Sponsors Inside Back Cover Ada User Journal Volume 36, Number 1, March 2015 2 Editorial Policy for Ada User Journal Publication Original Papers a wider audience. This includes papers Ada User Journal — The Journal for Manuscripts should be submitted in published in North America that are the international Ada Community — is accordance with the submission not easily available in Europe. published by Ada-Europe. It appears guidelines (below). We have a reciprocal approach in four times a year, on the last days of granting permission for other March, June, September and All original technical contributions are submitted to refereeing by at least two publications to reprint papers originally December. Copy date is the last day of published in Ada User Journal. the month of publication. people. Names of referees will be kept confidential, but their comments will Commentaries Aims be relayed to the authors at the discretion of the Editor. We publish commentaries on Ada and Ada User Journal aims to inform software engineering topics. These readers of developments in the Ada The first named author will receive a may represent the views either of programming language and its use, complimentary copy of the issue of the individuals or of organisations. Such general Ada-related software engine- Journal in which their paper appears. articles can be of any length – ering issues and Ada-related activities. inclusion is at the discretion of the The language of the journal is English. By submitting a manuscript, authors grant Ada-Europe an unlimited license Editor. Although the title of the Journal refers to publish (and, if appropriate, Opinions expressed within the Ada to the Ada language, related topics, republish) it, if and when the article is User Journal do not necessarily such as reliable software technologies, accepted for publication. We do not represent the views of the Editor, Ada- are welcome. More information on the require that authors assign copyright to Europe or its directors. scope of the Journal is available on its the Journal. website at www.ada-europe.org/auj. Unless the authors state explicitly Announcements and Reports The Journal publishes the following otherwise, submission of an article is We are happy to publicise and report types of material: taken to imply that it represents on events that may be of interest to our original, unpublished work, not under readers. Refereed original articles on consideration for publication else- where. technical matters concerning Ada Reviews and related topics. Proceedings and Special Issues Inclusion of any review in the Journal Invited papers on Ada and the Ada is at the discretion of the Editor. A standardization process. The Ada User Journal is open to reviewer will be selected by the Editor consider the publication of proceedings to review any book or other publication Proceedings of workshops and of workshops or panels related to the sent to us. We are also prepared to panels on topics relevant to the Journal's aims and scope, as well as print reviews submitted from Journal. Special Issues on relevant topics. elsewhere at the discretion of the Reprints of articles published Interested proponents are invited to Editor. elsewhere that deserve a wider contact the Editor-in-Chief. audience. Submission Guidelines News and miscellany of interest to News and Product Announcements All material for publication should be the Ada community. Ada User Journal is one of the ways in sent electronically. Authors are invited which people find out what is going on to contact the Editor-in-Chief by Commentaries on matters relating in the Ada community. Our readers electronic mail to determine the best to Ada and software engineering. need not surf the web or news groups format for submission. The language of the journal is English. Announcements and reports of to find out what is going on in the Ada conferences and workshops. world and in the neighbouring and/or Our refereeing process aims to be competing communities. We will rapid. Currently, accepted papers Announcements regarding reprint or report on items that may be standards concerning Ada. submitted electronically are typically of interest to them. published 3-6 months after submission. Reviews of publications in the Items of topical interest will normally field of software engineering. Reprinted Articles appear in the next edition. There is no While original material is our first limitation on the length of papers, Further details on our approach to priority, we are willing to reprint (with though a paper longer than 10,000 these are given below. More complete the permission of the copyright holder) words would be regarded as information is available in the website material previously submitted exceptional. at www.ada-europe.org/auj. elsewhere if it is appropriate to give it Volume 36, Number 1, March 2015 Ada User Journal 3 Editorial The year 2015 is for sure a special year, with the celebration of the 200th anniversary of Ada Lovelace, the 19th century mathematician from whom the language takes the name. In this special year, it is important that we look back to analyze how much we know about Ada’s life and work. Ada undoubtedly deserves a place in the computing history, being a model for all of us (whatever the gender), both due to her achievements as well as the difficulties she faced. In that context, the Ada User Journal will join the celebrations, and will feature during the year, articles on Ada the person, in parallel with Ada, the language. We hope that the reader will both enjoy and learn a little more (on both subjects). The year thus starts with an article by Suw Charman-Anderson, journalist and social technologist, and the founder of Ada Lovelace Day. In the article, “Ada Lovelace: Victorian computing visionary”, Suw gives a perspective on Ada’s life and achievements, and presents why Ada is the perfect person to be the model for women in technology. I would like to acknowledge Suw for the work on clarifying many of the misconceptions and disputes on Ada’s work. I would like also to note our readers to stay tuned to the forthcoming Ada-Europe conference. The 20th International Conference on Reliable Software Technologies – Ada-Europe 2015, will take place 22-26 of June 2015 in Madrid, Spain. The advance program of the conference, which can be found in the forthcoming events section of the issue, illustrates that it will be a remarkable event, due to its rich program. On the program of the conference, I would like to highlight the sessions of technical papers and industrial presentations, as well as the special featured keynote talks by Jon Pérez, on certification of mixed-criticality systems based on multicore and partitioning in EC-61508, by Javier Rodríguez on Software Development of Safety-Critical Railway Systems and Andras Balazs on the on-board computer of the Philae lander in the context of the Rosetta space mission. The conference week will also encompass nine tutorials (with topics including parallel programming, memory management, coding standards, timing analysis, Ada 2012 in practice, Ada and Python, software measures and design concepts and real- time and embedded programming), and two workshops on “Challenges and new Approaches for Dependable and Cyber- Physical Systems Engineering” and “Architecture Centric Virtual Integration”. A special note, on this special year, to the Steering Committee of the first workshop, which intends to promote women engaged in science, in both industry and academia. The program of the week also includes space for networking and interaction, both during the day as well as in the featured social events. And, closing the circle, for sure Ada Lovelace will be remembered during the week. The technical part of this issue of the Journal also provides a rich set of contents. It provides an article by Jacob Sparre- Andersen, from JSA Research and Innovation, Denmark, on Implementing Ada 2012 Persistent Containers with Memory- Mapping, and a paper by a group of authors from Universidad Politécnica de Cartagena, Spain, which presents a task-based concurrency scheme to support component–based applications with real–time requirements Luís Miguel Pinho Porto March 2015 Email: [email protected] Ada User Journal Volume 36, Number 1, March 2015 4 Quarterly News Digest Jacob Sparre Andersen Jacob Sparre Andersen Research & Innovation. Email: [email protected] Germany ('00), Leuven, Belgium ('01), - Real-Time and Embedded Systems: Contents Vienna, Austria ('02), Toulouse, France Real-Time Scheduling, Design Methods ('03), Palma de Mallorca, Spain ('04), and Techniques, Architecture York, UK ('05), Porto, Portugal ('06), Modelling, HW/SW Co-Design, Ada-related Events 4 Geneva, Switzerland ('07), Venice, Italy Reliability and Performance Analysis. Ada Semantic Interface ('08), Brest, France ('09), Valencia, Spain - Mixed-Criticality Systems: Scheduling Specification 8 ('10), Edinburgh, UK ('11), Stockholm, Ada-related Resources 8 methods, Mixed-Criticality Sweden ('12), Berlin, Germany ('13), and Architectures, Design Methods, Ada-related Tools 10 Paris, France ('14). Ada-related Products 17 Analysis Methods. Ada and Operating Systems 17 General Information - Theory and Practice of High-Integrity References to Publications 19 The 20th International Conference on Systems: Medium to Large-Scale Ada Inside 19 Reliable Software Technologies - Ada- Distribution, Fault Tolerance, Security, Ada in Context 19 Europe 2015 will take place in Madrid, Reliability, Trust and Safety, Languages Spain.