Abstract
This is a somewhat unusual contribution to a Festschrift. I had a long email conversation with Edward, and when the invitation to contribute to his Festschrift reached me I proposed to the editors to include this email exchange. They reacted positively, and also Edward felt that this was a nice idea.
An email conversation is seldom sequential. The possibility to include answers in the text of a received message disturbs the sequential flow and instead introduces some hierarchy in the text. I have therefore carefully selected excerpts from our e-mail exchange and serialized them so that the discussion is easier to follow. I only deleted unnecessary text, corrected spelling, and added references to the articles we discussed.
Our conversation centers around three different topics. The first topic is real-time computing. In Sect. 1 we discuss the extent to which timing properties can be predicted or verified, whether or not predictable timing necessarily comes at the cost of performance overhead, and how timing is affected by threads and interrupts. The second topic, discussed in Sect. 2, is the semantics of time in distributed systems. Finally, in Sect. 3, we exchange thoughts about the principles behind modeling and abstraction that underpin the ideas discussed in Sects. 1 and 2.
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
References
Axer, P., Ernst, R., Falk, H., Girault, A., Grund, D., Guan, N., Jonsson, B., Marwedel, P., Reineke, J., Rochange, C., Sebastian, M., von Hanxleden, R., Wilhelm, R., Yi, W.: Building timing predictable embedded systems. ACM Trans. Embed. Comput. Syst. 13(4), 82:1–82:37 (2014)
Bui, D., Lee, E.A., Liu, I., Patel, H., Reineke, J.: Temporal isolation on multiprocessing architectures. In: Design Automation Conference (DAC), pp. 274–279, June 2011. http://chess.eecs.berkeley.edu/pubs/839.html
Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: Graham, R.M., Harrison, M.A., Sethi, R. (eds.) Conference Record of the Fourth ACM Symposium on Principles of Programming Languages, Los Angeles, California, USA, January 1977, pp. 238–252. ACM (1977). https://doi.org/10.1145/512950.512973
Derler, P., Lee, E.A., Matic, S.: Simulation and implementation of the PTIDES programming model. In: Roberts, D.J., El-Saddik, A., Ferscha, A. (eds.) 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications, Proceedings, 27–29 October 2008, Vancouver, BC, Canada, pp. 330–333. IEEE Computer Society (2008)
Ferdinand, C., Heckmann, R., Langenbach, M., Martin, F., Schmidt, M., Theiling, H., Thesing, S., Wilhelm, R.: Reliable and precise WCET determination for a real-life processor. In: Henzinger, T.A., Kirsch, C.M. (eds.) EMSOFT 2001. LNCS, vol. 2211, pp. 469–485. Springer, Heidelberg (2001). https://doi.org/10.1007/3-540-45449-7_32
Gao, B.: A globally asynchronous locally synchronous configurable array architecture for algorithm embeddings. Ph.D. thesis, University of Edinburgh, UK (1996)
Lee, E.A.: The past, present and future of cyber-physical systems: a focus on models. Sensors 15(3), 4837–4869 (2015)
Lee, E.A.: What is real-time computing? A personal view. IEEE Des. Test 35, 64–72 (2018)
Lee, E.A., Reineke, J., Zimmer, M.: Abstract PRET machines. In: RTSS, December 2017
Markovic, F., Carlson, J., Dobrin, R.: Tightening the bounds on cache-related preemption delay in fixed preemption point scheduling. In: Reineke, J. (ed.) 17th International Workshop on Worst-Case Execution Time Analysis, WCET 2017, 27 June 2017, Dubrovnik, Croatia. OASICS, vol. 57, pp. 4:1–4:11, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, Wadern (2017)
Wilhelm, R.: The PROMPT design principles for predictable multi-core architectures. In: Proceedings of the 12th International Workshop on Software and Compilers for Embedded Systems, pp. 31–32. ACM (2009)
Zimmer, M., Broman, D., Shaver, C., Lee, E.A.: FlexPRET: a processor platform for mixed-criticality systems. In: 20th IEEE Real-Time and Embedded Technology and Applications Symposium, RTAS 2014, Berlin, Germany, 15–17 April 2014, pp. 101–110. IEEE Computer Society (2014)
Acknowledgements
My thanks go to Jan Reineke, who explained many details about Edward’s approach to me, Marjan Sirjani for asking the right questions and giving good comments, to the reviewers for the comments and suggestions, and last but not least to Edward for patiently discussing so many issues in our email exchange.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer International Publishing AG, part of Springer Nature
About this chapter
Cite this chapter
Wilhelm, R. (2018). On the Road to Conviction: An Email Exchange with Edward Lee. In: Lohstroh, M., Derler, P., Sirjani, M. (eds) Principles of Modeling. Lecture Notes in Computer Science(), vol 10760. Springer, Cham. https://doi.org/10.1007/978-3-319-95246-8_29
Download citation
DOI: https://doi.org/10.1007/978-3-319-95246-8_29
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-95245-1
Online ISBN: 978-3-319-95246-8
eBook Packages: Computer ScienceComputer Science (R0)