Concurrent models of computation for embedded software

IEE Proceedings: Computers and Digital Techniques

Volumn 152, Issue 2, 2005, Pages 239-250

  Lee, E A ^a   Neuendorffer, S ^a,b  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b XILINX INC   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACTIONS; EMBEDDED CONTROL SOFTWARE; SENSOR DATA; SIMULINK;

C (PROGRAMMING LANGUAGE); DATA ACQUISITION; DATA FLOW ANALYSIS; JAVA PROGRAMMING LANGUAGE; REAL TIME SYSTEMS; SOFTWARE ENGINEERING;

EMBEDDED SYSTEMS;

EID: 19344373328     PISSN: 13502387     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1049/ip-cdt:20045065     Document Type: Conference Paper

References (51)

1. Hill, J., Szewczyk, R., Woo, A., Hollar, S., Culler, D., and Pister, K.: 'System architecture directions for network sensors'. Proc. Int. Conf. on Architectural Support for Programming Languages and Operating Systems (ASPLOS), Nov. 2000
2. Gay, D., Levis, P., von Behren, R., Welsh, M., Brewer, E., and Culler, D.: The nesC language: A holistic approach to networked embedded systems'. Proc. Programming Language Design and Implementation (PLDI), June 2003
3. Kohler, E., Morris, R., Chen, B., Jannotti, J., and Kaashoek, M.F.: 'The Click modular router', ACM Trans. Comput. Syst., 2000, 18, (3), pp. 263-297
4. Kohler, E.: 'The Click modular router'. PhD thesis, Massachusetts Institute of Technology, Nov. 2000
5. Berry, G.: 'The effectiveness of synchronous languages for the development of safety-critical systems'. White paper, Esterel Technologies, 2003
6. Hudak, P.: 'Conception, evolution, and application of functional programming languages', Comput. Sun., 1989, 21, (3), pp. 359-411
7. Dijkstra, E.: 'Cooperating sequential processes', in Genuys, E.F. (Eds.): 'Programming languages' (Academic Press, 1968)
8. Chandy, K., and Misra, J.: 'Asynchronous distributed simulation via a sequence of parallel computations', Commun. ACM, 1981, 24, (11), pp. 198-206
9. Jefferson, D.: 'Virtual time', ACM Trans. Program. Lang. Syst., 1985, 7, (3), pp. 404-425
10. Kahn, G., and MacQueen, D.B.: 'Coroutines and networks of parallel processes', in Gilchrist, B. (Eds.): 'Information Processing' (North-Holland Publishing Co., 1977)
11. Lee, E.A., and Parks, T.M.: 'Dataflow process networks', Proc. IEEE, 1995, 83, (5), pp. 773-801
12. Arvind, and Brock, J.D.: 'Resource managers in functional programming', J. Parallel Distrib. Comput., 1984, pp. 5-21
13. de Kock, E., Essink, G., Smits, W., van der Wolf, P., Brunel, J., Kruijtzer, W., Lieverse, P., and Vissers, K.: 'Yapi: Application modeling for signal processing systems'. Proc. 37th Design Automation Conf. (DAC'2000), June 2000, pp. 402-405
14. Panangaden, P., and Shanbhogue, V.: 'The expressive power of indeterminate dataflow primitives', Int. Comput., 1992, 98, (1), pp. 99-131
15. Lee, E.A.: 'Modeling concurrent real-time processes using discrete events', Ann. Softw. Eng., 1999, 7, pp. 25-45
16. Lea, D.: 'Concurrent programming in Java: design principles and patterns' (Addison-Wesley, Reading MA, 1997)
17. Shah, N., Plishker, W., and Keutzer, K.: 'Np-click: A programming model for the intel ixp1200', in Crowley, P., Franklin, M., Hadimioglu, H., and Onufryk, P. (Eds.): 'Network processor design: issues and practices' (Elsevier, 2004), Vol. 2, pp. 181-201
18. Object. Management Group (OMG).: CORE A event service specification, version 1.1, March 2001
19. Maffeis, S.: 'Adding group communication and fault-tolerance to CORBA'. Proc. USENIX Conf. Object-Oriented Technologies (COOTS), June 1995, pp. 16-29
20. Augustsson, L., Schwartz, J., and Nikhil, R.: 'Bluespec language definition'. Technical report, Sandhurst Corporation, Nov. 2000
21. Nikhil, R.: 'Bluespec SystemVerilog: Efficient, correct RTL from high-level specifications'. Conf. on Methods and Models for Codesign (MEMOCODE), June 2004
22. Hoe, J.C., and Arvind.: 'Hardware synthesis from term rewriting systems'. Proc. IFIP Int. Conf. on Very Large Scale Integration (VLSI), (Kluwer), Dec. 1999, pp. 595-619
23. Hoe, J.C., and Arvind.: 'Synthesis of operation-centric hardware descriptions'. Proc. Int. Conf. Comput. Aided Design (ICCAD), Nov. 2000
24. van Ommering, R., van der Linden, F., Kramer, J., and Magee, J.: "The Koala component model for consumer electronics software', Computer, 2000, 33, (3), pp. 78-85
25. van Ommering, R.: 'Building product populations with software components'. Proc. Int. Conf. on Software Engineering (ICSE), May 2002, pp. 255-265
26. Magee, J. et al.: 'Specifying distributed software architectures ESEC' (Springer-Verlag, Berlin, 1995), pp. 137-153
27. Liu, C.L., and Leyland, J.W.: 'Scheduling algorithms for multiprogramming in a hard real time environment', J. ACM, 1973, 20, (1), pp. 46-61
28. Henzinger, T.A., Horowitz, B., and Kirsch, C.M.: 'Giotto: A time-triggered language for embedded programming'. EMSOFT 2001, Tahoe City, CA, 2001, Lect. Notes Comput. Sci., 2211
29. Chandy, K.M., and Misra, J.: 'Parallel program design: a foundation' (Addison Wesley, 1988)
30. Liu, J., and Lee, E.A.: 'Timed multitasking for real-time embedded software', IEEE Control Syst. Mag., 2003, 22, pp. 65-75
31. Ghosal, A., Henzinger, T.A., Kirsch, C.M., and Sanvido, M.A.: 'Event-driven programming with logical execution times. Seventh Int. Workshop on Hybrid Systems: Computation and Control (HSCC)'. Lect. Notes Comput. Sci., 2004, 2993, 357-371
32. Halbwachs, N., Caspi, P., Raymond, P., and Pilaud, D.: 'The synchronous data flow programming language lustre', Proc. IEEE, 1991, 79, (9), pp. 1305-1319
33. Berry, G., and Gonthier, G.: 'The esterel synchronous programming language: Design, semantics, implementation', Sci. Comput. Program., 1992, 19, (2), pp. 87-152
34. Guernic, P.L., Gauthier, T., Borgne, M.L., and Maire, C.L.: 'Programming real-time applications with signal', Proc. IEEE, 1991, 79, (9), pp. 1321-1336
35. Benveniste, A., and Berry, G.: The synchronous approach to reactive and real-time systems', Proc. IEEE, 1991, 79, (9), pp. 1270-1282
36. Kahn, G.: 'The semantics of a simple language for parallel programming'. Proc. IFIP Congress 74 (North-Holland Publishing Co.), 1974
37. Parks, T.M.: 'Bounded scheduling of process networks'. PhD thesis, EECS Department, University of California at Berkeley, CA, 1995
38. Davis, J. et al: 'Ptolemy II - Heterogeneous concurrent modeling and design in Java'. Memo M01/12, UCB/ERL, EECS UC Berkeley, CA 94720, Mar. 2001
39. Dennis, J.B.: 'First version of a dataflow procedure language'. Programming Symp.: Proc. Colloque sur la Programmation, Lect. Notes Comput. Sci., Apr. 1974, no. 19, pp. 362-376
40. Lee, E.A.: 'A denotational semantics for dataflow with firing'. Technical Report UCB/ERL M97/3, Electronics Research Laboratory, Berkeley, CA 94720, 1997
41. Buck, J.T.: 'Scheduling dynamic dataflow graphs with bounded memory using the token flow model'. PhD thesis, University of California, Berkeley, 1993
42. Lee, E.A., and Messerschmitt, D.G.: 'Synchronous data flow', Proc. IEEE, 1987, 75, pp. 1235-1245
43. Buck, I.T., and Lee, E.A.: 'Scheduling dynamic dataflow graphs with bounded memory using the token flow model'. IEEE Int. Conf. on Acoustics, Speech, and Signal Processing (ICASSP), 1993, vol. 1, pp. 429-432
44. Buck, J.T.: 'Static scheduling and code generation from dynamic dataflow graphs with integer-valued control systems'. IEEE Asilomar Conf. on Signals, Systems, and Computers, Pacific Grove, CA, 1994
45. Bilsen, G., Engels, M., Lauwereins, R.: and Peperstraete, J.A.: 'Static scheduling of multi-rate and cyclo-static dsp applications'. Workshop on VLSI Signal Processing, 1994
46. Girault, A., Lee, B., and Lee, E.A.: 'Hierarchical finite state machines with multiple concurrency models', IEEE Trans. Comput.-Aided Des. Integr. Circuits Syst., 1999, 18, (6), pp. 742-760
47. Bhattacharya, B., and Bhattacharyya, S.S.: 'Parameterized dataflow modeling of dsp systems'. Int. Conf. Acoustics, Speech and Signal Processing (ICASSP), Istanbul, Turkey, 2000
48. Buck, J.T., Ha, S., Lee, E.A., and Messerschmitt, D.G.: 'Ptolemy: A framework for simulating and prototyping heterogeneous systems', Int. J. Comput. Simul., 1994, 4, pp. 155-182
49. Winter, M., Genßler, T., Christoph, A., Nierstrasz, O., Ducasse, S., Wuyts, R., Arévalo, G., Müller, P., Stic, C., and Schönhage, B. 'Components for embedded software: The PECOS approach'. Workshop on Composition Languages, in conjunction with 16th Eur. Conf. on Object-Oriented Programming (ECOOP), June 2002
50. Genßler, T., Christoph, A., Winter, M., Nierstrasz, O., Ducasse, S., Wuyts, R., Arévalo, G., Schönhage, B., Müller, P., and Stich, C.: 'Components for embedded software: the PECOS approach'. Proc. Int. Conf. on Compilers, Architecture, and Synthesis for Embedded Systems (CASES), 2002, pp. 19-26
51. Nierstrasz, O., Arévalo, G., Ducasse, S., Wuyts, R., Black, A., Müller, P., Zeidler, C., Genßler, T., and van den Born, R.: A component model for field devices. Proc. Int. Working Conf. on Component Deployment. IFIP/ACM, June 2002