TEAM-ADA Archives

Team Ada: Ada Programming Language Advocacy

TEAM-ADA@LISTSERV.ACM.ORG

Options: Use Classic View

Use Monospaced Font
Show Text Part by Default
Show All Mail Headers

Topic: [<< First] [< Prev] [Next >] [Last >>]

Print Reply
Fri, 3 Oct 1997 12:55:35 EDT
text/plain (256 lines)
Hi, Everyone,

I'd like to add that a special edition of the Walnut Creek Ada CDROM
is coming out for Tri-Ada 97, and, supplementing these ASIS-related
activities is a large section of new material on ASIS.  These CDROMs
will be included at no extra charge for all conference attendees.

Rick

> Dear Team Ada,
>
> Tri-Ada'97 will be having a number of ASIS activities ranging from
> tutorial, panel, a paper session, and a BOF. This email contains a list
> of the ASIS activities planned at Tri-Ada'97 with extended abstracts.
>
> This would give you an excellent opportunity to find out more about
> ASIS and perhaps even include ASIS concepts/simple programs in
> educational programs of which you are involved. ASIS is a powerful tool
> to the application developer as it allows one to quickly roll one's
> own tool to check out things of interest.
>
> The latest addition to the list is a joint ASISWG and Safety and
> Security Working Group (SAFEWG) BOF using the safety-critical
> and very mission-critical application of making India Pale
> Ale. India Pale Ale has more hops and more alcohol than traditional
> Ale to serve as a preservative for the long trip to India. Yes, a great
> tasting Ale is very mission-critical and the process is very
> safety-critical. Yes, ASIS can be used to make a great tasting Ale.
>
> The activities, along with extended abstracts are provided below.
> This is a great time to register for the conference as the lowest
> possible rates are still available until 9 October. Information for
> registration is provided at the following URL:
>
>          http://www.acm.org/sigada/tri-ada/
>
> It is very important to register for the conference as soon as
> possible. For the ASIS Tutorial on Monday morning, please check
> M2 on the registration form.
>
> In my last email, I encouraged everyone to check out the ASIS Home
> Page, but neglected to provide the URL. It is:
>
>          http://www.acm.org/sigada/WG/asiswg
>
> Besides having the ASIS 20p, there is also a new section containing
> ASIS 95 tutorials. This is a great place to find out more about
> using ASIS for code analysis to support reliability and quality
> evaluation for your mission-critical and safety-critical software.
> ASIS will allow an application developer to easily and quickly
> roll-your-own tool to support specific development requirements.
>
> Incidentally, the CD ROM to be distributed at Tri-Ada'97, has the
> current ASIS 20p along with the ASIS 95 tutorials.
>
> I encourage you to pass this email on to your colleagues who might
> be interested in ASIS.
>
> v/r
> Currie Colket
> Chair ASISWG/Chair ASISRG
> [log in to unmask]
>
> [Note new email address]
>
> Extended abstracts for ASIS Activities at Tri-Ada'97 =>
>   1.  Monday Morning, 10 November; Half Day Tutorial
>   2.  Tuesday Afternoon, 11 November; 4:00-5:30 P.M.; ASIS Panel
>   3.  Wednesday Afternoon, 12 November; 4:00-5:30 P.M. Paper Session
>   4.  Wednesday Evening, 12 November; 7:30-9:30 Joint SAFEWG/ASISWG BOF
>
> +-----------------------------------------------------------------+
>
> Monday Morning, 10 November; Half Day Tutorial
>
>    Building Development Tools for Use with GNAT.
>    Sergey I. Rybin, Moscow State University
>    Cyrille Comar, ACT
>
>      This tutorial will explain how you can built your
>      development and analysis tools when working with
>      GNAT. Some sample tools are presented to
>      demonstrate different approaches to tool development.
>      Participants should have a good understanding of Ada
>      semantics, and basic experience in programming with
>      GNAT is helpful, but not required.
>
>      The tutorial consists of two parts. In the first part
>      (presented by Cyrille Comar) the general approach for
>      developing tools for the GNAT Ada 95 compilation system
>      is discussed. In the second part (presented by Sergey Rybin)
>      ASIS is presented as an effective technology for building
>      the wide range of useful tools.
>
>      The first part starts from the general overview of GNAT,
>      including compiler's internal data structures and existing
>      GNAT toolset. Then different technologies for building tools
>      for GNAT are compared to give some ideas which technology
>      should be used for a specific tool. ASIS is positioned as
>      a technology which provides a proper (that is, standardized,
>      stable and high-level) interface to compiler's internals
>      and allows to build both free and proprietary tools for GNAT.
>
>      The second part is an introductory ASIS (sub)tutorial, and its
>      main goal is to help the audience to get started with writing
>      their own ASIS tools. It starts from the general definition
>      of ASIS, examples of ASIS-based code fragments and tools which
>      can be built on top of ASIS. The main ASIS abstractions, such
>      as Context, Compilation Unit and Element, are described.
>
>      Then the tour guide through the ASIS specification is presented.
>      The goal of this tour is to show, what and where things are
>      defined in ASIS, and how to navigate in the ASIS specification.
>
>      A short overview of the ASIS implementation for GNAT goes next.
>
>      And then some practical aspects of ASIS-based tool development
>      are discussed in order to show, that ASIS really is easy-to-use
>      and easy-to-start and give the audience some hints and tips
>      how to build your own ASIS tool. This part contains the basic
>      cycle of an ASIS application, specific and general traversing of Ada
>      programs by means of ASIS queries, dealing with lists of Elements
>      and Compilation Units, the idea of ASIS secondary layers,
>      notion of consistency in an ASIS Context and dealing with ASIS
>      implementation-specific features in ASIS applications.
>
> +------------------------------------------------------------+
>
> Tuesday Afternoon, 11 November; 4:00-5:30 P.M.; ASIS Panel
>
>          ASIS Panel: Roll Your Own Analysis Tools
>
> Chair:         Mr. Currie Colket, Chairman ASISWG/ASISRG
> Panelists:     Dr. Joyce, Tokar, DDC-I
>                    Technical Presentation on ASIS 95 Interface
>                Dr. Bill Thomas, MITRE
>                    Rolling Your Own Tools using ASIS
>                Dr. Herm Fischer, MARK V
>                    Roll Your Own Tools from ObjectMaker Experience
>                Mr. Clyde Roby, IDA
>                    ASIS 95 Artifacts on the Internet
>
>    Abstract for ASIS Panel =>
>
>      The panel discussion will focus on how a typical Ada developer
>      can use the Ada Semantic Interface Specification (ASIS) to rapidly
>      build "roll-your-own" tools for special analysis of compilable
>      Ada source code for a variety of purposes (such as call tree
>      analysis, object/type usage analysis, browsing, etc.). This
>      panel session will address the ASIS 95 specification focusing
>      on its use for ASIS-based tools to evaluate quality in general,
>      and more specifically, for its analysis of mission-critical/
>      safety-critical systems.
>
>      ASIS is an interface between an Ada environment, as defined
>      by the Ada-95 Reference Manual, and any tool requiring information
>      from this environment. An Ada environment includes valuable
>      semantic and syntactic information useful for assessing software
>      quality. ASIS has been designed to be independent of underlying Ada
>      environment implementations, thus supporting the portability of
>      ASIS-based software engineering tools across proprietary Ada
>      compilation environments. Simple ASIS-based tools have already been
>      demonstrated to be portable across vendor Ada compilation environments.
>
>      Examples of tools that benefit from the ASIS interface include:
>        automated code monitors, browsers, call tree tools, code
>        reformators, coding standards compliance tools, correctness
>        verifiers, debuggers, dependency tree analysis tools, design
>        tools, document generators, metrics tools, quality assessment
>        tools, reverse engineering tools, re-engineering tools, style
>        checkers, test tools, timing estimators, and translators.
>
>     In fact most of these have already been developed using the ASIS
>     interfaces by people in Australia, Canada, China, Denmark, France,
>     Germany, Japan, Russia, Sweden, Switzerland, the United Kingdom, and
>     the United States. Many of these tools can be easily built by a code
>     developer using ASIS in a matter of days.
>
> +------------------------------------------------------------+
>
> Wednesday Afternoon, 12 November; 4:00-5:30 P.M. Paper Session
> Development Tools II Session:
>
>    ASIStint: An Interactive ASIS Interpreter
>    Mr. Vasiliy Fofanov, Moscow State University,
>    Dr. Sergey Rybin, Moscow State University,
>    Professor Alfred Strohmeier, Swiss Federal Institute of Technology
>
>      ASIStint is an interactive ASIS interpreter with scripting
>      facilities. It may be used for learning ASIS, i.e., the user may
>      try out interactively the effects of the various ASIS queries.
>      It might also be used as an assistant (sic!) when experimenting
>      with ASIS queries, e.g.,  in order to find out a way of implementing
>      a part of an ASIS application, or to correct it.  Yet another use is
>      debugging and testing an ASIS implementation.  Input-output of a
>      session may be recorded, and then be replayed.
>
> +-----------------------------------------------------------------+
>
> Wednesday Evening, 12 November; 7:30-9:30 Joint BOF
>
>         Joint Safety & Security Working Group [SAFEWG] and
>               ASIS Working Group [ASISWG] BOF
>
>                Mr. George Romanski, Chair SAFEWG
>                Mr. Currie Colket, Chair ASISWG/ASISRG
>                Mr. Steve Blake, AONIX
>                Dr. Bill Thomas, MITRE
>
>         A safety-critical/mission-critical application will be
>         presented which is used to make India Pale Ale [Yes,
>         safety-critical, and we will all agree, taste is very
>         mission-critical]. Safety aspects will be discussed which
>         will lend themselves to ASIS code analysis.
>
>         Samples of the mission-critical India Pale Ale may be
>         available, pending approval.
>
>            Introduction [Currie Colket]
>            Description of Safety-Critical Concerns
>              in Mission-Critical Applications [George Romanski]
>            Short Technical Overview of ASIS [Steve Blake]
>            Description of Pale India Ale Mission-Critical
>              Application [George Romanski] [Perhaps also free samples]
>            Use of ASIS to analyze code [Bill Thomas]
>            Questions & Answers
>
> +------------------------------------------------------------------+
>
> For more information on Tri-Ada'97 and the ASIS activities there,
> please check out the Tri-Ada'97 Home Page at =>
>
>         http://www.acm.org/sigada/tri-ada/
>
> The Tri-Ada '97 Conference, the annual meeting of the Ada programming
> world, is meeting at the Adam's Mark Hotel, St. Louis, MO, November
> 9-13, 1997.  Keynote Speakers include Lt. Gen. Emmett Paige, Jr.,
> USA (ret.); Lt. Col. Drew Hamilton, USMA; Dr. Edward F. Miller,
> Software Research, Inc.; John B. Goodenough, PhD., SEI; and Dr.
> Charles B. Engle, Jr., Q-Labs.  Advance programs are in the mail now.
> If you haven't received one, contact Tri-Ada '97 organizers at the
> following:
>
> TEL:  1-800/338-5365 (USA & Canada only); 1-919/419-8242.
> E-MAIL:  mailto:[log in to unmask]
> WEB:  http://www.acm.org/sigada/tri-ada/
>
> +----------------------------------------------------------------------+
>


--
Richard Conn, PAL Manager  |  [log in to unmask]
Opinions expressed herein are my own and not necessarily those of anyone else.
 =============================================================================

ATOM RSS1 RSS2