DOCSLIB.ORG

Download 871.57 KB

Total Page：16

File Type：pdf, Size：1020Kb

Download full-text PDF Read 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. For three years to test the systems that will be Astrium Selects GNAT Pro and PolyORB New Major Revision Upgrades IDE’s Look and Feel example, if a formally verified subprogram is called by code that is not subject to formal verification, the precondition used for the eventual lunar mission. Although for International Space Station they had no previous knowledge of SPARK or For this new GNAT Programming Studio (GPS) release, the AdaCore development team has of the called subprogram can be checked when the call is executed. If the precondition fails, then the called EADS’ Astrium subsidiary has selected the Ada, the students came up to speed quickly conducted a complete review of the existing interface and made it cleaner and easier to subprogram’s proofs are inapplicable. Using hybrid verification, developers can selectively apply formal verification GNAT Pro development environment and and were able to produce robust code taking use. Based on customer feedback, the improvements include more space for editing and a to only those portions of a program where it is feasible and cost-effective. Executable contract checking also allows PolyORB middleware toolset for software advantage of SPARK’s statically verified in the Core Ground System (CGS) on the correct contracts to be developed more quickly; this is valuable for both formally and traditionally verified code. number of design changes to bring program-related information within easy reach. This is contracts. For further information about the Columbus laboratory, one of the European supported by a new relational database at the heart of the GPS engine to make searches Larger Language Subset project, please visit www.cubesatlab.org. contributions to the International Space much more efficient. The guidelines underlying the GPS 6.0 revision help the IDE achieve SPARK 2014 supports a richer subset of Ada (now Ada 2012) than did earlier Station. GNAT Pro and PolyORB help achieve its main goal: to serve as a customizable platform for multi-language multi-tool integration, efficient, reliable communication across the versions of SPARK. The fundamental restrictions that the proof technology relies SPARK 2005: usable by developers at all experience levels. -- Ada applications that Astrium developed upon are still enforced (e.g., no access types, no side effects in functions, no procedure Accelerate (Increment : Positive); for Columbus’s ground and onboard The improvements to the IDE’s look and feel take advantage of the latest Gtk+/GtkAda exception handlers, no tasks, no controlled types), but many other restrictions are --# global in out Control _ State; applications, and PolyORB also supplies graphical toolkit and fall into several categories: now relaxed. SPARK 2014 allows discriminated types, dynamic constants, dynamic --# derives Control _ State from *, Incr e m e nt; the interoperability necessary for smoothly 4 subtypes, recursion, and generic packages and subprograms. A predefined SPARK --# pre Control _ State.Mode /= Braking; Interface reorganization integrating components written in Java • More economic usage of screen real estate, for example by placing tabs on top of container library (generic packages implementing maps, sets, vectors, and lists) --# post Control _ State = or C++. The combination of GNAT Pro and provides much of the essential functionality of access types for managing flexible --# Control _ State~[Speed => Control _ State~.Speed PolyORB provide Astrium with a ‘one-shop’ the views data structures, but without the verification problems associated with access Increment; solution for both the Ada development and • Improved toolbar with monochrome icons types in general. --# Mode => Accelerating]; the middleware implementation of the CGS. • Ability to position tabs on the side, for better appearance on wide screens • Better handling of documents, for example with editors and views clearly separated -- SPA RK 2014: Easier Ada-to-SPARK Transition 4Omni-search SPARK 2014 makes it easier to transition from non-SPARK Ada to SPARK. Part of a procedure Accelerate (Increment : Positive) with TOYOTA ITC Japan Selects Global => (In _ Out => Control _ State), • Ability to search in all contexts, including source filenames, file contents, and code subprogram’s contract is the set of global variables that it depends upon (directly SPARK Pro Language and Toolset Depends => (Control _ State =>+ Increment), entities, directly from the main toolbar or via calls to other subprograms) as inputs and outputs. SPARK 2014 offers an -- Outgoing value of Control _ State depends on both TOYOTA InfoTechnology Center (ITC) Japan 4 alternative where data dependencies for a given subprogram are determined -- its incoming value and Increment has selected the SPARK language and Views automatically by analyzing the body. Non-SPARK completions for SPARK interfaces Pre => Control _ State.Mode /= Braking, SPARK Pro toolset for a high-reliability • Ability to directly access view preferences from a local toolbar (e.g., a non-SPARK Ada body for a SPARK subprogram declaration) are also Post => Control _ State = software research project, with the • Support for “compact mode” (specification and body on same line) and “flat mode” for supported. Control _ State'Old'Update goal of demonstrating that software outline view (Speed => Control _ State'Old.Speed + Increment, requirements can be transformed into an 4Colors For more information, please see www.spark-2014.org/about. Mode => Accelerating); implementation that can be proved free of run-time errors. The project is planned • Ability to change the color of many GPS elements, including selection of white as a first step to composing larger ultra- foreground and dark background < For up-to-date information on conferences where AdaCore Conferences / Events October 2013–April 2014 is participating, please visit www.adacore.com/events/ low-defect vehicular systems, using formal • Support for color themes, to switch quickly among preselected settings methods to mathematically assure a variety GPS 6.0 also brings improved performance and new capabilities: 32nd Digital Avionics Systems Conference (DASC) ACM SIGAda’s HILT 2013 Design West of correctness properties and to reduce the October 6–10, 2013 / Syracuse NY, USA High Integrity Language Technology March 31–April 3, 2014 / San Jose CA, USA development and maintenance effort by 4Use of a relational database for a more efficient (and persistent) storage mechanism for Tucker Taft is giving a talk on integrating testing and November 10–14, 2013 / Pittsburgh PA, USA AdaCore is exhibiting at this event - Booth 719. eliminating the need for post-deployment cross reference information proof with SPARK. dasconline.org Tucker Taft is presenting a tutorial on proving safety www.ubmdesign.com/sanjose corrections. of concurrent programs. AdaCore is a Platinum 4Language support for SPARK 2014, plus syntax highlighting and tooltips for Ada 2012 IET International System Safety Conference Sponsor and exhibitor. and SPARK 2014 aspects October 15–17, 2013 / Cardiff, UK www.sigada.org/conf/hilt2013/ AdaCore is a sponsor and exhibitor. 4Several editor enhancements, ranging from completion and autofix to text formatting conferences.theiet.org/system-safety/ Safety-critical Systems Symposium 2014 4A number of additions to the scripting API February 4–6, 2014 / Brighton, UK The GNAT Pro insider is published twice a year ACM SIGPLAN’s SPLASH 2013 AdaCore is a major sponsor of this event. simultaneously in New York and Paris by AdaCore The GPS 6.0 enhancements have received an enthusiastic response from the product’s beta sites. Systems, Programming, Languages and www.safety-club.org.uk/e263 contents An IDE is more than a tool, it is a platform and framework that developers depend on to Applications: Software for Humanity 104 Fifth Avenue, 15th floor 46 rue d’Amsterdam October 26–31, 2013 / Indianapolis IN, USA ERTS2 2014 New York, NY 10011-6901, USA 75009 Paris, France GPS 6.0 Released 1 organize and conduct their daily work. A major effort has thus been invested in improving Tucker Taft is presenting a tutorial and a “tech talk” Embedded Real Time Software and Systems tel +1 212 620 7300 tel +33 1 49 70 67 16 Current Releases 2 the overall usability of GPS based on customer comments, giving it an intuitive and visually on parallel/multi-core programming. February 5–7, 2014 / Toulouse, France fax +1 212 807 0162 fax +33 1 49 70 05 52 attractive look and feel.
Load more

