F. Ribeiro, A. Rettberg, C. Pereira, Charles Steinmetz, M. S. Soares
{"title":"实时嵌入式领域体系结构视点设计的形式化方法","authors":"F. Ribeiro, A. Rettberg, C. Pereira, Charles Steinmetz, M. S. Soares","doi":"10.1109/ISORC.2018.00016","DOIUrl":null,"url":null,"abstract":"Development of Real-Time and Embedded Systems (RTES) involves a number of complex activities performed by a diversity of stakeholders. In most cases, RTES requires a number of different physical and logical components with numerous functional and non-functional constraints. Therefore, it is essential to ensure the representation, specification and analysis of quality activities of these systems since the early design activities. SPES (Software Platform Embedded Systems) methodology has been considered to describe a framework to develop RTES, but it does not specify directly how and which modeling languages should be adopted. Thus, this research adopts SPES guidelines and applies SysML and MARTE profiles to create models in the architectural viewpoints, while it highlights functional properties and different non-functional constraints of the system. A formalization of design viewpoints is presented in order to contribute to quantitative measurement to describe an analysis of the design complexity since the initial design activities. As contributions of this paper, it can be highlighted a proposal to formalize the RTES design activities (viewpoints), a measurement of the system design complexity since the initial design activities (in accordance with the design activities) and, also, the definition of a formalized manner to analyse RTES complexity without the interference of user external knowledge.","PeriodicalId":395536,"journal":{"name":"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)","volume":"1 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2018-05-29","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"4","resultStr":"{\"title\":\"An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain\",\"authors\":\"F. Ribeiro, A. Rettberg, C. Pereira, Charles Steinmetz, M. S. Soares\",\"doi\":\"10.1109/ISORC.2018.00016\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"Development of Real-Time and Embedded Systems (RTES) involves a number of complex activities performed by a diversity of stakeholders. In most cases, RTES requires a number of different physical and logical components with numerous functional and non-functional constraints. Therefore, it is essential to ensure the representation, specification and analysis of quality activities of these systems since the early design activities. SPES (Software Platform Embedded Systems) methodology has been considered to describe a framework to develop RTES, but it does not specify directly how and which modeling languages should be adopted. Thus, this research adopts SPES guidelines and applies SysML and MARTE profiles to create models in the architectural viewpoints, while it highlights functional properties and different non-functional constraints of the system. A formalization of design viewpoints is presented in order to contribute to quantitative measurement to describe an analysis of the design complexity since the initial design activities. As contributions of this paper, it can be highlighted a proposal to formalize the RTES design activities (viewpoints), a measurement of the system design complexity since the initial design activities (in accordance with the design activities) and, also, the definition of a formalized manner to analyse RTES complexity without the interference of user external knowledge.\",\"PeriodicalId\":395536,\"journal\":{\"name\":\"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)\",\"volume\":\"1 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2018-05-29\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"4\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1109/ISORC.2018.00016\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"2018 IEEE 21st International Symposium on Real-Time Distributed Computing (ISORC)","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1109/ISORC.2018.00016","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
An Approach to Formalization of Architectural Viewpoints Design in Real-Time and Embedded Domain
Development of Real-Time and Embedded Systems (RTES) involves a number of complex activities performed by a diversity of stakeholders. In most cases, RTES requires a number of different physical and logical components with numerous functional and non-functional constraints. Therefore, it is essential to ensure the representation, specification and analysis of quality activities of these systems since the early design activities. SPES (Software Platform Embedded Systems) methodology has been considered to describe a framework to develop RTES, but it does not specify directly how and which modeling languages should be adopted. Thus, this research adopts SPES guidelines and applies SysML and MARTE profiles to create models in the architectural viewpoints, while it highlights functional properties and different non-functional constraints of the system. A formalization of design viewpoints is presented in order to contribute to quantitative measurement to describe an analysis of the design complexity since the initial design activities. As contributions of this paper, it can be highlighted a proposal to formalize the RTES design activities (viewpoints), a measurement of the system design complexity since the initial design activities (in accordance with the design activities) and, also, the definition of a formalized manner to analyse RTES complexity without the interference of user external knowledge.