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 Link