DAC '97 Proceedings of the 34th annual Design Automation Conference
Hardware-software co-design of embedded systems: the POLIS approach
Hardware-software co-design of embedded systems: the POLIS approach
DAC '98 Proceedings of the 35th annual Design Automation Conference
Synthesis of embedded software using free-choice Petri nets
Proceedings of the 36th annual ACM/IEEE Design Automation Conference
FunState—an internal design representation for codesign
ICCAD '99 Proceedings of the 1999 IEEE/ACM international conference on Computer-aided design
Synchronous Programming of Reactive Systems
Synchronous Programming of Reactive Systems
Designing wireless protocols: methodology and applications
ICASSP '00 Proceedings of the Acoustics, Speech, and Signal Processing, 2000. on IEEE International Conference - Volume 06
Wireless protocols design: challenges and opportunities
CODES '00 Proceedings of the eighth international workshop on Hardware/software codesign
Design methodology for PicoRadio networks
Proceedings of the conference on Design, automation and test in Europe
Dual transitions petri net based modelling technique for embedded systems specification
Proceedings of the conference on Design, automation and test in Europe
System-level power/performance analysis for embedded systems design
Proceedings of the 38th annual Design Automation Conference
A vision for embedded software
CASES '01 Proceedings of the 2001 international conference on Compilers, architecture, and synthesis for embedded systems
Modeling of mixed control and dataflow system in MASCOT
IEEE Transactions on Very Large Scale Integration (VLSI) Systems
Colif: A Design Representation for Application-Specific Multiprocessor SOCs
IEEE Design & Test
Platform-Based Design and Software Design Methodology for Embedded Systems
IEEE Design & Test
Model-Based Development of Embedded Systems
OOIS '02 Proceedings of the Workshops on Advances in Object-Oriented Information Systems
A complexity effective communication model for behavioral modeling of signal processing applications
Proceedings of the 40th annual Design Automation Conference
RSP '01 Proceedings of the 12th International Workshop on Rapid System Prototyping
System Design for DSP Applications Using the MASIC Methodology
Proceedings of the conference on Design, automation and test in Europe - Volume 1
System design for DSP applications in transaction level modeling paradigm
Proceedings of the 41st annual Design Automation Conference
Journal of Systems and Software - Special issue: Rapid system prototyping
System Level Design of Embedded Controllers: Knock Detection, A Case Study in the Automotive Domain
DATE '03 Proceedings of the conference on Design, Automation and Test in Europe: Designers' Forum - Volume 2
HW/SW partitioning using discrete particle swarm
Proceedings of the 17th ACM Great Lakes symposium on VLSI
A Rewriting Semantics for ABEL with Applications to Hardware/Software Co-Design and Analysis
Electronic Notes in Theoretical Computer Science (ENTCS)
Resource-Oriented Design Framework for Embedded System Components
Electronic Notes in Theoretical Computer Science (ENTCS)
Protecting bus-based hardware IP by secret sharing
Proceedings of the 45th annual Design Automation Conference
Domain-Specific Language for HW/SW Co-design for FPGAs
DSL '09 Proceedings of the IFIP TC 2 Working Conference on Domain-Specific Languages
Journal of Systems and Software
Behavioral types for embedded software: a survey
Component-Based Software Development for Embedded Systems
Coverage-directed observability-based validation for embedded software
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Design space exploration for high-level synthesis of multi-threaded applications
Journal of Systems Architecture: the EUROMICRO Journal
| Hi-index | 0.00 |
The authors give an overview of models of computation for embedded system design and propose a new model that supports communication-based design. An essential component of a new system design paradigm is the orthogonalization of concerns (i.e., the separation of the various aspects of design to allow more effective exploration of alternative solutions). The pillars of the design methodology that we have proposed over the years are the separation between function (what the system is supposed to do) and architecture (how it does it) and the separation between computation and communication