Preface of "Specification and Validation of Real Time and Embedded systems in UML".
Susanne GrafØystein HaugenIleana OberBran SelicPublished in: Int. J. Softw. Tools Technol. Transf. (2006)
Keyphrases
- embedded systems
- real time systems
- real time
- low cost
- resource limited
- software systems
- embedded real time systems
- embedded software
- safety critical
- formal methods
- sequence diagrams
- specification language
- computing power
- embedded devices
- smart camera
- state machine
- real time image processing
- processing power
- hardware software
- software engineering
- consumer electronics
- flash memory
- cyber physical systems
- modeling language
- artificial intelligence
- high level
- uml diagrams
- quality of service
- software architecture
- field programmable gate array
- metamodel
- source code
- digital signal processor
- activity diagrams
- software design