Aneta Vulgarakis    

PhD Thesis: A Resource-Aware Framework for Designing Predictable Component-Based Embedded Systems

 Main advisor: Prof. Ivica Crnkovic
 Co-advisors:   Prof. Paul Pettersson, Dr. Cristina Seceleanu
The opponent:   Prof. Elisabetta di Nitto, Politecnico di Milano, Italy
Grading Committee Prof. Tiziana Margaria-Steffen, Potsdam University, Germany
Dr. Bernhard K. Aichernig, Assistant Professor, TU Graz, Austria
Prof. Jörgen Hansson, Chalmers University, Sweden
Defense

Mälardalen Univeristy, Västerås, Sweden

2012-06-15 14:00

   
Documentation Comment
The Thesis Final Version 2012-05-23
The Thesis Version 1.0 2012-05-07 - The complete version
The Thesis Version 0.9 2012-04-27 - Full draft
The Thesis Version 0.1 2011-12-14 - Preliminary draft
Papers on which the thesis is based on.
  • Resource-Oriented Modeling and Formal Analysis of Embedded Systems Behavior. Marin Orli´c, Aneta Vulgarakis, Cristina Seceleanu, and Paul Pettersson (to be submitted)
  • A Classification Framework for Component Models. Ivica Crnkovic, Severine Sentilles, Aneta Vulgarakis, and Michel Chaudron.,IEEE Transactions on Software Engineering. October, 2011.
  • Validation of Embedded Systems Behavioral Models on a Component-Based Ericsson Nikola Tesla Demonstrator. Aneta Vulgarakis, Cristina Seceleanu, Paul Pettersson, Ivan Skuliber and
    Darko Huljenic. 11th International Conference on Quality Software (QSIC 2011), IEEE, Madrid, Spain, July, 2011.
  • Integrating Behavioral Descriptions into a Component Model for Embedded Systems. Aneta Vulgarakis, Severine Sentilles, Jan Carlson, and Cristina Seceleanu. 36th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2010), IEEE, Lille, France, September, 2010.
  • Remes Tool-chain - A Set of Integrated Tools for Behavioral Modeling and Analysis of Embedded Systems. Dinko Ivanov, Marin Orlic, Cristina Seceleanu and Aneta Vulgarakis. 25th IEEE/ACMInternational Conference on Automated Software Engineering (ASE 2010), Antwerp, Belgium, September, 2010.
  • Formal Semantics of the ProCom Real-Time Component Model. Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, and Paul Pettersson. 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA 2009), IEEE, Patras, Greece, August, 2009.
  • Remes: A Resource Model for Embedded Systems. Cristina Seceleanu, Aneta Vulgarakis, and Paul Pettersson. 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE, Potsdam, Germany, June, 2009.
  • A Component Model for Control-Intensive Distributed Embedded Systems. Severine Sentilles, Aneta Vulgarakis, Tom´as Bures, Jan Carlson, and Ivica Crnkovic. 11th International Symposium on Component Based Software Engineering (CBSE 2008), Karlsruhe, Germany, October 2008.
  • Embedded Systems Resources: Views on Modeling and Analysis. Aneta Vulgarakis and Cristina Seceleanu. 1st IEEE International Workshop On Component-Based Design Of Resource Constrained Systems (CORCS 2008), IEEE, Turku, Finland, July, 2008.

 

 

 

 

Licentiate thesis:   A Resource-Aware Component Model for Embedded Systems 


      Photos

 

      

 Main advisor: Prof. Ivica Crnkovic
 Co-advisors:   Prof. Paul Pettersson, Dr. Cristina Seceleanu
The opponent:    Prof. Tiziana Margaria-Steffen. Potsdam University, Germany
Examiner Prof. Björn Lisper
Defense 2009-09-16 14:15,  MDH, Zeta  (The defense procedure)
   
Documentation Comment
The Thesis - Final Version 2009-09-10
The Theses -Version Draft v2 2009-09-01 - Almost completed version
The Thesis, Version  Draft v1 2009-08-28
Papers
  • Paper A: Ivica Crnkovic, Séverine Sentilles, Aneta Vulgarakis, and Michel Chaudron. A Classification Framework for Component Models. Accepted to IEEE Transactions on Software Engineering (in the process of revision).
  • Paper B: Séverine Sentilles, Aneta Vulgarakis, Tom´aˇs Bureˇs, Jan Carlson, and Ivica Crnkovic. A Component Model for Control-Intensive Distributed Embedded Systems. In Proceedings of the 11th International
    Symposium on Component Based Software Engineering (CBSE), Karlsruhe, Germany, October 2008.
  • Paper C: Aneta Vulgarakis and Cristina Seceleanu. Embedded Systems Resources: Views on Modeling and Analysis. In Proceedings of the 1st IEEE International Workshop On Component-Based Design Of Resource- Constrained Systems (CORCS 2008), IEEE CS, Turku, Finland, July, 2008.
  • Paper D: Cristina Seceleanu, Aneta Vulgarakis, and Paul Pettersson. REMES: A Resource Model for Embedded Systems. In Proceedings of the 14th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2009), IEEE CS, Potsdam, Germany, June, 2009.
  • Paper E: Aneta Vulgarakis, Jagadish Suryadevara, Jan Carlson, Cristina Seceleanu, and Paul Pettersson. Formal Semantics of the ProCom Real-Time Component Model. In Proceedings of the 35th Euromicro Conference on Software Engineering and Advanced Applications (SEAA), Patras, Greece, August, 2009.
Lic  PROPOSAL December 15, 2008
Study Plan  


Related Links

Partner Links