Certification of embedded systems: Quantitative analysis and irrefutable evidences.
Nuno SilvaMarco VieiraPublished in: ISSRE (Supplemental Proceedings) (2013)
Keyphrases
- collaborative learning
- embedded systems
- quantitative analysis
- low cost
- qualitative analysis
- embedded devices
- computing power
- resource limited
- processing power
- qualitative and quantitative analysis
- real time systems
- embedded software
- qualitative evaluation
- software systems
- real time image processing
- flash memory
- embedded real time systems
- hardware software
- safety critical
- communication technologies
- field programmable gate array
- hw sw
- software engineering
- image processing