Rigorous design of robot software: A formal component-based approach.
Tesnim AbdellatifSaddek BensalemJacques CombazLavindra de SilvaFélix IngrandPublished in: Robotics Auton. Syst. (2012)
Keyphrases
- mobile robot
- software architecture
- software development
- design concepts
- software design
- user interface
- computer systems
- design process
- artificial intelligence
- embedded systems
- platform independent
- formal methods
- hardware design
- formal model
- virtual instrument
- requirements specification
- human robot interaction
- building blocks
- vision system
- case study