1 PROGRAMME and PROJECT MISSION
UNU/IIST views its six major lines of programmatic
activities as one `Programme'.
This Programme is `decomposed' into a number of
individually managed and staffed `Projects':
- Fellow Training
- Off-shore Post-graduate/Post-doctoral Computing Science
Courses
- Joint Computing Science Research with Fellows
- Joint Advanced Software Technology Development with
Fellows
- Events with Fellows
- Dissemination
All projects are designed to serve the public and private sector
institutions of developing countries by increasing self-reliance in
the following three areas:
- [(I)] own development, by industry, of advanced software
technology
- [(II)]highest-level post-graduate software engineering
education
- [(III)] internationalized computing science research
UNU/IIST's emphasis is on research into, advanced development of and
training in methods for the development of Real-time, Reactive,
Hybrid and Safety Critical Systems and in Software Support for
Infrastructure Systems -- the former a major focal point for international
research and the latter a major concern in the socio-economic
development of developing countries.
Examples of UNU/IIST's Software Support for
Infrastructure Systems projects, with an indication of partners
and sections of further information:
- Railway Computing Systems, Ministry of Railways, China
See section 5.3.1.
- Road Management Systems, University of Indonesia
See section 5.3.2.
- Telecommunications Protocols, ASTI: Advanced Science and
Technology Institute, The Philippines
See section 5.3.3.
- Airline Business and Air Traffic Control
Systems, Vietnam Airlines and, possibly, AeroThai, Thailand
See section 5.3.4.
- Library Monitoring and Control Systems, Macau and UNESCO
See section 5.3.5.
- Manufacturing Industry Information and Command
Infrastructure Interfaces
De La Salle University, The Philippines and UNIDO
See section 5.3.6.
- Tourism Systems, Macau
See section 5.3.7.
- Geographic and Demographic Information Infrastructures,
See section 5.3.8.
- Asian and European Multi-scripts, Mongolian National University
See section 5.3.9.
- Ministry of Finance Systems, Hanoi, Vietnam, The World Bank
See section 5.3.10.
- University Monitoring and Command Systems, Macau and UNESCO
See section 5.3.11.
- The main methodology approach to infrastructure software development
as propagated (taught, researched and practised) by UNU/IIST is that
of using design calculi (i.e. formal methods) and structuring the
development in a number of major stages: domain analysis, requirements
capture and, first then, software architecture and design (i.e.
implementation). UNU/IIST is furthermore unique in focusing
computing science research attention on the socio-economically
important area of infrastructure development.
Publications and reports
[6][11][12][14][39][10]1 elaborate on
UNU/IIST's original contributions in this field of science and
technology.
- The main research area as propagated (taught, researched and practised) by
UNU/IIST is that of Duration Calculi. These are continuous
time, integral, temporal logic calculi which have proven very well
suited to the description and property verification of real-time,
reactive and hybrid systems. UNU/IIST is a world leader in the fields
of Duration Calculi and Hybrid Systems.
Publications and reports [24][23][17][22][18][34][46][36][37][48][20][50][16][45][21] demonstrate
UNU/IIST's original contributions in this field of science.
- In UNU/IIST's Macau-based and off-shore post-graduate and
post-doctoral courses and events, in our daily work with Fellows in Macau
on research and advanced development, and in our dissemination, UNU/IIST is thus exposing an
increasing number of institutions and individuals in and from
developing countries to front-of-the-wave computing science research and advanced
software development technology.
info@iist.unu.edu, March 1996
