Automatic abstraction of real-time software and re-implementation in Ada.
Noah S. PrywesEvan D. LockXiang GePublished in: TRI-Ada (1991)
Keyphrases
- real time
- dedicated hardware
- real time systems
- platform independent
- hardware design
- hardware implementation
- fpga hardware
- software tools
- software development
- industrial strength
- neural network
- activity monitoring
- software maintenance
- low cost
- software architecture
- semi automatic
- software systems
- high speed
- software package
- cluster of workstations
- information systems
- data abstraction
- vlsi architecture
- computer aided software engineering
- development kit
- object oriented
- aspect oriented
- database systems
- control system
- computing platform
- software design
- fully automatic
- quality of service
- test cases
- computer systems