Multifacetted modelling and discrete event simulation
Multifacetted modelling and discrete event simulation
Probabilistic reasoning in intelligent systems: networks of plausible inference
Probabilistic reasoning in intelligent systems: networks of plausible inference
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
Integrated knowledge representation and management in simulation-based design generation
Mathematics and Computers in Simulation - Special issue on problem solving by simulation
Specification and design of embedded systems
Specification and design of embedded systems
A unified representation for hardware/software codesign
A unified representation for hardware/software codesign
WSC '96 Proceedings of the 28th conference on Winter simulation
WSC '96 Proceedings of the 28th conference on Winter simulation
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
The Field Programming Environment: A Friendly Integrated Environment for Learning and Development
Hardware-Software Co-Synthesis of Distributed Embedded Systems
Hardware-Software Co-Synthesis of Distributed Embedded Systems
Computer Aided Software/Hardware Engineering
Computer Aided Software/Hardware Engineering
Computer
Hardware-Software Cosynthesis for Microcontrollers
IEEE Design & Test
SLIF: a specification-level intermediate format for system design
EDTC '95 Proceedings of the 1995 European conference on Design and Test
Experiences with colored predicate-transition nets for specifyingand prototyping embedded systems
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics
MASCOT: a specification and cosimulation method integrating data and control flow
DATE '00 Proceedings of the conference on Design, automation and test in Europe
Automating test generation for discrete event oriented embedded systems
Journal of Intelligent and Robotic Systems
Hi-index | 0.00 |
This paper describes desiderata for an environment to implement the model-based codesign methodology. A brief summary of model-based codesign is given, followed by a discussion of related work. The services and capabilities required of a design environment are given within the concept of a CAD framework. The design flow that realizes model-base codesign is presented. Attention is given to the required activities at each step and to the flow of design information between design steps. The design flow described here focuses on real-time embedded systems. It covers engineering activities from requirements documentation to the physical realization of the design. Emphasis is placed on modeling and simulation to support automated design reasoning. Considerations related to tool support and tool integration are also given.