Reliable Software Technologies - Ada-Europe '98: 1998 Ada-Europe International Conference on Reliable Software Technologies, Uppsala, Sweden, June ... (Lecture Notes in Computer Science, 1411)

This book presents the refereed proceedings of the 1998 Ada-Europe International Conference on Reliable Software Technologies, Ada-Europe'98, held in Uppsala, Sweden, in June 1998. The 23 revised full papers presented together with two invited contributions were carefully selected by the program committee. The papers address all current aspects of the Ada programming language; they are organized in sections on Ada 95 and Java, Ada 95 language and tools, distributed systems, real-time systems, case studies and experiments, software quality, software development, software architectures, and high integrity systems. Front matter Chapter 1 Crystal ball, crystal ball which market will beat them all ? Did someone say embedded ? Trends anyone ? Don't underestimate human creativity Where is the beef ? How big is it ? May the network be with you Good morning, I am your servlet I am on a diet, I am a thin client Survival of the richest ? Windows real-time, are you kidding ? Windows everywhere or Java on anything ? Freedom, freedom at last No free lunch Support and the embedded market Chapter 2 Chapter 3 Chapter 4 Chapter 5 Chapter 6 Chapter 7 Chapter 8 Chapter 9 Chapter 10 Chapter 11 Chapter 12 Chapter 13 Chapter 14 Chapter 15 Chapter 16 SOFTWARE AND SAFETY THE B METHOD Ada Ada and B CONCLUSION Chapter 17 Chapter 18 Chapter 19 Chapter 20 Chapter 21 Introduction Java Tasking Model Mapping GNULL to the JVM Prototyping JVM-GNULL Using Native Methods Chapter 22 Chapter 23 Chapter 24 Chapter 25 Chapter 26 Chapter 27 Chapter 28 Chapter 29 Introduction The Java Model Binding Technology Java Interface Issues The Binding Implementation Results / Analysis / Discussion Summary and Conclusions Acknowledgements Chapter 30 Introduction Previous Work The Mailbox Problem Analysis, Modifications and Extensions Conclusion Acknowledgements Chapter 31 Chapter 32 Annex E: a short overview textsc {GLADE}xspace : an implementation Implementing remote calls Implementing distributed objects Efficiency concerns Configuring the system Work in progress and future work Contact and software availability Chapter 33 Introduction Drago Group Transactions Transactional Drago Implementation of Transactional Drago Conclusions Acknowledgments Chapter 34 Chapter 35 Introduction The Task Model and Assumptions The Task Model in Ada Implementation Conclusions Chapter 36 Chapter 37 Introduction: Ada and scientific computing Spectral synthesis and stellar atmospheres A full Stokes code in Ada Families of line synthesis codes and software reuse Performance issues: the ``abstraction penalty'' Conclusions Chapter 38 Introduction Logical Processes System Structure Implementation Details Conclusion Chapter 39 Chapter 40 Chapter 41 Introduction Principles of Ada Compiler Validation The Development of the Tool Environment CANDY Summary References Chapter 42 Introduction Classification and Matching Systems Our Approach Conclusions and future work Chapter 43 Introduction Evolving Avionics Requirements - Driving Software Solutions Architecture Description Languages as a Means of Building High Reliability Systems Resulting DSA requirements from Avionics/MetaH Final Conclusions Chapter 44 Chapter 45 Introduction The Simple_Com system Taking advantage of Ada in Simple_Com Related work Conclusions and further work Chapter 46 Introduction Symbolic Evaluation of the Simple Example Symbolic Evaluation A Data-Flow Framework for Symbolic Evaluation Solving the Symbolic Evaluation Data-Flow Framework A More Complicated Example Conclusion Chapter 47 Introduction Chemical Factory Information System Safety Engineering View of the Software Documenting the “Long Thin Slice” Refinement of the Source Code Safety Verification Case Summary Acknowledgments References Chapter 48 Introduction The Ravenscar Profile Implementing The Ravenscar Profile Conclusion Chapter 49 Introduction The Problem Ada95 Trustworthiness Study Analysis Guidance Choosing and Enforcing Restrictions Other Work Conclusion Chapter 50 Embedded Opportunities / F. Gasperoni -- Ada+b The Formula For Safety Critical Software Development / P. Chapront -- Porting The Gnat Tasking Runtime System To The Java Virtual Machine / L. Millet, T. Baker -- Automating The Ada Binding Process For Java : How Far Can We Go? / D.e. Emery, R.f. Mathis, K.a. Nyberg -- Synchronizing Multiple Clients And Servers / M. Ben-ari -- How To Avoid The Inheritance Anolmaly In Ada / G. Schumacher, W. Nebel -- Inside The Distributed Systems Annex / L. Pautet, S. Tardieu -- Integrating Groups And Transactions : A Fault-tolerant Extension Of Ada / M. Patiño-martínez, R. Jiménez-peris, S. Arévalo -- Implementing And Using Execution Time Clocks In Ada Hard Real-time Applications / M. Gonzáles Harbour [and Others] -- Programming Hard Real-time Systems With Optional Components In Ada / A. Espinosa [and Others] -- Object Oriented Abstractions For Real-time Distributed Systems / S.a. Moody --^ (astro)physical Supercomputing : Ada95 As A Safe, Object Oriented Alternative / M.j. Stift -- Ada 95 For A Distributed Simulation System / H. Hagenauer, W. Pohlman -- Pinrob : A Portable Api For Industrial Robots / M. Gonzáles Harbour [and Others] --quality-for-asis : A Portable Testing Facility For Asis / A. Strohmeier [and Others] -- Ten Years Of Tool Based Ada Compiler Validations : An Experience Report / M. Tonndorf -- A Two-level Matching Mechanism For Object-oriented Class Libraries / S. Araban, A.s.m. Sajeev -- Modern Avionics Requirements For The Distributed Systems Annex / B. Lewis, S. Vestal, D. Mcconnell -- A Case Study In Quantitative Evaluation Of Real-time Software Architectures / J.l. Fernández [and Others] -- Building Modular Communication Systems In Ada : The Simplec̲om Approach / J.m. González-barahona [and Others] -- Symbolic Reaching Definitions Analysis Of Ada Programs / J. Blieberger, B. Burgstaller -- Looking At Code With Your Safety Goggles On / K. Wong --^ The Ravenscar Tasking Profile For High Integrity Real-time Programs / A. Burns, B. Dobbing, G. Romanski -- Guidance On The Use Of Ada95 In High Integrity Systems / S. Mitchell, M. Saaltink -- Ada In The Jas 39 Gripen Flight Control System / B. Frisberg. Lars Asplund (ed.). Includes Bibliographical References And Index.