DOCSLIB.ORG

AN OPEN ONION PROCESS MODEL to SUPPORT OPEN SOURCE DEVELOPMENT AMINAT ABIOLA SHOWOLE a Thesis Submitted in Fulfilment of The

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read full-text
AN OPEN ONION PROCESS MODEL to SUPPORT OPEN SOURCE DEVELOPMENT AMINAT ABIOLA SHOWOLE a Thesis Submitted in Fulfilment of The AN OPEN ONION PROCESS MODEL TO SUPPORT OPEN SOURCE DEVELOPMENT AMINAT ABIOLA SHOWOLE A thesis submitted in fulfilment of the requirements for the award of the degree of Doctor of Philosophy (Computer Science) Faculty of Computer Science and Infonnation Systems Universiti Teknologi Malaysia JANUARY 20 11 11 DECLARATION I declared that this thesis entitled "An Open Onion Process Model to Support Open Source Development" is the result of my own research except as cited in the references. The thesis has not been accepted for any degree and is not concurrently submitted in candidature of any other degree. Signature: ···� ····· Name: Arninat Abiola Showole Date: 31ST January, 2011 Ill To My late fa ther, Alhaji G.S. Alamutu My sweet mother Alhaja Safiat Atoke Alamutu, My beloved Children Mubarak, Teslim, Hikmat & Yusrah My darling husband and best fr iend, Abdul Wa siu Showole IV ACKNOWLEDGEMENT All Praises belong to Allah (SWT) fo r making it possible fo r me to get to this phase of my research. This PhD research is sponsored by Islamic Development Bank (IDB) Jeddah, Saudi Arabia and Federal University of Ahuja, Nigeria, to both whom I am very grateful. My deepest appreciation goes to my principal supervisor Professor Dr. Hj. Shamsul Sahibuddin, fo r his persistent support in terms of guidance, encouragements and inspiration especially at the times when this research seemed unworkable. He has always given me the much needed courage to fo rge ahead and build high-level of confidence in me. All these have really taken me to this level. My profound gratitude goes to my co-supervisor, Associate Professor Dr. Ibrahim Suhaimi, for his guidance and motivation in the course of this research. He is an ever-listening, willing to help co-supervisor. My sincere appreciation goes to members of the fa culty of computer science and information system (FSKSM), UTM; and in particular, Associate Prof. Dr. Ali Selamat fo r his assistance especially at the early stages of this research and Professor Bob Colomb for guiding me, with his elderly expertise, towards the appropriate data analysis technique for this research. Furthermore, I appreciate the open source community and open source repository providers (SourceForge.net, flossmole.org). They have indeed facilitated this research by providing free and up to date project activity details which have eased the data collection processes for this research. Mr. Nicholas, open source community, Malaysia. Industry-based practitioner though, he granted me audience and provided positive responses as I provoked his thoughts on open source academic 1ssues. v My appreciation goes to my family friends particularly, Abd-Gafar and K.ifayah Fahm and the entire Nigerian communities in Malaysia, fo r their support and care of my children during the course of this research. My appreciation goes to people who have assisted me through my academic ladder climbing. Mr. Agosu was my wonderful mathematics secondary school teacher who gave me a solid fo undation in mathematics and statistics. Engineer Bayo Adeola is a fantastic brother to me, Dr A.K. Oj o is my mentor and Professor Olaide Abass of University of Lagos is a father-figure. My deepest appreciation and humility goes to my late father, Alhaj i 'Ganiu S. Alamutu and my mother Alhaj a Safiat A. Alamutu fo r their parental care, endless support and perpetual prayers over me. My love goes to Alhaja R.Titilayo Oguntola, Engineer Wale Q. Alamutu, Mrs. Mariam A. Ibrahim and Late Mrs. Barakat Adebiyi ofblessed memory; they are my wonderful and worthy siblings indeed. My Mother­ in-law, late Alhaja Sidiqat Showole of blessed memory, was a one-in-a-million mother in law who had always showered her blessings and prayers upon me on a daily basis throughout her 8 years of stay with me; although I tried my best to be kind to her on a daily basis as well. I am convinced that her long years of prayers over me have indeed contributed to my success in this research. My love and appreciation goes to my beloved children, Mubarak, Teslim, Hikmat and Yusrah, who have all shown adequate understanding and cooperation. They provided a balancing environment for my brain to operate in the course of this research. My love goes to my darling husband, Abdul Wasiu Abiodun Showole most encouraging, highly committed with persistent determination towards my success. VI ABSTRACT The need for technologies to building high quality software faster and cheaper has led to the advances in software development techniques such as software component, object orientation, software reuse and open source methodologies. Ability to revamp existing codes is the leading edge of open source over other methodologies. Interestingly, literature has often described open source development with onion. However, the previous open source onion descriptions have not been put to test. This research presents an improved onion model that has streamlined fo ur prominent open source onion models into a newly evolved five layered open onion model whose layers are distinctively modeled diagrammatically, evaluated statistically and validated with Delphi's approach. Relevant parameters, such as programming language support, user interface, and natural language support, were extracted from ten highly ranked SourceForge case studies and statistically evaluated using correlation, regression and averages; while a cross verification was performed by statistical analysis based on extracted details of II04 open source software projects details. The support for Pareto (80/20) principle in open source shows that 80% of proj ect developers' activities are actually regulated and controlled by 20% project administrators' activities. The development and validation of open source user satisfaction equation as well as the newly evolved open source success tree provide excellent measure; such as 100% Delphi experts' support for ability to avoid fatal errors and 100% fo r ability to build strong support for the project; to which an open source success rate largely depends. Major contributions of this study are that the open onion model evolves to improve the existing onion models of open source through the modeling, verification and the 4-round open onion Delphi validation stages. Vll ABSTRAK Keperluan teknologi bagi pembinaan perisian berkualiti tinggi dengan lebih cepat dan murah telah membawa kepada kemajuan dalam teknik pembangunan perisian seperti komponen perisian, orientasi objek, penggunaan semula perisian dan metodologi sumber terbuka. Kemampuan mengubah kod sedia ada merupakan kelebihan utama sumber terbuka melebihi metodologi lain. Apa yang menarik, pelbagai kertas kajian menggambarkan perkembangan sumber terbuka dengan bawang. Namun, gambaran bawang ini belum pemah diuji. Penyelidikan ini menawarkan suatu pembaharuan model bawang yang menggabungkan empat model bawang sumber terbuka terkemuka ke dalam suatu model evolusi baru lima lapisan bawang terbuka dimana setiap lapisan digambarkan dengan model berbeza, dinilai secara statistik dan disahkan melalui pendekatan Delphi. Parameter yang berkaitan, seperti sokongan bahasa pengaturcaraan, antara muka pengguna, dan sokongan bahasa tabii, diekstrak dari sepuluh kedudukan tertinggi kajian kes SourceForge dan dinilai secara statistik menggunakan korelasi, regresi dan purata; manakala pengesahan yang menyeluruh dilakukan dengan analisa statistik butiran yang diambil dari 1104 projek perisian sumber terbuka. Sokongan bagi prinsip Pareto (80/20) dalam sumber terbuka menunjukkan bahawa 80% dari kegiatan pemaju projek sebenamya diselaraskan oleh 20% kegiatan pentadbir projek. Pembangunan dan pengesahan persamaan kepuasan pengguna sumber terbuka serta pokok kejayaan sumber terbuka evolusi baru menyediakan pengukuran unggul seperti sokongan 1 00% pakar Delphi bagi keupayaan mengelakkan kesilapan besar dan 100% bagi kemampuan membina sokongan kuat projek; kadar kejayaan sumber terbuka sangat bergantung kepada ukuran-ukuran tersebut. Sumbangan utama dari kajian ini adalah bahawa model bawang terbuka berkembang bagi memperbaharui model bawang sumber terbuka sedia ada melalui pemodelan, penentusahan dan tahap pengesahan bawang terbuka Delphi 4-pusingan. Vlll TABLE OF CONTENTS CHAPTER TITLE PAGE DECLARATION 11 ACKNOWLEDGEMENT iv ABSTRACT VI ABSTRAK Vll TABLE OF CONTENTS Vlll LIST OF TABLES XIV LIST OF FIGURES XVJJJ LIST OF DEFINITIONS XXI LIST OF ACRONYMS XXll LIST OF APPENDICES xxiv 1 INTRODUCTION 1.1. Problem Background 1.1.1. Conventional Software Development Paradigms 2 1.1.2. Open Source Approach to Software Development 6 1.1.3. Issues in Open Source Software Development 9 1.1.4. Varying Characteristics of Open Source Projects 11 1.2. Statement of the Problem 12 1.3. Research Questions 14 1.4. Objective of the Study 14 1.5. Scope ofResearch 14 IX u·� : :-., 1.6. · � .. \ 16 Significance ofResearch . ..... ,. ---.. 1.7. Thesis Organization 2r;-- [. {H•- - � \ 17 2 LITERATURE REVIEW 20 2.1. Open Source Definition 20 2.2. Historical Background Of Open Source Software 22 2.3. The Philosophy of Open Source 24 2.3.1. Individual developer's views 25 2.3.2. Corporate Organization's views of Open Source 27 2.4. Software Process Models Vs. Open Source Models 29 2.4. 1. Traditional Software Engineering 29 2.4.2. Open Source Models 36 2.5. Related Open Source Onion Models 42 2.6. Software Quality In Relation to User Satisfaction 46 2.6.1. Software Quality Models 46 2.6.2. Software Quality Assurance (SQA) Perspectives 48 2.6.3. Statistical Software Quality Assurance (SQA) 49 2.6.4. Open Source Approach to SQA 49 2.7. Review Summary 51 3 RESEARCH METHODOLOGY 53 3.1. Research Methods 54 3.1.1. Quantitative Research in Software Engineering 55 3.1.2. Open onion Research Approach 56 3.1.3. Research Framework 56 3.2. Research Design and Procedure 58 3.2.1. Modeling 58 3.2.2. Units of Analysis 59 X 3.2.3. Case Study Selection Criteria 60 3.2.4. Research Settings 61 3.2.5. Data Collection 63 3.2.6. Case Study Selection Size 64 3.3. Research Hypotheses 65 3.4. Open onion validation Method 67 3.4.1. Selection of the Delphi Method 67 3.4.2.
Load more

