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/)
- 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
A Resource-Aware Component Model for Embedded Systems
Publication Type:
Licentiate Thesis
Abstract
Embedded systems are microprocessor-based systems that cover a large range
of computer systems from ultra small computer-based devices to large systems
monitoring and controlling complex processes. The particular constraints that
must be met by embedded systems, such as timeliness, resource-use efficiency,
short time-to-market and low cost, coupled with the increasing complexity of
embedded system software, demand technologies and processes that will tackle
these issues. An attractive approach to manage the software complexity, increase
productivity, reduce time to market and decrease development costs,
lies in the adoption of the component based software engineering (CBSE)
paradigm. The specific characteristics of embedded systems lead to important
design issues that need to be addressed by a component model. Consequently,
a component model for development of embedded systems needs
to systematically address extra-functional system properties. The component
model should support predictable system development and as such guarantee
absence or presence of certain properties. Formal methods can be a suitable
solution to guarantee the correctness and reliability of software systems.
Following the CBSE spirit, in this thesis we introduce the ProCom component
model for development of distributed embedded systems. ProCom is
structured in two layers, in order to support both a high-level view of loosely
coupled subsystems encapsulating complex functionality, and a low-level view
of control loops with restricted functionality. These layers differ from each
other in terms of execution model, communication style, synchronization etc.,
but also in kind of analysis which are suitable. To describe the internal behavior
of a component, in a structured way, in this thesis we propose REsource
Model for Embedded Systems (REMES) that describes both functional and
extra-functional behavior of interacting embedded components. We also formalize
the resource-wise properties of interest and show how to verify whether
the behavioral models satisfy them.
Bibtex
@misc{Vulgarakis Feljan1655,
author = {Aneta Vulgarakis Feljan},
title = {A Resource-Aware Component Model for Embedded Systems},
number = {108},
month = {September},
year = {2009},
url = {http://www.es.mdu.se/publications/1655-}
}