You are required to read and agree to the below before accessing a full-text version of an article in the IDE article repository.

The full-text document you are about to access is subject to national and international copyright laws. In most cases (but not necessarily all) the consequence is that personal use is allowed given that the copyright owner is duly acknowledged and respected. All other use (typically) require an explicit permission (often in writing) by the copyright owner.

For the reports in this repository we specifically note that

  • the use of articles under IEEE copyright is governed by the IEEE copyright policy (available at http://www.ieee.org/web/publications/rights/copyrightpolicy.html)
  • the use of articles under ACM copyright is governed by the ACM copyright policy (available at http://www.acm.org/pubs/copyright_policy/)
    ss
  • technical reports and other articles issued by Mälardalen University is free for personal use. For other use, the explicit consent of the authors is required
  • in other cases, please contact the copyright owner for detailed information

By accepting I agree to acknowledge and respect the rights of the copyright owner of the document I am about to access.

If you are in doubt, feel free to contact webmaster@ide.mdh.se

Software and Hardware Models in Componentbased Development of Embedded Systems

Type:

PhD defense

Start time:

2015-01-27 13:00

End time:

2015-01-13 15:00

Location:

Room Gamma, Mälardalen University, Västerås

Contact person:



Description

As modern embedded systems grow in complexity component-based development is an increasingly attractive approach to make the development of such systems simpler and less error prone. In this approach software systems are built by composing them out of prefabricated software components. One of the challenges for applying component-based development to embedded systems is the tight coupling between the software and the hardware platform. To take full advantage of the componentbased approach in the embedded domain, the development process has to provide support for describing and handling this coupling.

The goal of this thesis is to provide advancements in development of embedded component-based systems by using a combination of software and hardware models. To achieve the overall research goal, three different aspects are investigated: (i) how to provide support for integration of sensors and actuators in component-based development, (ii) how to utilize a combination of software and hardware models in development of distributed systems, and (iii) how to analyze extra-functional system properties using models of both software and hardware. The thesis goal is addressed by following contributions: (i) a component-based model which allows describing sensors and actuators, and how they are connected to the processing nodes and software components, (ii) a method for automatic synthesis of code for communication with sensors and actuators,(iii) a framework for automatic generation of distributed communication in component-based models and (iv) a compositional model-level analysis of timing and processing node utilization for component- based applications. These contributions are evaluated in separation, by applying prototype tools to either example systems, case-studies, or test scenarios.

Advisors:
Ivica Crnkovic Main advisor at Mälardalen University 
Mario Žagar Main advisor at University of Zagreb, Croatia 
Jan Carlson Co-advisor at at Mälardalen University, Sweden

The faculty reviewer:
Martin Törngren Professor Royal Institute of Technology, Stockholm, Sweden

Grading Committee:
Prof. Željka Car, University of Zagreb, Croatia
Dr Roland Weiss, ABB Corporate Research, Germany
Dr Tomáš Bureš, Charles University in Prague, Czech Republic


Luka Lednicki,

Email: luka.lednicki@mdh.se