skip to main content
10.1145/1101908.1101972acmconferencesArticle/Chapter ViewAbstractPublication PagesaseConference Proceedingsconference-collections
Article

A component-based development framework for supporting functional and non-functional analysis in control system design

Published: 07 November 2005 Publication History

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. However, the widely used commercial component technologies are unable to provide solutions to the requirements of embedded systems as they require too much resources 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. We discuss 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 run-time property checking by utilizing run-time spare capacity that is normally induced by real-time analysis.

References

[1]
J. Fredriksson, M. Akerholm, K. Sandström, and R. Dobrin. Attaining flexible real-time systems by bringing together component technologies and real time systems theory. In Proc. of the 29th Euromicro Conference, CBSE Track, 2003.
[2]
J. Fredriksson, K. Sandström, and M. Akerholm. Calculating resource trad-offs when mapping components to real-time tasks. In CBSE8, 2005.
[3]
J. Fredriksson, M. Tivoli, and I. Crnkovic. A component-based development framework for supporting functional and non-functional analysis in control systems design. Technical report, Tech. rep., Dep. of Computer Scienc and Electronics, Mälardalen University, 2005.
[4]
H. Hansson, M. Akerholm, I. Crnkovic, and M. Törngren. SaveCCM - a Component Model for Safety-Critical Real-Time Systems. In Proc. of 30th Euromicro Conference, 2004.
[5]
J. Magee and J. Kramer. Concurrency: State Models and Java Programs. John Wiley and Sons, 1999.
[6]
J. Mäki-Turja and M. Nolin. Fast and Tight Response-Times for Tasks with Offsets. In 17th EUROMICRO Conference on Real-Time Systems, 2005.
[7]
L. Pernebo and B. Hansson. Plug and play in control loop design. In Preprints Reglermöte 2002, 2002.

Cited By

View all
  • (2011)A Step-Wise Approach for Integrating QoS throughout Software DevelopmentFundamental Approaches to Software Engineering10.1007/978-3-642-19811-3_16(217-231)Online publication date: 2011
  • (2007)CAmkESJournal of Systems and Software10.1016/j.jss.2006.08.03980:5(687-699)Online publication date: 1-May-2007
  • (2007)The SAVE approach to component-based development of vehicular systemsJournal of Systems and Software10.1016/j.jss.2006.08.01680:5(655-667)Online publication date: 1-May-2007

Index Terms

  1. A component-based development framework for supporting functional and non-functional analysis in control system design

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Conferences
    ASE '05: Proceedings of the 20th IEEE/ACM International Conference on Automated Software Engineering
    November 2005
    482 pages
    ISBN:1581139934
    DOI:10.1145/1101908
    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Sponsors

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 07 November 2005

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. control systems
    2. functional analysis
    3. non functional analysis
    4. real time embedded systems

    Qualifiers

    • Article

    Conference

    ASE05

    Acceptance Rates

    Overall Acceptance Rate 82 of 337 submissions, 24%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)4
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 22 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2011)A Step-Wise Approach for Integrating QoS throughout Software DevelopmentFundamental Approaches to Software Engineering10.1007/978-3-642-19811-3_16(217-231)Online publication date: 2011
    • (2007)CAmkESJournal of Systems and Software10.1016/j.jss.2006.08.03980:5(687-699)Online publication date: 1-May-2007
    • (2007)The SAVE approach to component-based development of vehicular systemsJournal of Systems and Software10.1016/j.jss.2006.08.01680:5(655-667)Online publication date: 1-May-2007

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media