Showing papers by "Tallinn University of Technology published in 1997"
05 Feb 1997
TL;DR: Some reasons of why object-oriented methods cannot be quite aware of timing problems and how the situation could be improved are discussed.
Abstract: It is widely known that object-oriented methodologies, in spite of all their virtues, are pretty awkward in verifying quantitative time correctness of the specification, design and implementation of a developed product. This paper discusses some reasons of why object-oriented methods cannot be quite aware of timing problems and how the situation could be improved. The discussion is illustrated with examples from HRT-HOOD and OMT. The technical contents of the paper is based on a new generation software tool LIMITS, which is designed and built as a co-processor to an OMT tool (EU grant COP-94-1577). Key theoretical and methodological issues of LIMITS insist on introduction of non-functional requirements (timing, safety, reliability, etc.) early in the requirements specification stage, selection of a time model with appropriate complexity to support formal verification of all the timing properties, support to all life-cycle stages and combining formal verification with informal (simulation) study.
10 citations
1 citations
04 Apr 1997
TL;DR: In this article, the thermal performance of prefabricated multistory houses in Tallinn, Estonia, built in the 1960s and 1970s, was investigated based on the results of thermal scanning during 1995 - 1996.
Abstract: The paper deals with how to improve the thermal performance of prefabricated multistory houses in Tallinn, Estonia, built in the 1960s and 1970s based on the results of thermal scanning during 1995 - 1996. The thermal scanning was performed by VTT Building Technology and reported by Helsinki Univ. of Technology. Based on the results of the first tests, some light renovation works were made, and the second tests showed how the repair work had succeeded. The aim of the project was to develop and test less-expensive and easy repair methods for large prefabricated multi-story house areas. The houses have been planned based on uniform design, when the existing problems can be generalized.© (1997) COPYRIGHT SPIE--The International Society for Optical Engineering. Downloading of the abstract is permitted for personal use only.
1 citations