A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems

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...

詳細記述

保存先:

書誌詳細
第一著者:	Nguyen, Trinh Dong
フォーマット:	論文
言語:	English
出版事項:	2018
主題:	Timed - resource protocol Timed-resource design Real-time contracts Real-time systems Embedded systems
オンライン･アクセス:	http://thuvien.cit.udn.vn//handle/123456789/192
タグ:	タグ追加タグなし, このレコードへの初めてのタグを付けませんか!

Thư viện lưu trữ:	Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng

id	oai:elib.vku.udn.vn:123456789-192
record_format	dspace
spelling	oai:elib.vku.udn.vn:123456789-1922021-02-18T03:35:13Z A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems Nguyen, Trinh Dong Timed - resource protocol Timed-resource design Real-time contracts Real-time systems Embedded systems 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 2018-12-07T15:08:10Z 2018-12-07T15:08:10Z 2017 Article http://thuvien.cit.udn.vn//handle/123456789/192 en application/pdf
institution	Trường Đại học Công nghệ Thông tin và Truyền thông Việt Hàn - Đại học Đà Nẵng
collection	DSpace
language	English
topic	Timed - resource protocol Timed-resource design Real-time contracts Real-time systems Embedded systems
spellingShingle	Timed - resource protocol Timed-resource design Real-time contracts Real-time systems Embedded systems Nguyen, Trinh Dong A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems
description	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
format	Article
author	Nguyen, Trinh Dong
author_facet	Nguyen, Trinh Dong
author_sort	Nguyen, Trinh Dong
title	A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems
title_short	A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems
title_full	A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems
title_fullStr	A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems
title_full_unstemmed	A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems
title_sort	general model for quality analyzing of functional and non-functional features in real-time systems
publishDate	2018
url	http://thuvien.cit.udn.vn//handle/123456789/192
_version_	1849203945745940480

A General Model for Quality Analyzing of Functional and Non-functional Features in Real-Time Systems

類似資料