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...
Wedi'i Gadw mewn:
| Prif Awdur: | |
|---|---|
| Fformat: | Erthygl |
| Iaith: | English |
| Cyhoeddwyd: |
2018
|
| Pynciau: | |
| Mynediad Ar-lein: | http://thuvien.cit.udn.vn//handle/123456789/192 |
| Tagiau: |
Ychwanegu Tag
Dim Tagiau, Byddwch y cyntaf i dagio'r cofnod hwn!
|
| 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 |