
Preface
The information in this document is believed to be complete and accurate when the document
is issued. However, Tidorum Ltd. reserves the right to make future changes in the technical
specifications of the product Bound-T described here. For the most recent version of this
document, please refer to the web-site http://www.bound-t.com/.
If you have comments or questions on this document or the product, they are welcome via
electronic
mail
to
the
address
[email protected]i,
or
via
telephone
or
ordinary
mail
to
the ad
dress
given below.
Please note that our office is located in the time-zone GMT + 2 hours, and office hours are
9:00 - 16:00 local time. In summer "daylight savings time" makes the local time equal GMT +
3 hours.
Cordially,
Tidorum Ltd.
Telephone: +358 (0) 40 563 9186
Fax: +358 (0) 42 563 9186
Web: http://www.tidorum.fi/
Mail: Tiirasaarentie 32
FI-00200 Helsinki
Finland
Credits
The Bound-T tool was first developed by Space Systems Finland Ltd. (http://www.ssf.fi) with
support from the European Space Agency (ESA/ESTEC). Free software has played an
important role; we are grateful to Ada Core Technology for the Gnat compiler, to William Pugh
and his group at the University of Maryland for the Omega system, to Michel Berkelaar for the
lp-solve program, to Mats Weber and EPFL-DI-LGL for Ada component libraries, and to Ted
Dennison for the OpenToken package. Call-graphs and flow-graphs from Bound-T are displayed
with the dot tool from AT&T Bell Laboratories.
Major parts of the H8/300 version of Bound-T were implemented by Samuel Petersson as part
of his M.Sc. thesis at Mälardalen University, Sweden, with the support of the Advanced
Software Technology Center (ASTEC) in Uppsala, Sweden (www.astec.uu.se) and of Vinnova,
the Swedish Agency for Innovation Systems (www.winnova.se). Andreas Ermedahl supervised
this thesis.
iii
Comentários a estes Manuais