Formal design, verification and implementation of robotic controller software via RoboChart and RoboTool.
Wei LiPedro RibeiroAlvaro MiyazawaRichard RedpathAna CavalcantiKieran AldenJim WoodcockJon TimmisPublished in: Auton. Robots (2024)
Keyphrases
- formal methods
- hardware design
- highly modular
- design concepts
- circuit design
- software architecture
- efficient implementation
- aspect oriented
- platform independent
- implementation issues
- real time
- development kit
- design methodology
- formal specification
- user interface
- controller design
- software design
- software testing
- mobile robot
- web services
- formal verification
- core components
- hardware architecture
- embedded systems
- model checking
- computer systems
- computer aided software engineering
- software development