Model-based requirements specification of real-time systems with UML, SysML and MARTE.
Saved in:
| Title: | Model-based requirements specification of real-time systems with UML, SysML and MARTE. |
|---|---|
| Authors: | Ribeiro, Fabíola Gonçalves C.1,2 fabiola.ribeiro@ifgoiano.edu.br, Pereira, Carlos E.2,3 cpereira@ece.ufrgs.br, Rettberg, Achim2,4 achim.rettberg@iess.org, Soares, Michel S.2,5 mics.soares@gmail.com |
| Source: | Software & Systems Modeling. Feb2018, Vol. 17 Issue 1, p343-361. 19p. |
| Subjects: | Real-time control, SysML (Computer science), Temporal databases, Software engineering, Database management |
| Abstract: | Activities of specification, analysis and design of real-time systems (RTS) are highly dependent on an effective understanding of the application domain and on the thorough representation of their basic requirements. Model-based approaches using modeling languages such as UML are often applied to contribute to handle complexity of RTS development. However, UML alone does not completely represent important features associated with these systems, such as relationship with hardware elements and an effective representation of timing constraints. This article explores the combined use of UML and its profiles SysML and MARTE for modeling hardware and software requirements of RTS, with application to a case of controlling urban road traffic. The SysML profile alone does not present the representation of temporal, behavioral and performance requirements. The MARTE profile provides key resources to specify non-functional requirements for RTS, in addition to a clear description of the various relevant aspects of requirements definition of RTS, as for instance, temporal aspects and constraints. The main objective is to present the combined application of SysML with MARTE stereotypes, which enables the specification of different features of individual software requirements. Thus, in addition to the factors mentioned above, we can say that the proposed approach has an important role to specify RTS at different levels of detail and levels of abstraction. [ABSTRACT FROM AUTHOR] |
| Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts.) | |
| Database: | Engineering Source |
|
Full text is not displayed to guests.
Login for full access.
|
|
| FullText | Links: – Type: pdflink Text: Availability: 1 |
|---|---|
| Header | DbId: egs DbLabel: Engineering Source An: 127931725 AccessLevel: 6 PubType: Academic Journal PubTypeId: academicJournal PreciseRelevancyScore: 0 |
| IllustrationInfo | |
| Items | – Name: Title Label: Title Group: Ti Data: Model-based requirements specification of real-time systems with UML, SysML and MARTE. – Name: Author Label: Authors Group: Au Data: <searchLink fieldCode="AR" term="%22Ribeiro%2C+Fabíola+Gonçalves+C%2E%22">Ribeiro, Fabíola Gonçalves C.</searchLink><relatesTo>1,2</relatesTo><i> fabiola.ribeiro@ifgoiano.edu.br</i><br /><searchLink fieldCode="AR" term="%22Pereira%2C+Carlos+E%2E%22">Pereira, Carlos E.</searchLink><relatesTo>2,3</relatesTo><i> cpereira@ece.ufrgs.br</i><br /><searchLink fieldCode="AR" term="%22Rettberg%2C+Achim%22">Rettberg, Achim</searchLink><relatesTo>2,4</relatesTo><i> achim.rettberg@iess.org</i><br /><searchLink fieldCode="AR" term="%22Soares%2C+Michel+S%2E%22">Soares, Michel S.</searchLink><relatesTo>2,5</relatesTo><i> mics.soares@gmail.com</i> – Name: TitleSource Label: Source Group: Src Data: <searchLink fieldCode="JN" term="%22Software+%26+Systems+Modeling%22">Software & Systems Modeling</searchLink>. Feb2018, Vol. 17 Issue 1, p343-361. 19p. – Name: Subject Label: Subjects Group: Su Data: <searchLink fieldCode="DE" term="%22Real-time+control%22">Real-time control</searchLink><br /><searchLink fieldCode="DE" term="%22SysML+%28Computer+science%29%22">SysML (Computer science)</searchLink><br /><searchLink fieldCode="DE" term="%22Temporal+databases%22">Temporal databases</searchLink><br /><searchLink fieldCode="DE" term="%22Software+engineering%22">Software engineering</searchLink><br /><searchLink fieldCode="DE" term="%22Database+management%22">Database management</searchLink> – Name: Abstract Label: Abstract Group: Ab Data: Activities of specification, analysis and design of real-time systems (RTS) are highly dependent on an effective understanding of the application domain and on the thorough representation of their basic requirements. Model-based approaches using modeling languages such as UML are often applied to contribute to handle complexity of RTS development. However, UML alone does not completely represent important features associated with these systems, such as relationship with hardware elements and an effective representation of timing constraints. This article explores the combined use of UML and its profiles SysML and MARTE for modeling hardware and software requirements of RTS, with application to a case of controlling urban road traffic. The SysML profile alone does not present the representation of temporal, behavioral and performance requirements. The MARTE profile provides key resources to specify non-functional requirements for RTS, in addition to a clear description of the various relevant aspects of requirements definition of RTS, as for instance, temporal aspects and constraints. The main objective is to present the combined application of SysML with MARTE stereotypes, which enables the specification of different features of individual software requirements. Thus, in addition to the factors mentioned above, we can say that the proposed approach has an important role to specify RTS at different levels of detail and levels of abstraction. [ABSTRACT FROM AUTHOR] – Name: AbstractSuppliedCopyright Label: Group: Ab Data: <i>Copyright of Software & Systems Modeling is the property of Springer Nature and its content may not be copied or emailed to multiple sites without the copyright holder's express written permission. Additionally, content may not be used with any artificial intelligence tools or machine learning technologies. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract.</i> (Copyright applies to all Abstracts.) |
| PLink | https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=egs&AN=127931725 |
| RecordInfo | BibRecord: BibEntity: Identifiers: – Type: doi Value: 10.1007/s10270-016-0525-1 Languages: – Code: eng Text: English PhysicalDescription: Pagination: PageCount: 19 StartPage: 343 Subjects: – SubjectFull: Real-time control Type: general – SubjectFull: SysML (Computer science) Type: general – SubjectFull: Temporal databases Type: general – SubjectFull: Software engineering Type: general – SubjectFull: Database management Type: general Titles: – TitleFull: Model-based requirements specification of real-time systems with UML, SysML and MARTE. Type: main BibRelationships: HasContributorRelationships: – PersonEntity: Name: NameFull: Ribeiro, Fabíola Gonçalves C. – PersonEntity: Name: NameFull: Pereira, Carlos E. – PersonEntity: Name: NameFull: Rettberg, Achim – PersonEntity: Name: NameFull: Soares, Michel S. IsPartOfRelationships: – BibEntity: Dates: – D: 01 M: 02 Text: Feb2018 Type: published Y: 2018 Identifiers: – Type: issn-print Value: 16191366 Numbering: – Type: volume Value: 17 – Type: issue Value: 1 Titles: – TitleFull: Software & Systems Modeling Type: main |
| ResultId | 1 |
