A unified framework for automated inspection of handheld safety critical devices in production assemblies.
Muhammad Asim RehmatMuhammad ShahbazAsad RazaHaider AbbasPublished in: Future Gener. Comput. Syst. (2018)
Keyphrases
- safety critical
- embedded systems
- mobile devices
- handheld devices
- formal methods
- safety analysis
- fault tolerant
- nuclear power plant
- agent architecture
- mobile phone
- low cost
- support systems
- regulatory requirements
- adaptive systems
- real time
- location aware
- personal digital assistants
- sql server
- database design
- mobile agents
- distributed systems
- user interface