Rigorous model-based design & verification flow for in-vehicle software.

S. Ramesh Ambar A. Gadkari

Published in: DAC (2011)

Keyphrases

software design
user interface
software architecture
software systems
case study
real time
design concepts
source code
formal verification
design process
hardware design
formal methods
highly modular
design tools
design methodology
model checking
petri net
software development
object oriented
mobile robot