Abstract
Fifteen years ago, it would have been hard to predict just how large a role the software industry would play in the life of a developing country. True, the sale of PC’s had started to grow and access to the Internet was slowly spreading but these were trends in the developed world, far remote from the cities, towns and villages of developing countries. It was in this world of promise and uncertainty that a few pioneers set out on their mission to create for the developing world an Institute that would provide them with knowledge, training and experience. It was not an attempt to transfer trade information on the use of this or that software package or even to train people in programming skills, both of which would certainly have found ready acceptance. Instead, it was to share the conviction that a mathematical understanding and definition of what a program was to achieve would be the way of the future, bringing abstractness and precision to a field that was otherwise distinguished more by the scale and detail of how a program performed its tasks.
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
Lee, E.: Absolutely, positively on time: What would it take? IEEE Computer, 85–87 (2005)
Godefroid, P., Klarlund, N., Sen, K.: DART: Directed Automated Random Testing. In: Proc. ACM PLDI, Chicago, pp. 213–223 (2005)
Godefroid, P.: Compositional dynamic test generation. In: Proc. ACM POPL, Nice, pp. 47–54 (2007)
Joseph, M.: Abstractions for real-time systems. In: Proc. TASE, p. 22 (2007)
Cook, B., Podelski, A., Rybalchenko, A.: Proving thread termination. In: Proc. ACM PLDI, San Diego (2007)
Cook, B., Podelski, A., Rybalchenko, A.: Termination proofs for systems code. In: Proc. ACM PLDI, Ottawa, pp. 415–426 (2006)
Henzinger, T.A., Sifakis, J.: The embedded systems design challenge. Invited paper, Formal Methods (2006)
Henzinger, T.A., Manna, Z., Pnueli, A.: Temporal proof methodologies for timed transition systems. Inf. & Control 112(2), 273–337
Marasco, J.: Software development productivity and project success rates: are we attacking the right problem? http://www-128.ibm.com/developerworks/rational/library/feb06/marasco/index.html
Sukumaran, S., Sreenivas, A., Venkatesh, R.: A rigorous approach to requirements Validation. In: Proc. SEFM 2006, IEEE Press, Los Alamitos (2006)
Agrawal, M., Stephan, F., Thiagarajan, P.S., Yang, S.: Behavioural approximations for restricted linear differential hybrid automata. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 1–18. Springer, Heidelberg (2006)
Agrawal, M., Thiagarajan, P.S.: The discrete time behaviour of lazy linear hybrid automata. In: Hespanha, J.P., Tiwari, A. (eds.) HSCC 2006. LNCS, vol. 3927, pp. 1–18. Springer, Heidelberg (2006)
Stankovic, J.A., Lee, I., Mok, A., Rajkumar, R.: Opportunities and obligations for physical computing systems. IEEE Computer, 23–31 (November 2005)
Sharma, B., Pandya, P., Chakraborty, S.: Bounded validity checking of interval duration logic. In: Kalviainen, H., Parkkinen, J., Kaarna, A. (eds.) SCIA 2005. LNCS, vol. 3540, pp. 301–316. Springer, Heidelberg (2005)
Chakravorty, G., Pandya, P.: Digitizing interval duration logic. In: Proc. CAV, Boulder, pp. 167–179 (2003)
Pandya, P., Krishna, S.N., Loya, K.: On sampling abstraction of continuous time logic with durations. In: Grumberg, O., Huth, M. (eds.) TACAS 2007. LNCS, vol. 4424, pp. 246–260. Springer, Heidelberg (2007)
Liu, C.L., Layland, J.: Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20(1), 46–61 (1973)
Gössler, G., Sifakis, J.: Priority Systems. In: de Boer, F.S., Bonsangue, M.M., Graf, S., de Roever, W.-P. (eds.) FMCO 2003. LNCS, vol. 3188, pp. 314–329. Springer, Heidelberg (2004)
Henzinger, T., Kirsch, C.M., Sanvido, M.A.A., Pree, W.: From control models to real-time codes using Giotto. IEEE Contr.SYS., February, 50–64
Joseph, M., Pandya, P.K.: Finding response times in a real-time system. Comp. J. 29(5), 390–395
Warneke, B., Last, M., Liebovitz, B., Pister, K.S.J.: Smart dust: communicating with a cubic millimetre computer. IEEE Computer, 44–51 (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Joseph, M. (2007). Engineering the Development of Embedded Systems. In: Jones, C.B., Liu, Z., Woodcock, J. (eds) Formal Methods and Hybrid Real-Time Systems. Lecture Notes in Computer Science, vol 4700. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-75221-9_17
Download citation
DOI: https://doi.org/10.1007/978-3-540-75221-9_17
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-75220-2
Online ISBN: 978-3-540-75221-9
eBook Packages: Computer ScienceComputer Science (R0)