Safety Assessment of Systems Embedded with COTS Components by PIP technique.

Luping Chen John H. R. May

Published in: SOQUA/TECOS (2004)

Keyphrases

software components
intelligent vehicles
safety critical
limited resources
building blocks
formal methods
embedded systems
distributed systems
decision support
complex systems
genetic algorithm
decision support system
low cost
management system
mobile robot
digital libraries
knowledge base