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 component-based development framework for supporting functional and non-functional analysis in control system design
Publication Type:
Conference/Workshop Paper
Venue:
20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)
Abstract
The use of component-based development (CBD) is growing in the
software engineering community and it has been successfully applied
in many engineering domains such as office applications and
in web-based distributed applications. Recently, the need of CBD is
growing also in other domains related to dependable and embedded
systems, namely, in the control engineering domain. Control systems
constitute the core functionality of modern embedded systems
such as vehicles and consumer electronics. However, the widely
used commercial component technologies are unable to provide solutions
to the requirements of embedded systems as they require too
much resource and they do not provide methods and tools for developing
predictable and analyzable embedded systems. There is a
need for new component-based technologies appropriate to development
of embedded systems.
In this paper we briefly present a component-based development
framework called SAVEComp. SAVEComp is developed for
safety-critical real-time systems. One of the main characteristics of
SAVEComp is syntactic and semantic simplicity which enables a
high analyzability of properties important for embedded systems.
By means of an industrial case-study, we show how SAVEComp is
able to provide an efficient support for designing and implementing
embedded control systems by mainly focusing on simplicity and
analyzability of functional requirements and of real-time and dependability
quality attributes. In particular we discuss the typical
solutions of control systems in which feedback loops are used and
which significantly complicate the design process. We provide a
solution for increasing design abstraction level and still being able
to reason about system properties using SAVEComp approach. Finally,
we discuss an extension of SAVEComp with dynamic runtime
property checking by utilizing run-time spare capacity that is
normally induced by real-time analysis.
Bibtex
@inproceedings{Fredriksson906,
author = {Johan Fredriksson and Massimo Tivoli and Ivica Crnkovic},
title = {A component-based development framework for supporting functional and non-functional analysis in control system design},
pages = {368--371},
month = {November},
year = {2005},
booktitle = {20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005)},
publisher = {ACM 2005},
url = {http://www.es.mdu.se/publications/906-}
}
