Last update: Thu Aug 29 09:49:16 MDT 2024
Volume 1, Number 1, July / August, 1981John 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