[ sulge aken ]
| Elulookirjeldus (CV) | ||
| 1. | Eesnimi | Tõnu |
| 2. | Perekonnanimi | Näks |
| 3. | Töökoht | Tallinna Tehnikaülikool |
| 4. | Ametikoht | teadur |
| 5. | Sünniaeg | 28.12.1971 (päev.kuu.aasta) |
| 6. | Haridus | tehnikateaduste magister |
| 7. | Teenistuskäik | · Nov. 1997 - …IB Krates OÜ, arendusjuht · 1997 - … Tallinna Tehnikaülikool. teadur (Tarkvaratehnika, ajakriitiliste süsteemide modelleerimine, juhtimissüsteemid) · 1995 – 1997 Tallinna Tehnikaülikool, projektijuht (ajakriitiliste süsteemide s.h. juhtimissüsteemide analüüsi keskkonna LIMITS arendus) · 1992 – 1995 AS Kreebet, tarkvarainsener (majandusarvestussüsteemid) · 1990 – 1992 AS Veso, programmeerija (juhtimis- ja kaugvalvesüsteemide tarkvara projekteerimine ning realiseerimine |
| 8. | Teaduskraad | tehnikateaduste magister |
| 9. | Teaduskraadi välja andnud asutus, aasta |
Tallinna Tehnikakülikool, 1998 |
| 10. | Tunnustused | |
| 11. | Teadusorganisatsiooniline ja –administratiivne tegevus |
|
| 12. | Juhendamisel kaitstud väitekirjad |
|
| 13. | Teadustöö põhisuunad | Reaalaja-tarkvaratehnika, ajakriitiliste süsteemide modelleerimine ja analüüs. |
| 14. | Jooksvad grandid | Arukad komponendid ja nende ühendamise probleemid (0142509s03) |
| 15. | Teaduspublikatsioonid |
L.Motus and T.Naks (2001) “Time models as used in Q-model and suggested for RT UML”, Proc.5th World Multi-conference on Systemics, Cybernetics and Informatics, vol.XI, 467-472 L.Motus and T.Naks (2000) “Real-time behaviour verification, animation and monitoring starting from DCCS specification”, Proc. IFAC Distributed Computer Control Systems, Elsevier Science, 85-92 T.Naks and L.Motus (1999) “Handling timing in a time-critical reasoning system – a case study”, IFAC Proceedings on Artificial Intelligence in Real-time Control, Elsevier Science, 1-11 L.Motus, T.Naks (1998) “Formal timing analysis of OMT designs using LIMITS”, Computer Systems Science and Engineering vol. 13, no.3, 161-170 Naks T, J.D.Holt, L.Motus (1998) “Timing Analysis in Object-oriented System Life-cycles”, Proc. IEEE International Symposium on Object-oriented Real-time Distributed Computing, IEEE Computer Society Press, 327-334 |
viimati muudetud: 28.09.2005
| Curriculum Vitae (CV) | ||
| 1. | First Name | Tõnu |
| 2. | Surname | Näks |
| 3. | Institution | Tallinn University of Technology |
| 4. | Position | researcher |
| 5. | Date of birth | 28.12.1971 (day.month.year) |
| 6. | Education | master of science |
| 7. | Research and professional experience |
· Nov. 1997 - … IB Krates OÜ, R&D Manager · 1997 - … Tallinn University of Technology. researcher (software engineering, modelling of time critical systems, control systems) · 1995 – 1997 Tallinn University of Technology, software manager (development af a CASE tool LIMITS for time-critical systems) · 1992 – 1995 AS Kreebet, software engineer (business accounting systems) · 1990 – 1992 AS Veso, programmer (design and implementation of SCADA software) |
| 8. | Academic degree | master of science |
| 9. | Dates and sites of earning the degrees |
Tallinn Technical University, 1998 |
| 10. | Honours/awards | |
| 11. | Research-administrative experience |
|
| 12. | Supervised dissertations | |
| 13. | Current research program | Real-time software engineering, modelling and analysis of time-critical systems |
| 14. | Current grant funding | Intelligent components and their integration problems (0142509s03) |
| 15. | List of most important publications |
L.Motus and T.Naks (2001) “Time models as used in Q-model and suggested for RT UML”, Proc.5th World Multi-conference on Systemics, Cybernetics and Informatics, vol.XI, 467-472 L.Motus and T.Naks (2000) “Real-time behaviour verification, animation and monitoring starting from DCCS specification”, Proc. IFAC Distributed Computer Control Systems, Elsevier Science, 85-92 T.Naks and L.Motus (1999) “Handling timing in a time-critical reasoning system – a case study”, IFAC Proceedings on Artificial Intelligence in Real-time Control, Elsevier Science, 1-11 L.Motus, T.Naks (1998) “Formal timing analysis of OMT designs using LIMITS”, Computer Systems Science and Engineering vol. 13, no.3, 161-170 Naks T, J.D.Holt, L.Motus (1998) “Timing Analysis in Object-oriented System Life-cycles”, Proc. IEEE International Symposium on Object-oriented Real-time Distributed Computing, IEEE Computer Society Press, 327-334 |
last updated: 28.09.2005
[ sulge aken ]