Dependability in open proof software with hardware virtualization - The railway control systems perspective.
Johannes FeuserJan PeleskaPublished in: Sci. Comput. Program. (2014)
Keyphrases
- control system
- computer systems
- software systems
- hardware design
- low cost
- operating system
- hardware platforms
- software implementation
- open systems
- embedded systems
- control unit
- real time
- ibm zenterprise
- control software
- high end
- blue gene
- hardware and software
- personal computer
- virtual machine
- software tools
- virtual instrument
- abstraction layer
- windows xp
- industry standard
- cloud computing
- hardware software
- computing platform
- computer hardware
- dedicated hardware
- computing systems
- software maintenance
- hardware implementation
- software architecture
- hardware designs
- commercial off the shelf
- industrial automation
- reconfigurable hardware
- theorem proving
- software engineering
- wireless networks
- cyber infrastructure