Interfaces for Control Components
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.
KeywordsExponential Stability Performance Requirement Control Engineer Resource Requirement Digital Computer
- 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.Alur, R., Weiss, G.: RTComposer: a framework for real-time components with scheduling interfaces. In: Proc. 8th EMSOFT, pp. 159–168 (2008)Google Scholar