Safety-Driven Design for Software-Intensive Aerospace and Automotive Systems.
Margaret V. StringfellowNancy G. LevesonBrandon OwensPublished in: Proc. IEEE (2010)
Keyphrases
- safety critical
- knowledge based systems
- formal methods
- design issues
- design criteria
- learning systems
- user interface
- building blocks
- human computer interface
- design choices
- interactive systems
- computer systems
- distributed systems
- design automation
- case study
- database
- neural network
- data sets
- automotive industry
- mechanical systems
- operating environment
- technical systems
- computing systems
- embedded systems
- computer aided
- software architecture
- complex systems
- expert systems
- information systems
- information retrieval
- data mining