Automatic Detection of Unspecified Expression Evaluation in FreeRTOS Programs
Embedded systems are widely used in most electrical devices. They are often complex and safety-critical. Therefore, their reilability is significantlyimportant. AMong many techniques to verify a system, model checking models a system into temporal logic and can be used to assert a desired property o...
Main Author: | Khodayari, Shahrzad |
---|---|
Format: | Others |
Language: | English |
Published: |
Uppsala universitet, Institutionen för informationsteknologi
2014
|
Online Access: | http://urn.kb.se/resolve?urn=urn:nbn:se:uu:diva-228289 |
Similar Items
-
Acceleration of FreeRTOS withSierra RTOS accelerator : Implementation of a FreeRTOS software layer onSierra RTOS accelerator
by: Borgström, Fredrik
Published: (2016) -
Efficient Scheduling Library for FreeRTOS
by: Kase, Robin
Published: (2016) -
Program Verification of FreeRTOS using Microsoft Dafny
by: Matias, Matthew John
Published: (2014) -
Power management implementation in FreeRTOS on LM3S3748
by: Simonović Mirela, et al.
Published: (2013-01-01) -
Marine monitoring network framework based on FreeRTOS and MQTT
by: Zhu Minghui, et al.
Published: (2018-01-01)