Certifiably safe software-dependent systems: challenges and directions.
John HatcliffAlan WassyngTim KellyCyrille ComarPaul L. JonesPublished in: FOSE (2014)
Keyphrases
- computer systems
- management system
- ubiquitous and pervasive
- complex systems
- current challenges
- software packages
- intelligent systems
- industrial strength
- technical issues
- software design
- key issues
- software tools
- software components
- lessons learned
- software developers
- computing systems
- embedded systems
- enabling technologies
- retrieval systems
- highly modular
- learning systems