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

Introducing a Component Technology for Safety Critical Embedded Real­Time Systems

Fulltext:


Publication Type:

Conference/Workshop Paper

Venue:

International Symposium on Component-based Software Engineering (CBSE7)

Publisher:

Springer Verlag


Abstract

Safety critical embedded real-­time systems represent a class of systems that has attracted relatively little attention in research ad­dressing component based software engineering. Hence, the most widely spread component technologies are not used for resource constrained safety critical real­time systems. They are simply to resource demand­ing, to complex and to unpredictable. In this paper we show how to use component based software engineering for low footprint systems with very high demands on safe and reliable behaviour. The key concept is to provide expressive design time models and yet resource effective run­-time models by statically resolve resource usage and timing by powerful compile time techniques. This results in a component technology for re­source effective and temporally verified mapping of a component model to a commercial real­time operating system.

Bibtex

@inproceedings{Sandstrom569,
author = {Kristian Sandstr{\"o}m and Johan Fredriksson and Mikael {\AA}kerholm},
title = {Introducing a Component Technology for Safety Critical Embedded Real­Time Systems},
month = {May},
year = {2004},
booktitle = {International Symposium on Component-based Software Engineering (CBSE7)},
publisher = {Springer Verlag},
url = {http://www.es.mdh.se/publications/569-}
}