Using separation of concerns for embedded systems design

Proceedings of the 5th ACM International Conference on Embedded Software, EMSOFT 2005

Volumn , Issue , 2005, Pages 25-34

  Jackson, Ethan K ^a   Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

Embedded Systems; Models of Computation; Multiple Aspect Modeling; Separation of Concerns

Indexed keywords

COMPUTATIONAL METHODS; COMPUTER SOFTWARE; SYSTEMS ANALYSIS;

MODELS OF COMPUTATION; MULTIPLE-ASPECT MODELING; SEPARATION OF CONCERNS;

EMBEDDED SYSTEMS;

EID: 29344434076     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/1086228.1086235     Document Type: Conference Paper

References (15)

1. The metropolis meta model version 0.4. Tech. Rep. UCB/ERL M04/38, University of California, Berkeley, September 2004.
2. A. BENVENISTE, P. CASPI, S. E. N. H.-P. L. G., AND DE SIMONE. R. The synchronous languages twelve years later. Proceedings of the IEEE 91, 1 (2003), 64-83.
3. BOUSSINOT, F., AND DE SIMONE, R. The esterel language. Proceedings of the IEEE 79 (September 1991), 1293-1304.
4. E. LEE, A. S.-V. A unified framework for comparing models of computation. IEEE Trans. on Computer Aided Design of Integrated Circuits and Systems 17, 12 (December 1998), 1217-1229.
5. E. LEE, S. N., AND WIRTHLIN, M. J. Actor-oriented design of embedded hardware and software systems. Journal of Circuits, Systems, and Computers 12, 3 (2003), 231-260.
6. G. KARSAI, J. SZTIPANOVITS, A. L. T. B. Model-integrated development of embedded software. Proceedings of the IEEE 91, 1 (January 2003), 145-164.
7. G. SZEDO, S. NEEMA, J. S., AND BAPTY, T. Reconfigurable target recognition system. Proceedings of the FPGA Monterey, CA, Feburary 2000 (2000).
8. G. YANG, Y. WATANABE, F. B. A. S.-V. Separation of concerns: Overhead in modeling and efficient simulation techniques. In Fourth ACM International, Conference on Embedded Software (EMSOFT'04) (September 2004).
9. GOESSLER, G., AND SIFAKIS, J. Composition for component-based modeling. In Proceedings of FMC002 (November 2002), vol. 2852. LNCS, pp. 443-466.
10. LEE, E. Overview of the ptolemy project. Tech. Rep. No. UCB/ERL M03/25, University of California, Berkeley, CA USA 94720, July 2003.
11. LEE, E., AND XIONG, Y. A behavioral type system and its application in ptolemy ii. Formal Aspects of Computing Journal 16, 3 (August 2004), 210-237.
12. M. BOZGA, S. GRAF, I. O. I. O., AND SIFAKIS, J. The if toolset. Formal Methods for the Design of Real-Time Systems (September 2004), 237-267. LNCS 3185.
13. N. HALBWACHS, P. CASPI, P. R., AND PILAUD, D. The synchronous data flow programming language lustre. Proceedings of the IEEE 79 (September 1991), 1305-1320.
14. P. LE GUERNIC, T. GAUTIER, M. L. B., AND MAIRE, C. L. Programming real-time applications with signal. Proceedings of the IEEE 79 (September 1991), 1321-1336.
15. T. A. HENZINGER, C. M. KIRSCH, M. A. S., AND PREE, W. From control models to real-time code using giotto. Control Systems Magazine 2, 1 (2003), 50-64.