A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems
DC Element | Wert | Sprache |
---|---|---|
dc.contributor.author | Noyer, Arne | |
dc.contributor.author | Iyenghar, Padma | |
dc.contributor.author | Engelhardt, Joachim | |
dc.contributor.author | Pulvermueller, Elke | |
dc.contributor.author | Bikker, Gert | |
dc.date.accessioned | 2021-12-23T16:05:49Z | - |
dc.date.available | 2021-12-23T16:05:49Z | - |
dc.date.issued | 2017 | |
dc.identifier.issn | 09639314 | |
dc.identifier.uri | https://osnascholar.ub.uni-osnabrueck.de/handle/unios/7222 | - |
dc.description.abstract | Embedded software engineering very often involves development of complex, mission critical software; wherein it is imperative that the developed software fulfills its requirements to achieve high quality. In such cases, there are several advantages of using specialized Requirements Management (RM) tools for managing the requirements. Critical timing requirements are among the foremost non-functional (quality) requirements to be fulfilled by increasingly complex embedded software. Further, a correct and effective timing behavior is among the characteristics of high-quality software. On the other hand, Model-Driven Development (MDD) is considered as the next paradigm shift to address the increasing complexity in embedded software development and to achieve high-quality standards. Similarly, there are specialized tools for validating and analyzing the timing behavior of the embedded software. However, such tools are used very late in the development process, when the actual timing errors occur. Thus, it is intuitive to perceive that an integrated model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems is very beneficial for high-quality software development, nevertheless is still missing. Addressing the aforementioned gap, this paper proposes an approach toward a complete workflow for managing timing requirements in RM tools, specifying timing behavior in MDD tools and their validation in specialized tools for timing analyses. A prototype implementation of the proposed framework and its experimental evaluation are discussed. | |
dc.description.sponsorship | Federal ministry of Economics and Technology (BMWi), GermanyFederal Ministry for Economic Affairs and Energy (BMWi); This project is supported by a grant from the Federal ministry of Economics and Technology (BMWi), Germany. This project work is carried out in cooperation with Willert Software Tools GmbH, Symtavision GmbH, Ostfalia University of Applied Sciences and the University of Osnabrueck. | |
dc.language.iso | en | |
dc.publisher | SPRINGER | |
dc.relation.ispartof | SOFTWARE QUALITY JOURNAL | |
dc.subject | Computer Science | |
dc.subject | Computer Science, Software Engineering | |
dc.subject | Model-Driven Development | |
dc.subject | Modeling and Analysis of Real Time and Embedded systems (MARTE) | |
dc.subject | Requirements Interchange Format (ReqIF) | |
dc.subject | Requirements traceability | |
dc.subject | Timing requirements | |
dc.subject | Unified Modeling Language (UML) | |
dc.title | A model-based framework encompassing a complete workflow from specification until validation of timing requirements in embedded software systems | |
dc.type | journal article | |
dc.identifier.doi | 10.1007/s11219-016-9323-9 | |
dc.identifier.isi | ISI:000406371300003 | |
dc.description.volume | 25 | |
dc.description.issue | 3 | |
dc.description.startpage | 671 | |
dc.description.endpage | 701 | |
dc.identifier.eissn | 15731367 | |
dc.publisher.place | VAN GODEWIJCKSTRAAT 30, 3311 GZ DORDRECHT, NETHERLANDS | |
dcterms.isPartOf.abbreviation | Softw. Qual. J. | |
crisitem.author.dept | Institut für Informatik | - |
crisitem.author.deptid | institute12 | - |
crisitem.author.parentorg | FB 06 - Mathematik/Informatik/Physik | - |
crisitem.author.grandparentorg | Universität Osnabrück | - |
crisitem.author.netid | PuEl525 | - |
Seitenaufrufe
3
Letzte Woche
1
1
Letzter Monat
1
1
geprüft am 17.05.2024