See veebileht kasutab küpsiseid kasutaja sessiooni andmete hoidmiseks. Veebilehe kasutamisega nõustute ETISe kasutustingimustega. Loe rohkem
Olen nõus

Tõnu Näks

https://www.etis.ee/CV/Tõnu_Näks/est
28.12.1971
53888603
tonu.naks@ttu.ee

Teenistuskäik

Töökohad ja ametid
· 1992 – 1995 AS Kreebet, tarkvarainsener (majandusarvestussüsteemid)
· 1990 – 1992 AS Veso, programmeerija (juhtimis- ja kaugvalvesüsteemide tarkvara projekteerimine ning realiseerimine
2005–31.12.2016   
Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Reaalajasüsteemide õppetool, Teadur (0,25)
2005–31.07.2017   
Eesti Infotehnoloogia Kolledž, (lepinguline) (0,10)
1997–31.08.2018   
IB Krates OÜ, arendusjuht (0,70)
1997–2005   
Tallinna Tehnikaülikool, Teadur (0,10)
1994–1997   
Tallinna Tehnikaülikool, projektijuht (ajakriitiliste süsteemide s.h. juhtimissüsteemide analüüsi keskkonna LIMITS arendus) (1,00)
 
 
Haridustee
1996–1998   
Tallinna Tehnikaülikool, tehnikateaduste magister
1990–1996   
Tallinna Tehnikaülikool, inseneridiplom
 
 
Teadusorganisatsiooniline ja -administratiivne tegevus
2004−...   
TTÜ Automaatikainstituudi nõukogu liige
 
 
Lisainfo
Ülesanded TTÜ's lisaks uurimistööle:
- õppetöö läbiviimine kursustel ISP0011/I239 Reaalaaja-tarkvaratehnika (koos Raul Savimaaga) ja ITI8520 koos Andres Toomiga
- bakalaureuse ja magistritööde juhendamine
- Osalemine Arvutiteaduse ja Mehhatroonikainstituudi magistri- ning bakalaureusetööde kaitsmiskomisjonides

Valimisperioodi 2014-2018 peamised saavutused:
- 4 teadusartiklit, kaasautor ühes raamatupeatükis
- juhendatud 1 magistritöö, 3 bakalaureusetööd. 2 magistritööd juhendamisel, kaitstakse 2013
- uurimistöö mudeliteisenduste, tarkvaraarendusprotsesside ja süsteemide kvalifitseerimise valdkonnas

Kvalifikatsioon

Teaduskraadid
Tõnu Näks, magistrikraad (teaduskraad), 1998, (juh) Leo Mõtus, Object-oriented modellinng of hard real-time systems, Tallinna Tehnikaülikool.
Tõnu Näks, doktorant, (juh) Leo Mõtus, Timing Specification and Analysis in Model-based Softwere Engineering, Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut.
 
 
Teadustöö põhisuunad
ETIS KLASSIFIKAATOR: 4. Loodusteadused ja tehnika; 4.7. Info- ja kommunikatsioonitehnoloogia; TÄPSUSTUS: Reaalaja-tarkvaratehnika, ajakriitiliste süsteemide modelleerimine ja analüüs
 
 
Lisainfo
tehnikateaduste magister
Tallinna Tehnikakülikool, 1998

Juhendamisel väitekirjad

Juhendatud väitekirjad

Publikatsioonid

Klass
Aasta
Publikatsioon
 
3.4.
2012
Bordin, Matteo; Naks, Tonu; Toom, Andres; Pantel, Marc (2012). Compilation of heterogeneous models: motivations and challenges. ERTS2 2012 : Embedded Real Time Software and Systems, [1st - 3rd February 2012, Toulouse, France]. Toulouse: AAAF; SEE, [1−10 ].
5.2.
2012
Bordin, Matteo; Naks, Tonu; Toom, Andres; Pantel, Marc (2012). Compilation of heterogeneous models: motivations and challenges. 6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012 / Touluse, France, Book of Abstracts. Toulouse: AAAF; SEE, 147.
1.3.
2010
Toom, A.; Izerrouken, N.; Naks, T.; Pantel, M.; Ssi Yan Kai, O. (2010). Towards reliable code generation with an open tool: evolutions of the Gene-Auto toolset. Ingénieurs de l'Automobile, 807, 29−35.
3.1.
2010
Arnaiz, A.; Iung, B.; Adgar, A.; Naks, T.; Tohver, A.; Tommingas, T.; Levrat, E. (2010). Information and Communication Technologies Within E-maintenance. In: K. Holmberg, A. Adgar, A. Arnaiz, E. Jantunen, J. Mascolo and S. Mekid (Ed.). E-MAINTENANCE (39−60).. Springer-Verlag London Ltd.10.1007/978-1-84996-205-6_3.
3.4.
2010
Toom, A.; Izerrouken, N.; Naks, T.; Pantel, M.; Ssi Yan Kai, O. (2010). Towards reliable code generation with an open tool: evolutions of the Gene-Auto toolset. 5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems, 19-21 May 2010, Toulouse, France. Toulouse: SIA, 1−10.
3.4.
2008
Toom, A.; Naks, T.; Pantel, M.; Gandriau, M.; Wati, I. (2008). Gene-Auto: an Automatic Code Generator for a safe subset of Simulink/Stateflow and Scicos. 4th International Congress ERTS 2008 : Embedded Real Time Software, 29-30-31 January and 1st February 2008, Toulouse, France, proceedings. Suresnes, France: SIA, 1−10.
3.5.
2008
Toom, Andres; Naks, Tonu (2008). Model transformations in the Gene-Auto Automatic Code Generator. Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26.aprill 2008, Voore külalistemaja. Tallinn: Tallinna Tehnikaülikool, 126−129.
5.2.
2008
Toom, A.; Naks, T.; Pantel, M.; Gandriau, M.; Wati, I. (2008). Gene-Auto: an Automatic Code Generator for a safe subset of Simulink/Stateflow. 4th International Congress ERTS 2008 : Embedded Real Time Software, 29-30-31 January and 1st February 2008, Toulouse, France : Final Programme and Book of Abstracts. Toulouse: SIA, 101.
3.5.
2007
Näks, T. (2007). Software infrastructure models for automatic code generation. Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik: Info- ja kommunikatsioonitehnoloogia doktorikooli teine aastakonverents, Viinistu, 11-12.05.07. Tallinn : Tallinna Tehnikaülikooli Kirjastus, 88−90.
6.6.
2007
Näks, T. (2007). Koodigeneraatorid programmeerija tööpõllul. Arvutimaailm, 8, 70−72.
1.1.
2001
Naks, T.; Motus, L. (2001). Handling timing in a time-critical reasoning system – a case study. Annual Reviews in Control, 25, 157−168. DOI: 10.1016/S1367-5788(01)00015-3.
3.2.
2001
Mõtus L., Näks T. (2001). Time models as used in Q-model and suggested for RT UML. In: Proc. 5th World Multi-Conference on Systemics, Cybernetics, and Informatics (467−472).. Orlando, Florida, USA: IISS.
3.1.
2000
Mõtus, Leo; Näks, Tõnu (2000). Real-time behaviour verification, animation and monitoring starting from DCCS specification. In: Distributed Computer Control Systems 2000 (85−92). Elsevier Sci.
3.1.
1999
Mõtus, Leo; Naks, T. (1999). Handling timing in a time-critical reasoning system - a case study. In: Proc. IFAC Symposium on Artificial Intelligence in Real-time Control (1−11). Elsevier Sci.
1.1.
1998
Motus, L.; Naks, T (1998). Formal timing analysis of OMT designs using LIMITS. Computer Systems Science and Engineering, 13 (3), 161−170.
3.4.
1998
Naks, T.; Holt, J. D.; Motus, M. (1998). Timing Analysis in Object-oriented System Life-cycles. In: Proc. IEEE International Symposium on Object-oriented Real-time Distributed Computing (327−334).. IEEE Computer Society.
3.1.
1997
Mõtus, L., Näks, T. (1997). Formal Timing Analysis of OMT designs using LIMITS. In: Proc. IEEE3rd International Workshop on Object-oriented Real-time Dependable Systems (137−144).. IEEE Computer Society Press.
3.1.
1995
"Mõtus, Leo;Kinksaar, Riho;Näks, Tõnu;Pall, Martin" (1995). Enhancing object modelling technique with timing analysis capabilities. First IEEE International Conference on Engineering Complex Computer Systems : Ft. Lauderdale, Florida, USA, November 6-10, 1995. Los Alamitos: IEEE Computer Society Press, 298−301.
3.4.
1995
Näks, Tõnu (1995). Design of real-time systems using timed object modelling. Kaunas University of Technology, 43−47.
6.08.2019

Tõnu Näks

https://www.etis.ee/CV/Tõnu_Näks/eng
28.12.1971
53888603
tonu.naks@ttu.ee

Career

Institutions and positions
2005–31.12.2016   
Tallinn University of Technology , School of Information Technologies, Department of Computer Control, Chair of Real Time Systems, Researcher (0,25)
2005–31.07.2017   
The Estonian Information Technology College, (external) (0,10)
1997–31.08.2018   
IB Krates, R&D Manager (0,70)
1997–2005   
Tallinn University of Technology , Researcher (0,10)
1994–1997   
Tallinn University of Technology , project manager (development of CASE tool LIMITS) (1,00)
 
 
Education
1996–1998   
Tallinn University of Technology, master of science
1990–1996   
Tallinn University of Technology, diploma in engineering
 
 
R&D related managerial and administrative work
2004−...   
Member of board, Institute of Automation, Tallinn University of Technology
 
 
Additional information
Ülesanded TTÜ's lisaks uurimistööle:
- õppetöö läbiviimine kursustel ISP0011/I239 Reaalaaja-tarkvaratehnika (koos Raul Savimaaga) ja ITI8520 koos Andres Toomiga
- bakalaureuse ja magistritööde juhendamine
- Osalemine Arvutiteaduse ja Mehhatroonikainstituudi magistri- ning bakalaureusetööde kaitsmiskomisjonides

Valimisperioodi 2014-2018 peamised saavutused:
- 4 teadusartiklit, kaasautor ühes raamatupeatükis
- juhendatud 1 magistritöö, 3 bakalaureusetööd. 2 magistritööd juhendamisel, kaitstakse 2013
- uurimistöö mudeliteisenduste, tarkvaraarendusprotsesside ja süsteemide kvalifitseerimise valdkonnas

Qualifications

Academic degrees
Tõnu Näks, Research Master's Degree, 1998, (sup) Leo Mõtus, Object-oriented modellinng of hard real-time systems, Tallinn University of Technology.
Tõnu Näks, Phd student, (sup) Leo Mõtus, Timing Specification and Analysis in Model-based Softwere Engineering, Tallinn University of Technology School of Information Technologies, Department of Computer Control.
 
 
Fields of research
ETIS CLASSIFICATION: 4. Natural Sciences and Engineering; 4.7. Telecommunications
 
 
Additional information
master of science Tallinn Technical University, 1998

Dissertations under supervision

Supervised dissertations

Publications

Category
Year
Publication
 
3.4.
2012
Bordin, Matteo; Naks, Tonu; Toom, Andres; Pantel, Marc (2012). Compilation of heterogeneous models: motivations and challenges. ERTS2 2012 : Embedded Real Time Software and Systems, [1st - 3rd February 2012, Toulouse, France]. Toulouse: AAAF; SEE, [1−10 ].
5.2.
2012
Bordin, Matteo; Naks, Tonu; Toom, Andres; Pantel, Marc (2012). Compilation of heterogeneous models: motivations and challenges. 6th European Congress ERTS2 2012 : Embedded Real Time Software and Systems : 1-3 February 2012 / Touluse, France, Book of Abstracts. Toulouse: AAAF; SEE, 147.
1.3.
2010
Toom, A.; Izerrouken, N.; Naks, T.; Pantel, M.; Ssi Yan Kai, O. (2010). Towards reliable code generation with an open tool: evolutions of the Gene-Auto toolset. Ingénieurs de l'Automobile, 807, 29−35.
3.1.
2010
Arnaiz, A.; Iung, B.; Adgar, A.; Naks, T.; Tohver, A.; Tommingas, T.; Levrat, E. (2010). Information and Communication Technologies Within E-maintenance. In: K. Holmberg, A. Adgar, A. Arnaiz, E. Jantunen, J. Mascolo and S. Mekid (Ed.). E-MAINTENANCE (39−60).. Springer-Verlag London Ltd.10.1007/978-1-84996-205-6_3.
3.4.
2010
Toom, A.; Izerrouken, N.; Naks, T.; Pantel, M.; Ssi Yan Kai, O. (2010). Towards reliable code generation with an open tool: evolutions of the Gene-Auto toolset. 5th International Congress and exhibition ERTS2 2010 : Embedded Real Time Software and Systems, 19-21 May 2010, Toulouse, France. Toulouse: SIA, 1−10.
3.4.
2008
Toom, A.; Naks, T.; Pantel, M.; Gandriau, M.; Wati, I. (2008). Gene-Auto: an Automatic Code Generator for a safe subset of Simulink/Stateflow and Scicos. 4th International Congress ERTS 2008 : Embedded Real Time Software, 29-30-31 January and 1st February 2008, Toulouse, France, proceedings. Suresnes, France: SIA, 1−10.
3.5.
2008
Toom, Andres; Naks, Tonu (2008). Model transformations in the Gene-Auto Automatic Code Generator. Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK kolmanda aastakonverentsi artiklite kogumik : 25.-26.aprill 2008, Voore külalistemaja. Tallinn: Tallinna Tehnikaülikool, 126−129.
5.2.
2008
Toom, A.; Naks, T.; Pantel, M.; Gandriau, M.; Wati, I. (2008). Gene-Auto: an Automatic Code Generator for a safe subset of Simulink/Stateflow. 4th International Congress ERTS 2008 : Embedded Real Time Software, 29-30-31 January and 1st February 2008, Toulouse, France : Final Programme and Book of Abstracts. Toulouse: SIA, 101.
3.5.
2007
Näks, T. (2007). Software infrastructure models for automatic code generation. Info- ja kommunikatsioonitehnoloogia doktorikooli IKTDK teise aastakonverentsi artiklite kogumik: Info- ja kommunikatsioonitehnoloogia doktorikooli teine aastakonverents, Viinistu, 11-12.05.07. Tallinn : Tallinna Tehnikaülikooli Kirjastus, 88−90.
6.6.
2007
Näks, T. (2007). Koodigeneraatorid programmeerija tööpõllul. Arvutimaailm, 8, 70−72.
1.1.
2001
Naks, T.; Motus, L. (2001). Handling timing in a time-critical reasoning system – a case study. Annual Reviews in Control, 25, 157−168. DOI: 10.1016/S1367-5788(01)00015-3.
3.2.
2001
Mõtus L., Näks T. (2001). Time models as used in Q-model and suggested for RT UML. In: Proc. 5th World Multi-Conference on Systemics, Cybernetics, and Informatics (467−472).. Orlando, Florida, USA: IISS.
3.1.
2000
Mõtus, Leo; Näks, Tõnu (2000). Real-time behaviour verification, animation and monitoring starting from DCCS specification. In: Distributed Computer Control Systems 2000 (85−92). Elsevier Sci.
3.1.
1999
Mõtus, Leo; Naks, T. (1999). Handling timing in a time-critical reasoning system - a case study. In: Proc. IFAC Symposium on Artificial Intelligence in Real-time Control (1−11). Elsevier Sci.
1.1.
1998
Motus, L.; Naks, T (1998). Formal timing analysis of OMT designs using LIMITS. Computer Systems Science and Engineering, 13 (3), 161−170.
3.4.
1998
Naks, T.; Holt, J. D.; Motus, M. (1998). Timing Analysis in Object-oriented System Life-cycles. In: Proc. IEEE International Symposium on Object-oriented Real-time Distributed Computing (327−334).. IEEE Computer Society.
3.1.
1997
Mõtus, L., Näks, T. (1997). Formal Timing Analysis of OMT designs using LIMITS. In: Proc. IEEE3rd International Workshop on Object-oriented Real-time Dependable Systems (137−144).. IEEE Computer Society Press.
3.1.
1995
"Mõtus, Leo;Kinksaar, Riho;Näks, Tõnu;Pall, Martin" (1995). Enhancing object modelling technique with timing analysis capabilities. First IEEE International Conference on Engineering Complex Computer Systems : Ft. Lauderdale, Florida, USA, November 6-10, 1995. Los Alamitos: IEEE Computer Society Press, 298−301.
3.4.
1995
Näks, Tõnu (1995). Design of real-time systems using timed object modelling. Kaunas University of Technology, 43−47.
6.08.2019

Otsi projekti

  • {{item.Name}}
Asutus on projekti finantseerija   Asutus on projekti teostaja  
  • {{searchListItem.Name}}
Kõik   Tavaprojektid   Ülemprojektid   Alamprojektid  
Uus Frascati (2015)
Uus ja vana Frascati (otsing uue järgi väljastab ka seotud vanad)
Kõik
Käimasolevad
Lõppenud
Algus
Hajus
Täpne
Lihtotsing Tühjenda
  • Leitud 10 kirjet
ProgrammLiikNumberNimiProjekti algusProjekti lõppVastutav täitjaAsutusFinantseerijapoolne rahastamine
SFSF0142509s03Arukad komponendid ja nende ühendamise probleemid01.01.200331.12.2007Leo MõtusTallinna Tehnikaülikool, Infotehnoloogia teaduskond459 141,28 EUR
MUUIP 017 498DYNAMITE: Dynamic Decisions in Maintenance01.09.200528.02.2009Toomas Tommingas; Tõnu NäksIB Krates OÜ44 605,00 EUR
MUUEU23690Gene-Auto, Automaatne koodigeneraator sardsüsteemidele05.09.200630.06.2008Tõnu Näks; Andres ToomIB Krates OÜ190 254,00 EUR
MUUF7007Gene-Auto, Automaatne koodigeneraator sardsüsteemidele30.01.200701.09.2008Leo MõtusTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Reaalajasüsteemide õppetool150 909,33 EUR
MUUBF38Gene-Auto, Automaatne koodigeneraator sardsüsteemidele02.01.200631.12.2008Leo MõtusTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Reaalajasüsteemide õppetool26 816,18 EUR
MUUEU40149Hi-MoCo: Mudelikompilaator ohutuskriitilistele süsteemidele25.04.201131.03.2014Tõnu Näks; Andres ToomIB Krates OÜ179 536,00 EUR
MUU031473POSSEIDON: Progressive Oil Sensor System for Extended IDentification ON-line01.01.200730.06.2010Toomas TommingasIB Krates OÜ33 250,00 EUR
SFSF0140113As08Proaktiivsus ja situatsiooniteadlikkus01.01.200831.12.2013Leo MõtusTallinna Tehnikaülikool, Infotehnoloogia teaduskond885 436,94 EUR
MUUT237 (0140237s98)Süsteemide analüüs, modelleerimine ja juhtimine01.01.199831.12.2002Ennu RüsternTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Reaalajasüsteemide õppetool231 040,61 EUR
MUUG4285 (ETF4285)Tarkvaratehnika tööriistad reaalajasüsteemide projekteerimiseks ja verifitseerimiseks01.01.200031.12.2002Tõnu NäksTallinna Tehnikaülikool; Tallinna Tehnikaülikool, Infotehnoloogia teaduskond, Automaatikainstituut, Reaalajasüsteemide õppetool11 056,72 EUR