A Petri net model for hardware/software codesign

P Maciel, E Barros, W Rosenstiel - Design Automation for Embedded …, 1999 - Springer
This work presents Petri nets as an intermediate model for hardware/software codesign. The
main reason of using of Petri nets is to provide a model that allows for formal qualitative and …

A safe, accurate intravenous infusion control system

E Barros, MVD des Santos - Ieee Micro, 1998 - ieeexplore.ieee.org
Medical facilities use conventional intravenous (IV) infusion systems in cases where the
patient needs some kind of programmed medicine or nutrition. Gravity controls the simplest …

Parts a partitioning transformation system

J Iyoda, A Sampaio, L Silva - International Symposium on Formal Methods, 1999 - Springer
This paper describes a system (ParTS) for automatic hardware/software partitioning of
applications described in the concurrent programming language occam. Based on algebraic …

A normal form reduction strategy for hardware/software partitioning

L Silva, A Sampaio, E Barros - International Symposium of Formal Methods …, 1997 - Springer
In this paper we present a characterisation of the hardware/software partitioning problem as
a program transformation task. Both the input and the output of the partitioning are …

[PDF][PDF] Taxonomy of the program transformation processes

V Štuikys, R Damaševičius - Inf Technol Control, 2002 - Citeseer
We present an analysis and taxonomy of the program transformation processes, identify the
transformation domains in software engineering, and consider an operational view to …

A transformational codesign methodology

TKY Cheung, G Hellestrand… - Proceedings of ASP …, 1997 - ieeexplore.ieee.org
We present a hardware/software codesign methodology using formal transformations. The
goal is to refine a given function specification of a task to an operational structure involving …

System level analysis of a coprocessor architecture for block matching motion estimation computation

TKY Cheung, G Hellestrand… - 1997 IEEE International …, 1997 - ieeexplore.ieee.org
This paper describes the design and analysis of a coprocessor architecture for block
matching motion estimation algorithm. We have established a system level performance …

Communication and synchronisation using interaction objects

HBM Jonkers - International Symposium on Formal Methods, 1999 - Springer
In this paper we introduce a model of process communication and synchronisation, based
on the concept of interaction objects. Interaction objects define an abstraction mechanism for …

[引用][C] Co-Design Methodology for Real-Time and High-Definition 3D Reconstruction Algorithms

C Fernández, JM Pérez, PP Sánchez, M Martínez

[引用][C] An Algebraic Approach to Codesign