Evaluation of Software Development Tools for High Assurance Safety Critical Systems.
Andrew J. KorneckiKimberley HallDarryl HearnHerman LauJanusz ZalewskiPublished in: HASE (2004)
Keyphrases
- safety critical
- high assurance
- fault tolerant
- development tools
- formal methods
- safety analysis
- embedded systems
- software developers
- software systems
- support systems
- agent architecture
- operating system
- development environment
- computer systems
- adaptive systems
- distributed systems
- software components
- exception handling
- application development
- expert systems
- application developers
- knowledge based systems
- intelligent systems
- software development
- low cost