Soft-commissioning: hardware-in-the-loop-based verification of controller software.
Harald SchludermannThomas KirchmairMarkus VorderwinklerPublished in: WSC (2000)
Keyphrases
- hardware designs
- computer systems
- hardware design
- embedded systems
- real time
- control system
- hardware and software
- control unit
- control software
- software systems
- dedicated hardware
- high end
- computer hardware
- software architecture
- commercial off the shelf
- hardware platforms
- hardware software
- software tools
- personal computer
- closed loop
- model checking
- low cost
- hardware description language
- hardware implementation
- java virtual machine
- micro controller
- computing platform
- blue gene
- formal verification
- software development
- software implementation
- pid controller
- industry standard
- single chip
- controller design
- control architecture
- formal methods
- data flow
- control method
- development process
- operating system
- software engineering
- mobile robot
- user interface
- image processing
- neural network