On the development of a formal methods-based software design methodology for automotive applications.
S. TranJohn CullyerE. HinesK. MarksPublished in: Microprocess. Microsystems (1990)
Keyphrases
- formal methods
- safety critical
- design methodology
- formal specification
- development lifecycle
- knowledge based systems
- physical design
- model checking
- design process
- hardware software
- artificial intelligence
- software engineering
- design criteria
- support systems
- development process
- design methodologies
- object oriented
- hw sw
- case study
- embedded systems
- databases
- knowledge acquisition
- knowledge representation
- learning algorithm