Formalization and Verification of AUTOSAR OS Standard's Memory Protection.

Khanh Trinh Le Yuki Chiba Toshiaki Aoki

Published in: TASE (2018)

Keyphrases

operating system
open source
memory requirements
formal analysis
computing power
memory space
functional verification
data sets
data mining
website
knowledge representation
model checking
privacy protection
signature verification
low memory