Modal processes: Towards enhanced retargetability through control composition of distributed embedded systems

Proceedings - Design Automation Conference

Volumn , Issue , 1998, Pages 88-93

  Chou, Pai ^a   Borriello, Gaetano ^a  

^a University of Washington   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; CONCURRENCY CONTROL; PROCESS CONTROL; SPECIFICATIONS; COMPUTER AIDED DESIGN; COMPUTER ARCHITECTURE; DISTRIBUTED COMPUTER SYSTEMS; HIERARCHICAL SYSTEMS; MODAL ANALYSIS;

AUTOMATED SYNTHESIS; CONTROL COMMUNICATIONS; DISTRIBUTED ARCHITECTURE; DISTRIBUTED EMBEDDED SYSTEM; SPECIFICATION MODELS; SUPPORT COMPOSITION; SYSTEM SPECIFICATION; TARGET ARCHITECTURES;

EMBEDDED SYSTEMS;

RETARGETABILITY;

EID: 0031623050     PISSN: 0738100X     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. F. Balarin, H. Hsieh, A. Jurecska, L. Lavagno, and A. Sangiovanni-Vincentelli. Formal verification of embedded systems based on CFSM networks. In Proc. 33rd Design Automation Conference, pages 568-571, June 1996.
2. A. Benveniste and G. Berry. The synchronous approach to reactive and real-time systems. Proceedings of the IEEE, 79(9): 1270-1282, September 1991.
3. G. Berry, S. Ramesh, and R. K. Shyamasundar. Communicating reactive processes. In Conference Record of the Twentieth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pages 85-98, Jan. 1993.
4. R. A. Brooks and J. H. Connell. Asynchronous distributed control system for a mobile robot. In Proceedings of the SPIE - The International Society for Optical Engineering, volume 727, pages 77-84, 1987.
5. P. Chou, E. A. Walkup, and G. Borriello. Scheduling issues in reactive real-time systems. IEEE Micro, pages 37-47, August 1994.
6. G.C.Sih and E. A. Lee. A compiled-time scheduling heuristic for interconnection-constrained heterogeneous processor architectures. IEEE Trans, on Parallel and Distributed Systems, 4(2), February 1993.
7. D. Harel. State Charts: A visual formalism for complex systems. Science of Programming, 8(3):231-274, June 1987.
8. D. Harel, H. Lachover, A. Naamad, A. Pnueli, M. Politi, R. Sherman, A. Shtull-Trauring, and M. Trakhtenbrot. STATE- MATE: A working environment for the development of complex reactive systems. IEEE Trans, on Software Engineering, 16(4):403-414, April 1990.
9. C. A. R. Hoare. Communicating Sequential Processes. Prentice-Hall, 1985.
10. R. Ortega and G. Borriello. Communication synthesis for embedded systems with global considerations. In Proc. Codes/CACHE, pages 69-73, 1997.
11. The RAVEN Project. http://ihpva.org/Raven/, September 1997.
12. The SPECS Consortium and J. Bruijning. Evaluation and integration of specification languages. Computer Networks and ISDN Systems, 13:75-89, 1987.