Quality Attribute Driven Architecture Design and Evaluation for Embedded Operating System | IEEE Conference Publication | IEEE Xplore