A Technique to Architect Real-time Embedded Systems with SysML and UML through Multiple Views.
Quelita A. D. S. RibeiroFabíola Gonçalves C. RibeiroMichel S. SoaresPublished in: ICEIS (2) (2017)
Keyphrases
- multiple views
- real time embedded systems
- modeling language
- formal methods
- multi view
- viewpoint
- single view
- metamodel
- d objects
- multiple images
- multiple cameras
- point correspondences
- safety critical
- camera images
- software engineering
- range images
- knowledge based systems
- real time
- fundamental matrix
- model checking
- overlapping views
- camera views
- ground plane
- formal specification
- consistency constraints
- object oriented
- safety analysis
- software systems
- object recognition
- line correspondences
- three dimensional