A practitioner's handbook for real-time analysis
A practitioner's handbook for real-time analysis
Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment
Journal of the ACM (JACM)
Computer Controlled Systems: Theory and Design
Computer Controlled Systems: Theory and Design
A D&T Roundtable-Formal Verification: Is It Practical for Real-World Design?
IEEE Design & Test
Hardware-Software Cosynthesis for Digital Systems
IEEE Design & Test
WWW based structuring of codesigns
ISSS '95 Proceedings of the 8th international symposium on System synthesis
ICCAD '95 Proceedings of the 1995 IEEE/ACM international conference on Computer-aided design
Predicting timing behavior in architectural design exploration of real-time embedded systems
DAC '97 Proceedings of the 34th annual Design Automation Conference
A methodology and algorithms for the design of hard real-time multitasking ASICs
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Design of embedded systems: formal models, validation, and synthesis
Readings in hardware/software co-design
Partitioning of Hardware-Software Embedded Systems: A Metrics-based Approach
Integrated Computer-Aided Engineering
Rhythmic Tasks: A New Task Model with Continually Varying Periods for Cyber-Physical Systems
ICCPS '12 Proceedings of the 2012 IEEE/ACM Third International Conference on Cyber-Physical Systems
Hi-index | 0.00 |
To guide design decisions in developing an optimized architecture for automotive powertrain modules, we relied upon analysis, a key to hardware-software codesign. Complicating such efforts are ongoing refinements to the underlying algorithms, ever stricter government standards, reusability demands, and late-arriving specifications for the controlled components. In our approach, configuration-level analysis lets us quickly and efficiently explore a large design space. Behavioral-level analysis validates decisions and optimizes hardware and software. Our codesign methodology extends to similar real-time embedded systems.