Interfaces for Control Components

  • Rajeev Alur
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6919)

Abstract

Modern software engineering heavily relies on clearly specified interfaces for separation of concerns among designers implementing components and programmers using those components. The need for interfaces is evident for assembling complex systems from components, but more so in control applications where the components are designed by control engineers using mathematical modeling tools and used by software executing on digital computers. However, the notion of an interface for a control component must incorporate some information about timing, and standard programming languages do not provide a way of capturing such resource requirements.

Keywords

Exponential Stability Performance Requirement Control Engineer Resource Requirement Digital Computer 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

References

  1. 1.
    Alur, R., D’Innocenzo, A., Johansson, K., Pappas, G., Weiss, G.: Modeling and analysis of multi-hop control networks. In: Proc. 15th IEEE RTAS (2009)Google Scholar
  2. 2.
    Alur, R., Weiss, G.: RTComposer: a framework for real-time components with scheduling interfaces. In: Proc. 8th EMSOFT, pp. 159–168 (2008)Google Scholar
  3. 3.
    Weiss, G., Alur, R.: Automata based interfaces for control and scheduling. In: Bemporad, A., Bicchi, A., Buttazzo, G. (eds.) HSCC 2007. LNCS, vol. 4416, pp. 601–613. Springer, Heidelberg (2007)CrossRefGoogle Scholar
  4. 4.
    Weiss, G., Fischmeister, S., Anand, M., Alur, R.: Specification and analysis of network resource requirements of control systems. In: Majumdar, R., Tabuada, P. (eds.) HSCC 2009. LNCS, vol. 5469, pp. 381–395. Springer, Heidelberg (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2011

Authors and Affiliations

  • Rajeev Alur
    • 1
  1. 1.University of PennsylvaniaUSA

Personalised recommendations