Article

Automata based interfaces for control and scheduling

Authors:

Rajeev AlurAuthors Info & Claims

HSCC'07: Proceedings of the 10th international conference on Hybrid systems: computation and control

Pages 601 - 613

Published: 03 April 2007 Publication History

Abstract

We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that this approach is more flexible than the classical real-time scheduling framework based on periodic tasks, and allows composition of interfaces by language-theoretic operations. We show that finite automata over infinite words offer analyzable representation and can capture many interesting interface specifications such as exponential stability of switched linear systems.

References

[1]

Sastry, S., Sztipanovits, J., Bajcsy, R., Gill, H.: Modeling and design of embedded software. Proceedings of the IEEE 91(1) (2003).

[2]

Lee, E.: What's ahead for embedded software. IEEE Computer (2000) 18-26.

Digital Library

[3]

Kopetz, H.: Real-Time Systems: Design Principles for Distributed Embedded Applications. Kluwer Academic Publishers (2000).

Digital Library

[4]

Buttazo, G.: Hard real-time computing systems: Predictable scheduling algorithms and applications. Kluwer Academic Publishers (1997).

Digital Library

[5]

Shin, I., Lee, I.: Compsitional real-time scheduling framework. In: Proceedings of the 25th IEEE Real-Time Systems Symposium. (2004).

Digital Library

[6]

Thomas, W.: Automata on infinite objects. In van Leeuwen, J., ed.: Handbook of Theoretical Computer Science. Volume B. Elsevier Science Publishers (1990) 133-191.

Digital Library

[7]

Balarin, F., Lavagno, L., Murthy, P., Sangiovanni-vincentelli, A.: Scheduling for embedded real-time systems. IEEE Design and Test of Computers 15(1) (1998) 71-82.

Digital Library

[8]

Lynch, N., Segala, R., Vaandrager, F.: Hybrid I/O automata. Information and Computation 185(1) (2003) 105-157.

Digital Library

[9]

de Alfaro, L., Henzinger, T.: Interface theories for component-based design. In: Embedded Software, First International Workshop. LNCS 2211, Springer (2001) 148-165.

Digital Library

[10]

Abdeddaïm, Y., Maler, O.: Job-shop scheduling using timed automata. In: CAV 01: Proc. of 13th Conf. on Computer Aided Verification. LNCS 2102, Springer (2001) 478-492.

Digital Library

[11]

Balbastre, P., Ripoll, I., Crespo, A.: Control tasks delay reduction under static and dynamic scheduling policies. rtcsa 00 (2000) 522.

Digital Library

[12]

Bate, I., Burns, A.: A framework for scheduling in safety-critical embedded control systems. In: RTCSA '99: Proceedings of the Sixth International Conference on Real-Time Computing Systems and Applications, Washington, DC, USA, IEEE Computer Society (1999) 46.

Digital Library

[13]

Cervin, A.: Improved scheduling of control tasks. In: Proceedings of the 11th Euromicro Conference on Real-Time Systems, York, UK (1999) 4-10.

[14]

Audsley, N., Tindell, K., Burns, A.: The end of the line for static cyclic scheduling? In: Real-Time Systems, 1993. Proceedings., Fifth Euromicro Workshop on on Real-Time Systems. (1993).

[15]

Blondel, V.D., Tsitsiklis, J.N.: The boundedness of all products of a pair of matrices is undecidable. Systems Control Lett. 41(2) (2000) 135-140.

[16]

Hespanha, J., Morse, A.: Stability of switched systems with average dwell-time (1999).

[17]

Liberzon, D.: Switching in systems and control. Systems & Control: Foundations & Applications. Birkhä& Applications. Birkhääuser Boston Inc., Boston, MA (2003).

[18]

Schultz, P.: Research Problems: Mortality of 2 × 2 Matrices. Amer. Math. Monthly 84(6) (1977) 463-464.

[19]

Gurvits, L.: Stability of discrete linear inclusion. Linear Algebra Appl. 231 (1995) 47-85.

[20]

Etessami, K., Holzmann, G.J.: Optimizing Büchi automata. Lecture Notes in Computer Science 1877 (2000) 153+.

Digital Library

Cited By

Huang CLi WZhu QOzay NPrabhakar P(2019)Formal verification of weakly-hard systemsProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control10.1145/3302504.3311811(197-207)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302504.3311811
Ghosh SDutta SDey SDasgupta P(2017)A Structured Methodology for Pattern based Adaptive Scheduling in Embedded ControlACM Transactions on Embedded Computing Systems10.1145/312651416:5s(1-22)Online publication date: 27-Sep-2017
https://dl.acm.org/doi/10.1145/3126514
Kauer MSoudbakhsh DGoswami DChakraborty SAnnaswamy AFettweis GNebel W(2014)Fault-tolerant control synthesis and verification of distributed embedded systemsProceedings of the conference on Design, Automation & Test in Europe10.5555/2616606.2616675(1-6)Online publication date: 24-Mar-2014
https://dl.acm.org/doi/10.5555/2616606.2616675
Show More Cited By

