Model-based requirements and properties specifications trends for early design verification of embedded systems.
Muhammad RashidMuhammad Waseem AnwarFarooque AzamMuhammad KashifPublished in: SoSE (2016)
Keyphrases
- embedded systems
- functional requirements
- real time systems
- low cost
- embedded software
- embedded devices
- hw sw
- resource limited
- computing power
- embedded real time systems
- software systems
- formal verification
- safety critical
- hardware software
- design requirements
- processing power
- source code
- asynchronous circuits
- high level
- design methodology
- consumer electronics
- multi agent
- software architecture
- flash memory
- efficient implementation
- formal specification
- requirements engineering