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
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. -
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 -
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. -
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. -
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. -
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 -
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. -
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, -
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. -
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. -
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 -
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.