Software Simulator to Design and Verify Transmultiplexer Systems.
Przemyslaw SypkaMariusz ZiólkoPublished in: AICT (2009)
Keyphrases
- highly modular
- embedded systems
- software systems
- software architecture
- simulation environment
- user interface
- industrial strength
- high assurance
- design concepts
- commercial software
- hardware design
- formal methods
- software design
- management system
- software development
- computer systems
- simulation tools
- control unit
- design criteria
- building blocks
- product line
- expert systems
- process automation
- design tools
- interactive systems
- design process
- design issues
- open systems
- simulation tool
- enterprise systems
- enabling technology
- software evolution
- software engineers
- complex systems
- computing systems