From Formal Specification to Hardware/ Software Partitionning. De la Spécification Formelle au Partitionnement Matériel Logiciel

From Formal Specification to Hardware/ Software Partitionning

De la Spécification Formelle au Partitionnement Matériel Logiciel

Michel Israel Denis Dupont 

Laboratoire de Mathématiques et d'informatique (EA 1802( Université d'Evry Bd des Coquibus 91025 Evry Cedex

Page: 
559-568
|
Received: 
23 July 1997
| |
Accepted: 
N/A
| | Citation

OPEN ACCESS

Abstract: 

Research on CAD for electronic systems and the CAD industry have seen significant developments, whit technological advances . This paperadresses hardware/software codesign from formal specification to hardware/software partitionning and introduces the reader to various aspects of codesign to help the reader develop a perpective on modern digital system design. 

Résumé

La recherche en CAO de systèmes électroniques ainsi que l'industrie de la CAO ont eu beaucoup de succès et se sont développées, conjointement avec les progrès technologiques. Aujourd'hui, la complexité des systèmes à concevoir est devenue telle que les problèmes deviennent impossibles à gérer humainement aux niveaux bas . C'est pourquoi l'industrie et le monde académique se sont attachés à développer des outils aux niveaux les plus élevés de la conception . Ainsi, la synthèse de haut niveau devient une étape obligatoire dans la méthodologie de conception des systèmes électroniques et la co-spécification de systèmes matériel/logiciels devient un domaine de recherche ouvert. 

Keywords: 

Embedded system, Hardware/Software codesign, Formal specification

Mots clés 

Systèmes embarqués, co-spécification, codesign, partitionnement logiciel/matériel

1. Introduction
2. De la Spécification Formelle au Circuit
3. Spécification Formelle
4. Partitionnement Logiciel/Matériel
5. Conclusion
Remerciements
  References

[1] G. Barrett «Formal Methods applied to a floating point number system», IEEE trans. on Software Eng. May 1989, pp 611-617. 

[2] (Hardware C). 

[3] Proceedings of the IEEE, Special issue on Hardware/Software co-design, Numéro de mars 1997. 

[4] P. Paulin et al., «Embedded software in real-time signal processing systems application and architecture trends», Proc. IEEE, Vol. 85, No. 3, Mar. 1997. 

[5] F. Moussa,Invited paper, Fall VIUF, Boston, 1995. 

[6] S. Edwardsetal.,«Design of Embedded Systems : Formal Models, Validation, and Synthesis», Proc. IEEE,Vol.85, No. 3, Mar. 1997. 

[7] Proceedings of the IEEE, Special issue, Numérodeseptembre 1991. 

[8] S. Kumar, J. H. Aylor, B. W. Johnson, and W. A. Wulf, «Exploring hardware/software abstractions and alternatives for codesign », in Proc . Int. Workshop on Hardware-Software codesign, 1994. 

[9] F. Vahid and D. G. Gajski, «Specification partittionning for system design», in Proc. DesignAutomat. Conf., June 1992. 

[10] W. Wadge, E.A. Ashcroft, «Lucid, the dataflow programming language», New York, Academic, 1985.

[11] A. Davie, «An Introduction to functionnal programming using Hashkell» , Cambridge University Pres, 1992. 

[12] Aiguier M et al, « ECOS : A Generic Codesign Environment for the Prototyping of Real Time Applications, 'From Formal Specifications to Hardware-Software Partitioning'», Current Issues in Electronic Modeling (CIEM), Issue #8 : Kluwer Academic Publishers 1996. 

[13] Aiguier M., Bernot G., «ETOILE-specifications: an Object Oriented Way of Specifying Systems », Proc. of the Workshop on Proof Theory of Concurrent Object-Oriented Programming,Linz,Austria, July 8, 1996. J-P. p.50-57, l Oth European Conf. on Object-Oriented Programming (ECOOP 96), 1996. 

[14] P. Chou, E. A. Walkup, and T. Benner, «Adaptatation of partitionning and high-level synthesis in hardware/software co-synthesis», in Proc . Int. Conf. On Computer-Aided Design, Nov 1994. 

[15] E. Barros, W. Rosentiel, and X. Xiong, «Hardware/software partitionning using whit UNITY», in Proc. Int. Workshop on Hardware-Software codesign, 1994. 

[16] A. Kalavadde and E. A. Lee, «A global criticality/local phase driven algorithm for the constrained hardware/software partitionning probleme», in Proc. Int. Workshop on Hardware-Software codesign, 1994. 

[17] T. B. Ismail, M. Abid, and A.A. Jerraya, «COSMOS/ a codesign approach for communication systems», in Prop. Int. Workshop on Hardware-Software codesign, 1994.

[18] R. K. Gupta, C. N. CoelhoJr., and G. De Micheli, «Program implementation schemes for hardware-software systems», IEEE computer, pp. 48-55. Jan 1994. 

[19] R. Ernst, J. Henkel, T. Benner, «Hardware-Software Co-synthesis for microcontrôleur» , IEEE Design and Test of Computer, Vol 10, N°4, Decembre 1993. 

[20] L.Freund,D. Dupont, M. Israel, F. Rousseau : «Interface Optimization During Hardware-Software Partitioning», 5th International Workshop on Hardware/Software Co-Design, Codes/CASHE '97, Braunschweig, Germany 24-26 March 1997. 

[21] E. K. Paner. Multiprocessor System Development for High Performance Signal Processing Applications in 8th IEEE International Workshop on Rapid System Prototyping, Chapel Hill June 1997. 

[22] I. Bolsens, H. De Man, B. Lin,K. Van Rompaey, S. Vercauteren, D. Verkest. Hardware/Software Co-Design of Digital Telecommunication Systems in Special Issue on HARDWARE/SOFTWARE CO-DESIGN, Proceedings of the IEEE, Vol. 85, NO. 3, March 1997. 

[23] J.T. Bucket al.<<PTOLEMY: «A framework for simulating and prototyping heterogeneous systems», in hit. J. Computer Simulation, Jan. 1994.