Abstract
We present in this paper a suspend/resume operator for ET-LOTOS (a timed extension of LOTOS). We focus on the way it can be defined and on its usefulness for the specification of real-time systems. We show that this operator is essential to specify typical real-time systems and we give a specification technique to describe this kind of system. We apply our operator and method to a small example.
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
Bolognesi T., Lucidi F. and Trigila S.: Towards Timed Full LOTOS. In Proceedings of the first AMAST International Workshop on Real-Time Systems, Iowa City, USA, 1993.
Garavel H. and Hautbois R-P.: An Experiment with the LOTOS Formal description Technique on the Flight Warning Computer of Airbus 330/340 Aircrafts. In Proceedings of the first AMAST International Workshop on Real-Time Systems, Iowa city, USA, 1993.
Garavel H. and Sighireanu M.: On the Introduction of Exceptions in E-LOTOS. In Formal Description Techniques XI Theory, application and tools, Chapman & all, October, 1996.
Hernalsteen C.: The introduction of time in LOTOS: a comparative study. Technical Report TR-315, Université Libre de Bruxelles, Département d'Informatique, Brussels, Belgium, January, 1994.
Hernalsteen C.: Specification of Real-Time Schedulers with ET-LOTOS. Technical Report TR-322, Université Libre de Bruxelles, Département d'Informatique, Brussels, Belgium, January, 1995.
Hernalsteen C. and Février A.: General study on the definition of a E-LOTOS suspend/resume operator. In Working Draft on E-LOTOS. Enhancements to LOTOS, number JTC1/SC21/WG7 KC5. ISO/IEC, April, 1995.
Information Processing Systems-Open Systems Interconnection-LOTOS — A Formal Description Technique based on temporal ordering of observational behaviour. ISO 8807, 1989.
Leduc G. and Léonard L.: A Timed Lotos supporting a Dense Time Domain and including New Timed Operators. In Michel Diaz and Roland Groz, editors, Proc. Formal description techniques V, pages 87–102. North-Holland, Amsterdam, Netherlands, October 1992.
Léonard L. and Leduc G.: An Enhanced Version of Timed LOTOS and Its Application to a Case Study. In Richard L. Tenney, Paul D. Amer, and M. Umit Uyar, editors, Proc. Fromal Description Techniques VI, pages 483–500. North-Holland, Amsterdam, Netherlands, 1994.
Nicollin X. and Sifakis J.: An overview and synthesis on timed process algebra. In Proc. 3rd Workshop on Computer-Aided Verification, 1991.
Quemada J., Azcorra A. and Pavon S.: The Lotosphere Design Methodology. In Proceedings of the third Lotosphere Workshop and Seminar, Pisa, Italy, 1992.
Quemada J. and de Frutos D. and Miguel C.: The design of Timed Systems. In Proceedings of the First AMAST International Workshop on Real-Time Systems, Iowa City, USA, 1993.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1997 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Hernalsteen, C., Février, A. (1997). Introduction of a suspend/resume operator in ET-LOTOS. In: Bertran, M., Rus, T. (eds) Transformation-Based Reactive Systems Development. ARTS 1997. Lecture Notes in Computer Science, vol 1231. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-63010-4_27
Download citation
DOI: https://doi.org/10.1007/3-540-63010-4_27
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-63010-4
Online ISBN: 978-3-540-69058-0
eBook Packages: Springer Book Archive