The Final Programme (PDF-version) is available on the main web page of the Conference:
Date: Wed, 21 Apr 1999 08:08:39 +0200 From: Michael Gonzalez <firstname.lastname@example.org> Organization: Universidad de Cantabria Subject: Intl. Conference on Reliable Software Technologies: Registration ------------------------------------------------------------------- International Conference on Reliable Software Technologies Ada-Europe June 7-11, 1999, Hotel Santemar Santander, Spain -------------------------------------------------------------------- Early registration deadline May 7th, 1999 -------------------------------------------------------------------- The on-line conference registration and hotel reservation forms are available from the conference main page at: http://www.ada-europe.org/conference99.htm You may also download equivalent forms from that page, which you can then print and fax or mail. Please note that the deadline for early registration at a discount rate is May 7th. You may also get additional discount if you are a member of Ada-Europe or ACM SigAda. For additional information please contact the Publicity Chair, Jose Javier Gutierrez Garcia: mailto:email@example.com
For conference registration and hotel reservations, please see the corresponding pages, accessible from the main web page of the Conference:
http://www.ada-europe.org/conference99.htmBookings before May 7th get a substantial discount. Ada-Europe members get an additional substantial discount.
Date: Fri, 05 Mar 1999 13:13:57 +0100 From: Michael Gonzalez <firstname.lastname@example.org> Organization: Universidad de Cantabria To: Jose Javier Gutierrez-3 <email@example.com> Subject: Preliminary Program: Intl. Conference on Reliable SW Technologies We apologize if you receive this message more than once If you do not wish to receive more messages related to the Ada-Europe conference, please send an e-mail to: Jose Javier Gutierrez (firstname.lastname@example.org). ****************************************************************** PRELIMINARY PROGRAMME ****************************************************************** International Conference on Reliable Software Technologies Ada-Europe'99 June 7-11, 1999 Hotel Santemar Santander, Spain ****************************************************************** http://www.ada-europe.org/conference99.htm ****************************************************************** 1.- General Information ======================= The international conference of Ada-Europe, the European federation of national Ada societies, will take place this year in Santander, Spain, from June 7 to 11, 1999. The full conference will comprise a three-day technical programme and exhibition from Tuesday to Thursday, and parallel tutorials on Monday and Friday. This year, the number of papers submitted to the conference has almost doubled the number of submissions of past years, so it is expected that the number of conference attendees will also increase. 37 high-quality papers were selected by the Program Committee for presentation at the conference, in addition to the invited talks. If you want to receive a printed copy of the conference programme please send e-mail to J. Javier Gutierrez (email@example.com). For conference registration and hotel reservations, please see the corresponding pages, accessible from the main web page of the Conference (after March 18th): http://www.ada-europe.org/conference99.htm 1.1.- Organisation ------------------ Sponsored by Ada-Europe in cooperation with Ada-Spain and ACM SIGAda. AFORO is the local conference secretariat. AFORO address: Magallanes 36 39007 Santander Spain Phone: International: +34-942-230627 Local: 942-230627 Fax: International: +34-942-231058 Local: 942-231058 1.2.- Proceedings ----------------- The proceedings will be printed in the famous Lecture Notes in Computer Science (LNCS) of Springer Verlag, and will be available at the start of the conference. 1.3.- Awards ------------ There will be two awards, sponsored by Ada-Europe: - Best paper award: 500.- Euros - Best presentation award: 500.- Euros 1.4.- Exhibitions ----------------- The conference will be accompanied by a three-day commercial exhibition on June 8, 9, and 10. Vendors of software products and services should contact the Exhibition Chair, Alejandro Alonso (mailto: firstname.lastname@example.org), at the earliest convenience for further information and to ensure their inclusion. For additional information see (after March 18th): http://www.ada-europe.org/Santander/exhibit.html 2.- Travel Information ====================== Santander is a beautiful city located in the North Coast of Spain, in the region of Cantabria. It enjoys an extraordinary landscape mainly due to its coastal location, forming a peninsula surrounded by a bay, and its cliff coastline open to the Bay of Biscay. But perhaps the beaches are its best known and appreciated natural spaces. Its sinuous outline offers both small and large sandy beaches: some sheltered from the wind and with calm waters; others, open to the Bay of Biscay, with more surf. Next to these and between them, green spaces of great beauty look to the coast. For additional information on tourism and hotels see: http://turismo.cantabria.org/siting http://www.cibermedios.com/guia_cantabria 2.1.- Weather Information ------------------------- Temperatures in Santander are usually mild. The average maximum in June is 19.8 degrees Celsius (67.6 Fahrenheit) and the average minimum is 14.2 degrees Celsius (57.6 Fahrenheit). Although June is one of the driest months, rain is a possibility. For additional information on the weather in Spain, you may check: http://www.inm.es (in Spanish) http://www.yahoo.com/r/wt (in English) 2.2.- How to Get to Santander ----------------------------- Santander can be easily reached by aeroplane from all over the world, via Madrid or Barcelona. It is well communicated by motorway with Bilbao (1 hour driving distance), which has an international airport with direct flights to and from many european cities. Transportation between Bilbao and Santander is available by bus, as well as taxi or rental car. A comfortable night train is available to/from Madrid. A ferry boat communicates Santander with Plymouth (England) twice a week, and it represents a convenient possibility for bringing your own car from the UK. By car: ------ For people arriving by car, one of the following routes must be taken to reach the conference venue: - From Bilbao: Follow directions to Santander, by motorway. Driving time is about one hour. Once you get close to Santander, take exit number 1 to motorway 'A-67 Burgos Torrelavega' (please note that there is another exit to Torrelavega, but with another exit number). Once in motorway A-67 continue to 'Torrelavega Palencia Oviedo' until reaching exit number 4 to 'S-20 El Sardinero'. Take this exit and then follow the directions below. - From Santander airport: After leaving the airport turn right at the first round-about, following directions to 'Santander'. No more than 1 Km from there, take exit number 1 to motorway 'A-67 Burgos Torrelavega'. Once in motorway A-67 continue to 'Torrelavega Palencia Oviedo' until reaching exit number 4 to 'S-20 El Sardinero'. Take this exit and then follow the directions below. - From Madrid via Burgos-El Escudo: leaving 'Muriedas' (a village near to Santander) there is an indication reading 'Santander 6'; 300 m. after that, enter the motorway following directions to 'A-67 Torrelavega'. Then take the first exit, number 4, to 'S-20 El Sardinero' and follow the directions below. - From Madrid via Burgos-Aguilar de Campoo: in Torrelavega take motorway A-67 to Santander. About 9 Km before reaching Santander, the motorway has a bifurcation close to exit number 5. Take the left lane, following signs to 'S-20 El Sardinero'. Motorway S-20 finishes in a round-about, right after a tunnel. Continue straight ahead following directions to 'Sardinero' in that round-about and in the next two (these three round-abouts are separated no more than 400 m. from each other). In the next round- about (approximately 2 km ahead) bear right taking the exit to 'Sardinero Centro ciudad', and 200 m. ahead, in the next round-about bear left, following signs to 'El Sardinero Campo de fubol'. Directions to 'H. Santemar' are sign-posted together with directions to other hotels. Follow straight ahead for about 500 m. Hotel Santemar is located on the first street at the right, after reaching the unmistakable building of the Casino (on your right hand side). By plane: --------- For people arriving to the airport of Bilbao, there will be a person of the conference organization who can be contacted for any help that you may need. The schedule will be Sunday 6th and Monday 7th between 10:00 and 20:00. In particular, this person could organize the sharing of taxis for going to Santander. A taxi from Bilbao to Santander is approximately 13000 pts. If you prefer to take the bus to Santander, you may take a taxi from the airport to the bus station (approximately 2000 pts. for the taxi and 925 pts. for the bus). There is one bus per hour since 7:00 until 21:30. Bus station address in Bilbao: Gurtubay, 1 (close to the football stadium). Telephone number for taxis in Bilbao: 94-4448888. Once in Santander, the taxi from the bus station (or the train station) to the Hotel Santemar is about 700 pts. People arriving to the airport of Santander can take a taxi to the Hotel Santemar for about 2300 pts. There is no bus service. Telephone number for taxis in Santander: 942-333333. 3.- About the Conference Venue ============================== The conference will be held in the Hotel Santemar. Situated in Santander's main resort area of El Sardinero, the Hotel is just 200 meters from the beach. The Hotel Santemar gathers excellent conditions for an enjoyable and relaxing stay, and is surrounded by an exceptional natural environment. The Hotel Santemar address: Joaquín Costa 28 39005 Santander Spain Phone: International: +34-942-272900 Local: 942-272900 Fax: International: +34-942-278604 Local: 942-278604 For more information on the Hotel Santemar please see: http://www.cybermundi.es/h_santos/sante_en.htm For prices and reservations, please see the hotel reservations page, accessible from the main web page of the Conference (after March 18th): http://www.ada-europe.org/conference99.htm 4.- Conference Schedule ======================= Note: The schedule of the technical sessions may vary depending on the final papers submitted to the Conference. Monday ====== Tutorial 1: Java for Ada Programmers, by Benjamin M. Brosgol (full day) Tutorial 2: Windows Development with Ada, by Orjan Leringe (full day) Tutorial 3: Software Interoperability: Principles and Practice, by Jack C. Wileden and Alan Kaplan (morning) Tutorial 4: Building Ada Development Tools: ASIS and other GNAT Technologies, by Cyrille Comar and Sergey I. Rybin (afternoon) Tutorial 5: MetaH - An Architecture Description Language For Building Avionics Systems With Ada, by Bruce Lewis and Dennis Cornhill (afternoon) Tuesday ======= Morning ------- Invited talk: Architecture Issues in Large Real-Time Ada Systems, by Doug Locke Technical sessions: Ravenscar, Software Architectures and Design Afternoon --------- Technical sessions: Testing, Formal Methods, Education, Distributed Systems Extra activities: City tour and Reception Wednesday ========= Morning ------- Invited talk: The Evolving Architecture of GNAT, by Edmond Schonberg Technical sessions: High Integrity Systems, Real-Time Scheduling and Kernels Afternoon --------- Technical sessions: Tools, HW/SW Codesign, Formal Methods Extra activities: Ada-Europe General Assembly and Banquet Thursday ======== Morning ------- Invited talk: Safety-Critical Systems, to be confirmed Technical sessions: Distributed Systems, Fault Tolerance Afternoon --------- Technical sessions: Distributed Systems, Case Studies Extra activities: Awards and concluding remarks Friday ====== Tutorial 6: High Integrity Ada - The SPARK Approach, by John Barnes (full day) Tutorial 7: FUSION: An Object-Oriented Development Method, with Mapping to Ada, by Alfred Strohmeier (full day) Tutorial 8: Ada & Java: A Manager's and Developer's Road Map, by Franco Gasperoni and Gary Dismukes (morning) Tutorial 9: Using GNAT for the Java Platform, by Emmanuel Briot, Gary Dismukes and Franco Gasperoni (afternoon) 5.- Tutorials ============= Tutorial 1 (Monday): Java for Ada Programmers ============================================= Benjamin M. Brosgol (Aonix) email@example.com Audience Background ------------------- This introductory/intermediate level tutorial presents the main features of the Java language, with a strong focus on the Object- Oriented Programming Features. Since semantic points are often demonstrated by comparison with Ada, some previous experience with either Ada 83 or Ada 95 would be helpful. No previous knowledge of Java is required. Abstract -------- Some of the questions that will be addressed are the following: - What features does Java lack, and what is the effect of their absence? - What is the nature of Java's run-time model, and what are the implications of dynamic loading? - How do the Java package and class constructs relate to Ada packages and tagged types? - How does Java support inheritance, polymorphism, and dynamic binding? - How are constructors used? - What is the significance of Java's interface feature? - How do exceptions work in Java? - How does Java's thread mechanism address concurrent programming requirements? - Can Java be used for real-time programming? Time permitting, the tutorial will also describe Java's approach to GUIs (the Abstract Windowing Toolkit) and applets. The handout material provides complete examples of these subjects, if time constraints prevent detailed coverage during the lecture. Biography --------- Dr. Brosgol has been involved with Ada since its inception. He led the 'Red' language team during the original design competition, served as a Distinguished Reviewer of Ada 83, and participated in the Ada 95 revision. He is a senior member of the Aonix Professional Services group and is also the current chair of ACM SIGAda. He has presented papers and tutorials at many Ada Europe and SIGAda conferences in the past, and delivered an invited keynote address at the 1998 AdaUK conference. Dr. Brosgol's continued participation and broad experience in almost all facets of Ada activity - as a designer, implementor, user, and educator - have gained him international recognition and acclaim in the Ada community. Tutorial 2 (Monday): Windows Development with Ada ================================================= Orjan Leringe firstname.lastname@example.org Audience Background ------------------- Knowledge of Ada 95 is required. It is assumed also that the audience knows Microsoft Windows as a user. Knowledge of the inner working of Windows is not necessary. Acquaintance with C++ will be helpful in connection to the presentation of MFC and Ada (two hours). Abstract -------- This tutorial presents how Windows applications can be developed using Ada 95. The working principles of Windows are presented. This is done by showing how Windows programs traditionally are built using C and how these programs just as well, or better, can be written in Ada using the Win32Ada binding. The traditional development model for Windows programs, with a message loop managed directly by the programmer, results in poorly structured programs. OO frame-works like the Microsoft Foundation Classes (MFC) provides access to Windows on a much higher abstraction level. The tutorial will present the principals behind MFC and an Ada binding which gives access to all the features of MFC. The tutorial will also consist of an overview of other existing tools and bindings making Windows development with Ada easier. Among these are Claw from R & R Software, essentially a class library written almost altogether i Ada. GUIBuilder from Aonix is an Ada code generating tool. We will examine the inner working, pros and cons, of these tools and give some live demonstrations. Biography --------- Orjan Leringe is the manager of Mariadata, a company specialised in education in system development. The last few years he has given a number of week-long courses on the subject of Ada and Windows development at Swedish companies. He has been working as a lecturer in Computer Science at the University of Lund and the Technical University of Stockholm. He has been working in the industry for many years as a consultant and manager. Most of the work has been technically oriented like being the project manager for the VAX 11 Simula Compiler. Orjan is the chairman of Ada in Sweden. Tutorial 3 (Monday morning): Software Interoperability: Principles and Practice =================================================================== Jack C. Wileden (University of Massachusetts), and Alan Kaplan (Clemson University) email@example.com, and firstname.lastname@example.org Audience Background ------------------- This tutorial is aimed at an introductory to intermediate level audience, primarily of software practitioners, but possibly of researchers as well. Teachers and students of object-oriented technology will also find this tutorial extremely useful. Some general appreciation of interoperability issues and some familiarity with software development, preferably using object-oriented technology and programming languages, will be helpful. Participants will benefit most if they are acquainted with one or more interoperability approaches already, but no detailed knowledge of any approach will be presumed. Abstract -------- Software interoperability is fundamental to a number of contemporary software engineering topics, such as component-based software development, software reuse and distributed or network-based software. A variety of (often partial) approaches to interoperability exist, but what they do, how they compare, and exactly what problems they are solving is sometimes unclear. This tutorial is intended to provide a solid understanding of software interoperability problems and various proposed approaches to solving those problems. Participants should expect to gain a generally applicable foundation for assessing both problems and approaches, a detailed understanding of several specific approaches, and an ability to understand and critically evaluate new and different interoperability problems and approaches in the future. Biography --------- Jack C. Wileden received the A.B. degree in mathematics and theM.S. and Ph.D. degrees in computer and communications sciences from the University of Michigan, Ann Arbor. He is a Professor in the Department of Computer Science at the University of Massachusetts at Amherst and Director of the Convergent Computing Systems Laboratory there. His current research interests centre on tools and techniques supporting seamless integration of advanced capabilities into computing systems. Recent projects in his laboratory have focused on object management topics, including persistent object systems and name management, and on interoperability support for multilingual programming. He has served as an ACM National Lecturer and an IEEE Distinguished Visitor and has presented tutorials on various software engineering topics in North and South America, Europe, Australia and Japan. Alan Kaplan received the B.S. degree in computer science from Duke University, Durham, NC, and the M.S. and Ph.D. degrees in computer science from the University of Massachusetts at Amherst. He is currently on the faculty of the Department of Computer Science at Clemson University in Clemson, South Carolina. Prior to his current appointment, he spent a year on the faculty of the Department of Computer Science at Flinders University in Adelaide, South Australia. His research interests include tools and techniques supporting software development, object-oriented databases, and interoperability. Professor Kaplan is a member of the IEEE Computer Society and the Association for Computing Machinery. Tutorial 4 (Monday afternoon): Building Ada Development Tools: ASIS and other GNAT Technologies =================================================================== Cyrille Comar (ACT Europe), and Sergey I. Rybin (ACT Europe & Moscow State University) email@example.com, and firstname.lastname@example.org Audience Background ------------------- The tutorial is of introductory level. The audience should have a good understanding of Ada semantics. Basic experience on programming with GNAT is helpful, but not required. Abstract -------- The tutorial will explain how you can build your own Ada development and program analysis tool when using GNAT. The general architecture of the GNAT compilation system and the existing GNAT toolset will be presented. Different technologies for building additional tools will be discussed and compared. Using ASIS (the Ada Semantic Interface Specification) as the effective technology for building the wide range of useful tools will be discussed in detail. Using the ASIS implementation for GNAT for building and running ASIS-based tools will be explained. Biography --------- Cyrille Comar is Managing Director at ACT Europe. He has been actively involved in the GNAT technology since 1993 first at New York University then at Ada Core Technologies. Sergey Rybin has more than 15 years of research, development and teaching activities with Ada. He is an active member of the ASIS Working Group and he has been participating in the development of the ASIS definition for Ada 95. Currently, Sergey Rybin is a principal architect of the ASIS implementation for GNAT. In the past, he was involved in various Russian Ada-related projects and in the development of the Russian national information technology standards. Tutorial 5 (Monday afternoon): MetaH-An Architecture Description Language For Building Avionics Systems With Ada ================================================================ Bruce Lewis (US Army Aviation and Missile Command), and Dennis Cornhill (K&C Software Company) email@example.com.ARMY.MIL, and firstname.lastname@example.org Audience Background ------------------- The tutorial will cover architecture description language concepts, MetaH impact on development and evolvability, MetaH language constructs, and application development using MetaH and Ada. The tutorial assumes a general understanding of embedded time-critical systems and software development methods. Expertise in Ada is not required. Project managers, systems engineers and software engineers should find the tutorial valuable. Abstract -------- MetaH is a language and toolset for specifying, analyzing and integrating computer control systems. It was specifically developed to meet the requirements of aircraft and missile avionics and flight control but may be useful in many embedded time-critical applications where a highly integrated, rapidly evolvable approach is desired. Developers use MetaH to specify (1) how code modules, written in Ada or other programming languages, are combined to form an application, (2) execution behaviour, (3) the hardware target system, and (4) how the software is allocated to hardware. Given the specification, the engineer can use MetaH to model the architecture, generate in Ada the application executive and architectural glue, and integrate the software and hardware components into an executing system on the target hardware. The MetaH language is designed for the specification of real-time, fault-tolerant, securely partitioned, dynamically reconfigurable multi-processor system architectures. A draft Avionics Architecture Language standard is being developed using MetaH as a base under the Society of Automotive Engineers (SAE). Biography --------- Bruce Lewis is a computer engineer responsible for the development, assessment and transition of new software engineering technology. He started working with Ada in 1983 and was a software engineer on several missile programs developed with Ada using object based approaches. He has worked with DARPA over the last 7 years on architecture based software development and re-engineering technology. He is the DARPA technical Agent for the development of the MetaH technology and is the Chairman of the SAE task group developing a standard Avionics Architecture Description Language. Dennis Cornhill has contributed to the development of the MetaH translation tool, application of the technology to avionics systems, and MetaH training. His involvement with Ada dates to the development of the Green language in the late 1970s. Subsequently, he investigated techniques for using Ada in distributed and hard deadline applications. Tutorial 6 (Friday): High Integrity Ada-The SPARK Approach ========================================================== John Barnes email@example.com Audience Background ------------------- Attendees will be expected to be familiar with the mainstream ideas of Ada (83 or 95). No knowledge of SPARK will be assumed. No prior knowledge of formal methods is required. Note: This tutorial is not for the novice but nor will it contain heavy indigestible proof stuff so it is classed as Intermediate. The audience will be expected to attempt some simple exercises. Abstract -------- SPARK was designed for applications where the risk of an incorrect program causing damage to life or property must be minimized (the so-called safety-critical area). However, most programs deserve to be correct and SPARK is applicable to high integrity applications in general. SPARK can be seen as a subset of Ada 95 with embedded annotations (as comments) giving additional information about the program. The tutorial will present the key ideas behind SPARK including abstraction, refinement and flow analysis and how a program can be proved to be correct with respect to its specification. It will also discuss the SPARK tools which are the Examiner for flow analysis and the Simplifier and Proof Checker for generating proofs. Finally, the tutorial will consider other aspects of writing reliable Ada software such as the ISO Guide for the use of Ada in High Integrity Systems and the Safety and Security Annex. In summary, the main purpose is to give attendees an appreciation of the scope of SPARK and what might be achieved by its use in practice. An important goal is to show that the SPARK approach can bring useful benefits without every programmer having to have a doctorate in formal methods! Biography --------- John Barnes read Mathematics at Trinity College Cambridge. His early career was with Imperial Chemical Industries where he worked on the development of languages for process control applications. He has been involved with Ada from the early days. He was a member of the Ada 83 and Ada 95 design teams and was principal author of the Rationale for Ada 95. He has written a number of books including High Integrity Ada - The SPARK Approach (upon which this tutorial is based) as well as Programming in Ada 95. He is currently President of Ada-Europe. Tutorial 7 (Friday): FUSION: An Object-Oriented Development Method, with Mapping to Ada =================================================================== Alfred Strohmeier firstname.lastname@example.org Audience Background ------------------- The tutorial is intended for anyone who wants to learn an object- oriented development method. We assume some acquaintance with object-oriented concepts, but no specific knowledge in object- oriented development methods is required. Abstract -------- Fusion is an object-oriented software development method. It is a full-coverage method, providing for all of analysis, design, and implementation. By integrating and extending existing approaches, Fusion provides a direct route from a requirements definition through to an implementation. The advantage of the Fusion method is that it offers not only notations for describing models, but a process for development. Biography --------- Alfred Strohmeier is a Professor of Computer Science at the Swiss Federal Institute of Technology in Lausanne (EPFL), Switzerland, where he leads the Software Engineering Laboratory. He has been teaching object-oriented technologies and Ada in academic and industrial settings. He was a Distinguished Reviewer of Ada 95 and participated in its definition. His current interests are software engineering; software development methodologies, especially object- oriented approaches; software development environments; and technologies related to the Ada language, including software components and bindings. Tutorial 8 (Friday morning): Ada & Java: A Manager's and Developer's Road Map ======================================================== Franco Gasperoni (ACT Europe), and Gary Dismukes (Ada Core Technologies) email@example.com, and firstname.lastname@example.org Audience Background ------------------- Any manager, project leader, software engineer or programmer that is interested in understanding the Java technology, its opportunities and how Ada can be used on this platform. Abstract -------- The objectives of this tutorial are: - Explain the important elements of the Java technology. Aspects of the technology that will be covered include: The Java programming language, the Java virtual machine and its performance, the Java API, the JNI (the interface that allows native applications to interface with Java), as well as how to use Java technology in embedded applications. - Help managers and developers understand the opportunities represented by this emerging technology, which spans applications ranging from internet applets to fully featured information systems running on mainframes, PCs or workstations as well as internet appliances and embedded systems such as intelligent automobiles, smart cards, telephones with built-in Web browsers and state-of-the-art cellular telephones. - Provide a road map for project managers & software engineers to help them understand where Ada fits in the world of Java and how companies can take advantage of their Ada investments for the Java platform. More importantly, this tutorial will illustrate how the use of Ada can provide a competitive advantage on this emerging platform. Biography --------- Franco Gasperoni is managing director of ACT-Europe, the european GNAT company. He has been involved in the implementation of Ada compilers for 10 years. He has taught courses in programming languages, compilers, operating systems, and software engineering for 8 years. Franco is one of the main architects of the GNAT to Java effort that is currently underway. Gary Dismukes is a senior software engineer with Ada Core Technologies. He was involved with the development of Ada 95 as a Distinguished Reviewer and has worked on the development of Ada compilers for over 15 years. His training experience includes teaching Ada 95 courses to industry programmers. His most recent work has been on the design and implementation of the Ada Core Technologies project targeting the GNAT compiler to the Java Virtual Machine. Tutorial 9 (Friday afternoon): Using GNAT for the Java Platform =============================================================== Emmanuel Briot (ACT-Europe), Gary Dismukes (Ada Core Technologies), and Franco Gasperoni (ACT Europe) email@example.com, firstname.lastname@example.org, and email@example.com Audience Background ------------------- Attendees should have a reasonable understanding of Ada. Knowledge of the object-oriented features of Ada 95 would be helpful but is not required. Abstract -------- The objectives of this tutorial is to explain how to write Ada applications for the Java platform using JGNAT, the GNAT Ada 95 toolchain for the Java Virtual Machine. This includes writing new Ada applications as well as porting existing Ada code. Seamless interoperability between Ada and the Java programming language along with the use of the Java API (Application Programming Interface) from Ada will be discussed in depth. The tutorial will also show how native code written in Ada can use the Java API directly without the need to port the Ada code to the Java virtual machine. The tutorial will contain down-to-earth examples to help participants acquire a concrete grasp of the concepts presented. Biography --------- Emmanuel Briot is a software engineer at ACT-Europe. He recently got his diploma from the ENST Bretagne in Brest, France, and started working in the Ada Wonderland at Ada Core Technologies in New York. One of his contributions to the GNAT Technology is in the cross- referencing tools distributed with the compiler. He is currently working on the GNAT compiler targeted to the Java Virtual Machine. 6.- Invited Talks ================= Invited Talk 1: Architecture Issues in Large Real-Time Ada Systems --------------- Doug Locke, Lockheed Martin Corporation Invited Talk 2: The Evolving Architecture of GNAT --------------- Edmond Schonberg, New York University & ACT Invited Talk 3: Safety-Critical Systems --------------- To be confirmed 7.- Technical Sessions ====================== Ravenscar and High Integrity Systems ------------------------------------ A Formal Model of the Ada Ravenscar Tasking Profile; Protected Objects by Kristina Lundqvist, Lars Asplund, and Stephen Michell An Ada Runtime System Implementation of the Ravenscar Profile for High Speed Application-Layer Data Switch by Mike Kamrad, and Barry Spinney Re-engineering a safety-critical application using SPARK 95 and GNORT by Roderick Chapman, and Robert Dewar An Ada95 Solution for Certification of Embedded Safety Critical Applications by Jacob Frost et al. Software Architectures and Design --------------------------------- Architectural Meta-Technologies: How Do We Define the Contents of an Architecture? by David Emery Mapping Object-Oriented Designs to Ada by Alfred Strohmeier Efficient and Extensible Multithreaded Remote Servers by Ricardo Jimenez-Peris, M. Patiño-Martinez, F. J. Ballesteros, and S. Arevalo Testing ------- Report on the VERA experiment by Bruno Hemeury, and Ceri Rees Acceptance Testing of Object Oriented Systems by Jose Luis Fernandez Formal Methods -------------- Environment for the Development and Specification of Real-Time Ada Programs by Apolinar Gonzalez, and Alfons Crespo Interprocedural Symbolic Evaluation of Ada Programs with Aliases by J. Blieberger, B. Burgstaller, and B. Scholz Automatic Verification of Concurrent Ada Programs by Eric Bruneton, and Jean-Francois Pradat-Peyre Translating Time Petri Net Structures into Ada 95 Statements by F.J. Garcia, and J.L. Villarroel Education --------- Railway Scale Model Simulator by Pierre Breguet, and Luigi Zaffalon Ada 95 as a Foundation Language in Computer Engineering Education in Ukraine by Alexandr V. Korochkin Distributed Systems ------------------- yaRTI, an Ada 95 HLA Run-Time Infrastructure by Dominique Canazzi An Ada95 Implementation of a Network Coordination Language with Code Mobility by Emilio Tuosto CORBA & DSA: Divorce or Marriage? by Laurent Pautet, Thomas Quinot and Samuel Tardieu GNAT-Drago: A Smooth Integration by J.Miranda, F.Guerra, J.Martin, and A.Gonzalez Controlled Types for Fossil Collection in a Distributed Simulation System by Helge Hagenauer An Application (Layer 7) Routing Switch with Ada95 Software by Mike Kamrad Ada Binding to Shared Object Middleware by Johann Blieberger, Johann Klasek, and Eva Kühn, Real-Time Scheduling and Kernels -------------------------------- The Ceiling Protocol in Multi-Moded Real-Time Systems by Jorge Real, and Andy Wellings A 'Bare-Machine' Implementation of Ada Multi-Tasking Beneath the Linux Kernel by Hongfeng Shen, and T.P. Baker Implementing a New Low level Tasking Support for the GNAT Runtime System by Jose Francisco Ruiz-Martinez, and Jesus M. Gonzalez-Barahona Tools ----- MetaScribe, an Ada-based Tool for the Construction of Transformation Engines by Fabrice Kordon An Adaptation of our Ada95/O2 Binding to Provide Persistence to the Java Language: Sharing And Handling of Data between Heterogeneous Applications using Persistence by Thierry Millan, Myriam Lamolle, and Frederic Mulatero Browsing a Component Library using Non-Functional Information by Xavier Franch, Josep Pinyol, and Joan Vancells Special Session: Hardware & Software Codesign --------------------------------------------- HW/SW Co-design of Embedded Systems by William Fornaciari, and Donatella Sciuto Hardware/Software Embedded System Specification and Design using Ada and VHDL by Adrian Lopez, Maite Veiga, and Eugenio Villar System on Chip Specification and Design Languages Standardization by J. Mermet Fault Tolerance --------------- An Incremental Recovery Cache Supporting Software Fault Tolerance by Patrick Rogers, and Andy Wellings Shared Recoverable Objects by Jorg Kienzle, and Alfred Strohmeier Fault Tolerance by Transparent Replication for Distributed Ada 95 by Thomas Wolf, and Alfred Strohmeier Case Studies ------------ A Case Study on the Reuse of On-board Embedded Real-Time Software by Tullio Vardanega, and Gert Caspersen Development of Flight Control Software in Ada: Architecture and Design Issues and Approaches by Alfred Rosskopf Core Application Software for the Columbus Orbital Facility Development and Testing by M.G. Conti, and Nico Maradei 8.- Organisation and Programme Committees ========================================= Conference Chair ---------------- Michael Gonzalez Harbour Programme Co-Chairs ------------------- Michael Gonzalez Harbour Dpto. de Electronica y Computadores Universidad de Cantabria Avda. de los Castros s/n E-39005, Santander, Spain firstname.lastname@example.org Juan A. de la Puente Dpto. Ing de Sistemas Telematicos ETSI Telecomunicacion Ciudad Universitaria E-28040 Madrid, Spain email@example.com Tutorial Chair -------------- Angel Alvarez Dpto. Ing de Sistemas Telematicos ETSI Telecomunicacion Ciudad Universitaria E-28040 Madrid, Spain firstname.lastname@example.org Exhibition Chair ---------------- Alejandro Alonso Dpto. Ing de Sistemas Telematicos ETSI Telecomunicacian Ciudad Universitaria E-28040 Madrid, Spain email@example.com Publicity Chair --------------- J. Javier Gutierrez Garcia firstname.lastname@example.org Programme Committee ------------------- Angel Alvarez, Technical University of Madrid Lars Asplund, Uppsala University Paul A. Bailes, The University of Queensland Ted Baker, Florida State University Brad Balfour, Objective Interface Stephane Barbey, Swiss Federal Institute of Technology, Lausanne John Barnes, JBI Johann Blieberger, Technical University Vienna Jim Briggs, University of Portsmouth, UK Benjamin Brosgol, Aonix Jorgen Bundgaard, DDC-I Alan Burns, University of York Dirk Craeynest, OFFIS nv/sa, Belgium Alfons Crespo, Universidad Politecnica de Valencia Peter Dencker, Chairman of Ada-Deutschland Jesus Gonzalez-Barahona, Universidad Carlos III de Madrid Michael Gonzalez Harbour, Universidad de Cantabria Mike Kamrad, BlazeNet Jan Van Katwijk, Delft University of Technology Hubert B. Keller, Forschungszentrum Karlsruhe Yvon Kermarrec, ENST de Bretagne Fabrice Kordon, Universite P. & M. Curie Albert Llamosi, Universitat de les Illes Balears Franco Mazzanti, Istituto di Elaborazione della Informazione, CNR John McCormick, University of Northern Iowa Paolo Panaroni, Intecs Sistemi S.p.A. Laurent Pautet, ENST Paris Juan A. de la Puente, Universidad Politecnica de Madrid Erhard Plodereder, University of Stuttgart, Germany Jean-Pierre Rosen, ADALOG Sergey Rybin, Moscow State University & ACT Edmond Schonberg, New York University & ACT Andreas Schwald Martin J. Stift, Universitat Wien Alfred Strohmeier, Swiss Federal Institute of Technology, Lausanne Theodor Tempelmeier, Rosenheim Stef Van Vlierberghe, OFFIS N.V./S.A. Tullio Vardanega, European Space Agency Andy Wellings, University of York
Date: Tue, 10 Nov 1998 16:09:20 +0100 From: Michael Gonzalez <email@example.com> Organization: Universidad de Cantabria Subject: Intl. Conference on Reliable Software Technologies International Conference on Reliable Software Technologies ========================================================== Ada-Europe'99 Santander, Spain New paper and extended abstract submission form =============================================== The paper and extended abstract submission deadline for the International Conference on Reliable Software Technologies, on November 20th 1998, is approaching fast. To ease the process of paper submission and revision, we have set up a Web server using the Start Conference Manager Toolset developed by Rich Gerber and Jeff Hollingsworth. If you intend to submit a paper or an extended abstract to the International Conference on Reliable Software Technologies (Ada-Europe'99), and it is in postscript, PDF or ASCII format, you may submit it by using the Web page at: http://ctrpc17.ctr.unican.es/submit.html This is the preferred submission procedure. However, if you don't have access to the internet, or you don't have an appropriate web browser, you may send your extended abstract or paper by e-mail to one of the Programme Co-Chairs: Michael Gonzalez (firstname.lastname@example.org) or Juan A. de la Puente (email@example.com). E-mail should also be used if your paper is in HTML format. If electronic submission is not available, please send five paper copies to one of the Program Co-Chairs. For more information see the conference web page at: http://www.ada-europe.org/conference99.htm Thank you very much. Sincerely, Michael Gonzalez Harbour Programme Co-Chair
Date: Wed, 29 Jul 1998 14:03:55 +0200 From: Michael Gonzalez <firstname.lastname@example.org> Organization: Universidad de Cantabria Subject: Call for papers, Ada-Europe'99 [ 293 lines deleted; see updated version above -- dc ]
Information on the Ada-Europe'99 Conference is now available at http://www.ada-europe.org/conference99.html.
Uppsala, June 9, 1998
The Ada-Europe'99 Conference will be held in Santander, Spain, June 7 - 11, 1999.
Brussels, March 4, 1997
To the Ada-Belgium home page.
Last update: 1999/06/05.