Communicating sequential processes
Communicating sequential processes
LUSTRE: a declarative language for real-time programming
POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Introduction to the ISO specification language LOTOS
Computer Networks and ISDN Systems - Special Issue: Protocol Specification and Testing
Fundamentals of algebraic specification 2: module specifications and constraints
Fundamentals of algebraic specification 2: module specifications and constraints
State exploration by transformation with LOLA
Proceedings of the international workshop on Automatic verification methods for finite state systems
Design and validation of computer protocols
Design and validation of computer protocols
The algebraic specification language LOTOS: an industrial experience
Conference proceedings on Formal methods in software development
Handbook of theoretical computer science (vol. B)
Synthesis and simulation of digital systems containing interacting hardware and software components
DAC '92 Proceedings of the 29th ACM/IEEE Design Automation Conference
Introduction to HOL: a theorem proving environment for higher order logic
Introduction to HOL: a theorem proving environment for higher order logic
Hardware/software co-simulation
DAC '94 Proceedings of the 31st annual Design Automation Conference
COSYMA: a software-oriented approach to hardware/software codesign
Journal of Computer and Software Engineering - Special issue: hardware-software codesign
An Automaton Model for Scheduling Constraints in Synchronous Machines
IEEE Transactions on Computers
A framework for codesign based on fuzzy logic and genetic algorithms
IEA/AIE '95 Proceedings of the 8th international conference on Industrial and engineering applications of artificial intelligence and expert systems
Synthesis of software programs for embedded control application
DAC '95 Proceedings of the 32nd annual ACM/IEEE Design Automation Conference
Multiple-process behavioral synthesis for mixed hardware-software systems
ISSS '95 Proceedings of the 8th international symposium on System synthesis
The Chinook hardware/software co-synthesis system
ISSS '95 Proceedings of the 8th international symposium on System synthesis
Hardware/software partitioning aiming at fulfillment of real-time constraints
Journal of Systems Architecture: the EUROMICRO Journal - Special double issue: real-time systems
A Calculus of Communicating Systems
A Calculus of Communicating Systems
Synthesis and Optimization of Digital Circuits
Synthesis and Optimization of Digital Circuits
Digital Design with VERILOG HDL
Digital Design with VERILOG HDL
Constructing Predictable Real Time Systems
Constructing Predictable Real Time Systems
Switching and Finite Automata Theory: Computer Science Series
Switching and Finite Automata Theory: Computer Science Series
Telecommunications Systems Engineering Using SDL
Telecommunications Systems Engineering Using SDL
Codesign of Communication Protocols
Computer
Hardware-Software Cosynthesis for Digital Systems
IEEE Design & Test
Hardware-Software Cosynthesis for Microcontrollers
IEEE Design & Test
Scheduling for Reactive Real-Time Systems
IEEE Micro
Enforcing Schedulability of Multi-Task Systems by Hardware-Software Codesign
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Modeling micro-controller peripherals for high-level co-simulation and synthesis
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
Modifying Min-Cut for Hardware and Software Functional Partitioning
CODES '97 Proceedings of the 5th International Workshop on Hardware/Software Co-Design
HardwareC -- A Language for Hardware Design (Version 2.0)
HardwareC -- A Language for Hardware Design (Version 2.0)
Constrained software generation for hardware-software systems
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
Hardware/software selected cycle solution
CODES '94 Proceedings of the 3rd international workshop on Hardware/software co-design
TTL: a modular language for hardware/software systems design
Journal of Computer and System Sciences
Design methodology for multifunction vehicle bus devices
ICOSSE'06 Proceedings of the 5th WSEAS international conference on System science and simulation in engineering
Formal Specification of Medical Systems by Proof-Based Refinement
ACM Transactions on Embedded Computing Systems (TECS) - Special Issue on Modeling and Verification of Discrete Event Systems
Hi-index | 0.01 |
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. In this paper we focus on the synthesis of system specified by Templated T-LOTOS. The proposed synthesis algorithm takes advantage of peculiarities of Templates T-LOTOS. Hardware modules are translated into a register transfer-level language that manages some signals in order to drive synchronization, while the software models are translated into C according to a finite state model whose operations are controlled by a scheduler. The synthesis of the Templated T-LOTOS specification is based on the direct translation of the language operators to ensure that the implemented system is the same as the specified one.