A Compositional Framework for Hardware/Software Co-Design

A . Cau; R  Hale; J.  Dimitrov; H.  Zedan; B.  Moszkowski; Manju Manjunathaiah; M.  Spivey

doi:10.1023/A:1016507527035

A Compositional Framework for Hardware/Software Co-Design

A . Cau, R Hale, J. Dimitrov, H. Zedan, B. Moszkowski, Manju Manjunathaiah, M. Spivey

Research output: Contribution to journal › Article › peer-review

2 Citations (Scopus)

Abstract

We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.

Original language	English
Pages (from-to)	367-399
Journal	Design Automation for Embedded Systems
Volume	6
Issue number	4
DOIs	https://doi.org/10.1023/A:1016507527035
Publication status	Published - Jul 2002

Access to Document

10.1023/A:1016507527035Licence: Other

Cite this

@article{ab8ec0619d004c289de98209474a4a54,

title = "A Compositional Framework for Hardware/Software Co-Design",

abstract = "We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.",

author = "{. Cau}, A and R Hale and J. Dimitrov and H. Zedan and B. Moszkowski and Manju Manjunathaiah and M. Spivey",

note = "{\textcopyright} Kluwer Academic Publishers 2002",

year = "2002",

month = jul,

doi = "10.1023/A:1016507527035",

language = "English",

volume = "6",

pages = "367--399",

journal = "Design Automation for Embedded Systems",

issn = "0929-5585",

publisher = "Springer Nature Link",

number = "4",

}

TY - JOUR

T1 - A Compositional Framework for Hardware/Software Co-Design

AU - . Cau, A

AU - Hale, R

AU - Dimitrov, J.

AU - Zedan, H.

AU - Moszkowski, B.

AU - Manjunathaiah, Manju

AU - Spivey, M.

PY - 2002/7

Y1 - 2002/7

N2 - We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.

AB - We describe a compositional framework, together with its supporting toolset, for hardware/software co-design. Our framework is an integration of a formal approach within a traditional design flow. The formal approach is based on Interval Temporal Logic and its executable subset, Tempura. Refinement is the key element in our framework because it will derivefrom a single formal specification of the system the software and hardware parts of the implementation, while preserving all properties of the system specification. During refinement simulation is used to choose the appropriate refinement rules, which are applied automatically in the HOL system. The framework is illustrated with two case studies. The work presented is part of a UK collaborative research project between the Software Technology Research Laboratory at the De Montfort University and the Oxford University Computing Laboratory.

U2 - 10.1023/A:1016507527035

DO - 10.1023/A:1016507527035

M3 - Article

SN - 0929-5585

VL - 6

SP - 367

EP - 399

JO - Design Automation for Embedded Systems

JF - Design Automation for Embedded Systems

IS - 4

ER -

A Compositional Framework for Hardware/Software Co-Design

Abstract

Access to Document

Fingerprint

Cite this