Ribeiro, Fabiola Goncalves Coelho (2019) Multi-formalism in different levels of abstraction for requirements engineering and architectural design of real-time embedded systems. PhD, Universität Oldenburg.

[img]
Preview


Volltext (6Mb)

Abstract

Real-time embedded systems (RTES) are increasingly omnipresent in human activities and therefore during the development reliability and accuracy are important. The successful development of these systems requires to cover all real-time embedded constraints. This thesis relates to the development and analysis of a methodology that covers different phases of RTES design. Different strategies for analyzing timing constraints are evaluated at different abstraction levels, such as early analysis of requirement models and empirical evaluation of architectural models assumptions. The proposed methodology employs Model-Driven Systems Engineering approaches and presents distinctive guidelines to formally design RTES based on viewpoints, refinements, annotation and verification of real-time embedded concerns. The methodology proposed in this study is both quantitatively and qualitatively validated, which aims at demonstrating the expressiveness and contributions made toward RTES development.

["eprint_fieldname_title_plus" not defined]

Multiformalismus auf verschiedenen Abstraktionsebenen für Requirements Engineering und Architekturdesign von eingebetteten Echtzeitsystemen

["eprint_fieldname_abstract_plus" not defined]

Eingebettete Echtzeitsysteme (RTES) sind bei menschlichen Aktivitäten zunehmend allgegenwärtig und daher ist bei der Entwicklung die Zuverlässigkeit und Genauigkeit wichtig. Der Entwurf dieser Systeme erfordert die Einhaltung aller eingebetteten Echtzeitbedingungen. Die Arbeit befasst sich mit der Entwicklung und Analyse einer Methodik, die verschiedene Phasen des RTES-Entwurf abdeckt. Verschiedene Strategien zur Analyse von Zeitbeschränkungen werden auf unterschiedliche Abstraktionsebenen bewertet, beispielsweise die frühzeitige Analyse von Anforderungsmodellen und die empirische Bewertung von Annahmen zu Architekturmodellen. Die vorgeschlagene Methodik verwendet modellgetriebene Systemansätze und enthält eindeutige Richtlinien für die formale Gestaltung von RTES auf der Grundlage von Gesichtspunkten, Verfeinerungen, Anmerkungen und Überprüfungen eingebetteter Echtzeitforderungen. Die vorgeschlagene Methodik ist quantitativ und qualitativ validiert und der Entwurf wurde demonstriert.

Item Type: Thesis (PhD)
Uncontrolled Keywords: Eingebettetes System, Echtzeitsystem, Requirements engineering, Architektur <Informatik>
Subjects: Generalities, computers, information > Computer science, internet
Divisions: School of Computing Science, Business Administration, Economics and Law > Department of Computing Science
Date Deposited: 21 Aug 2020 10:11
Last Modified: 21 Aug 2020 14:50
URI: https://oops.uni-oldenburg.de/id/eprint/4661
URN: urn:nbn:de:gbv:715-oops-47426
DOI:
Nutzungslizenz:

Actions (login required)

View Item View Item

Document Downloads

More statistics for this item...