Formal Models for Embedded System Design

IEEE Design and Test of Computers

Volumn 17, Issue 2, 2000, Pages 14-27

  Sgroi, Marco ^a,b   Lavagno, Luciano ^a,c,d   Sangiovanni Vincentelli, Alberto ^a,e  

^a UNIVERSITY OF CALIFORNIA   (United States)

^b UNIVERSITY OF CALIFORNIA   (United States)

^c UNIVERSITY OF UDINE   (Italy)

^d POLITECNICO DI TORINO   (Italy)

^e POLITECNICO DI MILANO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0002766266     PISSN: 07407475     EISSN: None     Source Type: Journal    
DOI: 10.1109/54.844330     Document Type: Article

References (11)

1. F. Balarin, M. Chiodo, P. Giusto, H. Hsieh, A. Jurecska, L. Lavagno, C. Passerone, A. Sangiovanni-Vincentelli, E. Sentovich, K. Suzuki, and B. Tabbara, Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Kluwer Academic Publishers, 1997.
2. J. Buck, S. Ha, E.A. Lee, and D.G. Messerschmitt, "Ptolemy: A Framework for Simulating and Prototyping Heterogeneous Systems," Int'l J. Computer Simulation, special issue on Simulation Software Development, Jan. 1990.
3. P. Chou and G. Borriello, "Modal Processes: Towards Enhanced Retargetability Through Control Composition of Distributed Embedded Systems," Proc. Design Automation Conf., June 1998.
4. S. Edwards, L. Lavagno, E.A. Lee, and A. Sangiovanni-Vincentelli, "Design of Embedded Systems: Formal Methods, Validation and Synthesis," Proc. IEEE, vol. 85, pp. 366-390, Mar. 1997.
5. N. Halbwachs, Synchronous Programming of Reactive Systems. Kluwer Academic Publishers, 1993.
6. G. Kahn, "The Semantics of a Simple Language for Parallel Programming," Proc. IFIP Congress, Aug. 1974.
7. L. Thiele, K. Strehl, D. Ziegenbein, R. Ernst, and J. Teich, "Funstate: An Internal Design Representation for Code-Sign," Proc. Int'l Conf. Computer-Aided Design, pp. 558-565, Nov. 1999.
8. M. Sgroi, J. da Silva, F. De Bernardinis, F. Burghardt, A. Sangiovanni-Vincentelli, and J. Rabaey, "Designing Wireless Protocols: Methodologies and Applications," Proc. ICASSP, June 2000.
9. M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli, "Synthesis of Embedded Software Using Free-Choice Petri Nets," Proc. Design Automation Conf., June 1999.
10. J. Rowson and A.L. Sangiovanni-Vincentelli, "Interface-Based Design," Proc. Design Automation Conf., 1997, pp. 178-183.
11. Business Week, entire issue, 8 Mar. 1999.