Abstract
The large gap existing between requirements and realizations has been a pertinacious problem in complex system design. This holds in particular for realtime systems with strict timing constraints and critical-safety requirements. Designers have to rely on a multi-step design process, where design decisions are made at different modelling levels. To ensure the effectiveness of this design process, predictability should be well-supported by design approaches, allowing designers to predict properties of future design outcomes based on existing design results. In this chapter, we first discuss the role of the semantics of design languages and investigated how they can support a predictable design process. Then, the deficiencies, w.r.t. predictability support, of existing design approaches for real-time systems are illustrated by an example. Finally, a predictable design approach for real-time systems is introduced to overcome this problem.
Access provided by Autonomous University of Puebla. Download to read the full chapter text
Chapter PDF
Similar content being viewed by others
References
Alur, R. Feder, T. and Henzinger, T.A. (1991). The benefits of relaxing punctuality. In Proceedings of the tenth annual ACM symposium on Principles of distributed computing, pages 139–152. ACM Press.
Florescu, O. Voeten, J.M.P. Huang, J. and Corporaal, H. (2004). Error estimation in model-driven development for real-time software. In In Proceedings of Forum on specification and Design Language, FDL’04, Lille, France.
Geilen, M.C.W (2002). Formal Techniques for Verification of Complex Realtime Systems. PhD thesis, Eindhoven University of Technology, The Netherlands.
Graf, S. (2002). Expression of time and duration constraints in sdl. In 3rd SAM Workshop on SDL and MSC, University of Wales Aberystwyth, LNCS.
Huang, J. Voeten, J.M.P. and Geilen, M.C.W. (2003). 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. IEEE Computer Society Press.
Huang, J. Voeten, J. van der Putten, P.H.A. and Ventevogel, A. (2004). Predictability in real-time system development (2) a case study. In In Proceedings of Forum on specification and Design Language, FDL’04, Lille, France.
Huang, J. Voeten, J.P.M. van der Putten, P.H.A. Ventevogel, A. Niesten, R. and van de Maaden, W. (2002). Performance evaluation of complex realtime systems, a case study. In Proceedings of 3rd workshop on embedded systems, pages 77–82, Utrecht, the Netherlands.
Koomen, C. J. (1991). The design of communication systems, volume 147 of The Kluwer International Series in Engineering and Computer Science. Kluwer Academic Publishers, Boston; London; Dordrecht.
Kotonya, G. and Sommerville, I. (1998). Requirement Engineering: Processes and Techniques. John Wiley & Sons, Inc., New York.
Leue, S. (1996). 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, volume 38 of IFIP Conference Proceedings, pages 19–34. Chapman & Hall.
Liu, Z. and Joseph, M. (2001). Verification, refinement and scheduling of realtime programs. Theoretical Computer Science, 253(1):119–152.
Milner, Robin (1989). Communication and Concurrency. Prentice Hall. ISBN 0-13-114984-9 (Hard) 0-13-115007-3 (Pbk).
Nicollin, X. and Sifakis, J. (1991). An overview and synthesis on timed process algebras. In K. G. Larsen, A. Skou, editor, Proceedings of the 3rd Workshop on Computer-Aided Verification, LNCS 575, pages 376–398, Alborg, Denmark. Springer-Verlag.
Partee, B., ter Meulen, A., and Wall, R. (1990). Mathematical Methods in Linguistic. Kluwer Academic Publishers.
Rational Rose RealTime. http://www.rational.com/tryit/rosert/index.jsp.
Selic, B., Gullekson, G., and Ward, P.T. (1994). Real-time object-oriented modeling. John Wiley & Sons, Inc.
Sifakis, J. (2001). Modeling real-time systems-challenges and work directions. In Proceedings of the First International Workshop on Embedded Software, pages 373–389. Springer-Verlag.
TAU Generation 2. http://www.taug2.com/.
Theelen, B.D., Voeten, J.P.M., and Kramer, R.D.J. (2003). Performance Modelling of a Network Processor using POOSL. Journal of Computer Networks, Special Issue on Network Processors, 41(5):667–684.
van Bokhoven, L.J. (2002). Constructive Tool Design for Formal Languages from semantics to executing models. PhD thesis, Eindhoven University of Technology, The Netherlands.
van der Putten, P.H.A. and Voeten, J.P.M. (1997). Specification of Reactive Hardware/Software Systems. PhD thesis, Eindhoven University of Technology, The Netherlands.
van Wijk, F.N., Voeten, J.P.M., and ten Berg, A.J.W.M. (2002). An abstract modeling approach towards system-level design-space exploration. In Proceedings of the Forum on specification and Design Language, Marseille, France.
Voeten, J.P.M., van der Putten, P.H.A., Geilen, M.C.W., and Stevens, M.P.J. (1998). System Level Modelling for Hardware/Software Systems. In Proceedings of EUROMICRO’98, pages 154–161, Los Alamitos, California. IEEE Computer Society Press.
Zadrozny, W. (1994). From compositional to systematic semantics. Linguistics and Philosophy, 17:329–342.
Z.100 Annex F1: Formal Description Techniques (FDT)—Specification and Description Language (SDL) (2000). Telecommunication standardization sector of ITU.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer
About this chapter
Cite this chapter
Huang, J., Voeten, J., Florescu, O., van der Putten, P., Corporaal, H. (2005). Predictability in Real-Time System Development. In: Boulet, P. (eds) Advances in Design and Specification Languages for SoCs. Springer, Boston, MA. https://doi.org/10.1007/0-387-26151-6_10
Download citation
DOI: https://doi.org/10.1007/0-387-26151-6_10
Publisher Name: Springer, Boston, MA
Print ISBN: 978-0-387-26149-2
Online ISBN: 978-0-387-26151-5
eBook Packages: EngineeringEngineering (R0)