By Axel van Lamsweerde (auth.), Dirk Craeynest, Alfred Strohmeier (eds.)
The 6th overseas convention on trustworthy software program applied sciences, Ada- Europe 2001, happened in Leuven, Belgium, might 14-18, 2001. It used to be subsidized through Ada-Europe, the ecu federation of nationwide Ada societies, in cooperation with ACM SIGAda, and it used to be equipped by way of individuals of the K.U. Leuven and Ada- Belgium. This used to be the twenty first consecutive yr of Ada-Europe meetings and the 6th 12 months of the convention concentrating on the world of trustworthy software program applied sciences. using software program elements in embedded platforms is nearly ubiquitous: planes fly through twine, educate signalling structures are actually computing device dependent, cellphones are electronic units, and organic, chemical, and production vegetation are managed by way of software program, to call just a couple of examples. additionally different, non-embedded, mission-critical platforms count progressively more upon software program. For those items and techniques, reliability is a key luck issue, and sometimes a safety-critical tough requirement. it really is renowned and has usually been skilled that caliber can't be further to software program as an insignificant afterthought. This additionally holds for reliability. furthermore, the reliability of a procedure isn't really because of and can't be equipped upon a unmarried know-how. quite a lot of techniques is required, the main tough factor being their practical integration. ambitions of reliability has to be accurately outlined and incorporated within the standards, the advance strategy needs to be managed to accomplish those pursuits, and sound improvement tools has to be used to meet those non-functional requirements.