Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
STATEMATE: A Working Environment for the Development of Complex Reactive Systems
IEEE Transactions on Software Engineering
Object-oriented modeling and design
Object-oriented modeling and design
Computer Aided Software/Hardware Engineering
Computer Aided Software/Hardware Engineering
Towards an application of model-based codesign: an autonomous, intelligent cruise controller
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
The shall-prototype-test development model
ECBS'97 Proceedings of the 1997 international conference on Engineering of computer-based systems
Heterogeneous Modeling Support for Embedded Systems Design
EMSOFT '01 Proceedings of the First International Workshop on Embedded Software
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Enhanced communications firmware platform for co-verification of complex algorithms
Proceedings of the 2nd ACM workshop on Performance monitoring and measurement of heterogeneous wireless and wired networks
DS-RT '08 Proceedings of the 2008 12th IEEE/ACM International Symposium on Distributed Simulation and Real-Time Applications
A grid-based DEVS approach to dynamic load balancing for large scale distributed simulations
SpringSim '09 Proceedings of the 2009 Spring Simulation Multiconference
A simulator for service-based software system co-design
Proceedings of the 3rd International ICST Conference on Simulation Tools and Techniques
Towards an integrated, model-based codesign environment
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Test scenario generation from a structured requirements specification
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Role-centered design for evolution
ECBS'99 Proceedings of the 1999 IEEE conference on Engineering of computer-based systems
Validation of service oriented computing DEVS simulation models
Proceedings of the 2012 Symposium on Theory of Modeling and Simulation - DEVS Integrative M&S Symposium
| Hi-index | 4.10 |
Hardware-software codesign has been a research topic since the beginning of this decade, but only now are structured methods emerging that focus on automating design. Unfortunately, to date most codesign approaches simply leverage performance from individual hardware and software tools, rather than enforcing a structured integration of hardware and software systems simultaneously. A few frameworks have successfully done this integration and have the potential for significant benefits, including reduced time to market, .smaller scale design, better likelihood of component reuse, and maximum use of processing power. This article describes a codesign approach that lets developers create models of a formal system representation independently of the hardware and software implementation. The authors' framework, which targets embedded systems, lets developers use simulation-based modeling to explore the feasibility of virtual prototypes and then interactively map the specification onto a software-hardware architecture.