Realizing the potential of networked embedded control systems will be predicated upon our ability to produce embedded software that can effectively and safely harness the functionality of sensors and processors. Embedded software is different, and more demanding, than the typical programming applications in many ways. Modern programming languages abstract away from real time and resources, and do not provide adequate support for embedded applications. Consequently, current development of embedded software requires significant low-level manual effort for scheduling and component assembly. This is inherently error-prone, timeconsuming, and platform-dependent. Consequently, developing novel programming and implementation methodology for synthesizing portable, predictable embedded software is an important challenge for networked control systems. In this abstract, we briefly discuss some of our efforts towards this goal.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsReferences
R. Alur, T. Dang, J. Esposito, Y. Hur, F. Ivancic, V. Kumar, I. Lee, P. Mishra, G. Pappas, and O. Sokolsky. Hierarchical modeling and analysis of embedded systems. Proceedings of the IEEE, 91(1), 2003.
R. Alur, T. Dang, and F. Ivancic. Predicate abstraction for reachability analysis of hybrid sys-tems. ACM Transactions on Embedded Computing Systems, 5(1):152-199, 2006.
R. Alur, T. Henzinger, and P.-H. Ho. Automatic symbolic verification of embedded systems. IEEE Transactions on Software Engineering, 22(3):181-201, 1996.
R. Alur, F. Ivancic, J. Kim, I. Lee, and O. Sokolsky. Generating embedded software from hier-archical hybrid models. In Proceedings of the ACM Conference on Languages, Compilers, and Tools for Embedded Systems, pages 171-182, 2003.
T. Nghiem, G. Pappas, A. Girard, and R. Alur. Time-triggered implementations of dynamic con-trollers. In Proceedings of the 6th Annual ACM Conference on Embedded Software (EMSOFT), pages 2-11, 2006.
G. Weiss and R. Alur. Automata based interfaces for control and scheduling. In Proceedings of the 10th International Workshop on Hybrid Systems: Computation and Control (HSCC 2007). Springer, 2007.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this paper
Cite this paper
Alur, R. (2007). Verification and Integration of Real-Time Control Software. In: Ramesh, S., Sampath, P. (eds) Next Generation Design and Verification Methodologies for Distributed Embedded Control Systems. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6254-4_4
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6254-4_4
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6253-7
Online ISBN: 978-1-4020-6254-4
eBook Packages: EngineeringEngineering (R0)