Recommended publications
  • A Model-Driven Development and Verification Approach
    A MODEL-DRIVEN DEVELOPMENT AND VERIFICATION APPROACH FOR MEDICAL DEVICES by Jakub Jedryszek B.S., Wroclaw University of Technology, Poland, 2012 B.A., Wroclaw University of Economics, Poland, 2012 A THESIS submitted in partial fulfillment of the requirements for the degree MASTER OF SCIENCE Department of Computing and Information Sciences College of Engineering KANSAS STATE UNIVERSITY Manhattan, Kansas 2014 Approved by: Major Professor John Hatcliff Abstract Medical devices are safety-critical systems whose failure may put human life in danger. They are becoming more advanced and thus more complex. This leads to bigger and more complicated code-bases that are hard to maintain and verify. Model-driven development provides high-level and abstract description of the system in the form of models that omit details, which are not relevant during the design phase. This allows for certain types of verification and hazard analysis to be performed on the models. These models can then be translated into code. However, errors that do not exist in the models may be introduced during the implementation phase. Automated translation from verified models to code may prevent to some extent. This thesis proposes approach for model-driven development and verification of medi- cal devices. Models are created in AADL (Architecture Analysis & Design Language), a language for software and hardware architecture modeling. AADL models are translated to SPARK Ada, contract-based programming language, which is suitable for software veri- fication. Generated code base is further extended by developers to implement internals of specific devices. Created programs can be verified using SPARK tools. A PCA (Patient Controlled Analgesia) pump medical device is used to illustrate the primary artifacts and process steps.
    [Show full text]
  • Reusable Software Components
    REUSABLE SOFTWARE COMPONENTS Trudy Levine Fairleigh Dickinson University Teaneck, NJ 07666 [email protected] http://alpha.fdu.edu/~levine/reuse_course/columns This column consists of our January 2010 listing of sources for reusable software components. All information is obtained from web sites or directly from the parties involved. As always, no recommendation or guarantee by this column is implied. We note that this issue marks twenty years of this column appearing in Ada Letters. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Ada Basis WWW Server Ada Basis WWW Server is an archive of about 560Mbyte of public domain source code and documents mainly obtained from the Public Ada Library (PAL). The software has been classified into different application domains and presented in a hierarchical manner. AdaBasis is an acronym for the German phrase "Bibliothek anwendungsbezogener Ada Software-Komponenten in Stuttgart." It is a repository of (mostly) free Ada Software, presented in a way that is (hopefully) easy to use and allows flexible access and effective searching. Application domains include: Artificial Intelligence Compilers Database Management Documents Text-Processing Interfaces/Bindings Mathematical Functions and Data Structures Networking and Distributed Processing Software Development Tools The repository has not been updated in several years, but it is a good source to obtain a large volume of working Ada code for testing Ada-related tools. CONTACT: [email protected] http://www.informatik.uni-stuttgart.de/ifi/ps/ada-software/ada-software.html
    [Show full text]
  • Ada User Journal 198 Editorial 199 News 201 Conference Calendar 225 Forthcoming Events 232 Articles I
    ADA Volume 28 USER Number 4 December 2007 JOURNAL Contents Page Editorial Policy for Ada User Journal 198 Editorial 199 News 201 Conference Calendar 225 Forthcoming Events 232 Articles I. Furgel, L. Hanke “Secure software-download as part of a complex business process” 237 Proceedings of the 13th International Real-Time Ada Workshop T. Vardanega, J. F. Ruiz “Session: Language Issues” 246 A. Zerzelidis, A. Burns, A.J. Wellings “Correcting the EDF protocol in Ada 2005” 249 A. J. Wellings, A. Burns “Integrating OOP and Tasking – The missing requeue” 253 S. Urueña, J. Zamorano “Building High-Integrity Distributed Systems with Ravenscar Restrictions” 259 Ada Gems 267 Ada-Europe Associate Members (National Ada Organizations) 272 Ada-Europe 2007 Sponsors Inside Back Cover Ada User Journal Volume 28, Number 4, December 2007 198 Editorial Policy for Ada User Journal Publication Original Papers Commentaries Ada User Journal — The Journal for Manuscripts should be submitted in We publish commentaries on Ada and the international Ada Community — is accordance with the submission software engineering topics. These published by Ada-Europe. It appears guidelines (below). may represent the views either of four times a year, on the last days of individuals or of organisations. Such March, June, September and All original technical contributions are articles can be of any length – December. Copy date is the last day of submitted to refereeing by at least two inclusion is at the discretion of the the month of publication. people. Names of referees will be kept Editor. confidential, but their comments will Opinions expressed within the Ada Aims be relayed to the authors at the discretion of the Editor.
    [Show full text]
  • Ada-Europe 2014, Taking Place in Paris, France, June 23-27, 2014
    ADA Volume 34 USER Number 3 September 2013 JOURNAL Contents Page Editorial Policy for Ada User Journal 134 Editorial 135 Quarterly News Digest 136 Conference Calendar 157 Forthcoming Events 162 Special Contribution J. G. P. Barnes “Rationale for Ada 2012: Epilogue” 167 Articles from the Industrial Track of Ada-Europe 2013 D. Bigelow “Using the GNAT environment to maintain a large codebase inherited from another compilation system” 175 Reports A. Burns “16th International Real-Time Ada Workshop” 183 E. Plödereder, J. Bundgaard “How to Use the Heap in Real-Time Systems: Panel Report” 187 Ada Gems 190 Ada-Europe Associate Members (National Ada Organizations) 192 Ada-Europe 2013 Sponsors Inside Back Cover Ada User Journal Volume 34, Number 3, September 2013 134 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.
    [Show full text]
  • Reusable Software Components
    REUSABLE SOFTWARE COMPONENTS Trudy Levine Fairleigh Dickinson University Teaneck, NJ 07666 [email protected] http://alpha.fdu.edu/~levine/reuse_course/columns This column consists of our yearly listing of sources for reusable software components. As always, no recommendation or guarantee by this column is implied. ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ Ada Basis WWW Server Ada Basis WWW Server is an archive of about 560Mbyte of public domain source code and documents mainly obtained from the Public Ada Library. The software has been classified into different application domains and presented in a hierarchical manner. AdaBasis is an acronym for the German phrase "Bibliothek anwendungsbezogener Ada Software-Komponenten in Stuttgart." The archive is a repository of (mostly) free Ada Software, presented in a way that is (hopefully) easy to use and allows flexible access and effective searching. The application domains include: Artificial Intelligence Compilers Database Management Documents Text-Processing Interfaces/Bindings Mathematical Functions and Data Structures Networking and Distributed Processing Software Development Tools This repository has not been updated in several years, but it is still a good source to obtain a large volume of working Ada code for testing Ada-related tools. CONTACT: [email protected] http://www.informatik.uni-stuttgart.de/ifi/ps/ada-software/ada-software.html ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ The Ada-Belgium Archive One of the aims of the Ada-Belgium organization is to disseminate Ada-related information. So, in addition to the organization of seminars, workshops, etc., and the management of two mailing lists, it also has set up an Ada archive primarily for people and companies in Belgium. This enables everyone interested to consult and download a large variety of Ada software and documents using an ftp server in Belgium or elsewhere.
    [Show full text]
  • Ada Programming Tutorial at Wikibooks
    AADDAA PPROGRROGRAMMINGAMMING by Wikibooks contributors Developed on Wikibooks, the open-content textbooks collection © Copyright 2004–2007, Wikibooks contributors. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.2 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts. A copy of the license is included in the section entitled "GNU Free Documentation License". Image licenses are listed in the section entitled "Image Credits." Principal authors: • Martin Krischik (Contributions) • Georg Bauhaus (Contributions) • Manuel Gómez (Contributions) • Samuel Tardieu (Contributions) • Santiago Urueña (Contributions) • Ludovic Brenta (Contributions) • C.K.W. Grein (Contributions) • Ed Falis • Bill Findlay (Contributions) • Pascal Obry • Simon Wright (Contributions) • Unnamed Hero (Contributions) • John Oleszkiewicz (Contributions) • B. Seidel (Contributions) • Nicolas Kaiser (Contributions) • Allen Lew (Contributions) • Larry Luther (Contributions) The current version of this Wikibook may be found at: http://en.wikibooks.org/wiki/Ada_Programming Table of Contents 1PREFACE................................................................................................................................16 About Ada.................................................................................................................................................16 Programming in the large...............................................................................................................................................16
    [Show full text]
  • Download 195.186 KB
    an AdaCore Publication Spring 2007 insider www.adacore.com newsflash What’s New in GNATbench 2.0 . AdaCore Awarded MCTS Naval Trainer Contract BAE Systems in the UK has chosen Ada AdaCore’s latest version of GNATbench, the plug-in for Eclipse and for Wind River Systems’ and GNAT Pro for x86 Windows as the Workbench environment, provides new functionality, improved robustness, and higher development environment for the performance. In addition, GNATbench now supports the most recent releases of Eclipse (3.2) Maritime Composite Training System and Workbench (2.6). (MCTS). The MCTS Phase 1 program will deliver to the Royal Navy a new GNATbench’s Ada-sensitive editor has new allows users to configure a new project with shore-based Warfare Operator Training capabilities, especially in its support for Code the Workbench New Project wizard as part Capability. This latest contract continues Assist for identifier completion. GNATbench of the importing process. the long relationship between AdaCore implements Code Assist for Ada 83, Ada 95, and BAE Systems and the use of Ada in GNATbench now loads much more quickly developing critical defense applications. and Ada 2005. and has better GNATbench performance . AdaCore Joins Eclipse Foundation AdaCore has joined the Eclipse Foundation for Eclipse has and robustness as an Add-In-Provider. At this membership a new builder overall. level AdaCore will be continuing its that supports The GNATbench commitment to develop and extend the cross-compiling on-line Help development framework known as the as well as files have been Eclipse ecosystem. AdaCore has already native-system significantly produced an Eclipse-based tool—the development.
    [Show full text]
  • Adacore Update
    Presentation cover page EU AdaCore Update Ed Schonberg US Headquarters Ben Brosgol 104 Fifth Avenue, 15th Floor New York, NY 10011 [email protected] +1-212-620-7300 (voice) [email protected] +1-212-807-0162 (FAX) European Headquarters Vendor Presentation 8, rue de Milan 75009 Paris SIGAda 2005 Conference France Atlanta, GA +33 (0)1 49 70 67 16 (voice) +33 (0)1 49 70 05 52 (FAX) 15 November 2005 [email protected] www.adacore.com Outline AdaCore news Products: GNAT Pro, GPS, tools New Platforms Language development: Ada 2005 Safe programming: environment and tools GAP: The GNAT Academic Program 1 1 Who we are, what we do • AdaCore = Ada Core Technologies + ACT Europe Separate legal entities but single organization Founded in 1994 (US) and 1996 (Europe) - Robert Dewar, Edmond Schonberg, Richard Kenner in US - Cyrille Comar, Franco Gasperoni in Europe Staff comprises around 52 people worldwide, 45 technical - Extreme Ada, compiler and software engineering expertise • Flagship product is GNAT Pro GUI-based Integrated Development Environment Full Ada (core language + all annexes) Toolchain / libraries / bindings On-line consulting / support Documentation Add-ons On-site training in Ada and/or tools 2 GNAT Pro basic components • Integrated Development Environment GPS (GNAT Programming Studio) • Compilation tools gcc gnatbind gnatlink Gnatmake Next release: version 5.04, Q1 2006 • Project facility Management of settings used for program builds • Debugger 3 2 GPS IDE • Functionality Context-sensitive, language-aware,
    [Show full text]
  • Ada User Journal 222 Editorial 223 News 225 Conference Calendar 251 Forthcoming Events 260 Articles from the Industrial Track of Ada-Europe 2008 H
    ADA Vo lume 29 USER Number 4 December 2008 JOURNAL Contents Page Editorial Policy for Ada User Journal 222 Editorial 223 News 225 Conference Calendar 251 Forthcoming Events 260 Articles from the Industrial Track of Ada-Europe 2008 H. Ausden “Ada-C++ Interfacing in the ERAM System” 267 J. Cousins “Porting Naval Command & Control Systems to Ada 2005” 271 J.-P. Rosen “A Comparison of Industrial Coding Rules” 277 Ada Gems 283 Ada-Europe Associate Members (National Ada Organizations) 288 Ada-Europe 2008 Sponsors Inside Back Cover Ada User Journal Volume 29, Number 4, December 2008 222 Editorial Policy for Ada User Journal Publication Original Papers Commentaries Ada User Journal — The Journal for Manuscripts should be submitted in We publish commentaries on Ada and the international Ada Community — is accordance with the submission software engineering topics. These published by Ada-Europe. It appears guidelines (below). may represent the views either of four times a year, on the last days of individuals or of organisations. Such March, June, September and All original technical contributions are articles can be of any length – December. Copy date is the last day of submitted to refereeing by at least two inclusion is at the discretion of the the month of publication. people. Names of referees will be kept Editor. confidential, but their comments will Opinions expressed within the Ada Aims be relayed to the authors at the discretion of the Editor. User Journal do not necessarily Ada User Journal aims to inform represent the views of the Editor, Ada- readers of developments in the Ada The first named author will receive a Europe or its directors.
    [Show full text]
  • Annex SPARK – Final Draft Problematic, Mainly Owing to the Presence of Unspecified and Undefined Features in Programming Languages
    ADA Volume 31 USER Number 4 December 2010 JOURNAL Contents Page Editorial Policy for Ada User Journal 222 Editorial 223 Quarterly News Digest 225 Conference Calendar 250 Forthcoming Events 257 Student Programming Contest “The Ada Way” 260 Overview of the 14th International Real-Time Ada Workshop A. Burns, A. J. Wellings “Multiprocessor Systems Session Summary” 263 T. Vardanega, M. González-Harbour, L. M. Pinho “Session Summary: Language and Distribution Issues” 266 S. Michell, J. Real “Conclusions of the 14th International Real-Time Ada Workshop” 273 A. Burns “Progress Report from the 14th International Real-Time Ada Workshop – IRTAW14” 275 Special Contribution A. Burns, J. L. Tokar (Eds.) “Ada and the Software Vulnerabilities Project: the SPARK Annex” 278 Ada Gems 291 Ada-Europe Associate Members (National Ada Organizations) 296 Ada-Europe 2010 Sponsors Inside Back Cover Ada User Journal Volume 31, Number 4, December 2010 222 Editorial Policy for Ada User Journal Publication Original Papers Commentaries Ada User Journal — The Journal for Manuscripts should be submitted in We publish commentaries on Ada and the international Ada Community — is accordance with the submission software engineering topics. These published by Ada-Europe. It appears guidelines (below). may represent the views either of four times a year, on the last days of individuals or of organisations. Such March, June, September and All original technical contributions are articles can be of any length – December. Copy date is the last day of submitted to refereeing by at least two inclusion is at the discretion of the the month of publication. people. Names of referees will be kept Editor.
    [Show full text]
  • Ada Programming
    Ada Programming Ada Programming by Wikibooks contributors Augusta Ada King, Countess of Lovelace. 1 Ada Programming Table of Contents Ada Programming...................................................................................................1 1 Preface...............................................................................................................15 1.1 About Ada...................................................................................................16 1.1.1 Programming in the large....................................................................16 1.1.2 Programming in the small....................................................................17 1.1.3 The Language Reference Manual.........................................................17 1.1.4 Ada Conformity Assessment Test Suite................................................18 1.2 Programming in Ada...................................................................................18 1.2.1 Getting Started....................................................................................18 1.2.2 Language Features...............................................................................18 1.2.3 Computer Programming.......................................................................19 1.2.4 Language Summary.............................................................................19 1.2.5 Predefined Language Libraries.............................................................19 1.2.6 Other Language Libraries....................................................................20
    [Show full text]
  • Download 871.57 KB
    < technology corner > newsflash What’s New in SPARK 2014? SPARK and GNAT Help Guide The SPARK language has a long history of successful usage in safety-critical and high-security software, since it NASA-sponsored CubeSat supports statically proving properties such as freedom from run-time errors or compliance with a formal specification A student team from Vermont Technical of a program’s requirements. And because SPARK is a subset of Ada, SPARK programs can be compiled by any College has used the SPARK language/ an AdaCore Publication standard Ada compiler. A major new version of the language, known as SPARK 2014, preserves these benefits while toolset and GNAT technology to develop introducing several significant innovations. the navigation and control software for a Autumn/Winter 2013–2014 insider Lunar CubeSat project sponsored by NASA’s www.adacore.com Consistency with Ada 2012 and Hybrid Verification ELaNa IV program (Educational Launch of Since Ada 2012 provides contract-based programming features (e.g., pre-/post-conditions, and quantified and Nano-satellites). Measuring 10 cm x 10 cm x conditional expressions) and a uniform framework for aspects, SPARK’s “--#” annotations-as-structured-comments 10 cm and weighing 1.33 kg, the CubeSat is syntax has been replaced by constructs with valid Ada semantics. This is not just a cosmetic change. The new scheduled for a November launch into a newsflash GPS 6.0 Released syntax is at the heart of SPARK 2014’s support for hybrid verification, a novel approach to safely combining formally 500 km earth orbit, where it will remain for verified and traditionally verified code in one program based on run-time checking of contracts at their boundary.
    [Show full text]