CONCUR 2000: CONCUR 2000 — Concurrency Theory pp 29-47 | Cite as
Formal Models for Communication-Based Design
Abstract
Concurrency is an essential element of abstract models for embedded systems. Correctness and efficiency of the design depend critically on the way concurrency is formalized and implemented. Concurrency is about communicating processes. We introduce an abstract formal way of representing communication among processes and we show how to refine this representation towards implementation. To this end, we present a formal model, Abstract Co-design Finite State Machines (ACFSM), and its refinement, Extended Co-design Finite State Machines (ECFSM), developed to capture abstract behavior of concurrent processes and derived from a model (Co-design Finite State Machine (CFSM)) we have used in POLIS, a system for the design and verification of embedded systems. The design of communication protocols is presented as an example of the use of these formal models.
Keywords
Embed System Input Event Physical Channel Voice Sample Channel AdapterPreview
Unable to display preview. Download preview PDF.
References
- 1.F. Balarin and al. Hardware-Software Co-Design of Embedded Systems: The POLIS Approach. Kluwer Academic Publishers, 1997.Google Scholar
- 2.J. Buck, S. Ha, E. Lee, and D. Messerschmitt. Ptolemy: a framework for simulating and prototyping heterogeneous systems. International Journal of Computer Simulation, Special issue on Simulation Software Development, Jan. 1990.Google Scholar
- 3.E. A. Lee and A. L. Sangiovanni-Vincentelli. A framework for comparing models of computation. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 17(12):1217–29, December 1998.Google Scholar
- 4.G. Kahn. The semantics of a simple language for parallel programming. In Proceedings IFIP Congress, Aug. 1974.Google Scholar
- 5.E. A. Lee and D. G. Messerschmitt. Synchronous data flow. IEEE Proceedings, Sept. 1987.Google Scholar
- 6.M. Sgroi, L. Lavagno, Y. Watanabe, and A. Sangiovanni-Vincentelli. Synthesis of embedded software using free-choice petri nets. In Proceedings of the Design Automation Conference, June 1999.Google Scholar
- 7.J. Rowson and A. Sangiovanni-Vincentelli. Interface-based design. In Proceedings of the Design Automation Conference, pages 178–183, 1997.Google Scholar
- 8.R. Passerone, J. Rowson, and A. Sangiovanni-Vincentelli. Automatic synthesis of interfaces between incompatible protocols. In Proceedings of the Design Automation Conference, pages 8–13, June 1998.Google Scholar
- 9.M. Sgroi, J. da Silva Jr., F. D. Bernardinis, F. Burghardt, A. Sangiovanni-Vincentelli, and J. Rabaey. Designing Wireless Protocols: Methodology and Applications. In Proceedings of the ICASSP Conference, June 2000.Google Scholar