Please use this identifier to cite or link to this item:
Title: A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems
Authors: Nguyen, Trinh Dong
Keywords: Timed - resource protocol
Timed-resource design
Real-time contracts
Real-time systems
Embedded systems
Issue Date: 2017
Abstract: This paper proposes a technique for specifying and analyzing the quality of functional and non-functional features in real-time systems. These works include a proposal of timed-resource protocols to model and analyze the interactions among methods and components, and a presentation of algorithms to decide if the behavior sequences of a system's environment to conform to component’s protocols
Appears in Collections:CITA 2017

Files in This Item:

 Sign in to read

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.