Last update:
Thu Aug 29 09:49:16 MDT 2024
John N. Buxton and
Larry E. Druffel and
Thomas A. Standish Reflections on the History of Ada
Environments . . . . . . . . . . . . . . 16--21
Paul M. Cohen From HOLWG to AJPO --- Ada in Transition 22--25
Lt Col William A. Whitaker FORTRAN-like Formatted Output with Ada 26--28
Robert J. Knapper and
Robert F. Mathis Roberts Corporation . . . . . . . . . . 29--30
Herman Haertig and
Andreas Pfitzmann and
Leo Treff Task State Transitions in Ada . . . . . 31--41
Mark Davis Classical Optimizations in Ada . . . . . 11--14
Brian A. Wichmann Tutorial material on the Real Data-Types
in Ada . . . . . . . . . . . . . . . . . 15--33
Benjamin Brosgol Summary of Ada Language Changes . . . . 34--43
J. C. D. Nissen and
P. Wallis and
B. A. Wichmann Ada-Europe Guidelines for the
Portability of Ada Programs . . . . . . 44--61
Arnold J. Levy Motivation Behind the Design of the Ada
Atom System Environment . . . . . . . . 62--63
Grady Booch Object Oriented Design . . . . . . . . . 64--76
Eric W. Olsen and
Stephen B. Whitehill Ada Technology Development at Irvine
Computer Sciences Corporation . . . . . 77--85
David A. Bennett and
Brent D. Kornman and
James R. Wilson Hidden Costs in Ada . . . . . . . . . . 9--20
Larry E. Druffel THe Need for a Programming Discipline to
Support the APSE: Where Does the APSE
Path Lead? . . . . . . . . . . . . . . . 21--23
E. Farkas Annoying Bagatelles in Ada . . . . . . . 24--26
Frank G. Pagan Taming Ada for Introductory Teaching
Purposes --- An Approximation . . . . . 27--31
Edward Huff FIFO Queues in Ada: An Exercise . . . . 32--33
Arnold J. Levy The Ada Atom System Environment . . . . 34--45
Ralph E. Crafts Commercial Applications Software in Ada:
a Reality . . . . . . . . . . . . . . . 46--54
John M. Chambers Extending Ada legally via Pre-Processors 55--58
Gary Bray AIE Support for Management of Embedded
Computer Projects . . . . . . . . . . . 33--49
Hal Hart Ada for Design: An Approach for
Transitioning Industry Software
Developers . . . . . . . . . . . . . . . 50--57
Victor Basili and
John Gannon and
Elizabeth Katz and
Marvin Zelkowitz and
John Bailey and
Elizabeth Kruesi and
Sylvia Sheppard Monitoring an Ada Software Development
Project . . . . . . . . . . . . . . . . 58--61
Pekka Lahtinen A Machine Architecture for Ada . . . . . 28--33
Philippe Charles and
Gerald Fisher A LALR(1) Grammar for '82 Ada . . . . . 34--45
Amiram Yehudai Data Abstraction: Types vs. Objects . . 46--48
Judith Kerner Should PDL/Ada Be Compilable? . . . . . 49--50
Peter Wegner Ada Education and Technology Transfer
Activities . . . . . . . . . . . . . . . 51--60
Norman H. Cohen Parallel Quicksort: An Exploitation of
Concurrent Programming in Ada . . . . . 61--68
Jean E. Sammet and
Douglas W. Waugh and
Robert W. Reiter, Jr. PDL/Ada --- a Design Language Based on
Ada . . . . . . . . . . . . . . . . . . 19--31
Lawrence M. Lindley Ada Program Design Language Survey . . . 32--33
Mordechai Ben-Ari The Case for Full Ada . . . . . . . . . 34--37
Ivan Bach On the Type Concept of Ada . . . . . . . 38--50
Anna I. Chase and
Mark S. Gerhardt The Case for Full Ada as a Design
Language . . . . . . . . . . . . . . . . 51--59
Ben Brosgol Ada Implementation Notes: Constraint
Check Elimination . . . . . . . . . . . 54--57
Lawrence M. Lindley Ada Program Design Language Survey
Update . . . . . . . . . . . . . . . . . 61--63
Eran Grabber The Middle Way Approach for Ada Based
PDL Syntax . . . . . . . . . . . . . . . 64--67
Michael W. Masters and
Michael J. Kuchinski Software Design Prototyping Using Ada 68--75
Michael Gordon The Byron Program Design Language -1- 76--83
David Emery The Department of Defense Software
Initiative, a Summary . . . . . . . . . 84--87
Patrick A. V. Hall Adding Database Management to Ada . . . 88--91
M. Faasch and
V. Haarslev and
H.-H. Nagel Ada on a Minicomputer-Network for Image
Sequence Analysis: An Investigative
Implementation . . . . . . . . . . . . . 92--96
Jon K. Elliott The ROLM Ada Work Center . . . . . . . . 97--100A
X. Debest A User-Friendly I/O System for Ada . . . 101--112
Douglas W. Waugh An Ada Language Programming Course . . . 34--41
Christine L. Braun Ada Training Considerations . . . . . . 42--55
Michael R. Gardner Using Ada for Commercial Software . . . 56--59
Bruce L. Rudolph An Overview of the Design of an Ada
Ballistics System . . . . . . . . . . . 60--61
Nico Lomuto Self-Reproducing Ada Tasks . . . . . . . 62--75
John D. Fernandez and
Homer Carlisle and
Sallie Sheppard Experience with Matrix Multiplication
Using Ada Tasks . . . . . . . . . . . . 76--84
Robert Fritz The Ada User and the DoD Software
Initiative . . . . . . . . . . . . . . . 85--88
Herman Fischer Software Technology Initiative Raleigh
Workshop: An Editorial Report . . . . . 45--50
James P. Alstad Problems with Ada as a Program Design
Language: a Position Paper . . . . . . . 51--52
A. Bossi and
N. Cocco and
S. Dulli Modular Decomposition of Ada into a
Hierarchy of Sublanguages . . . . . . . 53--58
Paul Dobbs Ada Experience on the Ada Capability
Study . . . . . . . . . . . . . . . . . 59--62
Stephen F. Zeigler and
Reinhold P. Weiker Ada Language Statistics for the iMAX 432
Operating System . . . . . . . . . . . . 63--67
Thomas A. Standish Interactive Ada in the Arcturus
Environment . . . . . . . . . . . . . . 23--36
Ron Tischler Note on Scanning Ada . . . . . . . . . . 36
J. C. D. Nissen and
B. A. Wichmann Ada-Europe Guidelines for Ada Compiler
Specification and Selection . . . . . . 37--50
Steven D. Litvintchouk and
A. S. Matsumoto An Algebraic Approach to Reusable Ada
Components . . . . . . . . . . . . . . . 51--54
Charles Wetherell and
M. E. Quinn An Ada Language Type Checking Problem
and Two Morals . . . . . . . . . . . . . 55--56
John McDermid and
Knut Ripken Life Cycle Support in the Ada
Environment . . . . . . . . . . . . . . 57--62
Guido Persch and
Manfred Dausmann and
Gerhard Goos Early Experience with the Programming
Language Ada . . . . . . . . . . . . . . 63--70
Berndt Krieg-Brueckner Consistency Checking in Ada and Anna: a
Transformational Approach . . . . . . . 46--54
P. Inverardi and
G. Levi and
U. Montanari and
G. N. Vallario A Distributed KAPSE Architecture . . . . 55--61
Gary Bray Implementation Implications of Ada
Generics . . . . . . . . . . . . . . . . 62--71
Rolf Molich Ada Compiler Quality Assurance . . . . . 72--75
Wolf-Dieter Heker Some Comments on ``Experiences with
Matrix Multiplication Using Ada Tasks'' 76
William L. Wilder Minimal Host for the KAPSE . . . . . . . 77--88
Steven D. Litvintchouk and
A. S. Matsumoto An Algebraic Approach to Reusable Ada
Components . . . . . . . . . . . . . . . 89--92
Lee A. Becker Ada --- Extended Structure Charts . . . 93--97
Edward V. Berard Engineering Ada . . . . . . . . . . . . 33--44
Walter Kirchgassner and
Jurgen Uhl and
Guido Perch and
Manfred Dausmann and
Sophia Drossopoulou and
Hans-Stephan Jansohn and
Rudolph Landwehr Optimization in Ada . . . . . . . . . . 45--57
J. Michael Kamrad Runtime Organization for the Ada
Language System Programs . . . . . . . . 58--68
Raymond C. Houghton A taxonomy of Tool Features for the Ada
Programming Support Environment (APSE) 63--78
Dennis Cornhill A Survivable Distributed Computing
System for Embedded Applications
Programs Writtein in Ada . . . . . . . . 79--87
Gerry Fisher A LALR(1) Grammar for ANSI Ada . . . . . 37--50
Thomas J. Wheeler A Command Interpreter for Ada . . . . . 51--61
Edward Bein Ada Design, Jovial Implementation . . . 62--69
Mícheál Mac an Airchinnign Ada Packages and the User's Conceptual
Model . . . . . . . . . . . . . . . . . 70--77
Erik Meiling and
Steen U. Palm A Comparative Study of CHILL and Ada on
the Basis of Denotational Descriptions 78--91
Erhard Ploedereder Project SPERBER . . . . . . . . . . . . 92--99
Stephen P. Phillips and
Peter R. Stevenson The Role of Ada in Real Time Embedded
Applications . . . . . . . . . . . . . . 99--111
A. J. Wellings and
D. Keeffe and
G. M. Tomlinson A Problem with Ada and Resource
Allocation . . . . . . . . . . . . . . . 112--124
J. C. D. Nissen and
P. A. Wichmann and
others Ada-Europe Guidelines for Ada Compiler
Specification and Selection . . . . . . 50--62
I. C. Pyle A Package for Specifying Ada Programs 63--68
Anders Ardo and
Lars Philipson A Simple Ada Compiler Invalidation Test 69--74
G. G. Bengel Peculiarities of Ada . . . . . . . . . . 75--81
Gerry Fisher Universal Arithmetic Packages . . . . . 30--47
J. F. H. Winkler More on Block Structure: Using Ada . . . 48--56
A. Dapra and
S. Gatti and
S. Crespi-Reghizzi and
F. Maderna and
D. Belcredi and
A. Natali and
R. A. Stammers and
M. D. Tedd Using Ada and APSE to Support
Distributed Multimicroprocessor Targets 57--65
Michael R. Gardner When to Use Private Types . . . . . . . 66--78
Paulan D. Daily and
John T. Foreman Ada Programming Standards and Guidelines 79--94
Victor R. Basili and
Shih Chang and
John Gannon and
Elizabeth Katz and
N. Monina Panlilo-Yap and
Connie Loggia Ramsey and
Marvin Zelkowitz and
John Bailey and
Elizabeth Kruesi and
Sylvia Sheppard Monitoring an Ada Software Development 32--39
David Alan Wolverton A Perfect Hash Function for Ada Reserved
Words . . . . . . . . . . . . . . . . . 40--44
Edward V. Berard Ada Education is a Moving Target . . . . 45--49
Albert Llamosi and
Pere Botella and
Fernando Orejas On Unlimited types and Reliability of
Ada Programs . . . . . . . . . . . . . . 50--60
David A. Smith ANSI Standard Ada --- Quick Reference
Sheet . . . . . . . . . . . . . . . . . 61--66
Rodney M. Bond Ada as a Program Description Language
(PDL) . . . . . . . . . . . . . . . . . 67--73
J. A. Kirkham and
A. Burns and
R. J. Thomas The Use of Structured Systems Analysis
in the Rapid Creation of Information
Management Systems Prototypes Written in
Ada . . . . . . . . . . . . . . . . . . 74--87
Sam Harbaugh and
John A. Forakis Timing Studies Using a Synthetic
Whetstone Benchmark . . . . . . . . . . 23--35
A. Fantechi Interfacing with Real Environments from
Ada Programs . . . . . . . . . . . . . . 35--43
Peter van der Linden Writing Diagnostic Software in Ada . . . 44--53
Kathleen Gilroy Experience with Ada for the Graphical
Kernal System . . . . . . . . . . . . . 54--64
Robert B. K. Dewar Ada Language Maintenance, a Look at What
is Going On . . . . . . . . . . . . . . 65--76
Mark Temte Object-Oriented Design and Ballistics
Software . . . . . . . . . . . . . . . . 25--36
Ivan Bach Unorthogonalities in the Identification
Rules in Ada . . . . . . . . . . . . . . 37--43
J. Kok and
G. T. Symm A Proposal for Standard Basic Functions
in Ada . . . . . . . . . . . . . . . . . 44--52
John C. Knight and
John I. A. Urquhart On the Implementation and Use of Ada on
Fault-Tolerant Distributed Systems . . . 53--64
John B. Goodenough On Defining ``='' in Ada . . . . . . . . 27--31
James W. Armitage and
James V. Chelini Ada Software on Distributed Targets: a
Survey of Approaches . . . . . . . . . . 32--37
John Schill and
Roger Smeaton and
Richard Jackman The Conversion of Command & Control
Software to Ada: Experiences and Lessons
Learned . . . . . . . . . . . . . . . . 38--48
J. N. Buxton Future Ada environment workshop: keynote
address . . . . . . . . . . . . . . . . 40--44
John N. Buxton Keynote Address, Future APSE Workshop 40--44
Gil Myers Software Engineering Automation for
Tactical Embedded Systems (SEATECS) . . 45--48
R. J. A. Buhr and
G. M. Karam An Informal Overview of CADA: a Design
Environment for Ada . . . . . . . . . . 49--58
Arthur Pyster Experience with Existing Environments 59--64
P. A. Oberndorf and
M. H. Penedo Project databases . . . . . . . . . . . 65--78
Patricia A. Orberndorf and
Maria H. Penedo Project Database Working Group . . . . . 65--78
Ann Marmor-Squires and
Jack Wileden Methodology and Environment
Relationships . . . . . . . . . . . . . 79--83
Vic Berecz and
Jack Kramer and
Carol LeDoux Distributed Environments . . . . . . . . 84--89
ACM Adatec Future Ada and
Environment Workshop and
Working Group 6. User interfaces . . . . . . . . . . . . 90--96
Carl Braesicke and
Jeff Dean and
Dave Fisher and
Jim Holder and
Rand McKinney and
Panna Nagarsenker and
Dewayne Perry and
Phil Rossomando and
Tim Standish and
Dick Wisehart Future Ada Environments Workshop: User
Interfaces . . . . . . . . . . . . . . . 90--96
Bill Jones and
Steve Litvintchouk and
Jerry Mungle and
Herb Krasner and
John Melby and
Herb Willman Issues in Software Reusability . . . . . 97--99
Sam Redwine Environment Architectures . . . . . . . 100--104
Roberta G. Wagreich Methodologies and Environments for
Embedded Systems Lifecycle Support . . . 105--110
Sam Harbaugh XAda --- An Executable Ada Design
Language Methodology . . . . . . . . . . 27--31
Jan Walasek Source Listing with Combs . . . . . . . 32--34
T. Oberndorf Second CAIS review meeting . . . . . . . 35--43
T. Orberndorf The Second CAIS Review Meeting . . . . . 35--43
G. Falquet and
J. Guyot and
L. Nerima Simple Tools to Learn Ada . . . . . . . 44--48
Charles Hammons and
Paul Dobbs Coupling, cohesion, and package unity in
Ada . . . . . . . . . . . . . . . . . . 49--59
D. Helbold and
D. C. Luckham Runtime Detection and Description of
Deadness Errors in Ada Tasking . . . . . 60--72
D. Helmbold and
D. C. Luckham Runtime detection and description of
deadness in Ada tasking . . . . . . . . 60--72
P. H. Welch Structured Tasking in Ada? . . . . . . . 17--31
Melody Moore and
John Foreman and
Paulan Daily Planning an AdaTEC/AdaJUG meeting . . . 32--41
Jonas Agerberg The Simplest? Ada Solution to the Dining
Philosophers Problem . . . . . . . . . . 42--48
Peter van der Linden Looking Forward with Ada . . . . . . . . 49--54
A. Burns Efficient Initialisation Routines for
Multiprocessor Systems Programmed in Ada 55--60
William L. Wilder KAPSE Implementation Strategies . . . . 61--70
Nancy Linden Yavne A simple approach to a relaxed syntax
for an Ada PDL . . . . . . . . . . . . . 71--78
Bonnie Burkhardt First Use of XAda Methodology . . . . . 79--88
Mike W. Rogers IT Companies' Acceptance of and
Attitudes towards Ada . . . . . . . . . 1--13
Olavi Poutanen and
Kari-Matti Varanki and
Tapio Välimäki Notes on Building a Relational Database
Management System in Ada . . . . . . . . 14--24
Kjell-Hakan Narfelt and
Dick Schefstrom Extending the Scope of the Program
Library . . . . . . . . . . . . . . . . 25--40
Stephen Fox and
Anil Nori and
John M. Smith and
Arvola Chan and
Sy Danberg Atool kit for database programming in
Ada . . . . . . . . . . . . . . . . . . 41--57
John M. Smith and
Arvola Chan and
Sy Danberg and
Stephen Fox and
Anil Nori A Tool Kit for Database Programming in
Ada . . . . . . . . . . . . . . . . . . 41--57
Edith Schonberg and
Edmond Schonberg Highly Parallel Ada --- Ada on an
Ultracomputer . . . . . . . . . . . . . 58--71
Richard A. Volz and
Trevor N. Mudge and
Arch W. Naylor and
John H. Mayer Some Problems in Distributing Real-Time
Ada Programs across Machines . . . . . . 72--84
P. Inverardi and
F. Mazzanti and
C. Montangero The use of Ada in the design of
distributed systems . . . . . . . . . . 85--96
Carol H. LeDoux and
D. Stott Parker, Jr. Saving Traces for Ada Debugging . . . . 97--108
A. Di Maio and
S. Ceri and
S. Crespi Reghizzi Execution monitoring and debugging tool
for Ada using relational algebra . . . . 109--123
Claude Mauger and
Kevin Pammett An Event-Driven Debugger for Ada . . . . 124--135
Thomas M. Leonard Ada and the Graphical Kernel System . . 136--150
Mitchell J. Bassman and
Gerald A. Fisher, Jr. and
Anthony Gargaro An Approach for Evaluating the
Performance Efficiency of Ada Compilers 151--163
Rajiv Gupta and
Mary Lou Soffa The Efficiency of Storage Management
Schemes for Ada Programs . . . . . . . . 164--172
R. J. A. Buhr and
G. M. Karam and
C. M. Woodside An Overview and Example of Application
of CAEDE: a New, Experimental Design
Environment for Ada . . . . . . . . . . 173--184
Friedrich W. von Henke and
David Luckham and
Bernd Krieg-Brueckner and
Olaf Owe Semantic Specification of Ada Packages 185--196
O. Roubine Programming Large and Flexible Systems
in Ada . . . . . . . . . . . . . . . . . 197--209
R. J. A. Buhr Lessons from practical experience
teaching hands-on, real-time, embedded
system programming with Ada . . . . . . 210--216
Bryce M. Bardin and
Marion F. Moon In Search of ``Real'' Ada: a Software
Saga with a Moral or Two . . . . . . . . 217--228
Rene Beretz and
Benjamin M. Brosgol Developing an automated Ada training
product . . . . . . . . . . . . . . . . 229--240
Rob Strom and
Shaula Yemini and
Peter Wegner Viewing Ada from a Process Model
Perspective . . . . . . . . . . . . . . 241--254
David Helmbold and
David C. Luckham TSL: Task Sequencing Language . . . . . 255--274
P. J. L. Wallis Automatic language conversion and its
place in the transition to Ada . . . . . 275--284
Sriram Sankar and
David Rosenblum and
Randall Neff An implementation of Anna . . . . . . . 285--296
V. Donzeau-Gouge and
B. Lang and
B. Me'le'se A Tool for Ada Program Manipulations:
Mentor-Ada . . . . . . . . . . . . . . . 297--308
R. H. Pierce Ada in the ECLIPSE Project Support
Environment . . . . . . . . . . . . . . 309--320
J. Bundgaard The Development of an Ada Front End for
Small Computers . . . . . . . . . . . . 321--328
G. A. Riccardi and
T. P. Baker A Runtime Supervisor to Support Ada
Tasking: Rendezvous and Delays . . . . . 329--342
M. R. Barbacci and
W. H. Maddox and
T. D. Newton and
R. G. Stockton The Ada+ Front End and Code Generator 343--354
D. A. Taffs and
M. W. Taffs and
J. C. Rienzo and
T. R. Hampson The ALS Ada Compiler Global Optimizer 355--366
John R. White Extended terms for SIG officers . . . . 6--10
John I. Moore, Jr. Report on the 1985 Washington Ada
Symposium . . . . . . . . . . . . . . . 16--18
Norman H. Cohen Tasks as Abstraction Mechanisms . . . . 30--44
Bryce M. Bardin A ``To Be Determined'' Package for Ada
Development . . . . . . . . . . . . . . 45--56
Bryce M. Bardin Report from the SIGAda Users' Committee
chairperson . . . . . . . . . . . . . . 61--62
Mike Kamrad and
Kathleen Gilroy and
Daryl Winters and
Dock Allen and
Charles Mckay Ada run-time environments working group
(ARTEWG) report . . . . . . . . . . . . 63--63
Ann Reedy Ada contracts list . . . . . . . . . . . 64--66
J. Wolfe Artificial intelligence and the CAIS . . 76--83
C. Brandon Turtle graphics for teaching Ada as a
first language . . . . . . . . . . . . . 100--100
K. E. Hoffmann Appropriate Data-Types in Ada
(Apparently not a simple subject) . . . 20--21
Geert. B. Clemmensen Retargeting and rehosting the DDC Ada
compiler system: a case study --- the
Honeywell DPS 6 . . . . . . . . . . . . 22--28
Edward V. Berard Towards a Software Profession . . . . . 29--40
Karl F. VanNeste Ada Coding Standards and Conventions . . 41--48
Tom Spurrier Biography of an Ada Project . . . . . . 49--54
Ellis S. Cohen Updating Elements of a Collection in
Place . . . . . . . . . . . . . . . . . 55--62
Douglas Arndt Character Building Experiences . . . . . 63--71
Donald G. Martin Non-Ada to Ada Conversion . . . . . . . 72--81
Daniel M. Berry and
Nancy Yavne and
Moshe Yavne On the Requirements For and the Use of a
Program Design Language:
Parameterization, Abstract Data Typing,
Strong Typing . . . . . . . . . . . . . 82--89
Vinod Grover On Expressing Module Interconnections in
Ada . . . . . . . . . . . . . . . . . . 90--93
Kuo-Chung Tai A Graphical Notation for Describing
Executions of Concurrent Ada Programs 94--103
Keith Patrick DeWeese Ada: a life and legacy: Dorothy Stein
book review . . . . . . . . . . . . . . 13--14
Karl Kurbel and
Wolfram Pietsch A portable Ada implementation of index
sequential input-output, Part 1 . . . . 29--40
R. St. Dennis and
P. Stachour and
E. Frankowski and
E. Onuegbe Measurable Characteristics of Reusable
Ada Software . . . . . . . . . . . . . . 41--50
Richard Platek Chairperson's letter: Formal methods
committee . . . . . . . . . . . . . . . 51--52
Alton L. Brintzenhoff Chairperson's letter . . . . . . . . . . 53--56
Judy Kerner Ada DL developers matrix update . . . . 57--58
Donald G. Firesmith SDSAWG chairperson's letter . . . . . . 59--59
Teri Payton and
Ann Reedy Chairperson's letter . . . . . . . . . . 73--74
Chuck Howell Minutes of CAIS implementor's group
meeting . . . . . . . . . . . . . . . . 75--76
Mark C. Paulk Minutes of the DAWG . . . . . . . . . . 76--76
Clyde Roby CAIS/CASWG/SEI workshop summary . . . . 77--78
Stowe Boyd APSE builders' working group report . . 79--82
Peter H. Feller The SEI environment . . . . . . . . . . 83--83
Dave Emery and
Steve Rosen Two UNIX tools supporting a common style 84--84
Stewart French AIM project introduction . . . . . . . . 85--86
Jerry Baskette and
John Foreman Life cycle analysis of the AIM project 86--90
Stewart French Transporting an Ada software tool: a
case study . . . . . . . . . . . . . . . 90--91
Jon Squire PIWG chairperson's letter . . . . . . . 93--93
Ann Reedy Ada contracts list update . . . . . . . 94--94
Putnam P. Texel Chairperson's letter . . . . . . . . . . 96--99
Peter Hibbard and
Andy Hisgen and
Jonathan Rosenberg and
Mary Shaw and
Mark Sherman Studies in Ada style . . . . . . . . . . 103--103
Helen Romanowsky Ada publications . . . . . . . . . . . . 109--110
K. Kurbel and
W. Pietsch A portable Ada implementation of index
sequential input-output, part 2 . . . . 31--42
W. G. Piotrowski Ada information hiding --- a design goal
missing? . . . . . . . . . . . . . . . . 43--55
L. Bernard Dereference the reference manual . . . . 56--60
E. R. Matthews and
W. Lively The ATMAda environment: an enhanced APSE 61--64
B. A. Wichmann Ackermann's function in Ada . . . . . . 65--70
B. Burkhard and
M. Lee Drawing Ada structure charts . . . . . . 71--80
George C. Harrison and
Dar-Biau Liu Generic Implementations Via Analogies in
the Ada Programming Language . . . . . . 34--43
Kjell W. Nielsen Task Coupling and Cohesion in Ada . . . 44--52
Donald L. Ross Classifying Ada Packages . . . . . . . . 53--65
Paul L. Baker Transformation of Structured Data
Schemata into Ada Language Statements 66--74
Donald G. Firesmith and
Colin B. Gilyeat Resolution of Ada-related concerns in
DoD-STD-2167, revision A . . . . . . . . 29--33
Steve Roski DoD-STD-2167A Coding Standard (Draft) 34--44
S. Roski DoD-STD-2167 default Ada design and
coding standard . . . . . . . . . . . . 34--44
M. Mac an Airchinnigh The real issues in Ada
education/training . . . . . . . . . . . 86--93
Judy M. Bishop A Complete Notation for Ada Charts . . . 49--53
Thomas J. Fleck A Specification for Ada Machine Code
Insertions . . . . . . . . . . . . . . . 54--60
Thomas J. Wheeler An Example of the Developer's
Documentation for an Embedded Computer
System Written in Ada, Part 1 . . . . . 61--71
Thomas J. Wheeler An Example of the Developer's
Documentation for an Embedded Computer
System Written in Ada, Part 2 . . . . . 40--48
Thomas. M. Burger and
Kjell W. Nielsen An Assessment of the Overhead Associated
with Tasking facilities and Task
Paradigms in Ada . . . . . . . . . . . . 49--58
Michael Woodger Origins of Ada Features . . . . . . . . 59--70
Terry Froggatt Fixed-point conversion, multiplication,
and division in Ada . . . . . . . . . . 71--81
Kirk P. Arnett and
Charles M. Butler Ada Language Training with a COBOL
Translation Model . . . . . . . . . . . 82--88
Donald R. Clarson Ada Information Hiding --- Additional
Notes . . . . . . . . . . . . . . . . . 89--93
George W. Macpherson We're Using the Wrong Name . . . . . . . 94--96
A. Burns Using Large families for Handling
Priority Requests . . . . . . . . . . . 97--104
Ada Joint Program Office Ada Compiler Validation Procedures and
Guidelines, Version 1.1 . . . . . . . . 28--57
P. Carr and
R. Stevenson and
J. Alea and
J. Berthold and
G. Groucher and
M. Davis and
G. Dobbins and
D. Law and
V. Szarek and
W. Webster Implementation of a Prototype CAIS
Environment . . . . . . . . . . . . . . 58--72
J. Kaye Grau and
Kathleen A. Gilroy Compliant mappings of Ada programs to
the DoD-STD-2167 static structure . . . 73--84
David S. Rosenblum An Efficient Communication Kernel for
Distributed Ada Runtime Tasking
Supervisors . . . . . . . . . . . . . . 102--117
Joseph Harkleroad Analyzing Ada Concurrent Algorithms . . 118--134
Mark McNickle and
Ann Reedy Experiences in Using Ada with DBMS
Applications . . . . . . . . . . . . . . 40--49
L. Scott McCoy Interfacing Ada and Relational Databases 50--59
Jane E. D. Donaho and
Genell K. Davis Ada-embedded SQL: the options . . . . . 60--72
Karl Rehmer Development and Implementation of the
Magnavox Generic Ada Basic Mathematics
Package . . . . . . . . . . . . . . . . 73--83
G. Vittorio Frigo Evaluation of the VAX\TM Ada\reg
compiler and APSE by Means of a Real
Program . . . . . . . . . . . . . . . . 84--93
David C. Luckham and
Randall Neff and
David S. Rosenblum An Environment for Ada Software
Development Based on Formal
Specification . . . . . . . . . . . . . 94--106
U. S. DoD DoD Directive 3405.1: Computer
Programming Languages Policy . . . . . . 42--44
U. S. DoD DoD Directive 3405.2: Use of Ada in
Weapon Systems . . . . . . . . . . . . . 45--53
Ed Seidewitz and
Mike Stark Towards a General Object-Oriented
Software Development Methodology . . . . 54--67
Stowe Boyd Object-Oriented Design and Pamela: a
Comparison of Two Design Methods for Ada 68--78
S. E. Watson Ada Modules . . . . . . . . . . . . . . 79--84
I. C. Wand and
J. R. Firth and
C. H. Forsyth and
L. Tsao and
K. S. Walker Facts and Figures About the York Ada
Compiler . . . . . . . . . . . . . . . . 85--87
Souripriya Das and
Stephen R. Schach An Ada-LISP Interface Generator . . . . 88--97
Karl A. Nyberg Using Representation Clauses as an
Operating System Interface . . . . . . . 98--101
R. W. Sebesta Yet Another Survey of Ada Usage and Ada
Training . . . . . . . . . . . . . . . . 34--39
Ronald J. Leach Experiences Teaching Concurrency in Ada 40--41
R. D. Huijsman and
J. van Katwijk and
C. Pronk and
W. J. Toetenel Translating Algol 60 Programs into Ada:
Report on a Feasability Study . . . . . 42--50
A. Tetewsky and
R. Racine Ada Compiler Selection for Embedded
Targets . . . . . . . . . . . . . . . . 51--62
Randal Leavitt Adjustable Precision Floating Point
Arithmetic in Ada . . . . . . . . . . . 63--78
Steven M. Rosen Controlling Dynamic Ada Objects in Large
Ada Systems . . . . . . . . . . . . . . 79--92
Steven M. Rosen Controlling dynamic objects in large Ada
systems . . . . . . . . . . . . . . . . 79--92
David A. Cook and
Dean W. Gonzalez Notes on Ada Abstraction . . . . . . . . 93--95
David A. Cook and
Dean W. Gonzalez Notes on data abstraction . . . . . . . 93--95
Donald R. Clarson Proposal for Adding Discriminants for
Ada Task Types . . . . . . . . . . . . . 96--99
Edmund R. Matthews Observations on the Portability of Ada
I/O . . . . . . . . . . . . . . . . . . 100--103
Donald G. Firesmith Two Impediments to the proper use of Ada 104--104
R. W. Shore Discrete-Event Simulation in Ada:
Concepts . . . . . . . . . . . . . . . . 105--112
Anonymous The challenge of Ada runtime
environments (ARTEWG) . . . . . . . . . 113--127
ACM SIGAda ARTEWG The Challenge of Ada Runtime
Environments . . . . . . . . . . . . . . 113--127
Dock Allen Tailored Run-Time Environments for
Real-Time Applications . . . . . . . . . 13--14
L. R. Collingbourne A Practical Approach to Developing
Real-Time Ada Programs for Embedded
Systems . . . . . . . . . . . . . . . . 15--17
R. O. Domitz Real-Time Ada Debugging . . . . . . . . 18--20
Greg Burns Cross-Debugging Real-Time Ada Programs 21--23
Robert Firth A Pragmatic Approach to Ada Insertion 24--26
Dennis Cornhill and
Lui Sha and
John P. Lehoczky and
Ragunathan Rajkumar and
Hide Tokuda Limitations of Ada for Real-Time
Scheduling . . . . . . . . . . . . . . . 33--39
Anders Ardo Real-Time Efficiency of Ada in a
Multiprocessor Environment . . . . . . . 40--42
A. Burns and
A. J. Wellings Real-Time Ada Issues . . . . . . . . . . 43--46
Gary Frankel Improving Ada Tasking Performance . . . 47--48
Frank McCormick Scheduling Difficulties of Ada in the
Hard Real-Time Environment . . . . . . . 49--50
C. Douglass Locke and
David R. Vogel Problems in Ada Runtime Task Scheduling 51--53
John C. Knight Ada on Fault-Tolerant Distributed
Systems . . . . . . . . . . . . . . . . 61--63
Trevor Mudge Units of Distribution for Distributed
Ada . . . . . . . . . . . . . . . . . . 64--66
S. Crespi Reghizzi and
A. Di Maio and
F. Maderna Distributable Ada Programs . . . . . . . 67--69
Richard A. Volz Distributed Ada Execution: a
Definitional Void . . . . . . . . . . . 70--72
A. D. Hutcheon and
D. S. Snowden and
A. J. Wellings Programming and Debugging Distributed
Real-Time Applications in Ada . . . . . 73--76
Mark C. Paulk Real-Time Performance of Distributed Ada
Programs . . . . . . . . . . . . . . . . 77--78
Ted Baker Ada Runtime Support Environments to
Better Support Real-Time Systems . . . . 85--87
J. P. Sarkar and
T. T. Wong Impacts of Ada Features on Real-Time
Performance . . . . . . . . . . . . . . 88--92
Rudolf Landwehr and
Peter Hensel and
Rami Bayan and
Antonio Kung A model for a portable Ada run-time
library . . . . . . . . . . . . . . . . 93--96
Angel Alvarez Real-Time Programming and Priority
Interrupt Systems . . . . . . . . . . . 97--100
Robert G. Clark Designing Concurrent Objects . . . . . . 107--109
Ralph Back and
Reino Kurki-Suonio A New Paradigm for the Design of
Concurrent Systems . . . . . . . . . . . 110--112
Mike Kamrad and
Rakesh Jha and
Greg Eisenhauer and
Dennis Cornhill Distributed Ada . . . . . . . . . . . . 113--115
Elisabeth Broe Christensen Ada Features and Real-Time Embedded
Applications . . . . . . . . . . . . . . 116--118
Elisabeth Broe Christiansen Ada features and real-time embedded
applications . . . . . . . . . . . . . . 116--118
Patrick de Bondeli Real-Time Ada Systems: Development
Methodology and Real-Time Performance 119--120
R. H. Pierce On the Use of Passive Tasks in Ada . . . 121--123
Ian Mearns Developing Real-Time Ada Systems . . . . 124--126
Anthony Gargaro and
Benjamin Brosgol International Workshop on Real-Time Ada
Issues . . . . . . . . . . . . . . . . . ??
Dennis Cornhill and
Lui Sha Priority Inversion in Ada --- or ---
What Should be the Priority of an Ada
Server Task? . . . . . . . . . . . . . . 30--32
Ken Shumate An Example Case Study on Ada Tasking . . 33--54
Ken Sumate An example case study on Ada tasking . . 33--54
Susan Flynn and
Edith Schonberg and
Edmond Schonberg The efficient termination of Ada tasks
in a multi-processor environment . . . . 55--76
J. P. Rosen In Defense of the ``use'' clause . . . . 77--81
Bill Brykczynski Methods of Binding Ada to SQL: a General
Discussion . . . . . . . . . . . . . . . 38--51
Geoff Mendal Three Reasons to Avoid the Use Clause 52--57
Bryce Bardin and
Christopher Thompson Composable Ada Software Components and
the Re-Export Paradigm . . . . . . . . . 58--79
D. Wood The Algorithm Capture Approach to Ada
Transition . . . . . . . . . . . . . . . 80--90
Benjamin Brosgol International workshop on real-time Ada
issues: summary report . . . . . . . . . 91--107
Ann Reedy CAIS Comments and Responses . . . . . . 28--38
Bryce M. Bardin and
Christopher J. Thompson Using the Re-Export Paradigm to Build
Composable Ada Software Components . . . 39--54
Ken Shumate and
Kjell Nielsen A Taxonomy of Ada Packages . . . . . . . 55--76
Ken Sumate and
Kjell Nielsen A taxonomy of Ada packages . . . . . . . 55--76
Norman H. Cohen Dependence on Ada Task Scheduling is Not
``Erroneous'' . . . . . . . . . . . . . 77--83
James J. Maloney Using the VAX/VMS Lock Manager with Ada
Tasks . . . . . . . . . . . . . . . . . 84--95
David P. Wood The Algorithm Capture Approach to Ada
Transition . . . . . . . . . . . . . . . 96--106
Sam Harbaugh Comments and Recommendation on MOSI from
an Ada Point of View . . . . . . . . . . 107--109
Marion G. Harmon and
Ted P. Baker An Ada Implementation of Marsaglia's
``Universal'' Random Number Generator 110--112
Anonymous Ada runtime environment working group
--- a framework for describing Ada
runtime environment . . . . . . . . . . 51--68
J. Kerner Development methodology committee ---
ADL developers matrix . . . . . . . . . 69--80
H. Romanowsky Educational products working group Ada
publications list . . . . . . . . . . . 81--83
Chuck Roark and
Ron McAfee The applicability of Ada to
MIL-STD-1750A . . . . . . . . . . . . . 84--86
C. Roast The applicability of Ada (R) to
MIL-STD-1750A . . . . . . . . . . . . . 84--86
David P. Wood and
David Turcaso Implementing a faster string search
algorithm in Ada . . . . . . . . . . . . 87--97
N. Altman and
N. Weiderman Timing variation in dual loop benchmarks 98--106
J. R. Carter MMAIM: a software development method for
Ada. I. Description . . . . . . . . . . 107--114
C. McDonald The Ada ASEET team . . . . . . . . . . . 115--122
C. W. McDonald The Ada Software Engineering Education
and Training (ASEET) team . . . . . . . 115--122
R. Racine Why the use clause is beneficial (Ada) 123--127
Office of the Under Secretary of Defense for Acquisition Excerpts from Fall 1987 report of the
Defense Science Board Task Force on
military software . . . . . . . . . . . 35--46
Office of the Under Secretary of Defense for Acquisition Report of the Defense Science Board Task
Force on military software: September
1987 . . . . . . . . . . . . . . . . . . 35--46
Task Force on Military Software Defense Science Board Report of the Defense Science Board Task
Force on Military Software . . . . . . . 35--46
Ada Board Response to the Defense Science Board
Task Force on Military Software . . . . 47--68
Office of the Under Secretary of Defense for Acquisition Ada Board response to the Report of the
Defense Science Board Task Force on
Military Software . . . . . . . . . . . 47--68
Scott A. DeLoach An Interface-Based Ada Programming
Support Environment . . . . . . . . . . 70--82
Scott A. DeLoach An interface-based Ada programming
support environment . . . . . . . . . . 70--82
Rose Hoskins The design and implementation of a Karel
compiler and interpreter . . . . . . . . 83--96
Richard F. Puk Report on the Meeting of ISO/IEC
JTC1/SC24/WG4 Computer Graphics Language
Bindings held in Tokyo, Japan, April
12--20, 1988 . . . . . . . . . . . . . . 97--103
SPS, Inc. Naval Avionics Center Ada-Based Design
Languages Workshop Summary of Events . . 103--118
Software Productivity Solutions, Inc. Naval Avionics Center Ada-Based Design
Languages Workshop summary of events . . 104--118
E. Perez Simulating Inheritance with Ada . . . . 37--46
J. R. Carter MMAIM: a software development method for
Ada, part II --- Example . . . . . . . . 47--60
J. Cheng and
K. Araki and
K. Ushijima Tasking Communication Deadlocks in
Concurrent Ada Programs . . . . . . . . 61--70
G. E. Anderson An Ada multitasking solution for the
Sieve of Eratosthenes . . . . . . . . . 71--74
C. S. Herr and
D. G. McNicholl and
S. G. Cohen Compiler validation and reusable Ada
parts for real-time, embedded
applications . . . . . . . . . . . . . . 75--86
D. W. Gonzalez An Ada Tasking Demo . . . . . . . . . . 87--91
P. Rogers Dimensional Analysis in Ada . . . . . . 92--100
Avram Tetewsky and
Ann Clough and
Roger Racine and
R. Whittredge Mapping Ada onto Embedded Systems:
Memory Constraints . . . . . . . . . . . 101--109
Donald G. Firesmith Mixing Apples and Oranges: or What is an
Ada Line of Code Anyway? . . . . . . . . 110--112
J. Kerner Ada design language developers matrix 35--48
Gertrude Levine The Control of Priority Inversion in Ada 53--56
Mahmoud Parsian and
Brayan Basdell and
Yusuf Bhayat and
Ian Caldwell and
Neva Garland and
Bruce Jubanowsky and
Jeanne Robinette Ada Translation Tools Development:
Automatic Translation of FORTRAN to Ada 57--71
Philippe Collard and
Andre Goforth Knowledge Based Systems and Ada: An
Overview of the Issues . . . . . . . . . 72--81
Guo-Guang Xing and
Hui Rao and
Bin Liu and
Jun Shen and
Ming-Yuan Zhu An Integrated Ada Programming
Environment: AWA . . . . . . . . . . . . 82--91
Mark Borger and
Mark Klein and
Nelson Weiderman and
Lui Sha A Testbed for Investigating Real-Time
Ada Issues . . . . . . . . . . . . . . . 7--11
Tzilla Elrad Comprehensive Scheduling Controls for
Ada Tasking . . . . . . . . . . . . . . 12--19
John B. Goodenough and
Lui Sha The Priority Ceiling Protocol: a Method
for Minimizing the Blocking of High
Priority Ada Tasks . . . . . . . . . . . 20--31
Jane W. S. Liu and
Kwei-Jay J. Lin On Means to Provide Flexibility in
Scheduling . . . . . . . . . . . . . . . 32--34
C. D. Locke and
J. B. Goodenough A practical application of the ceiling
protocol in a real-time system . . . . . 35--38
Douglass Locke and
Lui Sha and
Ragunathan Rajkumar and
John Lehoczky and
Greg Burns Priority inversion and its control: An
experimental investigation . . . . . . . 39--42
Ted Baker Improving Immediacy in Ada . . . . . . . 50--56
Patrick de Bondeli Asynchronous Transfer of Control and
Scheduling Problems . . . . . . . . . . 57--60
J. R. Hunt Interrupts and Ada . . . . . . . . . . . 61--64
W. J. Toetenel and
J. van Katwijk Asynchronous Transfer of Control in Ada 65--79
C. Atkinson and
S. J. Goldsack Communication Between Ada Programs in
DIADEM . . . . . . . . . . . . . . . . . 86--96
Judy M. Bishop Three steps to distribution:
partitioning, configuring, and adapting 97--100
Hans-Stephan Jansohn Ada for Distributed Systems . . . . . . 101--103
P. Krishnam and
R. A. Volz and
R. J. Theriault Implementation of Task Types in
Distributed Ada . . . . . . . . . . . . 104--107
P. Krishnan and
R. A. Volz and
R. J. Theriault Implementation of task types in
distributed Ada . . . . . . . . . . . . 104--107
A. D. Hucheon and
A. J. Wellings Supporting Ada in a Distributed
Environment . . . . . . . . . . . . . . 113--117
A. D. Hutcheon and
A. J. Wellings Supporting Ada in a distributed
environment . . . . . . . . . . . . . . 113--117
Sergio Arevalo and
Angel Alvarez Fault Tolerant Distributed Ada . . . . . 118--122
John C. Knight and
Marc E. Rouleau A New Approach to Fault Tolerance in
Distributed Ada Programs . . . . . . . . 123--126
Anonymous Second International Workshop on
Real-Time ADA Issues . . . . . . . . . . ??
John Barnes Second International Workshop on
Real-Time Ada Issues . . . . . . . . . . ??
C. Roast The Applicability of Ada to
Mil-Std-1750A . . . . . . . . . . . . . 84--86
P. Wood and
D. Turcaso Implementing a Faster String Search
Algorithm in Ada . . . . . . . . . . . . 87--97
N. Altman and
Nelson Weiderman Timing Variations in Dual Loop
Benchmarks . . . . . . . . . . . . . . . 98--106
J. Carter MMAIM: a Software Development Method for
Ada . . . . . . . . . . . . . . . . . . 107--114
C. McDonald The Ada ASEET Team . . . . . . . . . . . 115--122
Roger Racine Why the Use Clause is Beneficial . . . . 123--127
B. Bardin and
C. Colket and
D. Smith Implementation of unsigned integers in
Ada . . . . . . . . . . . . . . . . . . 47--70
Anonymous A model runtime system interface for Ada
Version 2.3 . . . . . . . . . . . . . . 84--132
ACM SIGAda ARTEWG A Model Runtime System Interface for
Ada, Version 2.3 . . . . . . . . . . . . 84--132
Rakesh Jha and
Greg Eisenhauer and
J. Michael Kamrad, II and
Dennis Cornhill An Implementation Supporting Distributed
Execution of Partitioned Ada Programs 147--160
Greg Eisenhauer and
Rakesh Jha and
J. Michael Kamrad, II Targeting a Traditional Compiler to a
Distributed Environment . . . . . . . . 45--51
Jingde Cheng and
Kazuo Ushijima Naming Ada Tasks at Run-Time . . . . . . 52--61
C. Genillard and
N. Ebel and
A. Strohmeier Rationale for the Design of Reusable
Abstract Data Types Implemented in Ada 62--71
K. Dritc Plugging the holes in the Sieve of
Eratosthenes . . . . . . . . . . . . . . 72--77
Kenneth W. Dritz Plugging the holes in the Sieve of
Eratosthenes . . . . . . . . . . . . . . 72--77
Richard M. Ladden A Survey of Issues to be Considered in
the Development of an Object-Oriented
Development Methodology for Ada . . . . 78--89
Steve Vestal Mixing Coroutines and Processes in an
Ada Tasking Implementation . . . . . . . 90--101
Donald L. Ross The Form of a Passive Iterator . . . . . 102--105
Frederick A. Hosch Message Passing and Administrators in
Ada . . . . . . . . . . . . . . . . . . 106--117
Russell M. Clapp and
Trevor Mudge Ada on a Hypercube . . . . . . . . . . . 118--128
Anonymous Approved Ada language commentaries . . . 1--341
J. Kerner Ada design language developers matrix 30--42
Arthur E. Salwin The Variabilities are Variable . . . . . 84--86
Gertrude Levine Controlling Deadlock in Ada . . . . . . 87--91
Will Tracz Parameterization: a Case Study . . . . . 92--102
Jeffrey R. Carter Variable-Length String Input in Ada . . 103--104
Tzilla Elrad The issue of mutual control:
synchronization and decision making
control for Ada . . . . . . . . . . . . 105--112
Sergio Arevalo and
Angel Alvarez Fault Tolerant Distributed Ada . . . . . 54--59
Reinhold P. Weicker Dhrystone Benchmark (Ada Version 2):
Rationale and Measurement Rules . . . . 60--82
Wolf-Dieter Heker Sieve of Eratosthenes revisited . . . . 83--83
Y. C. Wu and
Ted P. Baker A Source Code Documentation System for
Ada . . . . . . . . . . . . . . . . . . 84--88
Mats Carlsson and
Lars Asplund A Data Acquisition and Information
Handling System in Ada for Electron
Spectroscopy . . . . . . . . . . . . . . 89--100
Eric Kiem The KEYSTONE System Design Methodology 101--108
E. Klem The KEYSTONE system design methodology 101--108
Franco Mazzanti The AIDA Experiment . . . . . . . . . . 109--114
Stowe Boyd The Role of Ada in Contemporary
Interface Technology . . . . . . . . . . 115--122
Andre Schiper and
Roland Simon Traps using the COUNT Attribute in the
Readers-Writers Problem . . . . . . . . 123--128
Anonymous Ada and software management in NASA:
assessment and recommendations . . . . . 53--66
A. Burns and
A. J. Wellings Programming Atomic Actions in Ada . . . 67--79
Krzysztof M. Sacha Ada: Adding Reliability and Efficiency
to Task Communication in Programming
Distributed Control Systems . . . . . . 80--89
Franco Mazzanti Reducing Unpredictability in Ada
Executions . . . . . . . . . . . . . . . 90--96
Joanne Goldenberg and
Gertrude Levine Ada's abort statement: license to kill 97--103
David Papay Forcing the Completion of Abnormal Tasks 104--107
D. Sterne and
A. Glendening and
B. Jachowski and
G. Pretti A Simplified Graphic Notation for Ada
Programs . . . . . . . . . . . . . . . . 108--118
P. Collard Object-Oriented Programming Techniques
With Ada --- An Example . . . . . . . . 119--126
Jerzy Mysior and
Andrzej Paprocki An Eight-Bit Character Set in Ada
Programs . . . . . . . . . . . . . . . . 85--90
Roger Van Scoy and
Judy Bamberger and
Robert Firth An Overview of DARK . . . . . . . . . . 91--101
L. Asplund and
M. Carlsson and
D. Wengelin and
G. Bray Real-Time Ada Compilers for the 68020 102--113
Sriram Sankar APE --- a set of \TeX macros to format
Ada programs . . . . . . . . . . . . . . 114--128
Paul L. Baker Ada as a Preprocessor Language . . . . . 83--91
Dean W. Gonzalez Multitasking Software Components . . . . 92--96
Daniel Wengelin and
Mats Carlsson Göthe and
Lars Asplund Anonymous (No title) [A portable Ada
solution to the problem of suspending a
caller on one node during a call to a
remote node] . . . . . . . . . . . . . . 97--99
Daniel Wengelin and
Mats Carlsson Goethe and
Lars Asplund Anonymous (special topic) . . . . . . . 97--99
M. Ben-Ari Signaling from within Interrupt Handlers 100--103
Marin David Condic Junk Facts and the SlowSort . . . . . . 104--110
Y. E. Gail Wang UNIVERSAL\_FILE\_NAMES For Ada . . . . . 111--117
Jeffrey R. Carter The Form of Reusable Ada Components for
Concurrent Use . . . . . . . . . . . . . 118--121
Frederick A. Hosch Generic Instantiations as Closures . . . 122--130
Steven Haden LEXICAL\_ANALYZER\_G: a Multi-Language
Lexical Analysis Package . . . . . . . . 131--139
Ming-Yuan Zhu Design of a Text Formatter with AUTO
STAR . . . . . . . . . . . . . . . . . . 140--159
Henry Weidman A Method for Converting Abstract Objects
to Discrete Objects . . . . . . . . . . 52--63
Dieter Bär and
Klaus Sum and
Léon Treff SQL\_ArmAda: An Ada-Appropriate
Interface to SQL . . . . . . . . . . . . 64--83
Sy Wong Considerations of Ada in Chinese . . . . 84--88
Juergen F. H. Winkler A Definition of Lines of Code for Ada 89--94
John C. Knight On the Assessment of Ada Performance . . 1--6
Russell M. Clapp and
Trevor Mudge A rationale for the design and
implementation of Ada benchmark programs 8--13
Russell M. Clapp and
Trevor Mudge Introduction to the Special Issue on Ada
Performance Issues . . . . . . . . . . . 10--13
Russell M. Clapp and
Trevor Mudge Taxonomy of Benchmarks . . . . . . . . . 14--19
Russell M. Clapp and
Trevor Mudge The Time Problem . . . . . . . . . . . . 20--28
Russell M. Clapp and
Trevor Mudge The Space Problem . . . . . . . . . . . 29--32
Russell M. Clapp and
Trevor Mudge Parallel and Distributed Issues . . . . 33--37
Andre Goforth and
Philippe Collard and
Matthew Marquardt Performance Measurement of Parallel Ada:
An Applications Based Approach . . . . . 38--58
Russell M. Clapp and
Trevor Mudge Optimization . . . . . . . . . . . . . . 59--59
David Rosenfeld and
Mike Ryer Issues in Optimizing Ada Code . . . . . 60--71
Daniel Roy PIWG Measurement Methodology . . . . . . 72--90
Robert H. Pollack and
David J. Campbell Clock Resolution and the PIWG Benchmark
Suite . . . . . . . . . . . . . . . . . 91--97
Russell M. Clapp and
Trevor Mudge and
Daniel Roy Recommendations and Future Trends . . . 98--100
Anonymous Ada Compiler Evaluation Capability
(ACEC): An Overview . . . . . . . . . . 101--110
Boeing The Ada Compiler Evaluation Capability
(ACEC) . . . . . . . . . . . . . . . . . 101
Anonymous Ada Compiler Evaluation Capability
(ACEC) Data Analysis: An Overview . . . 111--125
Air Force Systems Command Ada Compiler Evaluation Capability
(ACEC) data analysis: an overview . . . 111--125
Nelson Weiderman Hartstone: Synthetic Benchmark
Requirements for Hard Real-Time
Applications . . . . . . . . . . . . . . 126--136
Daniel M. Roy Results introduction . . . . . . . . . . 138--138
Dan J. Byrne and
Richard C. Ham Ada Versus FORTRAN: Performance Analysis
Using the ACPS . . . . . . . . . . . . . 139--145
Dale Gaumer PIWG Test Results . . . . . . . . . . . 146--210
Dale Gaumer Reporting PIWG Test Results . . . . . . 211--216
Dale Gaumer and
Daniel Roy Reporting Test Results . . . . . . . . . 211--216
Daniel Roy and
Lakshmi Gupta PIWG Analysis Methodology . . . . . . . 217--229
A. Bums and
A. J. Wellings Real-time Ada: outstanding problem areas 5--14
A. Burns and
A. J. Wellings Real-Time Ada: Outstanding Problem Areas 5--14
Thomas J. Quiggle Asynchronous transfer of control working
group . . . . . . . . . . . . . . . . . 15--24
Thomas J. Quiggle Ramifications of Re-introducing
Asynchronous Exceptions to the Ada
Language . . . . . . . . . . . . . . . . 25--31
John Goodenough Real-time tasking semantics working
group . . . . . . . . . . . . . . . . . 32--48
A. Bums and
A. J. Wellings Usability of the Ada tasking-model . . . 49--56
A. Burns and
A. J. Wellings Usability of the Ada Tasking Model . . . 49--56
Kenneth Elsom Asynchronous Communication in Ada . . . 57--65
Anthony Gargaro Virtual nodes/distributed systems
working group . . . . . . . . . . . . . 66--77
S. J. Goldsack and
C. Atkinson An Object Oriented Approach to Virtual
Nodes: Are Package Types an Answer? . . 78--84
Richard A. Volz Virtual Nodes and Units of Distribution
for Distributed Ada . . . . . . . . . . 85--96
Roger Van Scoy Communication issues working group . . . 97--113
Richard D. Powers and
Chuck Roark Ada Support for Real-Time Systems . . . 114--118
Ted Baker Time issues working group . . . . . . . 119--135
Ted Baker Fixing Some Time-Related Problems in Ada 136--143
Joseph K. Cross Other compiler support working group . . 144--158
M. Ben-Ari Ada Requirements for Small Real-Time
Systems . . . . . . . . . . . . . . . . 159--165
Anonymous Third International Workshop on
Real-Time Ada Issues . . . . . . . . . . ??
John Matthews and
Jeffrey R. Carter Letters to the editor . . . . . . . . . 9--14
Doug Bryan Dear Ada . . . . . . . . . . . . . . . . 41--47
Judy Kerner Ada design language developers matrix 48--61
Trudy Levine Reusable software components . . . . . . 62--65
Greg Gicca A Simple Standardized Ada Command Line
Interface . . . . . . . . . . . . . . . 88--100
Geir Green Access Values Pointing to Any Object . . 101--109
Jingde Cheng A Classification of Tasking Deadlocks 110--127
Edward Colbert SigAda . . . . . . . . . . . . . . . . . 5--5
Mats Weker Comments on the paper
``Parameterization: a case study, by
Will Tracz'' . . . . . . . . . . . . . . 16--17
Alfred Strohmeier and
Christian Genillard and
Mats Weber Implementation of $8$-bit coded
character sets in ADA . . . . . . . . . 47--60
A. Burns and
T. J. Quiggle Effective Use of Abort in Programming
Mode Changes . . . . . . . . . . . . . . 61--67
Roger Van Scoy and
Judy Bamberger and
Robert Firth A Detailed view of DARK . . . . . . . . 68--83
James V. Chelini and
Donna D. Hughes and
Leonard J. Hoffman and
Denise M. Brunelle An Example of Event-Driven Asynchronous
Scheduling with Ada . . . . . . . . . . 84--96
Maria Manuel Freitas and
Ana Moreira and
Pedro Guerreiro Object Oriented Requirements Analysis in
an Ada Project . . . . . . . . . . . . . 97--109
Ronald J. Theriault A Scheme for the Translation of the
Tucker Taft Select-And Statement into
Standard ANSI Ada . . . . . . . . . . . 110--113
D. G. Firesmith OOD and Ada Bibliography . . . . . . . . 114--128
Ken Tindell Dynamic Code Replacement and Ada . . . . 47--54
Leslie C. Lander and
Sandeep Mitra and
Thomas F. Piatkowski Deterministic Priority Inversion in Ada
Selective Waits . . . . . . . . . . . . 55--62
Tom Pierpoint Making Music with Ada . . . . . . . . . 63--69
Alfred Strohmeier and
Christian Genillard and
Mats Weber Ordering of Characters and Strings . . . 70--84
A. G. Murray Ada Tasking as a Tool for Ecological
Modelling . . . . . . . . . . . . . . . 85--90
Philippe Kruchten Error Handling in Large, Object-Based
Ada Systems . . . . . . . . . . . . . . 91--103
Cameron Donaldson Letter from the editor . . . . . . . . . 12--12
Doug Bryan Dear Ada . . . . . . . . . . . . . . . . 24--33
Judy Kerner Ada Design Language Developers Matrixr 34--34
James V. Chelini and
Donna D. Hughes and
Leonard J. Hoffman and
Denise M. Brunelle An Example of Event-Driven Asynchronous
Scheduling with Ada . . . . . . . . . . 130--144
Steve Vestal Linear Benchmarks . . . . . . . . . . . 145--155
L. Scott McCoy Bindings and Ada . . . . . . . . . . . . 156--160
Andy J. Wellings Real-time Requirements . . . . . . . . . 1--16
Ted Baker Protected records, time management, and
distribution . . . . . . . . . . . . . . 17--28
Ken C. Elsom Shared Variables . . . . . . . . . . . . 29--30
Richard Powers Asynchronous and Stand-alone Entries . . 31--34
Colin Atkinson Object-Oriented Mechanisms . . . . . . . 35--38
Fred A. Maymir-Ducharme Dynamic Priorities, Priority Scheduling
and Priority Inheritance . . . . . . . . 39--45
Thomas J. Quiggle Asynchronous Transfer of Control and
Interrupt Handling . . . . . . . . . . . 46--49
C. Atkinson and
Andrea di Maio and
R. Bayan Dragoon: an object-oriented notation
supporting the reuse and distribution of
Ada software . . . . . . . . . . . . . . 50--59
T. Baker Opening up Ada Tasking . . . . . . . . . 60--64
M. W. Borger and
J. B. Goodenough Ada Usage/Performance Specification . . 65--69
A. Burns A performance standard for Ada 9X . . . 70--74
A. Burns and
A. J. Wellings and
G. L. Davies Asynchronous transfer of control in Ada
9X . . . . . . . . . . . . . . . . . . . 75--84
Joe Cross and
Mike Kamrad and
Sylvester Fernandez Distributed Communications . . . . . . . 85--93
M. Kamrad and
J. Cross Distributed communications . . . . . . . 85--93
B. Dobbing Distributed Ada: a Suggested Solution
for Ada 9X . . . . . . . . . . . . . . . 94--102
K. C. Elsom Prioritized asynchronism in Ada 9X . . . 103--110
A. B. Gargaro and
S. J. Goldsack and
R. K. Power and
R. A. Volz and
A. J. Wellings Adapting Ada for Distribution and Fault
Tolerance . . . . . . . . . . . . . . . 111--117
C. D. Locke and
D. R. Vogel and
T. J. Mesler Predictable real-time avionics design
using Ada tasks and rendezvous: a case
study . . . . . . . . . . . . . . . . . 118--125
Rakesh Jha Parallel Ada: Issues in Programming and
Implementation . . . . . . . . . . . . . 126--132
D. Hughes and
L. Hoffman and
D. Brundelle and
J. Chelini An example of event-driven asynchronous
scheduling with Ada . . . . . . . . . . 130--144
Offer Pazy Problems with Pthreads and Ada . . . . . 133--140
Thomas J. Quiggle Efficient Periodic Execution of Ada
Tasks . . . . . . . . . . . . . . . . . 141--146
Steve Vestal Linear benchmarks . . . . . . . . . . . 145--155
L. Scott McCoy Bindings and Ada . . . . . . . . . . . . 156--160
Anonymous Fourth International Workshop on
Real-Time Ada Issues . . . . . . . . . . ??
Christian Genillard SYNTAX\_ANALYSER\_G: a Multi-Language
Syntax Analysis Package . . . . . . . . 57--70
Greg Gicca Reuse\_System: software repository tool
concepts . . . . . . . . . . . . . . . . 70--81
Jingde Cheng A Survey of Tasking Deadlock Detection
Methods . . . . . . . . . . . . . . . . 82--91
Kiyoshi Tanaka Using Ada at NTT . . . . . . . . . . . . 92--95
Jeffrey R. Carter Concurrent Reusable Abstract Data Types 96--101
P. Delrio and
F. Mazzanti The Risk of Destructive Run-time Errors 102--113
P. D. Kenward and
B. A. Wichmann Approved Uniformity Issues . . . . . . . 114--120
J. Bishop Distributed Ada: Developments and
Experiences . . . . . . . . . . . . . . 121
G. Levine Signaling from within interrupt Handlers
Reconsidered . . . . . . . . . . . . . . 53--55
Dean W. Gonzalez ``='' Considered Harmful . . . . . . . . 56--59
D. W. Gonzalez Considered harmful (Ada private types) 56--59
Betty Alexandra Toole Ada, an analyst and a metaphysician . . 60--71
Pen-Nan Lee and
Chi-Hua Chin and
W. Nehman A Reselect Alternative for Ada's
Selective Wait Statement . . . . . . . . 72--85
Ed Seidewitz Object-oriented programming through type
extension in Ada 9X . . . . . . . . . . 86--97
M. Mattini HP/Telegen2 Encapsulation: an
integration project of the Telesoft Ada
environment with HP CASE and OSF/Motif 98--106
Marco Falcone Ada Compiler Evaluation on the Columbus
Software Development Environment Project 107--114
Swathi C. Solsi and
Edward L. Jones Simple Yet Complete Heuristics for
Transforming Data Flow Diagrams into
Booch Style Diagrams . . . . . . . . . . 115--127
James Solderitsch Working group report library and
representation subgroup of methods and
tools for design, specification, and
reuse . . . . . . . . . . . . . . . . . 3--7
James Solderitsch Library and Representation Subgroup . . 3
Larry Latour and
Tom Wheeler and
Bill Frakes Descriptive and Predictive Aspects of
the 3Cs Model, SETA1 Working Group
Summary . . . . . . . . . . . . . . . . 9--17
Tucker Taft SETA1 working group on building,
debugging and testing real-time and
distributed systems . . . . . . . . . . 19--27
Tucker Taft Building, Debugging and Testing
Real-Time and Distributed Systems . . . 19
Josephine Micallef and
Gail E. Kaiser and
Dewayne E. Perry SETA1 working group on Ada libraries,
configuration management, and version
control . . . . . . . . . . . . . . . . 29--31
Josephine Micallef and
Gail E. Kaiser and
Dewayne E. Perry Ada Libraries, Configuration Management,
and Version Control . . . . . . . . . . 29
David Mundie Report of the integration mechanisms
working group . . . . . . . . . . . . . 33--35
David Mundie Integration Mechanism Subgroup . . . . . 33
Maria H. Penedo SEE reference model working group ---
summary . . . . . . . . . . . . . . . . 37--46
Josephine Micallef and
Gail E. Kaiser Extending the MERCURY System to Support
Teams of Ada programmers . . . . . . . . 49--60
Ed Matthews and
Greg Burns VADS APSE: An Integrated Ada Programming
Support Environment . . . . . . . . . . 61--72
Ray Ford and
Hong Chew AWING: a general purpose command
interface generator (and an exercise in
software reuse) . . . . . . . . . . . . 73--82
David A. Mundie and
David A. Fisher Optimized Overload Resolution and Type
Matching for Ada . . . . . . . . . . . . 83--90
R. J. A. Buhr and
G. M. Karam and
R. Casselman Support for Specifying Temporal Behavior
in Ada Designs . . . . . . . . . . . . . 91--101
Larry Latour A Methodology for the Design of Reuse
Engineered Ada Components . . . . . . . 103--113
John Favaro What price reusability? A case study . . 115--124
C. M. Woodside and
E. M. Hagos and
E. Neron and
R. J. A. Buhr The CAEDE Performance Analysis Tool . . 125--136
Deborah Rennels and
Edmond Schonberg A Program Analysis Tool for Evaluating
the Ada Compiler Validation Suite . . . 137--146
Anonymous 1st International Symposium on
Environments and Tools for Ada . . . . . ??
Anonymous Preface . . . . . . . . . . . . . . . . iii--iii
Ken Shumate Structured Analysis and Object-Oriented
Design are Compatible . . . . . . . . . 78--90
Lynn Purser and
Robin Graham Analysis of Ada-LINPACK Benchmark
Results . . . . . . . . . . . . . . . . 91--98
Anonymous Ada Follies Songbook . . . . . . . . . . 99
George W. Cherry Stimulus-Response Machines: An Ada-Based
Graphic Notation for Specifying,
Designing, and Implementing Reactive or
Interactive Systems . . . . . . . . . . 30--46
James W. Moore The ANSI Binding of SQL to Ada . . . . . 47--61
Neal L. Walters An Ada Object-Based Analysis and Design
Approach . . . . . . . . . . . . . . . . 62--78
Henry G. Baker Structured Programming with Limited
Private Types in Ada: Nesting is for the
Soaring Eagles . . . . . . . . . . . . . 79--90
Mike Kamrad Protected records in Ada 9X . . . . . . 49--53
Ted Baker Time-related issues in Ada 9X . . . . . 54--60
A. J. Wellings Support for distributed systems in Ada
9X . . . . . . . . . . . . . . . . . . . 61--63
K. Elsom Object oriented programming facilities
in Ada 9X . . . . . . . . . . . . . . . 64--65
Alan Burns and
William Eventoff Asynchronism in Ada 9X . . . . . . . . . 66--68
C. Douglass Locke Scheduling issues in Ada 9X . . . . . . 69--74
K. Fussichen Ada in information systems . . . . . . . 77--79
Anonymous Fifth International Workshop on
Real-Time Ada Issues . . . . . . . . . . ??
Kenneth W. Dritz Introduction to the proposed standard
for the elementary functions in Ada . . 3--8
K. W. Dritz Proposed standard for a generic package
of elementary functions for Ada . . . . 9--46
ISO-IEC and
JTC1 and
SC22 and
WG9 (Ada) Numerics Rapporteur Group Proposed standard for a generic package
of elementary functions for Ada . . . . 9--46
Kenneth W. Dritz Rationale for the proposed standard for
a generic package of elementary
functions for Ada . . . . . . . . . . . 47--65
K. W. Dritz Proposed standard for a generic package
of primitive functions for Ada . . . . . 66--82
ISO-IEC and
JTC1 and
SC22 and
WG9 (Ada) Numerics Rapporteur Group Proposed standard for a generic package
of primitive functions for Ada . . . . . 66--82
Kenneth W. Dritz Rationale for the proposed standard for
a generic package of primitive functions
for Ada . . . . . . . . . . . . . . . . 83--90
Graham S. Hodgson Proposed standard for packages of real
and complex type declarations and basic
operations for Ada (including vector and
matrix types) . . . . . . . . . . . . . 91--130
Graham S. Hodgson Rationale for the proposed standard for
packages of real and complex type
declarations and basic operations for
Ada (including vector and matrix types) 131--139
Jon S. Squire Proposed standard for a generic package
of complex elementary functions (Ada) 140--165
Jon S. Squire Rationale for the proposed standard for
a generic package of complex elementary
functions (Ada) . . . . . . . . . . . . 166--179
Ping Tak Peter Tang A portable generic elementary function
package in Ada and an accurate test
suite . . . . . . . . . . . . . . . . . 180--216
Jon S. Squire Towards validation of generic elementary
functions and other standard Ada
numerics packages . . . . . . . . . . . 217--243
Dik T. Winter Floating point attributes in Ada . . . . 244--273
Donald A. Celarier and
Donald W. Sando An Ada math library for real-time
avionics . . . . . . . . . . . . . . . . 274--284
D. Allen and
M. Kamrad and
C. McKay and
R. Powers and
P. Rogers Catalogue of Interface Features and
Options for the Ada runtime environment 177
Donald Firesmith Structured analysis and object-oriented
development are not compatible . . . . . 56--66
Kelly L. Spicer and
David A. Umphress A method for mapping an analysis to a
reusable design . . . . . . . . . . . . 67--82
Pen-Nan Lee and
William Nehman An overview of real-time issues and Ada 83--95
David Brookman SA/SD vs. OOD . . . . . . . . . . . . . 96--99
Donald Firesmith Object-oriented graphics for
requirements analysis and logical design 100--115
Henry G. Baker Object-oriented programming in
Ada83---genericity rehabilitated . . . . 116--127
Gregory M. Bowen An organized, devoted, project-wide
reuse effort . . . . . . . . . . . . . . 43--52
A. Burns and
A. J. Wellings In support of the Ada 9X real-time
facilities . . . . . . . . . . . . . . . 53--64
V. Blázquez and
L. Redondo and
J. L. Freniche Experiences with ``delay until'' for
Avionics computers . . . . . . . . . . . 65--72
Faisel Saeed and
K. M. George and
M. H. Samadzadeh Implementation of classical mutual
exclusion algorithms in Ada . . . . . . 73--84
Anonymous WADAS '92 . . . . . . . . . . . . . . . 25
Anonymous 7th Knowledge-Based Software Engineering
Conference: Call for Papers . . . . . . 28
Anonymous Report from the Commercial Ada Users
Working Group (CAUWG) . . . . . . . . . 29
Lewis Gray and
David S. Maibor and
Jim O'Day Report from the SIGAda Software
Development Standards and Ada Working
Group (SDSAWG) . . . . . . . . . . . . . 31--32
Anonymous Report from the SIGAda Software
Development Standards and Ada Working
Group (SDSAWG) . . . . . . . . . . . . . 31
Anonymous Preliminary Summer '92 SIGAda Meeting 33
Michael Hirasuna Using inheritance and polymorphism with
Ada in government sponsored contracts 43--56
John Beidler Relaxing the constraints on Ada's
limited private types through functional
expressions . . . . . . . . . . . . . . 57--61
Marvin Early An Ada real-time executive rate
scheduler . . . . . . . . . . . . . . . 62--75
Ed Seidewitz Object-oriented programming with mixins
in Ada . . . . . . . . . . . . . . . . . 76--90
Jeffrey R. Carter Ada 9X reusable components . . . . . . . 91--96
Anthony Sterrett and
Marvin Minei Performance measures of the Ada
Rendezvous . . . . . . . . . . . . . . . 97--101
Michael L. Nelson and
Gilberto F. Mota Object-oriented programming in
Classic-Ada . . . . . . . . . . . . . . 102--110
Anonymous WADAS '92 . . . . . . . . . . . . . . . 40
Anonymous Sixth Annual Rational Users' Group
Meeting . . . . . . . . . . . . . . . . 42
Anonymous 5th Annual Workshop on Software Reuse 43
Anonymous Activities of the Ada Runtime
Environment Working Group (ARTEWG) . . . 50
Anonymous Report from the Commercial Ada Users
Working Group (CAUWG) . . . . . . . . . 64
Anonymous Education Committee News . . . . . . . . 65
Judy Kerner Ada Design Language/CASE developers
matrix . . . . . . . . . . . . . . . . . 67--83
Trudy Levine Reusable software components . . . . . . 84--91
David M. Wade Designing for reuse: a case study . . . 92--98
Tom Burger Optimization Issues Relating to Subunits 99--109
Jun Shen and
Gordon V. Cormack On generic formal package parameters in
Ada 9X . . . . . . . . . . . . . . . . . 110--116
Arcady Popov and
Ilia Gindysh and
Vadim Rupp and
Vasily Ziabkin Pallada System . . . . . . . . . . . . . 117--125
K. Gilroy Rendezvous Summary . . . . . . . . . . . 12
Anonymous TRI-Ada '92 . . . . . . . . . . . . . . 16
John A. Campbell Creating Structure from Linearity in
Non-Ada Interfaces . . . . . . . . . . . 20--23
Jingde Cheng The Task Dependence Net in Ada software
development . . . . . . . . . . . . . . 24--35
Steve Roberts Difficulties in Developing Re-usable
Software Components Arising From the
Lack of User Redefinition of Standard
Assignment . . . . . . . . . . . . . . . 36--41
M. Lederman The Difference Engine Book Review . . . 42
Anonymous Software Repositories --- Survey . . . . 14
K. Gilroy Rendezvous Summary . . . . . . . . . . . 15
Anonymous Activities of the Ada Runtime
Environment Working Group (ARTEWG) . . . 30
Anonymous Report of the Object Oriented Working
Group and Sample Problem for Tri-Ada 92
Panel . . . . . . . . . . . . . . . . . 37
Trudy Levine Reusable Software Components . . . . . . 43
Albert Llamosí On Ada Packages, Types and Task Types 47--58
Arthur E. Salwin Using the Proposed Elementary Functions
Standard to Build a Strongly Typed Trig
Package . . . . . . . . . . . . . . . . 59--63
Arnold M. Voketaitis, Jr. A portable and reusable RDBMS interface
for Ada . . . . . . . . . . . . . . . . 64--76
Michael L. Nelson and
Gilberto F. Mota and
Vassilios Theologitis Concurrent Object-oriented Programming
in Classic Ada . . . . . . . . . . . . . 77--83
L. Briand Time management for Ada real-time
systems . . . . . . . . . . . . . . . . 84--95
Lo\"\ic Briand Time management for real-time systems 84--95
K. Gilroy Rendezvous Summary . . . . . . . . . . . 16
Judy Kerner Ada Design Language/CASE Developers
Matrix . . . . . . . . . . . . . . . . . 29--45
P. Baker Response Letter from the Technical
Editor . . . . . . . . . . . . . . . . . 46
Jun Shen and
Gordon V. Cormack and
Dominic Duggan Local Package Instances Are Not
Equivalent to Generic Formal package
Parameters . . . . . . . . . . . . . . . 47--49
Erhard Ploedereder How to program in Ada 9X, using Ada 83 50--58
A. Burns and
G. L. Davies Ada 9X protected types in Pascal-FC . . 59--74
Ufuk Verün and
Tzilla Elrad A critique of the Ada 9X mutual control
mechanism (requeue) and an alternative
mapping (onlywhen) . . . . . . . . . . . 75--80
D. E. Wrege Protected kernels and Ada 9X real-time
facilities . . . . . . . . . . . . . . . 81--87
Anonymous SIGAda Working Groups . . . . . . . . . 4
Anonymous Activities of the Ada Run Time
Environment Interest Group for Ada
(SIGAda) . . . . . . . . . . . . . . . . 30
Mike Brown and
Walter Heimerdinger and
Nancy Leveson and
John McHugh and
Arch McKinlay and
George Romanski Ada Run-Time Environment Working Group:
proceedings from the software safety
symposium . . . . . . . . . . . . . . . 35--59
Anonymous 1991 Annual Report for the ACM Special
Group for Ada (SIGAda): Ada Run-Time
Environment Working Group Proceedings
form the Software Safety Symposium . . . 35
Trudy Levine Reusable software components . . . . . . 60--62
Mats Weber Elaboration order issues in Ada 9X . . . 63--75
K. Gilroy Rendezvous Summary . . . . . . . . . . . 12
Anonymous WadaS '93: Call for Papers . . . . . . . 15
Anonymous Tri-Ada '93: Call for Participation . . 17
Anonymous Summary of the 6th International
Workshop on Real-Time Ada Issues . . . . 20
Alan Burns and
Andy Wellings Summary of the 6th International
Workshop on real-time Ada issues . . . . 21--36
Charles J. Antonelli and
Richard A. Volz An alternative to asynchronous transfer
of control in Ada 9X . . . . . . . . . . 37--43
Alejandro Alonso and
Juan A. de la Puente Reusable real-time executive in Ada.
Design issues . . . . . . . . . . . . . 44--53
A. Burns and
A. J. Wellings Measuring, monitoring and enforcing CPU
execution time usage . . . . . . . . . . 54--64
Brian Dobbing Experiences with the partitions model 65--77
S. J. Goldsack and
A. A. Holzbacher-Valero and
R. Volz and
R. Waldrop Translating an AdaPT partition to Ada9X 78--90
C. Douglass Locke and
Thomas J. Mesler and
David R. Vogel Replacing passive tasks with Ada 9X
protected records . . . . . . . . . . . 91--96
Anonymous 6th International Workshop on Real-Time
Ada Issues . . . . . . . . . . . . . . . ??
K. Gilroy Rendezvous Summary . . . . . . . . . . . 15
Anonymous WadaS '93 . . . . . . . . . . . . . . . 18
Judy Kerner Ada Design Language/CASE Developer
Matrix . . . . . . . . . . . . . . . . . 21
Luba Vladavsky Activities of the Ada Semantic Interface
Specification (ASIS) Working Group
(ASISWG) . . . . . . . . . . . . . . . . 39--41
Anonymous PIWG: a Status Report . . . . . . . . . 42
Trudy Levine Reusable Software Components . . . . . . 62--73
Paul R. Pukite Automated interface code generation from
Ada specifications . . . . . . . . . . . 74--85
Michael Paulkovich Ada overhead reconsidered . . . . . . . 86--87
B. A. Wichmann Are Booleans safe? . . . . . . . . . . . 88--90
Henry G. Baker How to Steal from a Limited Private
Account --- Why Mode IN OUT Parameters
for Limited Types Must be Passed by
Reference . . . . . . . . . . . . . . . 91--95
Anonymous Report from the SIGAda Software
Development Standards and Ada Working
Group (SDSAWG) . . . . . . . . . . . . . 22
Trudy Levine Reusable Software Components . . . . . . 23--28
J. W. Moore The impact of Ada 9X incompatibilities
on projects converting from Ada 83 . . . 29--36
Kwok-bun Yue An Ada Solution to the General Mutual
Exclusion Problem . . . . . . . . . . . 37--43
Henrik Johansson Object oriented programming and virtual
functions in conventional languages (an
extended abstract) . . . . . . . . . . . 44--48
Daniel F. Waterhouse and
Daniel L. Dyke Rehost of a real-time interrupt-driven
simulation onto a DOS/PC/Ada environment
using OOD . . . . . . . . . . . . . . . 49--62
Brandon Goldfedder Counter-intuitive programming . . . . . 63--70
Vitali Sh. Kaufman and
Mikhail V. Pavlov and
Sergei I. Rybin Testing of Ada compiler diagnostics . . 71--76
Dean W. Gonzalez and
Tim Peart Applying Dimensional Analysis . . . . . 77--86
K. Gilroy Rendezvous Summary . . . . . . . . . . . 12
Trudy Levine Reusable software components . . . . . . 17--19
Michael D. Shapiro Another D\_\_\_1 acronym . . . . . . . . 20--21
Zensho Nakao and
Masaya Kinjo and
Masahiro Nakama Ada and C: differences as the language
for system programming . . . . . . . . . 22--31
Henry G. Baker, Jr. Safe and leakproof resource management
using Ada83 limited types . . . . . . . 32--42
Henry G. Baker Strategies for the lossless encoding of
strings as Ada identifiers . . . . . . . 43--47
Anonymous SIGAda Annual Report for FY93 . . . . . 13
Anonymous Quality Assessment Tool for
Implementations of Ada . . . . . . . . . 26
Anonymous WAdaS '93 Debate Video . . . . . . . . . 27
K. Gilroy Rendezvous Summary . . . . . . . . . . . 28
Anonymous Seventh International Real-Time Ada
Issues Workshop: Call for Papers . . . . 32
Anonymous Tri-Ada '94: Call for Participation . . 33
Judy Kerner Ada Design Language/CASE Developers
Matrix . . . . . . . . . . . . . . . . . 37--55
Trudy Levine Reusable Software Components . . . . . . 56--60
John Barnes Introducing Ada 9X . . . . . . . . . . . 61--132
Anonymous Evolution of Ada 9X . . . . . . . . . . 66--158
Ken Shumate BATCES solution #1: an object-oriented
design from functional requirements
analysis . . . . . . . . . . . . . . . . 133--161
R. J. A. Buhr and
G. M. Karam and
C. M. Woodside and
R. Casselman and
G. Franks and
H. Scott and
D. Bailey TimeBench: a CAD tool for real-time
system design . . . . . . . . . . . . . 3--15
Sungwoon Choi and
Toshimi Minoura User interface system based on active
objects . . . . . . . . . . . . . . . . 16--25
Brian M. Barry and
James McGugan and
Mike Wilson DIR/SEE: a Smalltalk environment for
developing Ada applications and
maintaining legacies . . . . . . . . . . 26--35
Jeanette M. Bruno and
Daniel J. Rosenkrantz Interactive control restructuring . . . 36--53
E. W. Giering, III and
T. P. Baker A tool for the deterministic scheduling
of real-time programs implemented as
periodic Ada tasks . . . . . . . . . . . 54--73
David Leeson and
Glenn MacEwen and
David Andrews Interfacing Ada with verification
languages . . . . . . . . . . . . . . . 74--81
Alan W. Brown and
Maria H. Penedo ``Environment integration'' working
group summary SETA2 . . . . . . . . . . 85--92
Timothy E. Lindquist and
Robert G. Munck How do you pronounce OO-ERA-RDBMS-OMS? 93--98
Kurt C. Wallnau Workshop summary: user interface . . . . 99--103
Mark Dowson ``Process'' working group summary SETA2 104--108
Fred Maymir-Ducharme and
Teri Payton and
Judy Kerner ``Reuse'' and ``hybrid systems'' working
groups summary --- SETA2 working groups
2 and 6 . . . . . . . . . . . . . . . . 109--112
Norman H. Cohen Endian-independent record representation
clauses . . . . . . . . . . . . . . . . 27--29
Paul R. Pukite Ada for MS-Windows applications . . . . 30--37
A. Burns and
A. J. Wellings Implementing analysable hard real-time
sporadic tasks in Ada 9X . . . . . . . . 38--49
Michael Hirasuna An Ada 9X subset for inheritance-based
reuse and its translation to Ada 83
(Part 1) . . . . . . . . . . . . . . . . 50--60
Michael J. Paul and
John E. Gochenouer A high resolution event timer Ada
package for DOS environments . . . . . . 61--67
Hal Hart Letter From the Chair: Changes in the
Ada World . . . . . . . . . . . . . . . 13
K. Gilroy Rendezvous Summary . . . . . . . . . . . 16
Anonymous Ada in Europe: Call for Papers . . . . . 18
Anonymous Tri-Ada '94: Call for Participation . . 20
Fairleigh Dickinson University, Teaneck, NJ Reusable software components . . . . . . 24--49
Janet Faye Johns Activities of the artificial
intelligence working group . . . . . . . 50--53
Anonymous Activities of the Artificial
Intelligence Working Group . . . . . . . 50
Luba Vladavsky Activities of the Ada Semantic Interface
Specification (ASIS) Working Group
(ASISWG) . . . . . . . . . . . . . . . . 54--57
Anonymous Activities of the Ada Semantic Interface
Specification Working Group (ASISWG) . . 54
Michael Hirasuna An Ada 9X subset for inheritance-based
reuse and its translation to Ada 83
(Part 2) . . . . . . . . . . . . . . . . 58--67
Phil Brashear The Ada Compiler Evaluation System . . . 68--79
S. J. Goldsack and
A. A. Holzbacher-Valero and
R. Volz and
R. Waldrop AdaPT and Ada 9X . . . . . . . . . . . . 80--92
Hal Hart Message From the Chair . . . . . . . . . 12
K. Gilroy Rendezvous Summary . . . . . . . . . . . 14
Anonymous SIGAda Artificial Intelligence WG
Meeting . . . . . . . . . . . . . . . . 16
Anonymous Ada Run Time Environment Working Group
(ARTEWG) Meeting . . . . . . . . . . . . 18
Judy Kerner Ada design language/CASE developers
matrix . . . . . . . . . . . . . . . . . 20--38
Michael Hirasuna BATCES Solution #2: a Simplified SA/OOD
Approach . . . . . . . . . . . . . . . . 39--60
Jeffrey R. Carter and
Bo I. Sanden Ada Design of a Neural Network . . . . . 61--73
Sergei I. Rybin Ada in Russia: an overview . . . . . . . 74--79
James W. Moore A Structure for a Defense Software Reuse
Marketplace . . . . . . . . . . . . . . 80--90
Jonathan L. Schilling and
Johan Olmütz Nielsen Automatic Compiler Recognition of
Monitor Tasks . . . . . . . . . . . . . 91--104
Lo\"\ic Briand Ada Real-Time Systems and Basic Priority
Inheritance . . . . . . . . . . . . . . 105--112
Hal Hart SIGAda being a good citizen within ACM
and helping Ada too! . . . . . . . . . . 12--15
Trudy Levine Reusable software components . . . . . . 23--27
Daniel H. Ehrenfried Static analysis of Ada programs . . . . 28--35
S. Ron Oliver Of pyramids and igloos: a brief cultural
perspective . . . . . . . . . . . . . . 36--42
Stef Van Vlierberghe Memory management in Ada83 and Ada9X . . 43--57
Thomas S. Radi Automating improvements to the quality
of your code, software quality . . . . . 58--71
Richard Riehle Ada in China . . . . . . . . . . . . . . 72--75
John Rymer Evolving an Ada curriculum to 9X . . . . 76--80
Trudy Levine Reusable Software Components . . . . . . 47--63
Brad Balfour Ada 9X: Tips and Tidbits . . . . . . . . 65--70
Kwok-bun Yue Semaphores in Ada-94 . . . . . . . . . . 71--79
V. Blázquez and
A. Correa and
J. L. Freniche Advancing Ada 9X solutions in real time
avionics computers . . . . . . . . . . . 80--87
Roderick Chapman and
Alan Burns and
Andy Wellings Static worst-case timing analysis of Ada 88--91
Anonymous SIGAda Extended Executive Committee . . 3
Anonymous SIGAda Working Groups . . . . . . . . . 4
Judy Kerner Ada design language/CASE developers
matrix . . . . . . . . . . . . . . . . . 19--40
Trudy Levine Reusable software components . . . . . . 41--52
Liisa Räihä Delegation with Ada 9x . . . . . . . . . 53--56
Jeffrey R. Carter Ada's design goals and object-oriented
programming . . . . . . . . . . . . . . 57--61
Milton Smith and
Jag Sodhi Marching towards a Software Reuse Future 62--72
P. A. Bennett Software development for the Channel
Tunnel: a summary . . . . . . . . . . . 73--76
Anonymous SIGAda Extended Executive Committee . . 3
Anonymous SIGAda Working Groups . . . . . . . . . 4
Trudy Levine Reusable software components . . . . . . 24--27
William Whitaker Activities of the DoD High Order
Language Working Group . . . . . . . . . 28--38
John Barnes Accessibility rules OK! (Ada 9X) . . . . 39--49
Henri E. Bal Comparing data synchronization in Ada 9X
and Orca . . . . . . . . . . . . . . . . 50--63
Pascal Ledru Translation of the protected type
mechanism in Ada 83 . . . . . . . . . . 64--69
Michel Gauthier Exception Handling in Ada-94: Initial
Users' Requests and Final Features . . . 70--82
Alexy V. Khrabrov An Ada-like separate compilation style
in C . . . . . . . . . . . . . . . . . . 23--30
Wayne Pullan A pragmatic Ada software
design/development methodology . . . . . 31--39
Kevin J. Cronin Integrating rate monotonic analysis into
the preliminary Ada design process . . . 40--45
Philippe Laval Implementing self-reproducing artificial
organisms with Ada . . . . . . . . . . . 46--53
J.-P. Rosen A naming convention for classes in Ada
9X . . . . . . . . . . . . . . . . . . . 54--58
John R. Newport A performance model for real-time
systems . . . . . . . . . . . . . . . . 59--73
Anonymous SIGAda Executive Committee . . . . . . . 3
Anonymous SIGAda Working Groups . . . . . . . . . 4
Anonymous SIGAda WWW Server . . . . . . . . . . . 19
Anonymous Summer '95 SIGAda Meeting . . . . . . . 35
Anonymous SIGAda Artificial Intelligence WG
Meeting . . . . . . . . . . . . . . . . 39
Anonymous SIGAda Artificial Intelligence Working
Group Charter . . . . . . . . . . . . . 40
Trudy Levine Reusable software components . . . . . . 50--70
Brad Balfour Expressing design inheritance
relationships in Ada 95 . . . . . . . . 71--75
Paul Slater Output from generic packages . . . . . . 76--79
Anonymous SIGAda at a Crossroads? . . . . . . . . 12
Marie-France Mignon and
Florence Lescroart Ada used to develop a simulator run by
robots . . . . . . . . . . . . . . . . . 15--16
Marie-France Mignon and
Florence Lescroart Ada used for on-board flight control . . 17--18
Paul Botting and
Eugene Clayton Ada used to develop visual and sensor
displays . . . . . . . . . . . . . . . . 19--21
Ann Trüb Ada used to develop a global positioning
system for future spacecraft . . . . . . 22--22
Brad Balfour Inheritance and child library units . . 29--35
Bard S. Crawford Proposed icons for Ada 95 . . . . . . . 36--45
Pascal Ledru Protected types with entry barriers
depending on parameters of the entries:
some practical examples . . . . . . . . 46--49
Currie Colket Ada Semantic Interface Specification
(ASIS): frequently asked questions . . . 50--63
Michael D. Griffin 1995 ACM/SIGAda Awards Program . . . . . 16
Anonymous SIGAda WWW Server . . . . . . . . . . . 18
Trudy Levine Reusable software components . . . . . . 26--31
Currie Colket Highlights of the June 1995
ASISWG/ASISRG meeting . . . . . . . . . 32--33
Mike Kamrad Summary of ARTEWG workshop on
distributed systems . . . . . . . . . . 34--45
R. K. Allen and
A. Burns and
A. J. Wellings Sporadic tasks in hard real-time systems 46--51
George Morrone Did we ever really want to be liberated
from the von Neumann architecture?: or,
assignment statement considered a
nuisance . . . . . . . . . . . . . . . . 52--53
Anonymous SIGAda Executive Committee . . . . . . . 4
Anonymous SIGAda Working Groups . . . . . . . . . 5
Anonymous Local SIGAda Chapters . . . . . . . . . 7
Judy Kerner Ada design language/CASE developers
matrix . . . . . . . . . . . . . . . . . 22--43
Trudy Levine Reusable software components . . . . . . 44--45
Jim Abu-Ras Optimal Mutex policy in Ada 95 . . . . . 46--56
David A. Wheeler Lovelace: an Ada 95 tutorial . . . . . . 57--66
David Syiek C vs. Ada: arguing performance religion 67--69
George Morrone Recursion: beyond factorial . . . . . . 70--72
Charlene Roberts-Hayden Letter from SIGAda Vice-Chair of
Meetings . . . . . . . . . . . . . . . . 16
Bob Munck Ada95 and Java: a Major Opportunity for
the Ada Community . . . . . . . . . . . 18--20
Trudy Levine Reusable software components . . . . . . 25--35
Benjamin M. Brosgol Ada-COBOL working group liaison report 36--43
Robert C. Leif Commercializing Ada . . . . . . . . . . 44--45
Philippe Kruchten and
Dan Ehrenfried and
Kim Thompson and
Chris Thompson Ada type interchange --- moving data
between platforms . . . . . . . . . . . 46--53
Jess Irwin Choosing a language for maintainable
software . . . . . . . . . . . . . . . . 54--57
Raymond J. Toal Using Ada and C++ in computer science
education . . . . . . . . . . . . . . . 58--69
J.-P. Rosen All aboard Ada 95! . . . . . . . . . . . 70--70
James W. Moore Future of IEEE standard for Ada PDL to
be considered . . . . . . . . . . . . . 35--38
Sergey Rybin and
Alfred Strohmeier and
Eugene Zueff ASIS for GNAT: goals, problems and
implementation strategy . . . . . . . . 39--49
J. S. Briggs and
S. D. Jamieson and
G. W. Randall and
I. C. Wand Task time lines as a debugging tool . . 50--69
George Morrone Dr. Ada 95 . . . . . . . . . . . . . . . 70--70
Judy Kerner Ada design language/CASE developers
matrix . . . . . . . . . . . . . . . . . 19--19
G. Vincent Castellano and
Steven W. North System Object Model (SOM) and Ada: an
example of CORBA at work . . . . . . . . 39--51
Jeffrey R. Carter Breaking the Ada Privacy Act . . . . . . 52--55
George W. Macpherson A reusable Ada package for scientific
dimensional integrity . . . . . . . . . 56--69
George Morrone Dr. Ada 95 . . . . . . . . . . . . . . . 70--71
Trudy Levine Reusable software components . . . . . . 20--44
Michel Gauthier What's new for scanning with Ada-95? . . 57--72
H. J. Abbink An Ada-based script language for
simulation applications . . . . . . . . 35--47
William W. Pritchett IV Applying object-oriented metrics to Ada
95 . . . . . . . . . . . . . . . . . . . 48--58
Victor Giddings Distributed systems using CORBA and Ada 59--69
Judy Kerner Ada design language/CASE matrix ---
updates only . . . . . . . . . . . . . . 40--50
Robert Mathis Commonly asked questions about Ada: the
standardized development language . . . 51--54
Jon Hagar and
James M. Bieman Using formal specifications as test
oracles for system-critical software . . 55--72
Ralph Crafts Reaction to NRC recommendations . . . . 18--20
Tucker Taft Selected rationale for NRC
recommendations . . . . . . . . . . . . 21--24
Trucy Levine Reusable software components . . . . . . 25--34
Currie Colket and
Gary Barnes and
Steve Blake and
Dan Cooper and
Jesper Jòrgensen and
Clyde Roby and
Dan Rittersdorf and
Sergey Ryben and
Alfred Strohmeier and
Bill Thomas Architecture of ASIS: a tool to support
code analysis of complex systems . . . . 35--40
Guido Duerinckx Cyclic redundancy checks in Ada95 . . . 41--53
Arthur Irving Littlefield, III An object-oriented approach to automated
generation of challenge examinations
using Ada 95 . . . . . . . . . . . . . . 54--68
Clyde Roby Minutes of 3 December 1996 ASISWG/ASISRG
meeting with Tri-Ada'96 . . . . . . . . 18--25
Currie Colket and
Clyde Roby Ada semantic interface specification
(ASIS) frequently asked questions . . . 26--28
José L. Fernandez A taxonomy of coordination mechanisms
used by real-time processes . . . . . . 29--54
Marcin Paprzycki and
Janusz Zalewski Parallel computing in Ada: an overview
and critique . . . . . . . . . . . . . . 55--62
Jeffrey R. Carter OOP vs. readability . . . . . . . . . . 63--66
Marcin Paprzycki and
Janusz Zalewski Ada in distributed systems: an overview 67--81
Terry J. Westley TASH: Tcl Ada SHell, an Ada/Tcl binding 82--91
T. J. Westly TASH: Tcl Ada SHell, an Ada/Tcl binding 82--91
Robert G. Munck and
Richard F. Hilliard II Ada and Java on the WWW . . . . . . . . 3--16
Charles W. Kann and
Michael B. Feldman and
John Sibert Experience Programming Applets with
Ada95 . . . . . . . . . . . . . . . . . 17--29
D. Douglas Smith WebAda . . . . . . . . . . . . . . . . . 30--35
T. P. Baker and
Dong-Ik Oh and
Seung-Jin Moon Low-Level Ada Tasking Support for GNAT
--- Performance and Portability
Improvements . . . . . . . . . . . . . . 36--44
Chad Bremmon Writing an OLE automation controller in
Ada95 . . . . . . . . . . . . . . . . . 45--56
Jack Beidler Ada in concert . . . . . . . . . . . . . 57--66
Sharon Waligora and
John Bailey and
Mike Stark The Impact of Ada and Object-Oriented
Design in NASA Goddard's Flight Dynamics
Division . . . . . . . . . . . . . . . . 67--86
Kristina Lundqvist and
Göran Wall A rendezvous with Linda . . . . . . . . 87--96
David Clarke The OMG, CORBA, Orbix and Ada . . . . . 97--108
Richard Conn What users should know about the Public
Ada Library (PAL) . . . . . . . . . . . 17--30
Richard Conn Tour of Walnut Creek Ada CDROM . . . . . 31--58
Richard Conn Defining and exploring an efficient
distributed process for the reuse of Ada
software components and tools in a
global theater --- the Public Ada
Library . . . . . . . . . . . . . . . . 59--65
Trudy Levine Reusable software components . . . . . . 66--73
Judy Kerner Ada design language/CASE matrix ---
updates only . . . . . . . . . . . . . . 74--87
David A. Wheeler Ada, C, C++, and Java vs. The Steelman 88--112
Alan Burns and
Ted Baker and
Tullio Vardenaga Tasking profiles (session summary) . . . 5--7
Anthony Gargaro and
Douglass Locke and
Richard Volz Distributed and fault tolerant systems
(session summary) . . . . . . . . . . . 8--10
Offer Pazy and
Mike Kamrad Outstanding language (session summary) 11--15
Andy Wellings and
Juan de la Puente Object-oriented programming and
real-time (session summary) . . . . . . 16--17
Alejandro Alonso and
Juan Antonio de la Puente and
Ken Tindell Components for the implementation of
fixed priority real-time systems in Ada 18--23
A. Burns and
A. J. Wellings Feature interactions with dynamic
priorities . . . . . . . . . . . . . . . 24--26
A. Burns and
A. J. Wellings Restricted tasking models . . . . . . . 27--32
Patrick de Bondeli Developing reusable multi-tasking
components using object-oriented
techniques in Ada 95 . . . . . . . . . . 33--34
Patrick de Bondeli Annex: a fully reusable class of objects
for synchronization and communication in
Ada 95 . . . . . . . . . . . . . . . . . 35--39
Pierre Dissaux and
Laurent Pautet and
Lars Björnfot and
Yvon Kermarrec and
Dominique LeCampion Communication and distribution tools for
embedded distributed applications: a
case study with Ada 95 and its
distributed systems annex . . . . . . . 40--44
Brian Dobbing and
Marc Richard-Foy T-SMART --- task-safe, minimal Ada
realtime toolset . . . . . . . . . . . . 45--50
Anthony Gargaro and
Gary Smith and
Ronald J. Theriault and
Richard A. Volz and
Raymond Waldrop Future directions in Ada --- distributed
execution and heterogeneous language
interoperability toolsets . . . . . . . 51--56
M. Gonzalez Harbour and
J. M. Drake Moyano and
M. Aldea Rivas and
J. Garcia Fernandez Implementing robot controllers under
real-time POSIX and Ada . . . . . . . . 57--64
M. González Harbour and
J. M. Drake Moyano and
M. Aldea Rivas and
J. García Fernández Implementing robot controllers under
real-time POSIX and Ada . . . . . . . . 57--64
Stephen Michell and
Dan Craigen and
Mark Saaltink Using analytical approaches for high
integrity Ada95 systems . . . . . . . . 65--70
Scott Arthur Moody Object-oriented real-time systems using
a hybrid distributed model of Ada 95's
built-in DSA capability (Distributed
Systems Annex-E) and CORBA . . . . . . . 71--76
Richard D. Powers Implementing CIFO using Ada 95 and POSIX 77--82
D. J. Tombs Using Compliance Notation to verify Ada
tasking . . . . . . . . . . . . . . . . 83--87
Brian G. Ujvary and
Nick I. Kamenoff and
Jorge L. Diaz-Herrera Benchmarking of hard real-time
distributed systems with Ada 95 . . . . 88--92
Steve Vestal and
Laurent Guerby and
Robert Dewar and
David McConnell and
Bruce Lewis Reimplementing a multiprocess
distributed paradigm for real-time
systems in Ada 95 . . . . . . . . . . . 93--99
A. J. Wellings and
A. Burns and
O. Pazy Task termination and Ada 95 . . . . . . 100--105
Thomas Wolf Fault tolerance in distributed Ada 95 106--110
Anonymous Eighth International Real-Time Ada
Workshop . . . . . . . . . . . . . . . . ??
Gertrude Levine The Game of Life with Ada tasks . . . . 19--31
Lonnie R. Welch COCOON: Creator Of Concurrent Object
OrieNted Systems . . . . . . . . . . . . 32--38
Lonnie R. Welch PRISM: a reverse engineering toolset . . 39--46
Hans Loeper and
Amro Khattab and
Peter Neubert Concurrent objects in Ada 95 . . . . . . 47--64
C. Daniel Cooper ASIS-based code analysis automation . . 65--69
Susan Fife Dorchak and
S. Rollins Guild Protecting internal state variables from
subclasses . . . . . . . . . . . . . . . 70--77
David A. Workman Understanding generics in Ada95 . . . . 78--90
Hyoseob Kim and
Cornelia Boldyreff Software reusability issues in code and
design . . . . . . . . . . . . . . . . . 91--97
Hyoseob Kim and
Cornelia Boldyreff A case study on design pattern discovery
in Ada . . . . . . . . . . . . . . . . . 98--107
Patrick Rogers Book Review: Concurrency In Ada, by Alan
Burns and Andy Wellings . . . . . . . . 108--108
Trudy Levine Reusable software components . . . . . . 33--39
John Rymer Rethinking testing with Ada95 . . . . . 40--47
Huiming Yu A course in software reuse with Ada 95 48--53
Donald J. Bagert Using Ada to teach programming language
design concepts . . . . . . . . . . . . 54--64
Richard Conn The Reuse Tapestry Project . . . . . . . 65--69
T. Dean Hendrix and
James H. Cross, II and
Larry A. Barowski and
Karl S. Mathias GRASP: software engineering with Ada 95
for Windows 95 and NT . . . . . . . . . 70--77
David Battaglia and
Austin Burke and
John Beidler An ADA reuse support system for Windows
95/NT . . . . . . . . . . . . . . . . . 78--85
Joseph Monroe and
H. Yu A software engineering using Ada 95
course . . . . . . . . . . . . . . . . . 86--91
Samuel Grier Early projects using Ada at the United
States Air Force Academy . . . . . . . . 92--109
John Barnes Underneath the arch: a personal report
of ARG meeting . . . . . . . . . . . . . 36--41
Martin C. Carlisle and
A. T. Chamillard AdaGIDE: a friendly introductory
programming environment for a freshman
computer science course . . . . . . . . 42--52
Shan Kuang and
K. M. George and
Lan Li Implementation of event handling in
GNA95GP . . . . . . . . . . . . . . . . 53--66
Trudy Levine Deadlock control with Ada95 . . . . . . 67--80
John Petren and
John Beidler ReUse/Web: Web-based Ada reuse . . . . . 81--88
John A. Reisner and
Steven A. Demurjian and
Sr Addressing security for object-oriented
design and Ada 95 development . . . . . 89--104
Phil Brashear The Ada issues: a special section . . . 17--17
James W. Moore Overview of Ada standardization . . . . 18--19
Erhard Ploedereder A readers' guide to the Ada issues . . . 20--112
Judy Kerner Commercially available Ada design
language/CASE products-updates only . . 22--31
Trudy Levine Reusable software components . . . . . . 32--46
B. A. Wichmann Guidance for the use of the Ada
programming language in high integrity
systems . . . . . . . . . . . . . . . . 47--94
Rayford B. Vaughn, Jr. The Ada recommendation --- a year later 95--100
Mordechai Ben-Ari Dispatching on the function result . . . 101--106
W. Robert Collins Tasking solutions to the Sieve of
Eratosthenes . . . . . . . . . . . . . . 107--110
Stephen Blake and
Clyde G. Roby, Jr. and
William Currie Colket ASIS Report for WG9 Meeting on 12 June
1998, Uppsala, Sweden . . . . . . . . . 111--113
Benjamin M. Brosgol A Comparison of Ada and Java as a
Foundation Teaching Language . . . . . . 12--38
Blaine W. Heinfeld and
James L. Silver A software engineering training program
for non-software engineers . . . . . . . 39--46
Martin C. Carlisle Graphics for free . . . . . . . . . . . 47--50
T. Dean Hendrix and
James H. Cross, II and
Joe C. Teate and
Larry A. Barowski and
Karl S. Mathias Assessing GRASP utilization through
instrumentation . . . . . . . . . . . . 51--56
Fabrice Kordon and
Jean-Luc Mounier FrameKit, an Ada framework for a fast
implementation of CASE enviroments . . . 57--66
Richard Riehle New ideas for generic components in Ada 67--86
William Lupton and
Vojislav Stojkovic Solving incomplete and incorrect
information problems using conditional
planning, execution monitoring, and
situated planning agents . . . . . . . . 87--96
Donald M. Needham and
Steven A. Demurjian, Sr. and
Margaret M. McMahon Concurrency in object-oriented
propagation modeling using Ada95 . . . . 97--103
Noël Davis and
Scot Ransbottom and
Drew Hamilton Teaching computer networks through
modeling . . . . . . . . . . . . . . . . 104--110
M. Shing and
V. Berzins and
M. Holden and
C. Eagle and
Luqi Master of science in software
engineering via distance learning . . . 111--125
Brian Dobbing and
Alan Burns The Ravenscar Tasking Profile for
High-Integrity Real-Time Programs . . . 1--6
Stephen Michell and
Mark Saaltink and
Brian Wichmann Looking into Safety with the
High-Integrity Rapporteur Group (HRG) 7--11
Stephen Michell and
Mark Saaltink and
Brian Wichmann Looking into safety with the safety and
security Rapporteur group . . . . . . . 7--11
William W. Pritchett, IV and
John D. Riley An ASIS-Based Static Analysis Tool for
High-Integrity Systems . . . . . . . . . 12--17
Mike Mills and
Greg Peterson Hardware/Software Co-design: VHDL and
Ada 95 Code Migration and Integrated
Analysis . . . . . . . . . . . . . . . . 18--27
Sy Wong and
Gertrude Levine Kernel Ada to Unify Hardware and
Software Design . . . . . . . . . . . . 28--38
Scott James A Dataflow Model Using Protected Types
in a Distributed System . . . . . . . . 39--44
Scott James The evolution of a distributed dataflow
processing model using Ada . . . . . . . 39--44
Samuel Tardieu and
Laurent Pautet Building fault tolerant distributed
systems using IP multicast . . . . . . . 45--51
Luís Miguel Pinho and
Francisco Vasques Multi-$\mu$: an Ada 95 based
architecture for fault tolerance support
of real-time systems . . . . . . . . . . 52--60
A. T. Chamillard and
Ronald J. Lisowski and
Richard R. Young Using Ada in Non-CS Majors . . . . . . . 61--67
Duane J. Jarc and
Michael B. Feldman An empirical study of Web-based
algorithm animation courseware in an Ada
data structure course . . . . . . . . . 68--74
Duane J. Jarc and
Michael B. Feldman A [sic] Empirical Study of Web-Based
Algorithm Animation Courseware in an Ada
Data Structure Course . . . . . . . . . 68--74
Jeanne L. Murtagh and
John A. Hamilton, Jr. A Comparison of Ada and Pascal in an
Introductory Computer Science Course . . 75--80
Nathan Fleener and
Laura Moody and
Mary Stewart A Reusable Lightweight Executive for
Command and Control Systems . . . . . . 81--88
Arthur G. Duncan Reusable Ada Libraries Supporting
Infinite Data Structures . . . . . . . . 89--103
John A. Reisner and
Zeenat Lainwala and
Thomas J. Peters and
Steven Demurjian, Sr. Implementing a Culling and
Self-Intersection Algorithm for
Stereo-lithography Files in Ada 95 . . . 104--113
Robert C. Leif and
Suzanne B. Leif Ada in Embedded Boards for Scientific
and Medical Instruments . . . . . . . . 114--120
John P. Woodruff and
Paul J. Van Arsdall A Large Distributed Control System Using
Ada in Fusion Research . . . . . . . . . 121--131
Victor D. Albertini and
Craig J. Berrett Ada in an On-board Military
Communication System . . . . . . . . . . 132--136
Jim Hopper and
Jennifer DeVilbiss and
Harry Heaton and
Tom Haberlandt Use of Ada 95 in Digital Radar Landmass
Simulation (DRLMS) . . . . . . . . . . . 137--139
Bo Frisberg Ada in the Gripen Flight Control System 140--141
Bo Frisberg Usage of Ada in the Gripen flight
control system . . . . . . . . . . . . . 140--141
T. Dean Hendrix and
James H. Cross, II and
Larry A. Barowski and
Karl S. Mathias Visual Support for Incremental
Abstraction and Refinement in Ada 95 . . 142--147
Shan Barkataki and
Stu Harte and
Tong Dinh Reengineering a Legacy System Using
Design Patterns and Ada 95
Object-Oriented Features . . . . . . . . 148--151
Martin C. Carlisle and
Patrick Maes RAPID: a Free, Portable GUI Design Tool 158--164
Ross H. Wainwright An Application Engineering Work-bench
for Tailoring Ada Flight Components . . 165--174
Benjamin M. Brosgol A Comparison of the Concurrency Features
of Ada 95 and Java . . . . . . . . . . . 175--192
Shayne Flint Using Java APIs with Native Ada
Compilers . . . . . . . . . . . . . . . 193--203
Yoav Tzruya and
Mordechai Ben-Ari A Portable Implementation of the
Distributed Systems Annex in Java . . . 204--211
Patricia J. Dousette and
Ari Danesh and
Matthew Jones Command and Control Using World Wide Web
Technology . . . . . . . . . . . . . . . 212--214
Mike Kamrad Ada experience report for BlazeNet, Inc. 215--216
Bard S. Crawford Algorithm Animation with Symbol
Processing Robots . . . . . . . . . . . 217--218
David Silberberg Applying the Personal Software Process
(PSP)$^{\rm sm}$ with Ada . . . . . . . 219--228
O. P. Kiddle and
A. J. Wellings Extensible Protected Types . . . . . . . 229--239
Bangqing Li and
Baowen Xu and
Huiming Yu Transforming Ada Serving Tasks Into
Protected Objects . . . . . . . . . . . 240--245
Stephen H. Kaisler and
Michael B. Feldman Object-Oriented and Concurrent Program
Design Issues in Ada 95 . . . . . . . . 246--254
Daniel Hoffman and
Jayakrishnan Nair and
Paul Strooper Testing Generic Ada Packages with APE 255--262
Janusz Laski and
William Stanley and
Jim Hurst Dependency Analysis of Ada Programs . . 263--275
Charles Plinta and
Richard D'Ippolito and
Roger Van Scoy A Specification and Code Generation Tool
for Message Translation and Validation 276--286
Dragan Macos and
Frank Mueller The Rendezvous is Dead --- Long Live the
Protected Object . . . . . . . . . . . . 287--293
Ben Brosgol Message from the Chair . . . . . . . . . 1
Anonymous Editorial Policy . . . . . . . . . . . . 5
Anonymous Key Contacts . . . . . . . . . . . . . . 6
Anonymous SIGAda Working Groups . . . . . . . . . 7
Anonymous Local SIGAda Chapter . . . . . . . . . . 9
Anonymous Ada Around the World . . . . . . . . . . 11
Anonymous SIGAda '99 . . . . . . . . . . . . . . . 13
Anonymous Reliable Software Technologies:
Ada-Europe '99 . . . . . . . . . . . . . 15
Anonymous International Journal of Computer
Systems: Science and Engineering Call
for Papers . . . . . . . . . . . . . . . 16
Anonymous The 21$^{\rm st}$ International
Conference on Software Engineering . . . 18
Hal Hart 1998 SIGAda Awards Winners and 1999
Nominations . . . . . . . . . . . . . . 19
Trudy Levine Reusable Software Components . . . . . . 22--27
Robert C. Leif SIGAda '98 Workshop: How do We Expedite
the Commercial Use of Ada? . . . . . . . 28--39
Anonymous ASIS Has Been Approved as ISO Standard 40--41
Anonymous ASIS --- Where Do We Go From Here? . . . 42--47
Anonymous Workshop Report: ASIS --- Where Do We Go
From Here? 6--10 PM, Sunday, 8 November
1998 SIGAda'98, Washington DC . . . . . 42--47
Phil Brashear Ada validation \tt := Ada conformity
assessment . . . . . . . . . . . . . . . 48--51
Randall Brukardt and
Steven Deller and
Joyce L. Tokar Ada 95 Conformity Assessment . . . . . . 52--57
John R. Newport A real-time, path guidance cue . . . . . 59--63
Pace Drury Using ASIS for Data Base Insulation . . 64--65
Patrick de Bondeli A Fully Reusable Class of Objects for
Synchronization and Communication in Ada
95 . . . . . . . . . . . . . . . . . . . 66--96
Robert C. Leif Ada Developers Cooperative License:
(Draft) Version 0.3 . . . . . . . . . . 97--107
David Botton Dear Ada . . . . . . . . . . . . . . . . 108
Mike Kamrad Fault tolerance (session summary) . . . 10--11
Alan Burns The Ravenscar Profile and implementation
issues (session summary) . . . . . . . . 12--14
Michael Gonzalez Harbour Distributed Ada and real-time (session
summary) . . . . . . . . . . . . . . . . 15--18
Andy Wellings New language features and other language
issues (session summary) . . . . . . . . 19--20
Luís Miguel Pinho and
Francisco Vasques Replica management in real-time Ada 95
applications . . . . . . . . . . . . . . 21--27
Brian Dobbing and
George Romanski The Ravenscar Tasking Profile ---
experience reporting . . . . . . . . . . 28--32
Thomas Wolf Transparent replication for fault
tolerance in distributed Ada 95 . . . . 33--40
Jorge Real and
Andy Wellings Dynamic ceiling priorities and Ada 95 41--48
Jörg Kienzle Combining tasking and transaction . . . 49--53
Stephen Michell and
Kristina Lundqvist Extendable [sic], dispatchable task
communication mechanisms . . . . . . . . 54--59
Scott Arthur Moody and
Samuel Kwok and
Dale Karr SimpleGraphics: Tcl/Tk visualization of
real-time multi-threaded and distributed
applications . . . . . . . . . . . . . . 60--66
J. J. Gutiérrez García and
M. González Harbour Prioritizing remote procedure calls in
Ada distributed systems . . . . . . . . 67--72
J. J. GutiérrezGarcía and
M. GonzálezHarbour Prioritizing remote procedure calls in
Ada distributed systems . . . . . . . . 67--72
Juan A. de la Puente and
José F. Ruiz and
Jesús M. González-Barahona Real-time programming with GNAT:
specialised kernels versus POSIX threads 73--77
A. Burns and
A. J. Wellings How to verify concurrent Ada programs:
the application of model checking . . . 78--83
W. M. Walker and
P. T. Woolley and
A. Burns An experimental testbed for embedded
real time Ada 95 . . . . . . . . . . . . 84--89
Gary W. Smith and
Richard A. Volz Distributed programming with
intermediate IDL . . . . . . . . . . . . 90--95
Hongfeng Shen and
Theodore P. Baker A Linux Kernel Module Implementation of
Restricted Ada Tasking . . . . . . . . . 96--103
Brian Selic Architectural patterns for complex
real-time systems (keynote address)
(abstract only) . . . . . . . . . . . . 1--1
Scott James Redistribution in distributed Ada . . . 3--8
David Botton Interfacing Ada 95 to Microsoft COM and
DCOM technologies . . . . . . . . . . . 9--14
Kristina Lundqvist and
Lars Asplund A formal model of the Ada Ravenscar
tasking profile; delay until . . . . . . 15--21
Paul B. Carpenter Verification of requirements for
safety-critical software . . . . . . . . 23--29
Laurent Pautet and
Thomas Quinot and
Samuel Tardieu CORBA and CORBA services for DSA . . . . 31--38
Yvon Kermarrec CORBA vs. Ada 95 DSA: a programmer's
view . . . . . . . . . . . . . . . . . . 39--46
Martin C. Carlisle A truly implementation independent GUI
development tool . . . . . . . . . . . . 47--52
Joseph R. Wisniewski Transitioning an ASIS application:
version 1 to Ada95 2.0 . . . . . . . . . 53--65
William Currie Colket Code analysis of safety-critical and
real-time software using ASIS . . . . . 67--76
Laurent Pautet and
Samuel Tardieu What future for the distributed systems
annex? . . . . . . . . . . . . . . . . . 77--82
Gerhard Bühler and
Heinz Faßbender Applying Ada, Java and CORBA for making
a command and control information system
platform independent . . . . . . . . . . 83--88
Michael Tonndorf Ada conformity assessments: a model for
other programming languages? . . . . . . 89--99
Christine Hulse and
Scott Edgerton and
Michael Ubnoske and
Louis Vazquez Reducing maintenance costs through the
application of modern software
architecture principles . . . . . . . . 101--110
John McCormick Ada, model railroading, and real-time
software engineering education (keynote
address) . . . . . . . . . . . . . . . . 111--112
Juan Carlos Díaz Martín and
Isidro Irala Veloso and
José Manuel Rodríguez García Building Tcl-Tk GUIs for HRT--HOOD
systems . . . . . . . . . . . . . . . . 113--123
Tony Lowe Extending Ada to assist multiprocessor
embedded development . . . . . . . . . . 125--132
Steven Doran Interfacing low-level C device drivers
with Ada 95 . . . . . . . . . . . . . . 133--143
P. Ballbastre and
S. Terrasa and
J. Vila and
A. Crespo Experiences using Ada in a real-time and
distributed laboratory . . . . . . . . . 145--155
Arthur V. Lopes Ada + SQL --- an overview . . . . . . . 157--162
Ming Wang Integrating a software engineering
approach into an Ada closed laboratory 163--168
Sheri J. Bernstein and
Robert S. Duff Optimizing Ada on the fly . . . . . . . 169--179
Henry A. Lortz and
Timothy A. Tibbetts The role of distributed, real-time Ada &
C++ on the Airborne Surveillance Testbed
(AST) program . . . . . . . . . . . . . 181--182
Tony Lowe Pinching pennies while losing dollars 183--193
Olga Rusanova and
Alexandr Korochkin Scheduling problems for parallel and
distributed systems . . . . . . . . . . 195--201
Donald M. Needham and
Steven A. Demurjian, Sr. and
Thomas J. Peters Towards a distributed object-oriented
propagation model using Ada95 . . . . . 203--210
Ravi K. Gedela and
Sol M. Shatz and
Haiping Xu Formal modeling of synchronization
methods for concurrent objects in Ada 95 211--220
Ian Gilchrist Attitudes to Ada in the UK
high-reliability software sector
(plenary session) . . . . . . . . . . . 221--221
Brad Balfour The current state of CORBA (invited
presentation) . . . . . . . . . . . . . 223--223
Hal Hart and
Barry Boehm and
S. Tucker Taft and
Tony Wasserman What happened to integrated
environments? (panel session) . . . . . 225--226
Barry Boehm Predicting the future of computer
systems and software engineering
(keynote address) . . . . . . . . . . . 227--227
Ian Gilchrist Attitudes to Ada --- a market survey . . 229--242
Trudy Levine Reusable software components . . . . . . 11--12
Mike Mardis Endian-safe record representation
clauses for Ada programs . . . . . . . . 13--18
Oliver Cole Converting an Ada 83 application to Ada
95 . . . . . . . . . . . . . . . . . . . 19--21
Sy Wong Ada as a teaching language . . . . . . . 22--23
Christoph Grein Add finalization . . . . . . . . . . . . 24--31
Dave Wood Ada: a commercial flop and proud of it!
-or- how to deal with Java envy . . . . 32--36
Luís Miguel Pinho and
Francisco Vasques To Ada or not to Ada: Adaing vs. Javaing
in real-time systems . . . . . . . . . . 37--43
Christoph Grein Safe pointers . . . . . . . . . . . . . 44--48
Alan Burns The Ravenscar Profile . . . . . . . . . 49--52
Ben Brosgol Message from the Chair . . . . . . . . . 1--2
Anonymous Editorial Policy . . . . . . . . . . . . 3--4
Anonymous Key Contacts . . . . . . . . . . . . . . 5--5
Anonymous SIGAda Working Groups . . . . . . . . . 6--7
Anonymous Local SIGAda Chapters . . . . . . . . . 8--9
Anonymous Ada Around the World . . . . . . . . . . 10--11
Hal Hart 1999 SIGAda Awards Winners and 2000
Nominations . . . . . . . . . . . . . . 12--15
Anonymous Ada Europe . . . . . . . . . . . . . . . 16--17
Anonymous SIGAda 2000 . . . . . . . . . . . . . . 18--18
Anonymous SIGAda '99 Workshop: ASIS --- Extensions
for Higher Level Abstractions . . . . . 19--24
Alexander Romanovsky Diversely Designed Classes for Use by
Multiple Tasks . . . . . . . . . . . . . 25--37
David S. Gibson Two Approaches to Teaching Software
Components Using Ada 95 . . . . . . . . 38--57
D. Needham and
S. Demurjian and
T. Peters An IDL to Ada95 Mapping to Support
Propagation Modeling . . . . . . . . . . 58--66
Férial Benachour Hait Agent Oriented Programming with Ada 95:
Application to financial markets . . . . 67--80
Ben Brosgol Message from the Chair . . . . . . . . . 1--2
Anonymous Newsletter Info: Editorial Policy . . . 3--4
Anonymous Newsletter Info: Key Contacts . . . . . 5--5
Anonymous Newsletter Info: SIGAda Working Groups 6--7
Anonymous Newsletter Info: Local SIGAda Chapters 8--9
Anonymous Newsletter Info: Ada Around the World 10--10
Anonymous Meetings: SIGAda 2000 . . . . . . . . . 11--13
Anonymous Meetings: $10^{\rm th}$ International
Real-Time Ada Workshop . . . . . . . . . 14--14
Anonymous Meetings: Ada Europe 2001 . . . . . . . 15--16
Anonymous Announcements: Research in the History
of Programming Languages and Software
Engineering . . . . . . . . . . . . . . 17--17
Anonymous Announcements: John English Windows
Library . . . . . . . . . . . . . . . . 18--18
Robert C. Leif SIGAda 99, workshop: how do we expedite
the commercial use of Ada? . . . . . . . 19--26
Trudy Levine Reusable Software Components . . . . . . 27--37
Bo I. Sandén Implementation of State Machines with
Tasks and Protected Objects . . . . . . 38--56
Martin C. Carlisle An Automatic Object-Oriented Parser
Generator for Ada . . . . . . . . . . . 57--63
Ben Brosgol Message from the Chair . . . . . . . . . 1--2
Anonymous Newsletter Info: Editorial Policy . . . 3--4
Anonymous Newsletter Info: Key Contacts . . . . . 5--5
Anonymous Newsletter Info: SIGAda Working Groups 6--7
Anonymous Newsletter Info: Local SIGAda Chapters 8--9
Anonymous Newsletter Info: Ada Around the World 10--11
J. A. Drew Hamilton, Jr. and
Jeanne L. Murtagh and
Richard G. Zoller Programming Language Impacts on Learning 12--19
Barry Fagin An Ada Interface to Lego Mindstorms . . 20--40
Barry Fagin Ada/Mindstorms 1.0 User's Guide and
Reference Manual . . . . . . . . . . . . 32--40
John W. McCormick Software Engineering Education: On the
Right Track with Ada . . . . . . . . . . 41--49
David Botton Ada on the NET! . . . . . . . . . . . . 50--52
David Botton Dear Ada . . . . . . . . . . . . . . . . 53--56
Ben Brosgol Message from the Chair . . . . . . . . . 1--2
Franco Gasperoni and
Gary Dismukes Multilanguage Programming on the JVM:
The Ada 95 Benefits . . . . . . . . . . 3--28
Brian Dobbing Building partitioned architectures based
on the Ravenscar profile . . . . . . . . 29--31
Lars Asplund and
Kristina Lundqvist Safety Critical Systems Based on Formal
Models . . . . . . . . . . . . . . . . . 32--39
Steven V. Hovater Document Generation using ASIS Tools . . 40--49
Kelly L. Spicer A successful example of a
layered-architecture based embedded
development with Ada 83 for
standard-missile control . . . . . . . . 50--63
Roderick Chapman Industrial Experience with SPARK . . . . 64--68
John Barnes The SPARK Way to Correctness is Via
Abstraction . . . . . . . . . . . . . . 69--79
Anonymous Key Contacts . . . . . . . . . . . . . . 80
Andy Wellings Status and future of the Ravenscar
profile session summary . . . . . . . . 5--8
Stephen Michell and
Joyce L. Tokar Tasking and object orientation . . . . . 9--10
Lars Asplund Session: new scheduling/dispatching
policies . . . . . . . . . . . . . . . . 11--13
Michael González Harbour and
Luis Miguel Pinho Session summary: distribution and
real-time . . . . . . . . . . . . . . . 14--16
Brian Dobbing and
Tullio Vardanega Report of session: analysis of the J
consortium real-time Java proposal . . . 17--18
Brian Dobbing Overview of the Sun Java Community
Process's Real-Time Expert Group
specification of RT-Java: Session
Summary . . . . . . . . . . . . . . . . 18--19
Mario Aldea Rivas and
Michael González Harbour Extending Ada's real-time systems annex
with the POSIX scheduling services . . . 20--26
Mario Aldea Rivas and
Michael González Harbour Extending Ada's real-time systems annex
with the POSIX scheduling services . . . 20--26
Alejandro Alonso and
Juan Antonio de la Puente Implementation of mode changes with the
Ravenscar profile . . . . . . . . . . . 27--32
Neil Audsley and
Andy Wellings Issues with using Ravenscar and the Ada
distributed systems annex for
high-integrity systems . . . . . . . . . 33--39
Neil Audsley and
Alan Burns and
Andy Wellings Implementing a high-integrity executive
using Ravenscar . . . . . . . . . . . . 40--45
Alan Burns Non-preemptive dispatching and locking
policies . . . . . . . . . . . . . . . . 46--47
A. Burns and
A. J. Wellings and
A. M. Koelmans and
M. Koutny and
A. Romanovsky and
A. Yakovlev On developing and verifying design
abstractions for reliable concurrent
programming in Ada . . . . . . . . . . . 48--55
Brian Dobbing The Ravenscar profile for high-integrity
Java programs? . . . . . . . . . . . . . 56--61
José Javier Guitiérrez García and
Michael González Harbour Towards a real-time distributed systems
annex in Ada . . . . . . . . . . . . . . 62--66
Jörg Kienzle and
Alexander Romanovsky Combining tasking and transactions, part
II: open multithreaded transactions . . 67--74
Stephen Michell Position paper: completing the Ravenscar
profile . . . . . . . . . . . . . . . . 75--78
Luís Miguel Pinho and
Francisco Vasques and
Luis Ferreira Programming atomic multicast in CAN . . 79--84
Juan A. de la Puente and
Juan Zamorano and
José Ruiz and
Ramón Fernández and
Rodrigo García The design and implementation of the
open Ravenscar kernel . . . . . . . . . 85--90
Jorge Real and
Albert Llamosí and
Alfons Crespo A semantics for dynamic ceiling
priorities in Ada . . . . . . . . . . . 91--95
Tullio Vardanega and
Gert Caspersen Using the Ravenscar profile for space
applications: the OBOSS case . . . . . . 96--104
A. J. Wellings and
B. Johnson and
B. Sanden and
J. Kienzle and
T. Wolf and
S. Michell Extensible protected types: proposal
status . . . . . . . . . . . . . . . . . 105--110
Ben Brosgol Message from the Chair . . . . . . . . . 1--2
Anonymous Newsletter Information . . . . . . . . . 3--4
Anonymous SIGAda 2001 Announcement . . . . . . . . 11--11
Clyde Roby and
Currie Colket SIGAda 2000 ASIS Workshop Report . . . . 12--16
Trudy Levine Reusable Software Components . . . . . . 17--25
Thomas Quinot and
Fabrice Kordon and
Laurent Pautet DROOPI: Towards a generic middleware . . 26--52
Marc A. Criley A Socket-Based Manifestation of Streams 53--64
Xianzhong Liang and
Zhenyu Wang Omega: a uniform object model easy to
gain Ada's ends . . . . . . . . . . . . 65--80
Gertrude Levine Conflict Resolution for Readers and
Writers . . . . . . . . . . . . . . . . 81--88
Hal Hart SIGAda 2000 Awards and 2001 Nomination
Information . . . . . . . . . . . . . . 89--89
Currie Colket Message from the Chair . . . . . . . . . 1--2
William Bail and
Bo I. Sandén Exception Propagation . . . . . . . . . 8--10
Bo I. Sandén Exception propagation . . . . . . . . . 8--10
Tullio Vardanega Object orientation and exception
handling for Ada . . . . . . . . . . . . 11--12
Thomas Wolf and
Tullio Vardanega Object Orientation and Exception
Handling for Ada . . . . . . . . . . . . 11--12
Jörg Kienzle Exceptions and concurrency . . . . . . . 13--15
Alexander Romanovsky and
Jörg Kienzle Exceptions and Concurrency . . . . . . . 13--15
Alan Burns and
Alexander Romanovsky How to Evolve Exception Handling in Ada 16--18
Alexander Romanovsky How to evolve exception handling in Ada 16--18
Alexander Romanovsky and
Bo Sandén Except for exception handling \ldots . . 19--25
Tullio Vardanega A case for exceptions . . . . . . . . . 26--30
T. Vardanego A Case for Exceptions . . . . . . . . . 26--30
S. Tucker Taft Enhancing exception support in Ada 95: a
workshop position paper . . . . . . . . 31--32
Pascal Leroy Exceptions as Types . . . . . . . . . . 33--34
Thomas Wolf On Exceptions as First-Class Objects in
Ada 95 . . . . . . . . . . . . . . . . . 35--40
Alfred Strohmeier and
Stanislav Chachkov A side-by-side comparison of exception
handling in Ada and Java . . . . . . . . 41--56
Jörg Kienzle and
Alexander Romanovsky Implementing exceptions in open
multithreaded transactions based on Ada
95 exceptions . . . . . . . . . . . . . 57--63
M. Patiño-Martínez and
R. Jiménez-Peris and
S. Arévalo Implementing transactions using Ada
exceptions: which features are missing? 64--75
José Ruiz and
Juan A. de la Puente and
Juan Zamorano and
Ramón Fernández-Marina Exception Support for the Ravenscar
Profile . . . . . . . . . . . . . . . . 76--79
S. E. Mitchell and
A. Burns and
A. J. Wellings MOPping up Exceptions . . . . . . . . . 80--92
Robert Dewar Keynote address: future development of
the Ada language . . . . . . . . . . . . 1--2
Peter Amey A language for systems not just software 3--11
Ben Brosgol and
Brian Dobbing Real-time convergence of Ada and Java\TM 11--26
Bruce R. Barkstrom Ada 95 bindings for the NCSA
hierarchical data format . . . . . . . . 27--30
Usha Santhanam Automating software module testing for
FAA certification . . . . . . . . . . . 31--38
Joel Sherrill and
Jennifer Averett and
Glenn Humphrey Implementing a product line-based
architecture in Ada . . . . . . . . . . 39--46
Björn Källberg and
Rei Stråhle Ship system 2000, a stable architecture
under continuous evolution . . . . . . . 47--52
Heinz Faßbender Reengineering an Ada95-programmed
command and control information system
by using UML . . . . . . . . . . . . . . 53--60
Kenneth L. Ehresman and
Joey L. Frantzen Electronic maneuvering board and dead
reckoning tracer decision aid for the
officer of the deck . . . . . . . . . . 61--70
Martin Carlisle Keynote address: confessions of an
academic Ada zealot . . . . . . . . . . 71--72
Barry S. Fagin and
Laurence D. Merkle and
Thomas W. Eggers Teaching computer science with robotics
using Ada/Mindstorms 2.0 . . . . . . . . 73--78
S. Tucker Taft Using Ada 95 in a compiler course . . . 79--80
Janusz Laski and
William Stanley and
Pawel Podgorski Beyond ASIS: program data bases and
tool-oriented queries . . . . . . . . . 81--90
Dhavy Gantsou Targeting Ada95/DSA for distributed
simulation of multiprotocol
communication networks . . . . . . . . . 91--96
S. Tucker Taft Keynote address: fixing software before
it breaks . . . . . . . . . . . . . . . 97--98
Laura J. White and
Norman Wilde Dynamic analysis for locating product
features in Ada code . . . . . . . . . . 99--106
Zhenqiang Chen and
Baowen Xu and
Huiming Yu Detecting concurrently executed pairs of
statements using an adapted MHP
algorithm . . . . . . . . . . . . . . . 107--114
William Pritchett and
Brian Wood Vetronics technology testbed: experience
report . . . . . . . . . . . . . . . . . 115--116
William W. Pritchett IV An object-oriented metrics suite for Ada
95 . . . . . . . . . . . . . . . . . . . 117--126
Scott Edgerton Experience report: architecture-based
software development on the Crusader
program . . . . . . . . . . . . . . . . 127--128
Erhard Ploedereder Panel: the making of ISO/IEC 8652: Ada
2005 . . . . . . . . . . . . . . . . . . 129--130
Currie Colket Message from the Chair . . . . . . . . . 1--2
Martin Carlisle Editorial Policy . . . . . . . . . . . . 3--10
Xianzhong Liang and
Zhenyu Wang Event-based Implicit Invocation
Decentralized in Ada . . . . . . . . . . 11--16
Liang Xianzhong and
Wang Zhenyu Event-based implicit invocation
decentralized in Ada . . . . . . . . . . 11--16
Bernard Thirion and
Laurent Thiry Concurrent programming for the control
of hexapod walking . . . . . . . . . . . 17--28
Trudy Levine Reusable Software Components . . . . . . 29--38
Anonymous Ada Europe 2002 Preliminary Program . . 39--42
Anonymous Ada WOW from SIGAda 2001 . . . . . . . . 43--60
Anonymous SIGAda 2002 Preliminary Call for
Participation and Notes on Venue . . . . 61--61
Anonymous Interesting Notes on the Venue for
SIGada 2002 . . . . . . . . . . . . . . 62--63
A. J. Wellings and
B. Johnson and
B. Sanden and
J. Kienzle and
T. Wolf and
S. Michell Integrating object-oriented programming
and protected objects in Ada 95 . . . . 11--44
Trudy Levine, Jr. Reusable software components . . . . . . 20--23
Robert C. Leif SIGAda 2001 workshop, ``Creating a
symbiotic relationship between XML and
Ada'' . . . . . . . . . . . . . . . . . 24--41
Martin C. Carlisle and
Ricky E. Sward An automatic ``visitor'' generator for
Ada . . . . . . . . . . . . . . . . . . 42--47
David Brach and
P. Eng User experiences with the Aonix
ObjectAda RAVEN: Ravenscar Profile
implementation . . . . . . . . . . . . . 10--21
Rodrigo García García and
Alfred Strohmeier Experiences report on the implementation
of EPTs for GNAT . . . . . . . . . . . . 22--27
Stephen Michell Practical implementations of embedded
software using the Ravenscar Profile . . 28--36
Bruce Lewis Software portability gains realized with
METAH and Ada95 . . . . . . . . . . . . 37--46
Luís Miguel Pinho and
Francisco Vasques Using Ravenscar to support
fault-tolerant real-time applications 47--52
Juan Zamorano and
Juan Antonio de la Puente Precise response time analysis for
Ravenscar kernels . . . . . . . . . . . 53--57
J. Javier Gutiérrez and
José M. Drake and
Michael González Harbour and
Julio L. Medina Modeling and schedulability analysis in
the development of real-time distributed
Ada systems . . . . . . . . . . . . . . 58--65
Jorge Real and
Alfons Crespo and
Andy Wellings and
Alan Burns Protected ceiling changes . . . . . . . 66--71
A. Burns and
A. J. Wellings Accessing delay queues . . . . . . . . . 72--76
Mario Aldea Rivas and
Michael González Harbour Application-defined scheduling in Ada 77--84
M. Ward and
N. C. Audsley Language issues of compiling Ada to
hardware . . . . . . . . . . . . . . . . 85--94
Benjamin M. Brosgol and
Ricardo J. Hassan, II and
Scott Robbins Asynchronous transfer of control in the
real-time specification for Java\TM . . 95--112
Alan Burns and
Ben Brosgol Session summary: future of the Ada
language and language changes such as
the Ravenscar profile . . . . . . . . . 113--119
Juan Antonio de la Puente and
Luís Miguel Pinho Session summary: safety improvements for
consideration . . . . . . . . . . . . . 120--122
Michael González Harbour and
Juan Antonio de la Puente Session on real-time, fault tolerance,
and distribution . . . . . . . . . . . . 123--124
Andy Wellings and
Tullio Vardanega Report of session: language changes for
scheduling, modeling and analysis . . . 125--127
Ben Brosgol and
Michael González Harbour Session summary: update on the real-time
specification for Java . . . . . . . . . 128--130
Joyce Tokar and
Ben Brosgol Session summary: summary and plans for
next IRTAW . . . . . . . . . . . . . . . 131--131
Anonymous Proceedings of the 11$^{th}$
International Real Time Ada Workshop . . ??
Peter Amey and
Roderick Chapman Industrial strength exception freedom 1--9
Richard Conn Ada, CMM level 4, and the C-130J
aircraft . . . . . . . . . . . . . . . . 10--10
Robert W. Carey and
Paul J. Van Arsdall and
John P. Woodruff The National Ignition Facility: early
operational experience with a large Ada
control system . . . . . . . . . . . . . 11--11
Thomas C. Brooke Development of a distributed,
cross-platform simulator . . . . . . . . 12--21
Martin C. Carlisle and
Ricky E. Sward and
Jeffrey W. Humphries Weaving Ada 95 into the .NET environment 22--26
Dhavy Gantsou An architectural framework for
supporting distributed object based
routing . . . . . . . . . . . . . . . . 27--29
Leonid Dulman Visual Ada developer . . . . . . . . . . 30--34
Michael McEvilley The essence of information assurance and
its implications for the Ada community 35--39
V. Santhanam The anatomy of an FAA-qualifiable Ada
subset compiler . . . . . . . . . . . . 40--43
Robert C. Leif and
Suzanne B. Leif and
Stephanie H. Leif XML and Ada complement each other . . . 44--44
Melvin Neville and
Anaika Sibley Developing a generic genetic algorithm 45--52
Dmitry Korochkin and
Sergey Korochkin Experimental performance analysis of the
Ada95 and Java parallel program on SMP
systems . . . . . . . . . . . . . . . . 53--56
Sheldon X. Liang and
Lynn Zhang and
Luqi Automatic prototype generating via
optimized object model . . . . . . . . . 22--31
Bo I. Sandén Real-time programming safety in Java and
Ada . . . . . . . . . . . . . . . . . . 32--46
Marin D. Condic A plan for producing a conventional Ada
library . . . . . . . . . . . . . . . . 16--31
Pascal Leroy An invitation to Ada 2005 . . . . . . . 33--55
Joyce L. Tokar and
Brian Dobbing Session summary: new core language
features . . . . . . . . . . . . . . . . 11--12
Andy Wellings and
Joyce L. Tokar Session summary: integration versus
orthogonality (RTSJ scheduling policies
versus Ada's) . . . . . . . . . . . . . 13--15
Andy Wellings Is Java augmented with the RTSJ a better
real-time systems implementation
technology than Ada 95? . . . . . . . . 16--21
Michael Gonzalez-Harbour and
Tullio Vardanega Report of session: current real-time AIs 22--23
Javier Miranda and
Edmond Schonberg and
Miguel Masmano and
Jorge Real and
Alfons Crespo Dynamic ceiling priorities in GNAT
implementation report . . . . . . . . . 24--27
Michael González Harbour and
Mario Aldea Rivas Managing multiple execution-time timers
from a single task . . . . . . . . . . . 28--31
Alan Burns and
Andy Wellings and
Tullio Vardanega Report of session: flexible scheduling
in Ada . . . . . . . . . . . . . . . . . 32--35
A. Burns and
A. J. Wellings Task attribute-based scheduling:
extending Ada's support for scheduling 36--41
Mario Aldea Rivas and
Michael González Harbour Application-defined scheduling in Ada 42--51
Joyce L. Tokar Space & Time Partitioning with ARINC 653
and pragma profile . . . . . . . . . . . 52--54
Brian Dobbing and
Juan Antonio de la Puente Session: status and future of the
Ravenscar profile . . . . . . . . . . . 55--57
P. N. Amey and
B. J. Dobbing Static analysis of Ravenscar programs 58--64
Tullio Vardanega Ravenscar design patterns?: reflections
on use of the Ravenscar profile . . . . 65--73
R. Maia and
F. Moreira and
R. Barbosa and
D. Costa and
Kjeld Hjortaes and
Patricia Rodriguez and
Luis Miguel Pinho Verifying, validating and monitoring the
open Ravenscar real time kernel . . . . 74--81
Juan Antonio de la Puente and
Juan Zamorano Execution-time clocks and Ravenscar
kernels . . . . . . . . . . . . . . . . 82--86
Douglas J. Howe and
Stephen Michell An approach to formal verification of
real time concurrent Ada programs . . . 87--92
Alan Burns and
Tullio Vardanega Report of session: generating new AIs 93--95
Tullio Vardanega and
Luís Miguel Pinho Session summary: the future of IRTAW . . 96--96
Jeffrey W. Humphries and
Martin C. Carlisle and
Terry A. Wilson Multilanguage programming with Ada in
the .NET environment . . . . . . . . . . 1--3
Peter Amey and
Roderick Chapman Static verification and extreme
programming . . . . . . . . . . . . . . 4--9
Ricky E. Sward and
A. T. Chamillard AdaSlicer: an Ada program slicer . . . . 10--16
S. Evangelista and
C. Kaiser and
J. F. Pradat-Peyre and
P. Rousseau Verifying linear time temporal logic
properties of concurrent Ada programs
with Quasar3 . . . . . . . . . . . . . . 17--24
Dhavy Gantsou A DSA model for data access in
self-organizing systems . . . . . . . . 25--28
Gaetan Allaert and
Dirk Craeynest and
Philippe Waroquiers European air traffic flow management:
porting a large application to GNU/Linux 29--37
J.-P. Rosen Experiences in developing a typical
Web/database application . . . . . . . . 38--48
Jordi Marco and
Xavier Franch A framework for designing and
implementing the Ada Standard Container
Library . . . . . . . . . . . . . . . . 49--61
Baowen Xu and
Zhenqiang Chen and
Jianjun Zhao Measuring cohesion of packages in Ada95 62--67
Ricky E. Sward and
Martin C. Carlisle and
Barry S. Fagin and
David S. Gibson The case for Ada at the USAF Academy . . 68--70
Eric Potratz A practical comparison between Java and
Ada in implementing a real-time embedded
system . . . . . . . . . . . . . . . . . 71--83
Alan Burns and
Brian Dobbing and
Tullio Vardanega Guide for the use of the Ada Ravenscar
Profile in high integrity systems . . . 1--74
Matthew J. Heaney Charles: an STL for Ada95 . . . . . . . 23--30
Stephen Leake Introduction to Stephe's Ada library . . 31--43
Jeffrey R. Carter The PragmAda reusable components . . . . 44--46
Trudy Levine Reusable software components . . . . . . 47--48
F. Singhoff and
J. Legrand and
L. Nana and
L. Marcé Cheddar: a flexible real time scheduling
framework . . . . . . . . . . . . . . . 1--8
Geoff T. Smith Measuring the effectiveness of ACATS . . 9--12
James F. Davis Information systems security
engineering: a critical component of the
systems engineering lifecycle . . . . . 13--18
Andy Lapping Model driven development with Ada . . . 19--22
Paul Anderson A refactoring tool for Ada 95 . . . . . 23--28
Ricky E. Sward and
A. T. Chamillard Re-engineering global variables in Ada 29--34
Robert Soricone and
Melvin Neville Comparative analysis of genetic
algorithm implementations . . . . . . . 35--38
Roderick Chapman and
Adrian Hilton Enforcing security and safety models
with an information flow analysis tool 39--46
C. Wayne Brown Teaching graphics using Ada . . . . . . 47--50
Javier Miranda and
Edmond Schonberg GNAT: on the road to Ada 2005 . . . . . 51--60
Gustaf Naeser Priority inversion in multi processor
systems due to protected actions . . . . 43--47
Yasushi Tojo and
Sinsuke Nara and
Yuichi Goto and
Jingde Cheng Tasking deadlocks in programs with the
full Ada 95 . . . . . . . . . . . . . . 48--56
Trudy Levine Reusable software components . . . . . . 57--65
Cyrille Comar and
Pat Rogers On dynamic plug-in loading with Ada 95
and Ada 2005 . . . . . . . . . . . . . . 31--41
Karl Nyberg Windows disk drive recovery with Ada95:
an application note . . . . . . . . . . 42--44
Trudy Levine Reusable software components . . . . . . 45--53
Randal P. Andress Wholesale byte reversal of the outermost
Ada record object to achieve endian
independence for communicated data types 19--27
Christoph Grein Dead live longer: a dramoletto . . . . . 28--31
Gertrude Levine Ada and the control of intrusion . . . . 32--39
Trudy Levine Reusable software components . . . . . . 40--48
F. Singhoff and
J. Legrand and
L. Nana and
L. Marcé Scheduling and memory requirements
analysis with AADL . . . . . . . . . . . 1--10
Xavier Sautejeau Modeling SPARK systems with UML . . . . 11--16
Ricky E. Sward and
Leemon C. Baird, III Optimizing the SPARK program slicer . . 17--22
Howard Ausden and
Karl Nyberg Using ASIS to generate C++ bindings . . 23--30
Korochkin Alexandr and
Salah Imad and
Korochkin Dmitry Experimental performance analysis of Ada
programs in cluster system . . . . . . . 31--36
Anthony S. Ruocco Experiences using SPARK in an
undergraduate CS course . . . . . . . . 37--40
Javier Miranda and
Edmond Schonberg and
Hristian Kirtchev The implementation of Ada 2005
synchronized interfaces in the GNAT
compiler . . . . . . . . . . . . . . . . 41--48
Gustaf Naeser and
Kristina Lundqvist and
Lars Asplund Temporal skeletons for verifying time 49--56
James F. Davis The affordable application of formal
methods to software engineering . . . . 57--62
Gustaf Naeser and
Lars Asplund and
Johan Furunäs SafetyChip: a time monitoring and
policing device . . . . . . . . . . . . 63--68
David G. Mathisen and
Robert W. Carey Orchestrating shots for the National
Ignition Facility . . . . . . . . . . . 69--78
Knut H. Pedersen and
Constantinos Constantinides AspectAda: aspect oriented programming
for Ada95 . . . . . . . . . . . . . . . 79--92
Matt Mark Data sharing between Ada and C/C++ . . . 93--102
Andrew Berns A comparison of CORBA and Ada's
distributed systems annex . . . . . . . 103--108
George Romanski Ada in the avionics industry . . . . . . 109--114
Alok Srivastava From the Editor's Desk . . . . . . . . . 1--1
Alok Srivastava Editorial Policy . . . . . . . . . . . . 2--3
Anonymous Key Contacts . . . . . . . . . . . . . . 4--6
John W. McCormick Special Report by SIGAda Chair . . . . . 7--11
John W. McCormick 2005 SIGAda Awards Awarded at SIGAda
2005 in Atlanta Georgia on November 16 12--15
Robert C. Leif Workshop, Commercializing Ada . . . . . 16--17
Martin C. Carlisle How Ada 2005 Impacts CS1/2 . . . . . . . 18--24
John A. Trono Optimal Table Lookup for Reserved Words
in Ada . . . . . . . . . . . . . . . . . 25--30
Anonymous Ada Issue 307 --- Execution-Time Clocks 31--44
Anonymous Ada Issue 321 --- Definition of
Dispatching Policies . . . . . . . . . . 45--55
Anonymous Ada Issue 327 --- Dynamic Ceiling
Priorities . . . . . . . . . . . . . . . 56--63
Anonymous Ada Issue 333 --- Additional Locking
Policies with FIFO\_Within\_Priorities 64--65
Anonymous Conference Announcements: Ada Europe
2006 CFP . . . . . . . . . . . . . . . . 66--66
Anonymous Conference Announcements: SIGAda 2006
Information . . . . . . . . . . . . . . 67--67
Judith Klein and
Drasko Sotirovski Publisher FrameWork (PFW) . . . . . . . 12--22
Claude Kaiser and
Jean-François Pradat-Peyre and
Sami Évangelista and
Pierre Rousseau Comparing Java, C# and Ada monitors
queuing policies: a case study and its
Ada refinement . . . . . . . . . . . . . 23--37
Alok Srivastava Ada Issue 00354: group execution-time
budgets . . . . . . . . . . . . . . . . 38--47
Alok Srivastava Ada Issue 00355: priority specific
dispatching including round robin . . . 48--59
Alok Srivastava Ada Issue 00357: support for deadlines
and earliest deadline first scheduling 60--68
Alok Srivastava Ada Issue 00394: redundant restriction
identifiers and completing Ravenscar
definition . . . . . . . . . . . . . . . 69--74
Trudy Levine Reusable software components . . . . . . 75--83
Judith Klein Use of Ada in Lockheed Martin for air
traffic management and beyond . . . . . 1--1
Martin C. Carlisle Automatic OO parser generation using
visitors for Ada 2005 . . . . . . . . . 3--8
Rajaa S. Shindi and
Shaun Cooper Evaluate the performance changes of
processor simulator benchmarks When
context switches are incorporated . . . 9--14
Martin C. Carlisle and
J. A. Hamilton, Jr. Integrating Ada 2005 into visual studio
2005 . . . . . . . . . . . . . . . . . . 15--20
Bechir Zalila and
Jérôme Hugues and
Laurent Pautet An improved IDL compiler for optimizing
CORBA applications . . . . . . . . . . . 21--28
Tanya Markow and
Eugene Ressler and
Jean Blair Catch that speeding turtle: latching
onto fun graphics in CS1 . . . . . . . . 29--34
Luke Ludwig and
Paul Pukite DEGAS: discrete event Gnu advanced
scheduler . . . . . . . . . . . . . . . 35--42
Robert Dewar Ada 2005 & high integrity systems . . . . 43--43
Ricky E. Sward and
Mark Gerken Developing safety critical software for
an unmanned aerial vehicle situational
awareness tool . . . . . . . . . . . . . 45--50
Khaled Barbaria and
Laurent Pautet and
Isabelle Perseil Schizophrenic middleware support for
fault tolerance . . . . . . . . . . . . 51--60
Alain Plantec and
Frank Singhoff Refactoring of an Ada 95 library with a
Meta CASE tool . . . . . . . . . . . . . 61--70
Drasko Sotirovski Time horizon in distributed object
societies . . . . . . . . . . . . . . . 71--74
Tucker Taft Why you should be using Ada 2005 now! 75--75
David Mosley When to migrate legacy embedded
applications . . . . . . . . . . . . . . 77--80
Albert M. K. Cheng and
James Ras The implementation of the Priority
Ceiling Protocol in Ada-2005 . . . . . . 24--39
Tullio Vardanega and
Josée F. Ruiz Language Issues: Introduction . . . . . 15--17
A. Zerzelidis and
A. Burns and
A. J. Wellings Correcting the EDF protocol in Ada 2005 18--22
A. J. Wellings and
A. Burns Integrating OOP and tasking: the missing
requeue . . . . . . . . . . . . . . . . 23--28
Santiago Urueña and
Juan Zamorano Building high-integrity distributed
systems with Ravenscar restrictions . . 29--36
Michael González Harbour and
J. Javier Gutiérrez Programming patterns and libraries:
Introduction . . . . . . . . . . . . . . 37--40
A. J. Wellings and
A. Burns A framework for real-time utilities for
Ada 2005 . . . . . . . . . . . . . . . . 41--47
A. Burns and
A. J. Wellings Programming execution-time servers in
Ada 2005 . . . . . . . . . . . . . . . . 48--52
José A. Pulido and
Juan A. de la Puente and
Jérome Hugues and
Matteo Bordin and
Tullio Vardanega Ada 2005 code patterns for
metamodel-based code generation . . . . 53--58
Alan Burns and
Andy Wellings Implementation experience with Ada 2005:
Introduction . . . . . . . . . . . . . . 59--60
Santiago Urueña and
José Pulido and
José Redondo and
Juan Zamorano Implementing the new Ada 2005 real-time
features on a bare board kernel . . . . 61--66
Mario Aldea Rivas and
Michael González Harbour Operating system support for execution
time budgets for thread groups . . . . . 67--71
Jorge Real and
Stephen Michell Beyond Ada 2005: Introduction . . . . . 72--74
A. J. Wellings and
A. Burns Beyond Ada 2005: allocating tasks to
processors in SMP systems . . . . . . . 75--81
M. Ward and
N. C. Audsley Suggestions for stream based parallel
systems in Ada . . . . . . . . . . . . . 82--87
Ben Brosgol and
Mario Aldea Ada and other standards: Introduction 88--89
Stephen Michell Interfacing Ada to operating systems . . 90--95
Juan A. de la Puente and
Santiago Urueña Conclusions and plans for next IRTAW:
Summary . . . . . . . . . . . . . . . . 96--97
John G. P. Barnes SA1: introducing the best of Ada . . . . 1--1
Ben Brosgol SA2: languages for safety-critical
software: issues and assessment . . . . 2--2
John G. P. Barnes SP1: introducing the best of Ada 2005 3--3
Ricky E. Sward SP2: exposing Ada Web services using a
service-oriented architecture (SOA) . . 4--4
Rod Chapman MF1: security by construction . . . . . 5--6
John W. McCormick MA1: real-time and parallel processing
in Ada . . . . . . . . . . . . . . . . . 7--7
Frank Singhoff MP1: real time scheduling theory and its
use with Ada . . . . . . . . . . . . . . 8--8
Joe Jarzombek Wanted: software with assurance built-in 9--10
Ward D. Maurer Using mathematics to improve Ada
compiled code, part 2: the proof . . . . 11--26
Paul Pukite and
Luke Ludwig Generic discrete event simulations using
\em DEGAS: application to logic design
and digital signal processing . . . . . 27--40
Frank Singhoff and
Alain Plantec AADL modeling and analysis of
hierarchical schedulers . . . . . . . . 41--50
Kung-Kiu Lau and
Zheng Wang Verified component-based software in
SPARK: experimental results for a
missile guidance system . . . . . . . . 51--58
Tyler B. Hallmark and
Eugene K. Ressler Parallel evolution of game evaluation
functions in Ada . . . . . . . . . . . . 59--62
Ricky E. Sward Using Ada in a service-oriented
architecture . . . . . . . . . . . . . . 63--68
Jeff O'Leary Federal Aviation Administration and Ada 69--70
Martin C. Carlisle and
Leemon C. Baird III Timing neural networks in C and Ada . . 71--74
Kung-Kiu Lau Using SPARK for a beginner's course on
reasoning about imperative programs . . 75--78
Karl Nyberg Multi-core $+$ multi-tasking $=$
multi-opportunity? . . . . . . . . . . . 79--82
Robert B. K. Dewar The compiler as a static analysis tool 83--88
Chris Nettleton and
Wilson Ifill and
Colin Marsh Towards a demonstrably-correct Ada
compiler . . . . . . . . . . . . . . . . 89--96
Robert Dewar Birds-of-a-feather: where would you like
to see GNAT go? . . . . . . . . . . . . 97--98
Tom Grosman Hibachi: the Eclipse Ada Development
Toolset . . . . . . . . . . . . . . . . 99--99
Rod Chapman Correctness by construction: putting
engineering (back) into software . . . . 100--100
Paul E. Black Static analysis summit II . . . . . . . 101--107
Jeff O'Leary and
Frederick Woodard and
Alok Srivastava and
Denise S. Beidleman Assessment of string tests strategy for
an en route air traffic control system 24--30
Bob Duff Gem #1: Limited types in Ada 2005 ---
limited aggregates . . . . . . . . . . . 31--33
Bob Duff Gem #2: Limited types in Ada 2005 ---
notation in aggregates . . . . . . . . . 34--35
Bob Duff Gem # 3: Limited types in Ada 2005 ---
constructor functions . . . . . . . . . 36--37
Matthew Heaney Gem #5: Key-based searching in set
containers . . . . . . . . . . . . . . . 38--40
Matthew Heaney Gem #6: The Ada95 multiple views idiom
vs. Ada05 interfaces . . . . . . . . . . 41--44
Franco Gasperoni Gem #7: The beauty of numeric literals
in Ada . . . . . . . . . . . . . . . . . 45--47
Matthew Heaney Gem #8: Factory functions . . . . . . . 48--51
Matthew Heaney Gem #9: Classwide operations, iterators,
and generic algorithms . . . . . . . . . 52--58
Trudy Levine Reusable software components . . . . . . 59--70
R. Krishnan and
Margaret Nadworny and
Nishil Bharill Static analysis tools for security
checking in code at Motorola . . . . . . 76--82
Redge Bartholomew Evaluation of static source code
analyzers for avionics software
development . . . . . . . . . . . . . . 83--87
Robert A. Martin and
Sean Barnum Common weakness enumeration (CWE) status
update . . . . . . . . . . . . . . . . . 88--91
Arnaud Venet A practical approach to formal software
verification by static analysis . . . . 92--95
Hassen Sa\"\idi Logical foundation for static analysis:
application to binary static analysis
for security . . . . . . . . . . . . . . 96--102
Negin Mahani and
Parnian Mokri and
Zainalabedin Navabi System level hardware design and
simulation with SystemAda . . . . . . . 19--22
Robert Dewar and
Vasiliy Fofanov and
Franco Gasperoni and
Yang Zhang Gem #22: Ada speaks many languages . . . 23--24
Bob Duff Gem #23: null considered harmful . . . . 25--26
Bob Duff Gem #24: null considered harmful (part 2
-- efficiency) . . . . . . . . . . . . . 27--28
Emmanuel Briot Gem #25: how to search text . . . . . . 29--32
Bob Duff Gem #26: the mod attribute . . . . . . . 33--34
Robert Dewar Gem #27: changing data representation
(part 1) . . . . . . . . . . . . . . . . 35--37
Robert Dewar Gem #28: changing data representation
(part 2) . . . . . . . . . . . . . . . . 38--40
Pascal Obry Gem #29: introduction to the Ada Web
Server (AWS) . . . . . . . . . . . . . . 41--44
John Barnes Gem #30: safe and secure software:
introduction . . . . . . . . . . . . . . 45--47
Robert Dewar Gem #31: preconditions/postconditions 48--49
John Barnes Gem #32: safe and secure software:
chapter 1, safe syntax . . . . . . . . . 50--50
Ramón Fernández-Marina Gem # 33: accessibility checks (part I:
Ada95) . . . . . . . . . . . . . . . . . 51--52
John Barnes Gem #34: safe and secure software:
chapter 2, safe typing . . . . . . . . . 53--53
Pat Rogers Gem #35: bounded buffer package in GNAT
hierarchy (part 1) . . . . . . . . . . . 54--56
John Barnes Gem #36: safe and secure software:
chapter 3, safe pointers . . . . . . . . 57--57
Pat Rogers Gem #37: bounded buffer package in GNAT
hierarchy (part 2) . . . . . . . . . . . 58--60
John Barnes Gem #38: safe and secure software:
chapter 4, safe architecture . . . . . . 61--61
Pat Rogers Gem #39: efficient stream I/O for array
types . . . . . . . . . . . . . . . . . 62--64
John Barnes Gem #40: safe and secure software:
chapter 5, safe object oriented
programming . . . . . . . . . . . . . . 65--65
Ramón Fernández-Marina Gem #41: accessibility checks (part II:
Ada2005) . . . . . . . . . . . . . . . . 66--68
John Barnes Gem #42: safe and secure software:
chapter 6, safe object construction . . 69--69
John Barnes Gem #43: safe and secure software:
chapter 7, safe memory management . . . 70--70
Bob Duff Gem #44: accessibility checks (part III) 71--73
John Barnes Gem #45: safe and secure software:
chapter 8, safe startup . . . . . . . . 74--74
Robert Dewar Gem #46: incompatibilities between Ada
83 and Ada 95 . . . . . . . . . . . . . 75--76
John Barnes Gem #47: safe and secure software:
chapter 9, safe communication . . . . . 77--77
Quentin Ochem Gem #48: extending interfaces in Ada
2005 . . . . . . . . . . . . . . . . . . 78--79
John Barnes Gem #49: safe and secure software:
chapter 10, safe concurrency . . . . . . 80--80
Bob Duff Gem #50: overload resolution . . . . . . 81--83
Trudy Levine Reusable software components . . . . . . 84--97
Negin Mahani and
Parnian Mokri and
Mahshid Sedghi and
Zainalabedin Navabi SystemAda: an Ada based system-level
hardware description language . . . . . 15--19
Gertrude Levine Ada for the control of degradation of
service . . . . . . . . . . . . . . . . 20--27
J.-P. Rosen The Ada paradox(es) . . . . . . . . . . 28--35
John Barnes Gem #51: safe and secure software:
chapter 11, certified safe with SPARK 36--36
Emmanuel Briot Gem #52: scripting capabilities in GNAT
(Part 1) . . . . . . . . . . . . . . . . 37--39
Emmanuel Briot Gem #54: scripting capabilities in GNAT
(Part 2) . . . . . . . . . . . . . . . . 40--42
Quentin Ochem Gem #55: introduction to Ada /Java
interfacing . . . . . . . . . . . . . . 43--45
Quentin Ochem Gem #56: creating Ada to Java calls
using GNAT-AJIS . . . . . . . . . . . . 46--49
Quentin Ochem Gem #57: Ada /Java cross dispatching . . 50--52
Quentin Ochem Gem #58: Ada /Java exception handling 53--55
Arnaud Charlet Gem #59: generating Ada bindings for C
headers . . . . . . . . . . . . . . . . 56--60
Javier Miranda and
Arnaud Charlet Gem #61: interfacing with C++
constructors . . . . . . . . . . . . . . 61--62
Javier Miranda and
Arnaud Charlet Gem #62: C++ constructors and Ada 2005 63--64
Gary Dismukes Gem #63: the effect of pragma suppress 65--67
Emmanuel Briot Gem #64: handling multiple-unit source
files . . . . . . . . . . . . . . . . . 68--70
Pat Rogers Review of the book: Real-Time Systems
and Programming Languages (4th edition)
by Alan Burns and Andy Wellings . . . . 71--71
Michael B. Feldman Introduction to Ada . . . . . . . . . . 1--2
Ben Brosgol An introduction to the C# language and
.NET infrastructure . . . . . . . . . . 3--4
Jeanne Murtagh and
Drew Hamilton How Ada object orientation works . . . . 5--6
David Gluch Embedded systems engineering with the
AADL: modeling & analysis . . . . . . . . 7--8
Trevor J. Jennings SPARK: the Libre language and toolset
for high-assurance software engineering 9--10
Cynthia Cicalese and
Joel Sherrill and
Ricky E. Sward and
Richard Weatherly Unmanned systems and Ada . . . . . . . . 11--12
John W. McCormick Ada for real-time and parallel
processing . . . . . . . . . . . . . . . 13--14
Ricky E. Sward Service oriented architecture (SOA)
concepts and implementations . . . . . . 15--16
Pat Rogers Embedded, hard, real-time systems with
Ada . . . . . . . . . . . . . . . . . . 17--18
Quentin Ochem Multi-language programming with Ada . . 19--20
Richard B. Schmidt An Ada retrospective: developing large,
mature, reliable systems . . . . . . . . 21--22
Mark Gardinier Open source development of a safety
critical dual redundant (Ada95/C++)
signal control program environment
(SCOPE) . . . . . . . . . . . . . . . . 23--30
Julien Delange and
Laurent Pautet and
Alain Plantec and
Mickael Kerboeuf and
Frank Singhoff and
Fabrice Kordon Validate, simulate, and implement
ARINC653 systems using the AADL . . . . 31--44
Sheldon X. Liang and
Lyle Reibling and
Samuel Sambasivam `Automatic Prototype Generating'
restated with re-ADA:
perspective-bridged architecture for
document-driven systems transitioning 45--60
Bruce R. Barkstrom On using Ada to solve problems in
computational economics and related
disciplines with concurrent, multiagent
algorithms . . . . . . . . . . . . . . . 61--72
Héctor Pérez Tijero and
J. Javier Gutierrez Experience in integrating
interchangeable scheduling policies into
a distribution middleware for Ada . . . 73--78
Steven M. Lathrop Dynamic analysis of branch
mispredictions in Ada . . . . . . . . . 79--84
John Knight Echo: a new approach to formal
verification based on Ada . . . . . . . 85--86
Chad Loseby and
Peter Chapin and
Carl Brandon Use of SPARK in a resource constrained
embedded system . . . . . . . . . . . . 87--90
Alexander S. Mentis A robotics API dialect for type-safe
robots: translating Myro to Ada . . . . 91--102
James Chelini Working towards DO-178C/ED-12C,
DO-248C/ED-94C, and DO-278A/ED109A . . . 103--104
Samuel Tardieu and
Alexis Polti Complementing Ada with other programming
languages . . . . . . . . . . . . . . . 105--114
Tong Dinh and
Shan Barkataki Distributed container: a design pattern
for fault tolerance and high speed data
exchange . . . . . . . . . . . . . . . . 115--118
Jay C. Smart A look at Ada from both sides now (a
government, and a defense contractor
perspective) . . . . . . . . . . . . . . 119--120
Ricky E. Sward Georegistration of imagery from unmanned
aircraft systems using Ada . . . . . . . 121--126
Jean-Pierre Rosen and
Tucker Taft The new semantic model in ASIS for Ada
2005 . . . . . . . . . . . . . . . . . . 127--132
A. Burns and
A. J. Wellings Supporting execution on multiprocessor
platforms . . . . . . . . . . . . . . . 16--25
A. Burns and
A. J. Wellings Language vulnerabilities: let's not
forget concurrency . . . . . . . . . . . 26--32
Kristoffer Nyborg Gregertsen and
Amund Skavhaug Execution-time control for interrupt
handling . . . . . . . . . . . . . . . . 33--44
Enrico Mezzetti and
Marco Panunzio and
Tullio Vardanega Temporal isolation with the Ravenscar
profile and Ada 2005 . . . . . . . . . . 45--55
Luke Wong and
Stephen Michell and
Brad Moore Named memory pool for Ada . . . . . . . 55--61
Stephen Michell and
Luke Wong and
Brad Moore Realtime paradigms needed post Ada 2005 62--67
Mario Aldea Rivas and
Michael González Harbour Execution time monitoring and interrupt
handlers: position statement . . . . . . 68--72
Jorge Real and
Alfons Crespo Incorporating operating modes to an Ada
real-time framework . . . . . . . . . . 73--85
José F. Ruiz Towards a Ravenscar extension for
multi-processor systems . . . . . . . . 86--90
Héctor Pérez Tijero and
J. Javier Gutiérrez and
Michael González Harbour Support for a real-time transactional
model in distributed Ada . . . . . . . . 91--103
A. J. Wellings and
A. Burns User-defined clocks is it the right time
now? . . . . . . . . . . . . . . . . . . 104--115
A. J. Wellings and
A. Burns Generalizing the EDF scheduling support
in Ada 2005 . . . . . . . . . . . . . . 116--124
A. J. Wellings and
A. H. Malik and
N. C. Audsley and
A. Burns Ada and cc-NUMA architectures what can
be achieved with Ada 2005? . . . . . . . 125--134
Rod White Providing additional real-time
capability and flexibility for Ada 2005 135--146
A. Burns and
A. J. Wellings Multiprocessor systems session summary 147--151
Tullio Vardanega and
Michael González Harbour and
Luís Miguel Pinho Session summary: language and
distribution issues . . . . . . . . . . 152--161
Stephen Michell and
Jorge Real Conclusions of the 14th International
Real-Time Ada Workshop . . . . . . . . . 162--164
Karl Nyberg Automatically generating DTD-specific
XML parsers . . . . . . . . . . . . . . 13--18
Karl Nyberg Parsing Hierarchical Data Format (HDF)
files . . . . . . . . . . . . . . . . . 19--24
Anonymous Maintenance and revision of the Ada
programming language: outline
announcement . . . . . . . . . . . . . . 25--26
Alan Burns and
Joyce L. Tokar and
Stephen Baird and
John Barnes and
Rod Chapman and
Gary Dismukes and
Michael Gonzales-Harbour and
Stephen Michell and
Brad Moore and
Miguel Pinho and
Erhard Ploedereder and
Jorge Real and
J. P. Rosen and
Ed Schonberg and
S. Tucker Taft and
T. Vardanega Ada and the software vulnerabilities
project . . . . . . . . . . . . . . . . 27--52
Anonymous Annex SPARK --- final draft:
SPARK.Specific information for
vulnerabilities . . . . . . . . . . . . 53--66
Trudy Levine Reusable Software Components . . . . . . 67--78
William Bail Effective requirements engineering . . . 1--2
Jean-Pierre Rosen Use of object oriented technologies in
high reliability system . . . . . . . . 3--4
John W. McCormick Ada for parallel, embedded, and
real-time applications . . . . . . . . . 5--6
Robert G. Pettit, IV Designing real-time, concurrent, and
embedded software systems using UML and
Ada . . . . . . . . . . . . . . . . . . 7--8
Cindy Cicalese and
Joel Sherill and
Ricky Sward and
Richard Weatherly Unmanned systems with Ada and RTEMS . . 9--10
Chris Lane Systems software integrity assurance . . 11--12
Jim Ras and
Albert M. K. Cheng A deterministic run-time environment for
Ada-05 on the ATmega16 microcontroller 13--22
Mamdouh Jemli and
Jean-Pierre Rosen A methodology for avoiding known
compiler problems using static analysis 23--30
Elizabeth Fong and
Paul E. Black and
Richard F. Leslie and
Simson Garfinkel and
Larry Wagoner and
Gary McGraw and
Jeff Williams Wouldn't it be nice to have software
labels . . . . . . . . . . . . . . . . . 31--32
Richard B. Schmidt Experience report: Ada & Java integration
in the FAA's ERAM SWIM program . . . . . 33--34
Richard Weatherly ``Unmanned systems and Ada'' . . . . . . 35--36
Peter J. Bradley and
Juan A. de la Puente and
Juan Zamorano Real-time system development in Ada
using LEGO\reg Mindstorms\reg NXT . . . 37--40
Brad J. Moore Parallelism generics for Ada 2005 and
beyond . . . . . . . . . . . . . . . . . 41--52
You Li and
Lu Yang and
Lei Bu and
Linzhang Wang and
Jianhua Zhao and
Xuandong Li Extending Ada to support multi-core
based monitoring and fault tolerance . . 53--62
Edmond Schonberg Towards Ada 2012: an interim report . . 63--70
Ricky E. Sward The rise, fall and persistence of Ada 71--74
Jean-Pierre Rosen Developing a profile for using
object-oriented Ada in high-integrity
systems . . . . . . . . . . . . . . . . 9--10
Emmanuel Briot Gem #65: \tt gprbuild . . . . . . . . . 11--13
Emmanuel Briot Gem #66: GPS's key shortcuts editor . . 14--15
Emmanuel Briot Gem #67: managing the GPS workspace . . 16--18
Yannick Moy Gem #68: let's SPARK! --- part 1 . . . . 19--23
Yannick Moy Gem #69: let's SPARK! --- part 2 . . . . 24--27
Pat Rogers Gem #70: the scope locks idiom . . . . . 28--31
Dean Kuo and
Angela Wallenburg Gem #71: tokeneer discovery --- lesson 1 32--36
Dean Kuo and
Angela Wallenburg Gem #71: tokeneer discovery --- lesson 2 37--38
Dean Kuo and
Angela Wallenburg Gem #73: tokeneer discovery --- lesson 3 39--42
Dean Kuo and
Angela Wallenburg Gem #73: tokeneer discovery --- lesson 4 43--46
Dean Kuo and
Angela Wallenburg Gem #73: tokeneer discovery --- lesson 5 47--48
Dean Kuo and
Angela Wallenburg Gem #73: tokeneer discovery --- lesson 6 49--52
Trudy Levine Reusable software components . . . . . . 53--63
Gertrude Levine Priority inversion with fungible
resources . . . . . . . . . . . . . . . 9--14
Negin Mahani Making alive register transfer level and
transaction level modeling in Ada . . . 15--22
Emmanuel Briot Gem #77: where did my memory go? (part
1) . . . . . . . . . . . . . . . . . . . 23--24
Emmanuel Briot Gem #78: where did my memory go? (part
2) . . . . . . . . . . . . . . . . . . . 25--27
Emmanuel Briot Gem #79:: where did my memory go? (part
3) . . . . . . . . . . . . . . . . . . . 28--29
Rod Chapman Gem #80: speedy shift and rotate in
SPARK . . . . . . . . . . . . . . . . . 30--32
Pat Rogers Gem #81: GNAT semaphores . . . . . . . . 33--35
Yannick Moy Gem #82: type-based security 1: handling
tainted data . . . . . . . . . . . . . . 36--39
Yannick Moy Gem #83: type-based security 2:
validating the input . . . . . . . . . . 40--43
Thomas Quinot Gem #84: the distributed systems annex 1
--- simple client/server . . . . . . . . 44--47
Thomas Quinot Gem #85: the distributed systems annex 2
--- distributed objects . . . . . . . . 48--51
Quentin Ochem Gem #86: Ada quiz 1 --- basic types . . 52--55
Thomas Quinot Gem #87: the distributed systems annex,
part 3 --- mailboxes . . . . . . . . . . 56--58
Trudy Levine Reusable software components . . . . . . 59--69
Patrick Rogers Review of the book: \booktitleBuilding
parallel, embedded, and real-time
applications with Ada, by John
McCormick, Frank Singhoff, and Jérôme
Hugues . . . . . . . . . . . . . . . . . 70--70
Ian Broster and
Andrew Coombes How to measure and optimize reliable
embedded software . . . . . . . . . . . 1--2
Ricky E. Sward and
Jeff Boleng Service-oriented architecture
(SOA)concepts and implementations . . . 3--4
Benjamin Brosgol DO-178C: the next avionics safety
standard . . . . . . . . . . . . . . . . 5--6
Jay Abraham and
Jeff Chapple and
Cyril Preve Improving quality of Ada software with
range analysis . . . . . . . . . . . . . 7--8
Michael Feldman Introduction to Ada . . . . . . . . . . 9--10
S. Tucker Taft Experimenting with ParaSail: parallel
specification and implementation
language . . . . . . . . . . . . . . . . 11--12
Jean-Pierre Rosen Designing and checking coding standards
for Ada . . . . . . . . . . . . . . . . 13--14
John W. McCormick and
Frank Singhoff Building embedded real-time applications 15--16
Grady Booch Everything I know I learned from Ada . . 17--18
Hazem Ismail Ali and
Luís Miguel Pinho A parallel programming model for Ada . . 19--26
Bradley J. Moore Stack safe parallel recursion with
Paraffin . . . . . . . . . . . . . . . . 27--34
Jean-Pierre Rosen and
Brad Moore and
Tucker Taft How to make Ada go `viral' . . . . . . . 35--36
Martin C. Carlisle Why I came back to Ada . . . . . . . . . 37--38
Joyce L. Tokar PhD and
F. David Jones and
Paul E. Black PhD and
Chris E. Dupilka Software vulnerabilities precluded by
SPARK . . . . . . . . . . . . . . . . . 39--46
Jason Belt and
John Hatcliff and
Robby and
Patrice Chalin and
David Hardin and
Xianghua Deng Enhancing SPARK's contract checking
facilities using symbolic execution . . 47--60
Vincent Gaudel and
Frank Singhoff and
Alain Plantec and
Stephane Rubini and
Pierre Dissaux and
Jerome Legrand An Ada design pattern recognition tool
for AADL performance analysis . . . . . 61--68
Jay Abraham and
Jeff Chapple and
Cyril Preve Improving quality of Ada software with
range analysis . . . . . . . . . . . . . 69--74
Dan R. Eilers and
Tero Koskinen Making the non-executable ACATS tests
executable . . . . . . . . . . . . . . . 75--80
James S. Rogers Language choice for safety critical
applications . . . . . . . . . . . . . . 81--90
John A. Trono Updated MPHF weights for Ada 2012 . . . 9--12
Negin Mahani TLM request response channel in
SystemAda . . . . . . . . . . . . . . . 13--18
Quentin Ochem Gem #88 GPS: smart completion (Part 1 of
2) . . . . . . . . . . . . . . . . . . . 19--21
Marco Panunzio Gem #89 . . . . . . . . . . . . . . . . 22--26
Thomas Quinot Gem #90: the distributed systems annex,
part 4 --- DSA and C . . . . . . . . . . 27--29
Quentin Ochem Gem #91: smart completion (Part 2 of 2) 30--31
Marco Panunzio Gem #92: code archetypes for real-time
programming --- part 2 . . . . . . . . . 32--36
Pat Rogers Gem #93: high performance multi-core
programming --- part 1 . . . . . . . . . 37--38
Marco Panunzio Gem #94: code archetypes for real-time
programming --- part 3 . . . . . . . . . 39--45
Quentin Ochem Gem #95: dynamic stack analysis in GNAT 46--48
Negin Mahani Making alive register transfer level and
transaction level modeling in Ada . . . 9--16
Marco Panunzio Gem #96: code archetypes for real-time
programming --- part 4 . . . . . . . . . 17--23
Emmanuel Briot Gem #97: reference counting in Ada ---
part 1 . . . . . . . . . . . . . . . . . 24--27
Pat Rogers Gem #98: high performance multi-core
programming --- part 2 . . . . . . . . . 28--30
Emmanuel Briot Gem #99: reference counting in Ada ---
part 2: task safety . . . . . . . . . . 31--32
Emmanuel Briot Gem #100: reference counting in Ada ---
part 3: weak references . . . . . . . . 33--34
Pascal Obry Gem #101: SOAP/WSDL server part . . . . 35--36
Pascal Obry Gem #102: SOAP/WSDL client part . . . . 37--38
Marco Panunzio Gem #103: code archetypes for real-time
programming --- part 5 . . . . . . . . . 39--42
Johannes Kanig Gem #104: Gprbuild and configuration
files --- part 1 . . . . . . . . . . . . 43--44
Emmanuel Briot Gem #105: Lady Ada kisses Python ---
part 1 . . . . . . . . . . . . . . . . . 45--46
Emmanuel Briot Gem #106: Lady Ada kisses Python ---
part 2 . . . . . . . . . . . . . . . . . 47--49
Bo I. Sandén HILT'12 tutorial overview /design of
multitask software: the entity-life
modeling approach . . . . . . . . . . . 1--2
Jason Belt and
Patrice Chalin and
John Hatcliff and
Robby Leading-edge Ada verification
technologies: highly automated Ada
contract checking using Bakar Kiasan . . 3--4
Johannes Kanig Leading-edge Ada verification
technologies: combining testing and
verification with GNATTest and GNATProve
--- the Hi-Lite Project . . . . . . . . 5--6
Nancy Leveson and
Cody Harrison Fleming and
John Thomas Safety of embedded software . . . . . . 7--8
K. Rustan M. Leino Developing verified programs with Dafny 9--10
Ricky E. Sward and
Jeff Boleng Service-oriented architecture (SOA)
concepts and implementations . . . . . . 11--12
S. Tucker Taft Tutorial: multicore programming using
divide-and-conquer and work stealing . . 13--14
Kelvin Nilsen Tutorial overview: understanding dynamic
memory management in safety critical
Java . . . . . . . . . . . . . . . . . . 15--22
Barbara Liskov Keynote presentation: Programming the
Turing machine . . . . . . . . . . . . . 23--24
K. Rustan M. Leino Program proving using intermediate
verification languages (IVLs) like
Boogie and Why3 . . . . . . . . . . . . 25--26
Johannes Kanig and
Edmond Schonberg and
Claire Dross Hi-Lite: the convergence of compiler
technology and program verification . . 27--34
Edmond Schonberg and
Vincent Pucci Implementation of a simple
dimensionality checking system in Ada
2012 . . . . . . . . . . . . . . . . . . 35--42
Hristian Hristov Kirtchev A new robust and efficient
implementation of controlled types in
the GNAT compiler . . . . . . . . . . . 43--50
Kathleen Fisher HACMS: high assurance cyber military
systems . . . . . . . . . . . . . . . . 51--52
David S. Hardin and
Konrad L. Slind and
Michael W. Whalen and
Tuang-Hung Pham A DSL for cross-domain security . . . . 53--62
Kelvin Nilsen Real-time Java in modernization of the
Aegis Weapon System . . . . . . . . . . 63--70
Jeffrey O'Leary and
Alok Srivastava FAA's controller pilot automatic data
communication (data comm) system
software development . . . . . . . . . . 71--72
Geert Bosch Synchronization cannot be implemented as
a library . . . . . . . . . . . . . . . 73--80
Shuai Li and
Frank Singhoff and
Stéphane Rubini and
Bourdell\`es Michel Applicability of real-time
schedulability analysis on a software
radio protocol . . . . . . . . . . . . . 81--94
Guy L. Steele, Jr. Programming language life cycles . . . . 95--96
Dan R. Eilers and
Tero Koskinen Adapting ACATS for use with run-time
checks suppressed . . . . . . . . . . . 97--102
Lennart Beringer and
Randall Brukardt and
Thomas Plum and
S. Tucker Taft Panel on compiler certification: should
we trust our compiler? . . . . . . . . . 103--104
A. Burns and
A. J. Wellings Support for multiprocessor platforms . . 9--14
A. Burns and
A. J. Wellings and
A. H. Malik TTF-Ravenscar: a profile to support
reliable high-integrity multiprocessor
Ada applications . . . . . . . . . . . . 15--23
A. Burns An EDF run-time profile based on
Ravenscar . . . . . . . . . . . . . . . 24--31
S. Lin and
A. J. Wellings and
A. Burns Ada 2012: resource sharing and
multiprocessors . . . . . . . . . . . . 32--44
José F. Ruiz Going real-time with Ada 2012 and GNAT 45--52
Héctor Pérez Tijero and
J. Javier Gutiérrez and
Michael González Harbour Adapting the end-to-end flow model for
distributed Ada to the Ravenscar profile 53--63
Marco Panunzio and
Tullio Vardanega Charting the evolution of the Ada
Ravenscar code archetypes . . . . . . . 64--83
António Barros and
Luís Miguel Pinho Revisiting transactions in Ada . . . . . 84--92
Sergio Sáez and
Alfons Crespo Deferred setting of scheduling
attributes in Ada 2012 . . . . . . . . . 93--100
Stephen Michell Programming language vulnerabilities:
proposals to include concurrency
paradigms . . . . . . . . . . . . . . . 101--115
Sergio Sáez and
Jorge Real and
Alfons Crespo Adding multiprocessor and mode change
support to the Ada real-time framework 116--127
Juan Zamorano and
'Angel Esquinas and
Juan A. de la Puente Ada real-time services and
virtualization . . . . . . . . . . . . . 128--133
Jorge Real and
José F. Ruiz Session summary: multiprocessor issues,
part 1 . . . . . . . . . . . . . . . . . 134--137
Andy Wellings and
Luís Miguel Pinho Session summary: multiprocessor issues,
part 2 (resource control protocols) . . 138--145
Alan Burns and
Tullio Vardanega Session summary: language profile and
application frameworks . . . . . . . . . 146--149
Juan Antonio de la Puente and
Stephen Michell Session summary: concurrency issues . . 150--156
Negin Mahani Investigating SystemAda: TLM\_FIFO
detailed characteristics proof, TLM2.0
interfaces implementation, simulation
time comparison to SystemC . . . . . . . 157--168
Takeo Ekiba and
Yuichi Goto and
Jingde Cheng New types of tasking deadlocks in Ada
2012 programs . . . . . . . . . . . . . 169--179
A. Burns Parallel Ada: a requirement for Ada 2020 9--13
Brad Moore and
Stephen Michell and
Luis Miguel Pinho Parallelism in Ada: general model and
Ravenscar . . . . . . . . . . . . . . . 14--32
Juan Zamorano and
Juan A. de la Puente On real-time partitioned multicore
systems . . . . . . . . . . . . . . . . 33--39
Luis Miguel Pinho and
Stephen Michell and
Brad Moore Ada and many-core platforms . . . . . . 40--48
Mario Aldea and
Alan Burns and
Marina Gutiérrez and
Michael González Harbour Incorporating the Deadline Floor
Protocol in Ada . . . . . . . . . . . . 49--58
A. Burns and
A. J. Wellings Locking policies for multiprocessor Ada 59--65
Geert Bosch Lock-free protected types for real-time
Ada . . . . . . . . . . . . . . . . . . 66--74
A. J. Wellings and
A. Burns and
A. L. C. Cavalcanti and
N. K. Singh Programming simple reactive systems in
Ada: premature program termination . . . 75--86
Kristoffer Nyborg Gregertsen and
Amund Skavhaug Execution time timers for interrupt
handling . . . . . . . . . . . . . . . . 87--96
Sergio Sáez and
Jorge Real and
Alfons Crespo Deferred and atomic setting of
scheduling attributes for Ada . . . . . 97--108
Kristoffer Nyborg Gregertsen An extended Ravenscar profile for
execution time control . . . . . . . . . 109--114
Luis Miguel Pinho and
Stephen Michell and
Brad Moore Session summary: parallel and multicore
systems . . . . . . . . . . . . . . . . 115--122
Alan Burns and
Andy Wellings Session summary: locking protocols . . . 123--125
Tullio Vardanega and
Rod White Session summary: improvements to Ada . . 126--130
Jorge Real and
Juan Antonio de la Puente Session summary: open issues . . . . . . 131--132
Trudy Levine Reusable software components . . . . . . 133--140
S. Tucker Taft Tutorial: proving safety of parallel
/multi-threaded programs . . . . . . . . 1--2
Ethan K. Jackson Engineering domain-specific languages
with formula 2.0 . . . . . . . . . . . . 3--4
Nikolaj Bjorner Satisfiability modulo theories for high
integrity development . . . . . . . . . 5--6
Francesco Logozzo Practical specification and verification
with code contracts . . . . . . . . . . 7--8
Sagar Chaki Bounded model checking of high-integrity
software . . . . . . . . . . . . . . . . 9--10
Jeff Boleng and
Ricky Sward Service-oriented architecture (SOA)
concepts and implementations . . . . . . 11--12
Francesco Logozzo Technology for inferring contracts from
code . . . . . . . . . . . . . . . . . . 13--14
Kyle Carter and
Adam Foltzer and
Joe Hendrix and
Brian Huffman and
Aaron Tomb SAW: the software analysis workbench . . 15--18
Pavlos Efstathopoulos and
Andrew Hawthorn Optimizing verification effort with
SPARK 2014 . . . . . . . . . . . . . . . 19--20
Pierre Courtieu and
Maria Virginia Aponte and
Tristan Crolard and
Zhi Zhang and
Fnu Robby and
Jason Belt and
John Hatcliff and
Jerome Guitton and
Trevor Jennings Towards the formalization of SPARK 2014
semantics with explicit run-time checks
using Coq . . . . . . . . . . . . . . . 21--22
Stephen Michell and
Brad Moore and
Luis Miguel Pinho Real-time programming on accelerator
many-core processors . . . . . . . . . . 23--36
S. Tucker Taft Bringing safe, dynamic parallel
programming to the SPARK verifiable
subset of Ada . . . . . . . . . . . . . 37--40
Michael W. Whalen Up and out: scaling formal analysis
using model-based development and
architecture modeling . . . . . . . . . 41--42
Donald T. Ward and
David A. Redman and
Bruce A. Lewis An approach to integration of complex
systems: the SAVI virtual integration
process . . . . . . . . . . . . . . . . 43--46
Steven Doran and
Stephanie August Reddo: a model driven engineering
toolset for embedded software
development . . . . . . . . . . . . . . 47--48
John B. Goodenough Building confidence in system behavior 49--50
Anitha Murugesan and
Michael W. Whalen and
Sanjai Rayadurgam and
Mats P. E. Heimdahl Compositional verification of a medical
device system . . . . . . . . . . . . . 51--64
Brian Larson and
John Hatcliff and
Kim Fowler and
Julien Delange Illustrating the AADL error modeling
annex (v.2) using a simple
safety-critical medical device . . . . . 65--84
Jeannette M. Wing Formal methods: an industrial
perspective . . . . . . . . . . . . . . 85--86
Suad Alagic Automatic versus interactive program
verification . . . . . . . . . . . . . . 87--88
John Barnes From Ada 9x to spaceport America: going
where no one has gone before . . . . . . 1--2
John Barnes and
S. Tucker Taft Ada 83 to Ada 2012: lessons learned over
30 years of language design . . . . . . 3--4
David Crocker Can C++ be made as safe as SPARK? . . . 5--12
Tamás Szabó and
Markus Voelter and
Bernd Kolb and
Daniel Ratiu and
Bernhard Schaetz \tt mbeddr: extensible languages for
embedded software development . . . . . 13--16
Peter H. Feiler AADL and model-based engineering . . . . 17--18
Andrew Gacek and
John Backes and
Darren Cofer and
Konrad Slind and
Mike Whalen Resolute: an assurance case language for
architecture models . . . . . . . . . . 19--28
Ehsan Ahmad and
Brian R. Larson and
Stephen C. Barrett and
Naijun Zhan and
Yunwei Dong Hybrid annex: an AADL extension for
continuous behavior and cyber-physical
interaction modeling . . . . . . . . . . 29--38
Jérôme Hugues and
Christophe Garion Leveraging Ada 2012 and SPARK 2014 for
assessing generated code from AADL
models . . . . . . . . . . . . . . . . . 39--46
Brian R. Larson Formal semantics for the PACEMAKER
system specification . . . . . . . . . . 47--60
Ed Seidewitz UML with meaning: executable modeling in
foundational UML and the Alf action
language . . . . . . . . . . . . . . . . 61--68
Thomas Ball Correctness via compilation to logic: a
decade of verification at Microsoft
Research . . . . . . . . . . . . . . . . 69--70
Anya Helene Bagge and
Magne Haveraaen Specification of generic APIs, or: why
algebraic may be better than pre/post 71--80
William Rathje and
Brad Richards A framework for model checking UDP
network programs with Java Pathfinder 81--86
S. Tucker Taft and
Brad Moore and
Luís Miguel Pinho and
Stephen Michell Safe parallel programming in Ada with
language extensions . . . . . . . . . . 87--96
Robert L. Bocchino and
Edward Gamble and
Kim P. Gostelow and
Raphael R. Some Spot: a programming language for
verified flight software . . . . . . . . 97--102
Nicholas D. Matsakis and
Felix S. Klock II The Rust language . . . . . . . . . . . 103--104
Robert Bocchino and
Nicholas Matsakis and
S. Tucker Taft and
Brian Larson and
Ed Seidewitz Panel summary: finding safety in
numbers: new languages for safe
multicore programming and modeling . . . 105--106
N. C. Audsley and
A. Burns Efficient Implementation of IPCP and DFP 9--16
A. Burns and
A. J. Wellings Testing Conformity to the Real-Time
Annex . . . . . . . . . . . . . . . . . 17--25
A. J. Wellings and
A. Burns Interrupts, Timing Events and
Dispatching Domains . . . . . . . . . . 26--31
P. Rogers and
J. Ruiz and
T. Gingold Toward Extensions to the Ravenscar
Profile . . . . . . . . . . . . . . . . 32--37
Jorge Garrido and
Juan Zamorano and
Juan A. de la Puente ARINC-653 Inter-partition Communications
and the Ravenscar Profile . . . . . . . 38--45
Luís Miguel Pinho and
Brad Moore and
Stephen Michell and
S. Tucker Taft Real-Time Fine-Grained Parallelism in
Ada . . . . . . . . . . . . . . . . . . 46--58
Patrick Bernardi Incorporating Cyclic Task Behaviour into
Ada Tasks . . . . . . . . . . . . . . . 59--73
Mario Aldea Rivas and
Héctor Pérez Tijero and
Michael González Harbour Multiprocessor Ada platform based on
MaRTE OS and GNAT . . . . . . . . . . . 74--79
Sergio Sáez and
Jorge Real and
Alfons Crespo Implementation of Timing-Event
Affinities in Ada/Linux . . . . . . . . 80--92
Joyce L. Tokar Update of ISO/IEC Technical Reports on
the Use of the Ada Programming Language
in High Integrity Systems . . . . . . . 93--94
Alan Burns and
Juan Antonio de la Puente Session Summary: Conformance Issues . . 95--96
Luis Miguel Pinho and
Stephen Michell and
Brad Moore Session Summary: Fine-grained
parallelism . . . . . . . . . . . . . . 97--101
Andy Wellings and
Jorge Real Session Summary . . . . . . . . . . . . 102--104
David C. Levy Illustrating Timing Drift . . . . . . . 9--13
Terry Froggatt An Error in the Ada Universal Arithmetic
Package . . . . . . . . . . . . . . . . 14--14
Trudy Levine Reusable Software Components . . . . . . 15--21
Tucker Taft and
Brad Moore and
Luis Miguel Pinho and
Stephen Michell Reduction of Parallel Computation in the
Parallel Model for Ada . . . . . . . . . 9--24
Stephen Michell and
Brad Moore and
Luis Miguel Pinho and
Tucker Taft Constraints on the Use of Executors in
Real-time Systems . . . . . . . . . . . 25--28
Alan Burns and
Andy Wellings The Deadline Floor Protocol and Ada . . 29--34
A. Burns and
A. J. Wellings Synchronous Task Control and Synchronous
Barriers . . . . . . . . . . . . . . . . 35--38
Kristoffer Nyborg Gregertsen Revising the Ada Timers and Group
Budgets to Support Execution Time
Control for Interrupt Handling . . . . . 39--50
A. J. Wellings and
V. Cholpanov and
A. Burns Implementing Safety-Critical Java
Missions in Ada . . . . . . . . . . . . 51--62
Jorge Garrido and
Beatriz Lacruz and
Juan Zamorano and
Juan A. de la Puente In support of extending the Ravenscar
profile . . . . . . . . . . . . . . . . 63--67
Jorge Real and
Sergio Sáez and
Alfons Crespo Combined Scheduling of Time-Triggered
Plans and Priority Scheduled Task Sets 68--76
Stephen Michell Time Issues in Programs Vulnerabilities
for Programming Languages or Systems . . 77--82
Luis Miguel Pinho and
Stephen Michell Session Summary: Parallel and Multicore
Systems . . . . . . . . . . . . . . . . 83--90
Alan Burns and
Andy Wellings Session Summary: Deadline Floor Protocol 91--93
Mario Aldea Rivas and
Michael González Harbour Session Summary: Language Issues . . . . 94--97
Tullio Vardanega and
Pat Rogers Session Summary: Ada Language Profiles 98--100
Jorge Real and
Pat Rogers Session Summary: ``Experience'' . . . . 101--102
Stepehen Michell and
Juan Antonio de la Puente Session Summary: Time Vulnerabilities 103--106
Timm Liebrenz and
Verena Klös and
Paula Herber Automatic Analysis and Abstraction for
Model Checking HW/SW Co-Designs modeled
in SystemC . . . . . . . . . . . . . . . 9--17
Carl Brandon and
Peter Chapin The Use of SPARK in a Complex Spacecraft 18--21
Joyce L. Tokar A Comparison of Avionics Open System
Architectures . . . . . . . . . . . . . 22--26
Sagar Chaki and
Dionisio de Niz Contract-Based Verification of Timing
Enforcers: [Extended Abstract] . . . . . 27--30
John D. McGregor and
David P. Gluch and
Peter H. Feiler Analysis and Design of Safety-critical,
Cyber-Physical Systems . . . . . . . . . 31--38
Peter Feiler and
Julien Delange Automated Fault Tree Analysis from AADL
Models . . . . . . . . . . . . . . . . . 39--46
Jean-Frédéric Etienne and
Eric Juppeaux SafeProver: a High-Performance
Verification Tool . . . . . . . . . . . 47--48
Denis Buzdalov Simulation of AADL models with
software-in-the-loop execution . . . . . 49--53
S. Tucker Taft and
Elie Richa and
Andres Toom Building Trust in a Model-Based
Automatic Code Generator . . . . . . . . 54--57
Fabien Gaucher and
Yves Génevaux Debugging Embedded Systems Requirements
Before The Design Begins: ``The
beginning is the most important part of
the work'' --- Plato . . . . . . . . . . 58--59
Josef Müller and
Prashanth Lakshmi Narasimhan and
Swaminathan Gopalswamy Design Requirements Iterative Process
(DRIP) Tool Demonstration Concurrent
Engineering of Design, Requirements and
Knowledge . . . . . . . . . . . . . . . 60--68
Bo Wang and
Hongbiao Gao and
Jingde Cheng A New Definition-Use Net Generator for
Ada 2012 Programs . . . . . . . . . . . 9--25
Vincent Pucci Gem #136: How tall is a kilogram? . . . 26--30
Valentine Reboul Gem #137: Ada Quiz $2$--- An Heir and a
Spare? . . . . . . . . . . . . . . . . . 31--38
An Unknown AdaCore developer Gem #138: Master the Command Line ---
Part 1 . . . . . . . . . . . . . . . . . 39--42
An Unknown AdaCore developer Gem #139: Master the Command Line ---
Part 2 . . . . . . . . . . . . . . . . . 43--45
Thomas Quinot Gem #140: Bridging the Endianness Gap 46--49
An Unknown AdaCore Developer Gem #141: Con-figure it out . . . . . . 50--53
Randy Brukardt Community Input for the Maintenance and
Revision of the Ada Programming Language 54--54
Anonymous Gem #142: Exception-ally . . . . . . . . 9--12
Anonymous Gem #143: Return to the Sources . . . . 13--17
Anonymous Gem #144: a Bit of Bytes: Characters and
Encoding Schemes . . . . . . . . . . . . 18--22
Valentine Reboul Gem #145: Ada Quiz $3$--- Statements . . 23--26
Yannick Moy Gem #146: Su(per)btypes in Ada 2012 ---
Part 1 . . . . . . . . . . . . . . . . . 27--29
Yannick Moy Gem #147: Su(per)btypes in Ada 2012 ---
Part 2 . . . . . . . . . . . . . . . . . 30--31
Yannick Moy Gem #148: Su(per)btypes in Ada 2012 ---
Part 3 . . . . . . . . . . . . . . . . . 32--33
Yannick Moy Gem #149: Asserting the truth, but
(possibly) not the whole truth . . . . . 34--36
Robert Dewar Gem # #150: Out and Uninitialized . . . 37--39
Yannick Moy Gem #151: Specifying Mathematical
Properties of Programs . . . . . . . . . 40--42
J. Germán Rivera Hardware-Based Data Protection/Isolation
at Runtime in Ada Code for
Microcontrollers . . . . . . . . . . . . 43--50
Stéphane Carrez IP Network Stack in Ada 2012 and the
Ravenscar Profile . . . . . . . . . . . 51--58
Ahlan Marriott and
Urs Maurer Using GtkAda in Practice . . . . . . . . 59--67
Luis Miguel Pinho and
Eduardo Quiñones and
Sara Royuela Combining the tasklet model with OpenMP 14--18
Brad Moore Synchronous Signals: an Abstraction for
Interleaving Sequential and Parallel
Code . . . . . . . . . . . . . . . . . . 19--28
Jorge Garrido and
Juan Zamorano and
Juan A. de la Puente On protocols for accessing protected
objects on multiprocessors . . . . . . . 29--33
Mario Aldea-Rivas and
Héctor Pérez-Tijero Proposal for a new Ada profile for small
microcontrollers . . . . . . . . . . . . 34--39
Paolo Carletto and
Tullio Carletto Ravenscar-EDF: Further Results from
Improved Comparative Benchmarking . . . 40--40
Jorge Real and
Sergio Sáez and
Alfons Crespo Ravenscar Support for Time-Triggered
Scheduling . . . . . . . . . . . . . . . 41--54
Kristoffer Nyborg Gregertsen Position paper: Clock support in Ada . . 55--57
Luis Miguel Pinho and
Tullio Vardanega Session Summary: Parallel Programming 58--60
Juan Ade la Puente and
Alan Burns Session Summary: Multiprocessor Locking 61--61
Mario Aldea-Rivas and
Kristoffer Nyborg Gregertsen Session Summary: Profiles . . . . . . . 62--65
Jorge Real and
Brad Moore Session Summary: Time Triggered
Scheduling in Ravenscar . . . . . . . . 66--69
Andy Carletto and
Jorge Real Session Summary: Deadline Floor Protocol 70--73
Tullio Vardanega and
Andy Andy Wellings Session Summary: Language Issues . . . . 74--76
Kristoffer Nyborg Gregertsen and
Luis Miguel Pinho Session Summary: Clock Issues . . . . . 77--78
Bob Martin Common Vulnerabilities Enumeration
(CVE), Common Weakness Enumeration
(CWE), and Common Quality Enumeration
(CQE): Attempting to systematically
catalog the safety and security
challenges for modern, networked,
software-intensive systems . . . . . . . 9--42
David A. Wheeler Approaches to Cyber-Resilience through
Language System Design . . . . . . . . . 43--57
Deborah Bodeau Cyber Resiliency Overview: What Is It,
and How Do We Build It into Our Systems? 58--63
Tobias Runge and
Ina Schaefer and
Alexander Knüppel and
Loek Cleophas and
Derrick Kourie and
Bruce W. Watson Tool Support for
Confidentiality-by-Construction . . . . 64--68
Stephen Chong Programming Languages for Security . . . 69--88
Léo Creuse and
Joffrey Huguet and
Christophe Garion and
Jérôme Hugues SPARK by Example: an introduction to
formal verification through the Standard
C++ library . . . . . . . . . . . . . . 89--96
Dara Ly and
Nikolai Kosmatov and
Julien Signoles and
Frédéric Loulergue Soundness of a Dataflow Analysis for
Memory Monitoring . . . . . . . . . . . 97--108
Andrew Berns and
James Curbow and
Joshua Hilliard and
Sheriff Jorkeh and
Miho Sanders Minimal Specifications for Detecting
Security Vulnerabilities . . . . . . . . 109--114
Ray Richards CASE Program: Motivation and Challenges 9--16
Eric Baize SAFECode Overview . . . . . . . . . . . 17--19
Lucas Wagner Formal Specification and Analysis of
Requirements using SpeAR . . . . . . . . 20--34
Lucas Wagner and
Andrew Gacek Automating Certification Objectives with
SpeAR . . . . . . . . . . . . . . . . . 35--49
Sam Procter Architecture-Level Security Concerns in
a Safety Critical System . . . . . . . . 50--62
Sam Procter and
Peter Feiler The AADL Error Library: an
Operationalized Taxonomy of System
Errors . . . . . . . . . . . . . . . . . 63--70
Jeff Foster Who decides what is allowed?: User
Interactions and Permissions Use on
Android . . . . . . . . . . . . . . . . 71--71
Chris Casinghino A Language for Programmable Hardware
Security . . . . . . . . . . . . . . . . 71--71
Mario Troiani Ensuring Cyber Resilience through
Entropy-Augmented Replication . . . . . 72--72
Tucker Taft SPARK Formal Verification for Security 83--99
Brad Moore and
John A. Hamilton Winners of 2018 SIGAda Awards . . . . . 100--100
Paul Anderson Modernizing Static Analysis Tools to
Facilitate Integrations . . . . . . . . 101--108
Maurizio Martignano A: the Compiler . . . . . . . . . . . . 25--28
Tewodros A. Beyene and
Christian Herrera and
Vivek Nigam Verification of Ada Programs with
AdaHorn . . . . . . . . . . . . . . . . 29--34
Alejandro R. Mosteo RCLAda, or Bringing Ada to the Robot
Operating System . . . . . . . . . . . . 35--40
Robert Bramberger and
Helmut Martin and
Barbara Gallina and
Christoph Schmittner Co-engineering of Safety and Security
Life Cycles for Engineering of
Automotive Systems . . . . . . . . . . . 41--48
David S. Galvin Using Genericity and Reflection to
Create a Declarative Elaboration Logger
for Large Scale Real-time Embedded Ada
Systems . . . . . . . . . . . . . . . . 45--52
Janusz Górski Using Evidence-based Arguments to
Support Dependability Assurance ---
Experiences and Challenges . . . . . . . 53--59
M. Schranz and
M. Sende and
A. Bagnato and
E. Brosse and
A. Eckel Modeling CPS Swarms: an Automotive Use
Case . . . . . . . . . . . . . . . . . . 60--63
M. Schranz and
M. Sende Modeling Swarm Intelligence Algorithms
for CPS Swarms . . . . . . . . . . . . . 64--73
T. Naks and
M. A. Aiello and
S. T. Taft Using SPARK to Ensure System to Software
Integrity: a Case Study . . . . . . . . 74--78
Joan J. Valls and
Miguel García-Gordillo and
Sergio Sáez Scenario-based Validation & Verification:
The ENABLE-S3 Approach . . . . . . . . . 79--84
Luis Nogueira and
António Barros and
Cristina Zubia and
David Faura and
Daniel Gracia Pérez and
Luis Miguel Pinho Non-functional requirements in the
ELASTIC architecture . . . . . . . . . . 85--90
Ravi Tomar and
Sarishma Maintaining Trust in VANETs using
Blockchain . . . . . . . . . . . . . . . 91--96
Michael Klemm and
Eduardo Quiñones and
Tucker Taft and
Dirk Ziegenbein and
Sara Royuela The OpenMP API for High Integrity
Systems: Moving Responsibility from
Users to Vendors . . . . . . . . . . . . 48--50
Kyle Chard and
James Muns and
Richard Wai and
S. Tucker Taft Language support for parallel and
distributed computing . . . . . . . . . 51--54
S. Tucker Taft A Layered Mapping of Ada 202X to OpenMP 55--58
Jan Verschelde Parallel Software to Offset the Cost of
Higher Precision . . . . . . . . . . . . 59--64
Richard Wai XERIS/APEX . . . . . . . . . . . . . . . 65--69
Brian Kleinke Challenges and lessons learned
introducing an evolving open source
technology into an established legacy
Ada and C++ program . . . . . . . . . . 70--72
Kyle Chard and
Yadu Babuji and
Anna Woodard and
Ben Clifford and
Zhuozhao Li and
Mihael Hategan and
Ian Foster and
Mike Wilde and
Daniel S. Katz Extended Abstract: Productive Parallel
Programming with Parsl . . . . . . . . . 73--75
Patrick Rogers From Ada to Platinum SPARK: a Case Study 76--91
Jorge Garrido and
David Pisonero and
Juan Zamorano and
Juan A. de la Puente Vectorization Challenges in Digital
Signal Processing . . . . . . . . . . . 92--95
Luis Miguel Pinho and
Sara Royuela and
Eduardo Quiñones Real-time Issues in the Ada Parallel
Model with OpenMP . . . . . . . . . . . 96--102
Jeff Cousins An Overview of Ada 202x . . . . . . . . 44--63
A. Amurrio and
E. Azketa and
M. Aldea and
J. J. Gutiérrez How windows size and number can
influence the schedulability of
hierarchically-scheduled
time-partitioned distributed real-time
systems . . . . . . . . . . . . . . . . 64--68
Christian Castagna and
Daniela Cancila and
Antonio Cammi Adoption of ACPS in Nuclear Reactor
Analysis . . . . . . . . . . . . . . . . 69--73
James S. Kimmet Auto-Generated Coherent Data Store for
Concurrent Modular Embedded Systems . . 74--77
Mario Aldea Rivas and
Hector Perez Tijero M2OS for Arduino Uno: Ada tasks and
Arduino libraries working together . . . 78--82
Dr. Fridtjof Siebert Fuzion --- Safety through Simplicity . . 83--86
Héctor Pérez Tijero and
Diego García Prieto and
J. Javier Gutiérrez First steps towards an IEEE 802.1AS
clock for EDF scheduling in distributed
real-time systems . . . . . . . . . . . 87--91
Kristoffer Nyborg Gregertsen \pkgEmber: an Embedded Robotics Library
in SPARK . . . . . . . . . . . . . . . . 61--65
David García Villaescusa and
Mario Aldea Rivas and
Michael González Harbour Queuing Ports for Mesh Based Many-Core
Processors . . . . . . . . . . . . . . . 66--70
A. Marriott and
U. Maurer More Ada in non-Ada systems . . . . . . 71--76
Maurizio Martignano Static Analysis for Ada, C/C++ and
Python: Different Languages, Different
Needs . . . . . . . . . . . . . . . . . 77--80
J-P. Rosen ASIS vs. LibAdalang: a Comparative
Assessment . . . . . . . . . . . . . . . 81--85
Dirk Craeynest 11th Ada Developer Room at FOSDEM 2022 39--40
Stefan Hild Ada Looks Good, Now Program a Game
Without Knowing Anything . . . . . . . . 41--42
Jean-Pierre Rosen The Ada Numerics Model . . . . . . . . . 43--45
Alejandro R. Mosteo and
Fabien Chouteau Alire 2022 Update . . . . . . . . . . . 46--49
Gabriele Galeotti SweetAda: a Lightweight Ada-Based
Framework . . . . . . . . . . . . . . . 50--53
Alejandro R. Mosteo Use (and Abuse) of Ada 2022 Features in
Designing a JSON-Like Data Structure . . 54--57
Max Reznik Getting Started with AdaWebPack . . . . 58--60
Jeffrey R. Carter Overview of Ada GUI . . . . . . . . . . 61--64
Yannick Moy and
Claire Dross Proving the Correctness of GNAT Light
Runtime Library . . . . . . . . . . . . 65--67
Stéphane Carrez Implementing a Build Manager in Ada . . 68--75
Jan Verschelde Exporting Ada Software to Python and
Julia . . . . . . . . . . . . . . . . . 76--78
S. Tucker Taft and
Stephen Baird and
Claire Dross Defining a Pattern Matching Language
Feature for Ada . . . . . . . . . . . . 79
S. Tucker Taft A Work-Stealing Scheduler for Ada 2022,
in Ada . . . . . . . . . . . . . . . . . 80
Jie Zou and
Xiaotian Dai and
John A. McDermid Resilience-Aware Mixed-Criticality DAG
Scheduling on Multi-cores for Autonomous
Systems . . . . . . . . . . . . . . . . 81--85
Inês Sousa Sousa and
António Casimiro and
José Cec\'ìlio Artificial Neural Networks for Real-Time
Data Quality Assurance . . . . . . . . . 86--89
J. Loureiro and
J. Cecílio Deep Learning for Reliable Communication
Optimization on Autonomous Vehicles . . 90--94
Marc Solé and
Leonidas Kosmidis Compiler Support for an AI-oriented SIMD
Extension of a Space Processor . . . . . 95--99
Alvaro Jover-Alvarez and
Ivan Rodriguez and
Leonidas Kosmidis and
David Steenari Space Compression Algorithms
Acceleration on Embedded Multi-core and
GPU Platforms . . . . . . . . . . . . . 100--104
Zineb Boukili and
Hai Nam Tran and
Alain Plantec Fine-Grained Runtime Monitoring of
Real-Time Embedded Systems . . . . . . . 105--105
Daniel Larraz Finding Locally Smallest Cut Sets using
Max-SMT . . . . . . . . . . . . . . . . 32--39
Daniel Larraz and
Arjun Viswanathan and
Cesare Tinelli and
Mickaël Laurent Beyond model checking of idealized
Lustre in Kind 2 . . . . . . . . . . . . 40--44
John Hatcliff and
Danielle Stewart and
Jason Belt and
Robby . and
August Schwerdfeger An AADL Contract Language Supporting
Integrated Model- and Code-Level
Verification . . . . . . . . . . . . . . 45--54
David Hardin Hardware/Software Co-Assurance for the
Rust Programming Language Applied to
Zero Trust Architecture Development . . 55--61
Claire Dross Containers for Specification in SPARK 62--68
S. Tucker Taft Rigorous Pattern Matching as a Language
Feature . . . . . . . . . . . . . . . . 69--74
Tabea Bordis and
Tobias Runge and
Alexander Kittelmann and
Ina Schaefer Correctness-by-Construction: an Overview
of the CorC Ecosystem . . . . . . . . . 75--78
Laura Humphrey Basic Formal Verification of aWaypoint
Manager for Unmanned Air Vehicles in
SPARK . . . . . . . . . . . . . . . . . 79--88
Howard Ausden Achieving 100% availability: In The ERAM
Air Traffic Control System . . . . . . . 89--91
Wolfgang John and
Ali Balador and
Jalil Taghia and
Andreas Johnsson and
Johan Sjöberg and
Ian Marsh and
Jonas Gustafsson and
Federico Tonini and
Paolo Monti and
Pontus Sköldström and
Jim Dowling ANIARA Project --- Automation of Network
Edge Infrastructure and Applications
with Artificial Intelligence . . . . . . 92--95
Ali Balador and
Sima Sinaei and
Mats Pettersson and
Ilhan Kaya DAIS Project --- Distributed Artificial
Intelligence Systems: Objectives and
Challenges . . . . . . . . . . . . . . . 96--98
Alessandra Bagnato and
Antonio Cicchetti and
Luca Berardinelli and
Hugo Bruneliere and
Romina Eramo AI-augmented Model-Based Capabilities in
the AIDOaRt Project: Continuous
Development of Cyber-Physical Systems 99--103
Alessandra Bagnato and
Józefina Krasnodebska MORPHEMIC --- Optimization of the
Deployment and Life-cycle Management of
Data-intensive Applications in the Cloud
Computing Continuum . . . . . . . . . . 104--108
Antonio Imbruglia and
Daniela Cancila and
Marina Settembre 5G Communication and Security in
Connected Vehicles . . . . . . . . . . . 109--113
Rita Sousa and
Eudald Sabate and
Marco Gonzalez-Hierro and
António Barros and
Cristina Zubia and
Luis Miguel Pinho and
Elli Kartsakli Managing Non-functional Requirements in
an ELASTIC Edge-Cloud Continuum . . . . 114--118
Frank Singhoff and
Jerome Hugues and
Hai Nam Tran and
Gianluca Bardaro and
Dominique Blouin and
Marco Bozzano and
Patrick Denzler and
Pierre Dissaux and
Eric Senn and
Xiong Xu and
Zhibin Yang ADEPT 2022 workshop: a summary of
strengths and weaknesses of the AADL
ecosystem . . . . . . . . . . . . . . . 37--41
Jean-Charles Roger and
Pierre Dissaux AADL modelling with SysML v2 . . . . . . 42--45
Xiong Xu and
Shuling Wang and
Bohua Zhan and
Xiangyu Jin and
Naijun Zhan and
Jean-Pierre Talpin Unified Graphical Co-modelling, Analysis
and Verification of Cyber-physical
Systems by Combining AADL and
Simulink/Stateflow . . . . . . . . . . . 46--49
Zhibin Yang and
Zhikai Qiu and
Yong Zhou and
Zhiqiu Huang and
Jean-Paul Bodeveix and
Mamoun Filali C2AADL\_Reverse: a Model-Driven Reverse
Engineering Approach for Development and
Verification of Safety-Critical Software 50--53
A. Bombardelli and
A. Bonizzi and
M. Bozzano and
R. Cavada and
A. Cimatti and
A. Griggio and
M. Nazaria and
E. Nicolodi and
S. Tonetta and
G. Zampedri COMPASTA: Integrating COMPASS
Functionality into TASTE . . . . . . . . 54--57
P. Denzler and
D. Ramsauer and
D. Scheuchenstuhl and
W. Kastner Experiences Modeling a OPC UA /DDS
Gateway in AADL in the Context of Fog
Computing . . . . . . . . . . . . . . . 58
Gianluca Bardaro and
Matteo Matteucci Modelling Robot Architectures with AADL 59--63
E. Senn and
L. W. J. Bourdon Modeling ROS Based Applications with
AADL . . . . . . . . . . . . . . . . . . 64--68
Dominique Blouin and
Paolo Crisafulli and
Cristian Maxim and
Francoise Caron An Introduction to ALISA and Its Usage
for an Industrial Railway System Case
Study . . . . . . . . . . . . . . . . . 69--72
José Ferreira and
Alan Oliveira and
André Souto and
José Cecílio Software-Based Security Approach for
Networked Embedded Devices . . . . . . . 73--77
Gonçalo Costa and
José Cecílio and
António Casimiro Cooperative Autonomous Driving in
Simulation . . . . . . . . . . . . . . . 78--82
Federico Lucchetti and
Marcus Voelp Achieving Crash Fault Tolerance In
Autonomous Vehicle Autopilot Software
Stacks Through Safety-Critical Module
Rejuvenation . . . . . . . . . . . . . . 83--87
Dionisio de Niz and
Lutz Wrage Symbolic Refinement for CPS . . . . . . 88--93
Felipe Lisboa Malaquias and
Georgios Giantamidis and
Stylianos Basagiannis and
Simone Fulvio Rollini and
Isaac Amundson Towards a Methodology to Design Provably
Secure Cyber-physical Systems . . . . . 94--99
L. Creuse and
M. Eyraud and
V. Gar\`ese Automatic Test Value Generation for Ada 100--105
J. Hugues Mechanization of the Ravenscar Profile
in Coq . . . . . . . . . . . . . . . . . 106--110
Ivan Rodriguez Ferrandez and
Alvaro Jover Alvarez and
Matina Maria Trompouki and
Leonidas Kosmidis and
Francisco J. Cazorla Worst Case Execution Time and Power
Estimation of Multicore and GPU
Software: a Pedestrian Detection Use
Case . . . . . . . . . . . . . . . . . . 111--117