Volume 36 Number 3 September 2015
Total Page:16
File Type:pdf, Size:1020Kb
ADA Volume 36 USER Number 3 September 2015 JOURNAL Contents Page Editorial Policy for Ada User Journal 118 Editorial 119 Quarterly News Digest 120 Conference Calendar 141 Forthcoming Events 146 Bicentennial Ada Lovelace Articles A. A. Lovelace “1842 Notes to the translation of the Sketch of The Analytical Engine” 152 Article from the Advances on Methods session of Ada-Europe 2015 S. Law, M. Bennett, S. Hutchesson, I. Ellis, G. Bernat, A. Colin and A. Coombes “Effective Worst-Case Execution Time Analysis of DO178C Level A Software” 182 Articles from the Architecture Centric Virtual Integration Workshop of Ada-Europe 2015 R. Hawkins, I. Habli and T. Kelly “The Need for a Weaving Model in Assurance Case Automation” 187 P. H. Feiler “Architecture-led Requirements and Safety Analysis of an Aircraft Survivability Situational Awareness System” 192 Ada-Europe Associate Members (National Ada Organizations) 196 Ada-Europe Sponsors Inside Back Cover Ada User Journal Volume 36, Number 3, September 2015 118 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 Announcements and reports of to find out what is going on in the Ada the journal is English. 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 3, September 2015 Ada User Journal 119 Editorial As the reader is aware, the 2015 volume of the Ada User Journal is celebrating the bicentennial of Ada Lovelace with a set of non-technical articles about Ada herself and her relation with Babbage. In this issue we will make an exception, and celebrate the bicentennial with one technical article, which was written in 1843: the notes to the English translation of the description of Babbage’s Analytical Engine. The notes, and their creation, have since then been the subject of several analysis; this issue provides them for the analysis of the reader. The 1843 notes article provides the description of the analytical engine, which is an interesting read, the notes with Ada’s explanations of the workings of the engine (actually describing what a computer does) and Ada’s reasoning of what the engine could eventually be. Can you imagine 170 years ago projecting that it could create music? I particularly encourage the reader to take a journey back in time, and attentively read the writings of Ada. I would like to thank John Fuegi and Jo Francis for pointing out the sources we have used to reproduce this article, as well as Patricia López for the huge effort in editing them in the Journal. In parallel to the celebration articles, the Journal continues the task of promoting and disseminating technical articles concerning the Ada language in particular and reliable software in general. The issue follows with an article worst-case execution time analysis of DO-178 Level A software, by a group of authors from Rolls-Royce Controls & Data Services and Rapita Systems, from the UK. This article concludes the publication of the Advances on Methods session of Ada-Europe 2015 (previous articles of the session were published in the March 2015 issue). Afterwards, it provides the best papers from the Architecture Centric Virtual Integration Workshop, also an event associated with the Ada-Europe 2015 conference. In the first article, authors from the University of York, UK, explain how model weaving allows for modelling correspondences between models and how to apply it for assurance cases. Then, Peter Feiler, from the Software Engineering Institute, USA, describes an approach for the specification of verifiable requirements and for system safety analysis. In parallel to the technical contents of the Journal, I would like also to note the featured forthcoming events. Although not first in chronological order, and bracketed by two technical events, I would like to start with the Ada Lovelace Symposium, which will take place at the Mathematics Institute, University of Oxford on 9th and 10th December 2015. The symposium will be one of the main bicentennial celebrating events, featuring reputed speakers (among them John Barnes), discussing Ada’s life and work. Going back to chronological order, first we have the announcement of the 2nd UK conference on High Integrity Software taking place in Bristol, UK, on November 5, 2015, an event about challenges and solutions in the domain of trustworthy software engineering. Then the announcement of the 2016 International Real-Time Ada Workshop, which will take place in Benicássim, near Valencia, Spain, April 11-13 2016. An important event for the advancement of Ada technology and use in one very important domain. To conclude, also a special note to the Ada-Europe 2016 conference, which will take place in Pisa, Italy, in the week of 13-17 June, 2016. The opportunity for Ada and Reliable Software practitioners and enthusiasts to present their work and for the community to connect in an enjoyable scenario. Recognizing the importance of parallelism, and its impact on future reliable systems, the conference includes a Special Session on Safe, Predictable Parallel Software Technologies. The Ada-Europe conference is an outcome of contributions from the community; I encourage, and insist in asking for, your contribution! Luís Miguel Pinho Porto September 2015 Email: [email protected] Ada User Journal Volume 36, Number 3, September 2015 120 Quarterly News Digest Jacob Sparre Andersen Jacob Sparre Andersen Research & Innovation. Email: [email protected] 2015 Ada-Belgium General Assembly As mentioned at earlier occasions, we Contents and at 16:00 have a limited stock of documentation sets and Ada related CD-ROMs that were Ada Round-Table Discussion distributed at previous events, as well as Ada-related Events 120 back issues of the Ada User Journal[3].