Timed and Resource-Oriented Statecharts for Embedded Software
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Jinhyun | - |
dc.contributor.author | Kang, Inhye | - |
dc.contributor.author | Choi, Jin-Young | - |
dc.contributor.author | Lee, Insup | - |
dc.date.accessioned | 2021-09-07T23:20:04Z | - |
dc.date.available | 2021-09-07T23:20:04Z | - |
dc.date.created | 2021-06-14 | - |
dc.date.issued | 2010-11 | - |
dc.identifier.issn | 1551-3203 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/115454 | - |
dc.description.abstract | Embedded software should be correctly developed so that it is be compliant with not only functional requirements but also real-time and resource constraints. However, those constraints are often dependent on execution environments that are sometimes revealed in late development phases. In this paper, we propose Timed and Resource-oriented Statecharts (TRoS) to analyze the time and resource-constrained behavior of system in earlier development phases of embedded software development. TRoS extends Statecharts using timed action labeled with resources to represent actions that consume resources. This enables us to describe the competition among processes to use shared resources, and to analyze schedulability of embedded systems. We present a case study of a distance control module that controls train movement to keep the distance between trains for railway control systems. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | IEEE-INST ELECTRICAL ELECTRONICS ENGINEERS INC | - |
dc.title | Timed and Resource-Oriented Statecharts for Embedded Software | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Choi, Jin-Young | - |
dc.identifier.doi | 10.1109/TII.2010.2060206 | - |
dc.identifier.wosid | 000283984900009 | - |
dc.identifier.bibliographicCitation | IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, v.6, no.4, pp.568 - 578 | - |
dc.relation.isPartOf | IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS | - |
dc.citation.title | IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS | - |
dc.citation.volume | 6 | - |
dc.citation.number | 4 | - |
dc.citation.startPage | 568 | - |
dc.citation.endPage | 578 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Automation & Control Systems | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalResearchArea | Engineering | - |
dc.relation.journalWebOfScienceCategory | Automation & Control Systems | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Interdisciplinary Applications | - |
dc.relation.journalWebOfScienceCategory | Engineering, Industrial | - |
dc.subject.keywordAuthor | Embedded software | - |
dc.subject.keywordAuthor | formal methods | - |
dc.subject.keywordAuthor | platform-based development | - |
dc.subject.keywordAuthor | process algebra | - |
dc.subject.keywordAuthor | statecharts | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.