Abstract
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems anymore. They especially lack the ability to trace and analyse real-time system properties. In this paper, we investigate the design difficulties for embedded real-time systems and propose several principles for coping with these difficulties, which should be incorporated by an “adequate” design approach. Several prevailing design approaches are evaluated against these principles and their merits and drawbacks are examined and illustrated by examples. Finally, a platform-independent approach (POOSL[8, 9] + Rotalumis[20]) is introduced to remedy these design problems for embedded real-time systems. Initial experiments have been performed that confirm the advantages of this approach.
This research is supported by PROGRESS, the embedded systems research program of the Dutch organisation for Scientific Research NWO, the Dutch Ministry of Economic Affairs, the Technology Foundation STW and the Netherlands Organisation for Applied Scientific Research TNO.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
G. Berry. A hardware implementation of pure esterel. In Academy Proceedings in Engineering Sciences, volume 17, pages 95–130. Indian Academy of Sciences, 1992.
G. Berry. Proof, Language and Interaction: Essays in Honour of Robin Milner, chapter The Foundations of Esterel, pages 425–454. MIT Press, 2000.
G. C. Buttazzo. Hard Real-Time Computing Systems: Predictable Scheduling Algorithms and Applications. Kluwer Academic Publishers, Boston, 1997.
P.H.A. van der Putten and J.P.M. Voeten. Specification of Reactive Hardware/Software Systems. PhD thesis, Eindhoven University of Technology, The Netherlands, 1997.
M.C.W Geilen. Formal Techniques for Verification of Complex Real-time Systems. PhD thesis, Eindhoven University of Technology, The Netherlands, 2002.
Jinfeng Huang, Jeroen Voeten, and Marc Geilen. Real-time Property Preservation in Approximations of Timed Systems. In Proceedings of First ACM & IEEE International Conference on Formal Methods and Models for Codesign, Mont Saint-Michel, France, June 2003. IEEE Computer Society Press.
Jinfeng Huang, Jeroen Voeten, Pieter van der Putten, Andre Ventevogel, Ron Niesten, and Wout van de Maaden. Performance evaluation of complex real-time systems, a case study. In Proceedings of 3rd workshop on embedded systems, pages 77–82, Utrecht, the Netherlands, 2002.
L. Lavagno, S. Dey, and R. Gupta. Specification, modeling and design tools for system-on-chip. In Design Automation Conference, 2002. Proceedings of ASP-DAC 2002. 7th Asia and South Pacific and the 15th International Conference on VLSI Design. Proceedings., pages 21–23, 2002.
S. Leue. Specifying Real-Time Requirements for SDL Specifications-A Temporal Logic-Based Approach. In Proceedings of the Fifteenth International Symposium on Protocol Specification, Testing, and Verification, Chapmann & Hall, 1995.
X. Nicollin and J. Sifakis. An overview and synthesis on timed process algebras. In K. G. Larsen, editor, Proceedings of the 3rd workshop on Computer-Aided Verification, Alborg, Denmark, July 1991.
H. A. Partsch. Specification and transformation of programs: a formal approach to software development. Springer-Verlag New York, Inc., 1990.
J. B. Rosenberg. How Debuggers Work: Algorithms, Data Structures, and Architecture: 1st edition. John Wiley & Sons, Inc., Oct 1996.
A. Sintotski, D.K. Hammer, O. van Roosmalen, and J. Hooman. Formal platform-independent design of real-time systems. In Proceedings 13th Euromicro Conference on Real-Time Systems, pages 163–170, 2001.
J. Stankovic and K. Ramamritham, editors. Tutorial on Hard Real-Time Systems. IEEE Computer Society Press, 1988.
B.D. Theelen and R.D.J. Kramer J.P.M. Voeten. Performance Modelling of a Network Processor using POOSL. Journal of Computer Networks, Special Issue on Network Processors, pages 667–684, April 2003.
L.J. van Bokhoven. Constructive Tool Design for Formal Languages from semantics to executing models. PhD thesis, Eindhoven University of Technology, The Netherlands, 2002.
L.J. van Bokhoven, J.P.M. Voeten, and M.C.W. Geilen. Software Synthesis for System Level Design Using Process Execution Trees. In Proceedings of 25th Euromicro Conference, pages 463–467, Milan, Italy, 1999. IEEE Computer Society Press, Los Alamitos, California.
F.N. van Wijk, J.P.M. Voeten, and A.J.W.M. ten Berg. An abstract modeling approach towards system-level design-space exploration. In Proceedings of the Forum on specification and Design Language, Marseille, France, September 2002.
J.P.M. Voeten, P.H.A. van der Putten, M.C.W. Geilen, and M.P.J. Stevens. System Level Modelling for Hardware/Software Systems. In Proceedings of EUROMICRO’98, pages 154–161, Los Alamitos, California, 1998. IEEE Computer Society Press.
H.P.E. Vranken. Design for test and debug in hardware/software systems. PhD thesis, Eindhoven University of Technology, The Netherlands, 1998.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer Science + Business Media, Inc.
About this chapter
Cite this chapter
Huang, J., Voeten, J.P.M., Ventevogel, A., van Bokhoven, L. (2004). Platform-Independent Design for Embedded Real-Time Systems. In: Grimm, C. (eds) Languages for System Specification. Springer, Boston, MA. https://doi.org/10.1007/1-4020-7991-5_3
Download citation
DOI: https://doi.org/10.1007/1-4020-7991-5_3
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4020-7990-0
Online ISBN: 978-1-4020-7991-7
eBook Packages: Springer Book Archive