Reliable Software Technologies Ada-Europe 2000: 5th Ada-Europe International Conference Potsdam, Germany, June 26-30, 2000, ProceedingsHubert B. Keller, Hubertus B. Keller, Erhard Plödereder, Ada-Europe International Conference on Reliable Software Technologies Springer Science & Business Media |
Contents
Invited Presentations | 1 |
An Open Ravenscar RealTime Kernel for GNAT | 7 |
RealTime and SafetyCritical Systems | 16 |
Is an Ada Lint Necessary? Björn Källberg | 29 |
Tools | 41 |
Static WorstCase Execution Time Analysis of Synchronous Programs | 56 |
A Supporting Tool for Development of SelfMeasurement Ada Programs | 69 |
Yusuke Nonaka Jingde Cheng and Kazuo Ushijima | 82 |
Hovater William Marksteiner and Allen Butturini | 149 |
Risk and Reliability Management | 161 |
Constructing Reliable Embedded Systems Using the Results | 173 |
161 | 184 |
MTS Integrating UML HOOD Ada in a Full Ada Operational | 211 |
Formal Analysis Methods | 225 |
Johann Blieberger Bernd Burgstaller and Bernhard Scholz | 238 |
True Polymorphism in SPARK2000 | 252 |
Jörg Kienzle and Alexander Romanovsky | 88 |
Reengineering the Booch Component Library | 96 |
Design and Implementation of a High Level Binding in | 113 |
Emmanuel Briot Joël Brobecker and Arnaud Charlet | 124 |
Sergey Rybin Alfred Strohmeier Vasiliy Fofanov and Alexei Kuchumov | 138 |
Testing | 266 |
Results of an Investigation into Software Integration Testing Automation | 280 |
On the Minimal Essential Subsets and Minimal Representative Sets | 291 |
Other editions - View all
Common terms and phrases
abstract Ada compiler Ada language Ada programs Ada-Europe AdaJNI allows analysis Aonix application approach array ASIS-for-GNAT behavior boolean checking class’Class component concurrent systems contains created deadlock Deallocate declared defined design patterns elements end record entry errors ES(S essential subset ESTEREL event example exception exception handling exception object failures finite state machine formal model framework function GNAT graph Gtk+ GtkAda H. B. Keller HAZOP hierarchy input Integration Testing interface Item iterator Java class Java2AdaJNI LNCS method node object-oriented programming package parameter phase Pointclass pointer primitive operations problem procedure programming language protected types queries Ravenscar Ravenscar profile Real-Time record type reliability requirements runtime Seized[id Shortcut SIGAda simulation Springer-Verlag static storage stream structure subprograms synchronization tagged type task test suite Test(r TestMate tool uncertainties Unit Testing values variable WCET widget worst-case execution