Engineering Spacecraft Mission Software using a Model-Based and Safety-Driven Design Methodology.
Kathryn Anne WeissNicolas DulacStephanie ChiesiMirna DaoukDavid ZipkinNancy G. LevesonPublished in: J. Aerosp. Comput. Inf. Commun. (2006)
Keyphrases
- design methodology
- design process
- hardware software
- mission planning
- physical design
- design methodologies
- design processes
- space shuttle
- design procedure
- software development
- formal specification
- design criteria
- fuzzy neural network
- software engineering
- object oriented
- hw sw
- neural network
- artificial intelligence
- databases
- model selection
- expert systems