CoDesign aims to integrate the design techniques of hardware and software. In this work, we present a CoDesign methodology based on a formal approach to embedded system specification. This methodology uses the Templated T-LOTOS language to specify the system during all design phases. Templated T-LOTOS is a formal language based on CCS and CSP models. Using Templated T-LOTOS, a system can be specified by observing the temporal ordering in which the events occur from the outside.
Hardware/Software Synthesis of Formal Specifications in Codesign of Embedded Systems
MALGERI, Michele Giuseppe;CARCHIOLO, Vincenza;MANGIONI, GIUSEPPE
2000-01-01
Abstract
CoDesign aims to integrate the design techniques of hardware and software. In this work, we present a CoDesign methodology based on a formal approach to embedded system specification. This methodology uses the Templated T-LOTOS language to specify the system during all design phases. Templated T-LOTOS is a formal language based on CCS and CSP models. Using Templated T-LOTOS, a system can be specified by observing the temporal ordering in which the events occur from the outside.File in questo prodotto:
File | Dimensione | Formato | |
---|---|---|---|
HardwareSoftware Synthesis of Formal Specifications in Codesign of Embedded Systems.pdf
accesso aperto
Tipologia:
Documento in Pre-print
Licenza:
Non specificato
Dimensione
381.11 kB
Formato
Adobe PDF
|
381.11 kB | Adobe PDF | Visualizza/Apri |
Hardware Software Synthesis of Formal Specifications in Codesign of Embedded Systems.pdf
accesso aperto
Tipologia:
Versione Editoriale (PDF)
Dimensione
301.16 kB
Formato
Adobe PDF
|
301.16 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.