Ada in Europe : Second International Eurospace -- Ada-Europe Symposium Frankfurt Main, Germany, October 2-6, 1995 Proceedings

This book presents the refereed proceedings of the Second International Eurospace - Ada-Europe Symposium, held in Frankfurt, Germany, in October 1995. The 37 selected revised papers are organized in sections on Ada 95: the future, safety, language, applications, distribution, methods and tools, design methods, life cycle, real-time, and methods. Many significant features of the new Ada 95 version, officially issued in February 1995, are addressed. Besides Ada-specific problems, general software engineering aspects are also presented. Ada: A sceptical assessment....Pages 1-3 Ada95 — An approach to overcome the software crisis?....Pages 4-10 Safe Ada Executive: An executive for Ada safety critical applications....Pages 11-20 Developing fault tolerant software in Ada for real-time dependable systems....Pages 21-50 The practical application of safety techniques on an Ada based project....Pages 51-57 Ada in mixed language applications....Pages 58-70 Heterogeneous data structures and cross-classification of objects with Ada 95....Pages 71-80 An ANDF based Ada 95 compiler system....Pages 81-98 Performance tuning of a check-out system coded in Ada....Pages 99-110 Ariane 5: Development of the on-board software....Pages 111-123 PRONAOS ground control center: First operational Ada application in C.N.E.S.....Pages 124-138 ASIS for GNAT: Goals, problems and implementation strategy....Pages 139-151 KBSE and Ada: Object and enabling technology....Pages 152-163 Extending the Ada 95 initial conditions for preelaboration for use in real-time systems....Pages 164-169 The use of Ada for the ENVISAT-1 simulator....Pages 170-177 Objects at use in nautical simulators....Pages 178-186 DIS — An interface to distributed interactive simulation....Pages 187-190 PARIS — Partitioned Ada for Remotely Invoked Services....Pages 191-205 Programming distributed systems with both Ada 95 and PVM....Pages 206-216 Distributed object oriented programming and interoperability for Ada 95: An OMG/CORBA approach....Pages 217-227 Distributed and parallel systems and HOOD4....Pages 228-243 ReverseNICE: A re-engineering methodology and supporting tool....Pages 244-248 Translating Shlaer/Mellor Object-Oriented Analysis Models into Ada 95....Pages 249-270 The introduction of an Object Oriented Analysis/Design method and Object Oriented Metrics in the software development life-cycle....Pages 271-283 Modelling and validation of tasks with algebraic structured nets....Pages 284-297 Design of concurrent software based on problem concurrency....Pages 298-310 ECLIPS — A successful experiment combining CCSDS SFDUs, X/Motif, HOOD and Ada....Pages 311-330 Applying Teamwork/Ada and RAISE for developing an Air Traffic Control application....Pages 331-343 Breaking through the V and V bottleneck....Pages 344-354 Periodic processing in hard real-time systems: Assessment of different design models in Ada....Pages 355-364 Transaction specification for object-oriented real-time systems in HRT-HOOD....Pages 365-378 Evaluation of a SPARC board equipped with the Ada Tasking Coprocessor (ATAC)....Pages 379-388 Ada and timed automata....Pages 389-405 Testing Ada 95 object-oriented programs....Pages 406-418 Achieving reusable and reliable client-server code using HOOD TM automated code generation for ADA95 and C++ targets....Pages 419-438 Round table discussion: “Tools and design methods” held on October 4, 1995....Pages 439-443 Lampbada....Pages 444-455 This volume contains the proceedings of the 1998 international symposium on staticanalysis(SAS'98)whichwasheldinPisa(Italy), onSeptember14-16,1998 and was part of a federated conference with ALP-PLILP'98 and several wo- shops. SAS'98isthe annualconferenceandforumforresearchersinallaspectsof staticanalysis. ItfollowstoSAS'94,SAS'95,SAS'96andSAS'97whichwereheld respectively in Namur (Belgium), Glasgow (UK), Aachen (Germany) and Paris (France), and the international workshops WSA'92 held in Bordeaux (France) and WSA'93 held in Padova (Italy). In response to the call for papers, 48 papers were submitted. All papers were reviewed by at least three reviewers and the program committee met in Pisa to select 20 papers based on the referee reports. There was a consensus at the meeting that the technical papers were of very high quality. In addition to the submitted papers, SAS'98 had a number of outstanding invited speakers. Roberto Giacobazzi, Peter Lee, Amir Pnueli, Dave Schmidt, Scott Smolka, and Bernhard Ste?en accepted our invitation to give invited talks or tutorials. Some ofthepapers(orabstracts)basedonthesetalksarealsoincludedin thisvolume. SAS'98 has been fortunate to rely on a number of individuals and orga- zations. I want to thank all the program committee members and referees, for their hard work in producing the reviews and for such a smooth and enj- able programcommittee meeting. Special thanks go to the conference chairman, Maurizio Gabbrielli, and to my students in Pisa who helped me a lot. More s- cial thanks go to Vladimiro Sassone, who made available to SAS'98 his excellent system for handling submissions and reviews on the web, and to Ernesto Lastres andRen` eMorenowhoweremy"systemmanagers." This book constitutes the proceedings of the Fourth International Workshop on Mul timedia Information Systems (MIS'98) held in Istanbul, Turkey in September 1998. This workshop builds upon the success of the three previous workshops in this series that were held in Arlington, VA, West Point, NY, and Como, Italy. As in the past, this is a small focused workshop, consisting of participants drawn from a wide variety of disciplines (e. g. theory, algorithms, real time systems, networks, operating sys tems, graphics and visualization, databases, artificial intelligence, etc.), all of which focus on research on one or more aspects of multimedia systems. The workshop program included 19 technical papers, three invited talks, and one panel. Of the technical papers 13 were accepted as regular papers and 6 as short con tributions. These papers cover a number of areas including: Multimedia storage system design Image storage and retrieval systems Quality of service considerations Networking support for multimedia information systems Distributed virtual environments Multimedia system architecture issues The invited talks were given by three experts well known for their work in this area. Satish K. Tripathi's (University of California, Riverside) talk was on "Quality of Service Support for Multimedia Data on Internet", Paul Emmerman (US Army Re search Laboratory) discussed "Visualizing the Digital Battlefield", and Val Tannen (University of Pennsylvania) presented "Heterogeneous Data Integration with Mobile Information Manager". The panel discussion, organized by Chahab Nastar of INRIA, France, addressed "Trends in Visual Information Retrieval This book constitutes the strictly refereed post-workshop proceedings of the ACM SIGPLAN Workshop on Languages, Compilers, & Tools for Embedded Systems, LCTES '98, held in Montreal, Canada, in June 1998. The 19 revised papers presented were carefully reviewed & selected from a total of 54 submissions for inclusion in the book; also included are one full paper & an abstract of an invited contribution. The papers address all current aspects of research & development in the rapidly growing area of embedded systems & real-time computing