Recommendations

On stateless multihead automata: Hierarchies and the emptiness problem

We look at stateless multihead finite automata in their two-way and one-way, deterministic and nondeterministic variations. The transition of a k-head automaton depends solely on the symbols currently scanned by its k heads, and every such transition ...
Interrupt Timed Automata: verification and expressiveness

We introduce the class of Interrupt Timed Automata (ITA), a subclass of hybrid automata well suited to the description of timed multi-task systems with interruptions in a single processor environment.

While the reachability problem is undecidable for ...
Flip-pushdown automata: nondeterminism is better than determinism
DLT'03: Proceedings of the 7th international conference on Developments in language theory

Flip-pushdown automata are pushdown automata with the additional ability to flip or reverse its pushdown. We investigate deterministic and nondeterministic flip-pushdown automata accepting by final state or empty pushdown. In particular, for ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

HSCC'07: Proceedings of the 10th international conference on Hybrid systems: computation and control

April 2007

797 pages

ISBN:9783540714927

Editors:
Alberto Bemporad
Università di Siena, Dip. Ingegneria dell'Informazione, Siena, Italy
,
Antonio Bicchi
Università di Pisa, Centro
,
Giorgio Buttazzo
RETIS Lab., Pisa, Italy

Sponsors

HYCON
University of Pisa: University of Pisa
EECI: European Embedded Control Institute
ARTIST2

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 03 April 2007

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

14
Total Citations
View Citations
0
Total Downloads

Downloads (Last 12 months)0
Downloads (Last 6 weeks)0

Reflects downloads up to 04 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Huang CLi WZhu QOzay NPrabhakar P(2019)Formal verification of weakly-hard systemsProceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control10.1145/3302504.3311811(197-207)Online publication date: 16-Apr-2019
https://dl.acm.org/doi/10.1145/3302504.3311811
Ghosh SDutta SDey SDasgupta P(2017)A Structured Methodology for Pattern based Adaptive Scheduling in Embedded ControlACM Transactions on Embedded Computing Systems10.1145/312651416:5s(1-22)Online publication date: 27-Sep-2017
https://dl.acm.org/doi/10.1145/3126514
Kauer MSoudbakhsh DGoswami DChakraborty SAnnaswamy AFettweis GNebel W(2014)Fault-tolerant control synthesis and verification of distributed embedded systemsProceedings of the conference on Design, Automation & Test in Europe10.5555/2616606.2616675(1-6)Online publication date: 24-Mar-2014
https://dl.acm.org/doi/10.5555/2616606.2616675
Gatsis KPajic MRibeiro APappas GKumar PStoleru RBayen ABranicky MBranicky M(2014)Opportunistic Scheduling of Control Tasks Over Shared Wireless ChannelsICCPS '14: ACM/IEEE 5th International Conference on Cyber-Physical Systems (with CPS Week 2014)10.1109/ICCPS.2014.6843710(48-59)Online publication date: 15-Apr-2014
https://dl.acm.org/doi/10.1109/ICCPS.2014.6843710
Goswami DLukasiewycz MKauer MSteinhorst SMasrur AChakraborty SRamesh S(2013)Model-based development and verification of control software for electric vehiclesProceedings of the 50th Annual Design Automation Conference10.1145/2463209.2488853(1-9)Online publication date: 29-May-2013
https://dl.acm.org/doi/10.1145/2463209.2488853
Lampka KPerathoner SThiele L(2013)Component-based system designInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-012-0257-715:3(155-170)Online publication date: 1-Jun-2013
https://dl.acm.org/doi/10.1007/s10009-012-0257-7
Girard AZheng G(2012)Verification of Safety and Liveness Properties of Metric Transition SystemsACM Transactions on Embedded Computing Systems10.1145/2331147.233116411:S2(1-23)Online publication date: 1-Aug-2012
https://dl.acm.org/doi/10.1145/2331147.2331164
Majumdar RSaha IZamani MChakraborty SJerraya ABaruah SFischmeister S(2011)Performance-aware scheduler synthesis for control systemsProceedings of the ninth ACM international conference on Embedded software10.1145/2038642.2038689(299-308)Online publication date: 9-Oct-2011
https://dl.acm.org/doi/10.1145/2038642.2038689
Le Ny JFeron EPappas GCaccamo MFrazzoli EGrosu R(2011)Resource constrained LQR control under fast samplingProceedings of the 14th international conference on Hybrid systems: computation and control10.1145/1967701.1967740(271-280)Online publication date: 12-Apr-2011
https://dl.acm.org/doi/10.1145/1967701.1967740
Geilen MTripakis SWiggers MCaccamo MFrazzoli EGrosu R(2011)The earlier the betterProceedings of the 14th international conference on Hybrid systems: computation and control10.1145/1967701.1967707(23-32)Online publication date: 12-Apr-2011
https://dl.acm.org/doi/10.1145/1967701.1967707
Show More Cited By

View Options

View options

Figures

Tables

Media

View Table of Conten