Recommended publications
  • GNAT for Cross-Platforms
    GNAT User’s Guide Supplement for Cross Platforms GNAT, The GNU Ada Compiler GNAT GPL Edition, Version 2012 Document revision level 247113 Date: 2012/03/28 AdaCore Copyright c 1995-2011, Free Software Foundation Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with the Invariant Sections being “GNU Free Documentation License”, with the Front-Cover Texts being “GNAT User’s Guide Supplement for Cross Platforms”, and with no Back-Cover Texts. A copy of the license is included in the section entitled “GNU Free Documentation License”. About This Guide This guide describes the use of GNAT, a compiler and software development toolset for the full Ada programming language, in a cross compilation environ- ment. It supplements the information presented in the GNAT User’s Guide. It describes the features of the compiler and tools, and details how to use them to build Ada applications that run on a target processor. GNAT implements Ada 95 and Ada 2005, and it may also be invoked in Ada 83 compatibility mode. By default, GNAT assumes Ada 2005, but you can override with a compiler switch to explicitly specify the language version. (Please refer to the section “Compiling Different Versions of Ada”, in GNAT User’s Guide, for details on these switches.) Throughout this manual, references to “Ada” without a year suffix apply to both the Ada 95 and Ada 2005 versions of the language. This guide contains some basic information about using GNAT in any cross environment, but the main body of the document is a set of Appendices on topics specific to the various target platforms.
    [Show full text]
  • SETL for Internet Data Processing
    SETL for Internet Data Processing by David Bacon A dissertation submitted in partial fulfillment of the requirements for the degree of Doctor of Philosophy Computer Science New York University January, 2000 Jacob T. Schwartz (Dissertation Advisor) c David Bacon, 1999 Permission to reproduce this work in whole or in part for non-commercial purposes is hereby granted, provided that this notice and the reference http://www.cs.nyu.edu/bacon/phd-thesis/ remain prominently attached to the copied text. Excerpts less than one PostScript page long may be quoted without the requirement to include this notice, but must attach a bibliographic citation that mentions the author’s name, the title and year of this disser- tation, and New York University. For my children ii Acknowledgments First of all, I would like to thank my advisor, Jack Schwartz, for his support and encour- agement. I am also grateful to Ed Schonberg and Robert Dewar for many interesting and helpful discussions, particularly during my early days at NYU. Terry Boult (of Lehigh University) and Richard Wallace have contributed materially to my later work on SETL through grants from the NSF and from ARPA. Finally, I am indebted to my parents, who gave me the strength and will to bring this labor of love to what I hope will be a propitious beginning. iii Preface Colin Broughton, a colleague in Edmonton, Canada, first made me aware of SETL in 1980, when he saw the heavy use I was making of associative tables in SPITBOL for data processing in a protein X-ray crystallography laboratory.
    [Show full text]
  • Automated Testing of Debian Packages
    Introduction Lintian and Linda Rebuilding packages Piuparts Structuring QA Conclusion Automated Testing of Debian Packages Holger Levsen – [email protected] Lucas Nussbaum – [email protected] Holger Levsen and Lucas Nussbaum Automated Testing of Debian Packages 1 / 31 Introduction Lintian and Linda Rebuilding packages Piuparts Structuring QA Conclusion Summary 1 Introduction 2 Lintian and Linda 3 Rebuilding packages 4 Piuparts 5 Structuring QA 6 Conclusion Holger Levsen and Lucas Nussbaum Automated Testing of Debian Packages 2 / 31 Introduction Lintian and Linda Rebuilding packages Piuparts Structuring QA Conclusion Debian’s Quality Popcon data Automated Testing Summary 1 Introduction Debian’s Quality Popcon data Automated Testing 2 Lintian and Linda 3 Rebuilding packages 4 Piuparts 5 Structuring QA 6 ConclusionHolger Levsen and Lucas Nussbaum Automated Testing of Debian Packages 3 / 31 Introduction Lintian and Linda Rebuilding packages Piuparts Structuring QA Conclusion Debian’s Quality Popcon data Automated Testing Debian’s Quality Ask around : considered quite good compared to other distros A lot of packages, all supported in the same way : 10316 source packages in etch/main 18167 binary packages in etch/main Holger Levsen and Lucas Nussbaum Automated Testing of Debian Packages 4 / 31 Introduction Lintian and Linda Rebuilding packages Piuparts Structuring QA Conclusion Debian’s Quality Popcon data Automated Testing Packages installations according to popcon 1 0.9 0.8 0.7 0.6 0.5 0.4 0.3 percentage of packages 0.2 0.1 0 0 5000 10000
    [Show full text]
  • January–June 2018 New GNAT Pro Product Lines GNAT Pro Assurance
    tech corner newsflash calendar highlights / January –June 2018 MHI Aerospace Systems Corporation For up-to-date information on conferences where AdaCore is New Product Release participating, please visit www.adacore.com/events/. AdaCore’s annual Q1 release cycle brings across-the-board enhance- new rules, with supporting qualification material available for DO-178C; Selects QGen 2 ments, many of which stem from customer suggestions. Below is a sam- GNATcoverage’s tool qualification material has been adapted to DO-178C MHI Aerospace Systems Corporation (MASC), a member of the Mitsubishi ERTS 2018 pling of new features in the V18 products; details may be found on-line and Ada 2012, and support has been introduced for Lauterbach probes; Heavy Industries Group, has selected the QGen toolset to develop the (Embedded Real Time Software and Systems) in AdaCore’s “New Features” pages: and the GNATtest unit testing framework has added several new options. software for the Throttle Quadrant Assembly (TQA) system. This avionics January 31–February 2, 2018 Inside The GNAT Programming Studio (GPS) IDE has incorporated performance Toulouse, France GNAT Pro base technology: docs.adacore.com/R/relnotes/features-18 research project is being conducted to meet the Level C objectives in the and user interface improvements, for example in the C/C++ navigation DO-178C safety standard for airborne software and its DO-331 supplement AdaCore is exhibiting at this conference, and AdaCore personnel are presenting papers on docs.adacore.com/R/relnotes/features-gps-18 software safety, avionics certification, drone autopilot software, and lightweight semantic GPS and GNATbench IDEs: engine, and GNATbench supports Eclipse 4.8 Oxygen as well as Wind on Model-Based Development and Verification.
    [Show full text]
  • 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]
  • GNAT User's Guide
    GNAT User's Guide GNAT, The GNU Ada Compiler For gcc version 4.7.4 (GCC) AdaCore Copyright c 1995-2009 Free Software Foundation, Inc. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, with no Front-Cover Texts and with no Back-Cover Texts. A copy of the license is included in the section entitled \GNU Free Documentation License". About This Guide 1 About This Guide This guide describes the use of GNAT, a compiler and software development toolset for the full Ada programming language. It documents the features of the compiler and tools, and explains how to use them to build Ada applications. GNAT implements Ada 95 and Ada 2005, and it may also be invoked in Ada 83 compat- ibility mode. By default, GNAT assumes Ada 2005, but you can override with a compiler switch (see Section 3.2.9 [Compiling Different Versions of Ada], page 78) to explicitly specify the language version. Throughout this manual, references to \Ada" without a year suffix apply to both the Ada 95 and Ada 2005 versions of the language. What This Guide Contains This guide contains the following chapters: • Chapter 1 [Getting Started with GNAT], page 5, describes how to get started compiling and running Ada programs with the GNAT Ada programming environment. • Chapter 2 [The GNAT Compilation Model], page 13, describes the compilation model used by GNAT. • Chapter 3 [Compiling Using gcc], page 41, describes how to compile Ada programs with gcc, the Ada compiler.
    [Show full text]
  • Alire Ada Library Repository Manager
    View metadata, citation and similar papers at core.ac.uk brought to you by CORE provided by Repositorio Universidad de Zaragoza 189 Alire: a Library Repository Manager for the Open Source Ada Ecosystem Alejandro R. Mosteo Instituto de Investigación en Ingeniería de Aragón, Mariano Esquillor s/n, 50018, Zaragoza, Spain Centro Universitario de la Defensa de Zaragoza, 50090, Zaragoza, Spain; email: [email protected] Abstract unmaintained (a form of bit rot [3]) and incompatibilities be- tween versions of a same library, or among different libraries Open source movements are main players in today’s being used simultaneously. software landscape. Communities spring around pro- To address those problems, one of the most notable efforts in gramming languages, providing compilers, tooling and, the open source world are the different Linux distributions. chiefly, libraries built with these languages. Once a Either based on distribution of source code, like Gentoo [4], community reaches a certain critical mass, management or of binaries, like Debian [5], these communities have since of available libraries becomes a point of contention. Op- long dealt with the problem of packaging consistent systems erating system providers and distributions often support for different architectures. The difficulty of such a task is but the most significant or mature libraries so, usually, captured in the dependency or DLL hell expressions [6], and language communities develop their own cross-platform one of the most dreaded experiences is ending in a broken software management tools. Examples abound with configuration during an upgrade. languages such as Python, OCaml, Rust, Haskell and others. Programmers, however, do not all use the same distribution, nor even the same operating system, since today they can The Ada community has been an exception to date, per- resort to about half a dozen generalist operating systems.
    [Show full text]
  • Tiny Runtime to Run Model-Based Software on Cubesats
    Tiny Runtime to Run Model-Based Software on CubeSats Model Based Space Systems and Software Engineering - MBSE2020 2020 Agenda • Project background and objectives • Implementation • Kazoo code patterns • PolyORB removal • Optimizations and fixes • Validation (DemoSat) • Ada support 2020 2 BACKGROUND AND OBJECTIVES 2020 TASTE by ESA • "A tool-chain targeting heterogeneous embedded systems, using a model- based development approach" • System architecture – AADL • Data – ASN.1 (with ACN) • Behaviour – SDL (but can also be C, Ada...) • Can generate executables targeting: • x86 • SPARC (e.g. Leon3) • ARM (e.g. STM32F407) • and now MSP430 (MSP430FR5969)! • https://taste.tools and https://taste.tuxfamily.org/wiki/ 2020 4 MSP430 by Texas Instruments • General purpose, ultra-low-power, affordable, mixed-signal MCUs • Radiation hardened versions available (50krad for MSP430FR5969-SP) • Good choice for certain subsystems and CubeSats • But also challenging: • 16-bit ISA • low memory (e.g. 64 kB) • low speed (e.g. 16 MHz) • https://www.ti.com/microcontrollers/msp430-ultra-low-power-mcus/overview.html 2020 5 N7 Space • N7 Space develops both ground support and flight software • TASTE is used extensively: • PROBA3 • ASN.1/ACN Modelling IDE • PUS C deployment • ARM BSP • CoreSight • MBSE Implement • N7 Space is a member of the TASTE Steering Commitee • http://n7space.com/ 2020 6 Goal • Provide support for MSP430 in TASTE • Validate it using a realistic (CubeSat class) use-case • An (intended) by-product: various optimizations which enable targeting
    [Show 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.
    [Show full text]
  • Final Minutes of the 3. ARG Meeting Bennington, VT, USA, 7-9 October 1996
    Final Minutes of the 3. ARG Meeting Bennington, VT, USA, 7-9 October 1996 Attendance: Barnes, Cohen, Dewar, Dismukes, Duff, Eachus, Ishihata, Kamrad, Leroy, Michell, Ploedereder, Schonberg (for days 1 & 2). Host facilities were graciously supplied by Robert Dewar and ACT. The ARG expressed its appreciation. These minutes first summarize the voting results on the AIs that were discussed, then present all procedural issues that came up during the meeting and the action items assigned. The record of the detailed discussions on AIs is appended in AI order for easier reference. This order does not correspond to the chronological order in which the AIs were discussed. Summary of the action taken on the AIs: Approved in final form (some with minor editorial changes): AI95-00004/02 -- Conversions to types derived from remote access types Approved (12-0-0) AI95-00031/00 -- Unpacking a record type with primitive subprograms Approved (11-0-0) AI95-00035/01 -- Type descriptors can be laid out at compile time Approved (12-0-0) AI95-00037/04 -- In Interfaces.C, nul and wide_nul represent zero Approved (12-0-0) AI95-00040/02 -- Does <> for a formal subprogram default freeze the actual ? Approved (11-0-1) with change to title AI95-00041/04 -- Program unit pragmas in generic units Approved (12-0-0) AI95-00044/01 -- Overriding of Declarations Approved (11-1-0) with change to title AI95-00048/04 -- Can an RCI unit be a library subprogram? Approved (12-0-0) with change to title AI95-00071/01 -- Correction to the Valid function in COBOL Interface Approved
    [Show full text]
  • GNAT User's Guide for Native Platforms
    GNAT User’s Guide for Native Platforms Release 23.0w AdaCore Sep 29, 2021 GNAT User’s Guide for Native Platforms 23.0w This page is intentionally left blank. 2 of 332 GNAT User’s Guide for Native Platforms GNAT User’s Guide for Native Platforms 23.0w GNAT, The GNU Ada Development Environment GNAT Pro Edition Version 23.0w Date: Sep 29, 2021 AdaCore Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.3 or any later version published by the Free Software Foundation; with no Invariant Sections, with the Front-Cover Texts being “GNAT Reference Manual”, and with no Back-Cover Texts. A copy of the license is included in the section entitled GNU Free Documentation License. GNAT User’s Guide for Native Platforms 3 of 332 GNAT User’s Guide for Native Platforms 23.0w This page is intentionally left blank. 4 of 332 GNAT User’s Guide for Native Platforms GNAT User’s Guide for Native Platforms 23.0w CONTENTS 1 About This Guide 13 1.1 What This Guide Contains........................................ 13 1.2 What You Should Know before Reading This Guide........................... 14 1.3 Related Information............................................ 14 1.4 Conventions................................................ 14 2 Getting Started with GNAT 15 2.1 System Requirements........................................... 15 2.2 Running GNAT.............................................. 15 2.3 Running a Simple Ada Program..................................... 16 2.4 Running a Program with Multiple Units................................. 17 3 The GNAT Compilation Model 19 3.1 Source Representation.......................................... 19 3.2 Foreign Language Representation.................................... 20 3.2.1 Latin-1.............................................
    [Show full text]
  • Ada User Journal 66 Editorial 67 Quarterly News Digest 69 Conference Calendar 97 Forthcoming Events 103 Articles from the Industrial Track of Ada-Europe 2011 R
    ADA Volume 32 USER Number 2 June 2011 JOURNAL Contents Page Editorial Policy for Ada User Journal 66 Editorial 67 Quarterly News Digest 69 Conference Calendar 97 Forthcoming Events 103 Articles from the Industrial Track of Ada-Europe 2011 R. Bridges, F. Dordowsky, H. Tschöpe “Implementing a Software Product Line for a complex Avionics System in Ada 83” 107 Ada Gems 116 Ada-Europe Associate Members (National Ada Organizations) 128 Ada-Europe 2011 Sponsors Inside Back Cover Ada User Journal Volume 32, Number 2, June 2011 66 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]