1,721,110 research outputs found
Modellbasierte Entwicklung und Konfiguration des zeitgesteuerten FlexRay Bussystems
Full text linkDie stetige Erhöhung der Verkehrssicherheit durch immer leistungsfähigere Fahrerassistenzsysteme haben in den letzten Jahren maßgeblich zu einem Anwachsen des Elektrik/Elektronik Anteils im Automobilbau geführt. Diese Arbeit liefert einen Beitrag zur Verbesserung der Methoden für die modellbasierte Entwicklung und Konfiguration von FlexRay Bussystemen. Dazu wurden verschiedene Verfahren entwickelt, welche sich mit der Realisierung, Konfiguration, Validierung und Test von FlexRay beschäftigen
Modellbasierte Entwicklung fehlertoleranter Systeme
No full textThis thesis presents an approach for model-based development of fault-tolerant real-time systems. The main goal is the automatic generation of code realizing non-functional systems, such as fault-tolerance mechanisms, communication in the distributed system, and scheduling.
Contributions of this work are the formulation of an adequate domain-specific modeling language, a formal model for the specification of fault assumptions, the implementation of an according tool chain, and the integration of formal mechanisms to prove the correctness of the implementation.
The approach is implemented in the context of two demonstrators to point out the advantages of the approach. The demonstrator point out that hard real-time constraints can be satisfied and heterogeneous systems can be supported.Diese Doktorarbeit behandelt die modellbasierte Entwicklung von fehlertoleranten Echtzeitsystemen. Der Fokus liegt dabei auf der Generierung von Code zur Realisierung von nicht-funktionale Aspekten, wie Fehlertoleranzmechanismen, Kommunikation im verteilten System und Scheduling.
Die Beiträge diese Arbeit sind unter anderem die Formulierung einer geeigneten Modellierungssprache, die Einführung eines formalen Modells zur Spezifikation der Fehlerhypothese, die Umsetzung einer entsprechenden Werkzeugkette, sowie die Integration von formalen Mechanismen zum Nachweis der Korrektheit des generierten Codes.
Die vorgestellten Mechanismen wurden anhand von zwei Demonstratoren umgesetzt und evaluiert. Die Arbeit zeigt, dass harte Echtzeitbedingungen erfüllt und heterogene Systeme unterstützt werden können
Tagungsband Dagstuhl-Workshop MBEES: Modellbasierte Entwicklung eingebetteter Systeme 2005
Full text linkDie modellbasierte Entwicklung eingebetteter, softwarebasierter Systeme beruht auf der anwendungsorientierten Modellierung der zu realisierenden Systeme sowohl unter Nutzung von Standardsprachen, wie der UML und deren Elementen, wie Komponenten, Nachrichten, oder Zustände, als auch von domäenspezifischen Konzepten, wie etwa zeitbehafteten Ereignissen oder Signalen, synchronem oder asynchronem Datenfluss und Priorisierungs- und Unterbrechungskonzepten. Durch den Einsatz anwendungsorientierter statt codezentrierter Modelle können Aspekte der Implementierung (z.B. Bus- oder Task-Schedules, Implementierungstypen) abstrahiert werden, während besonders wichtige und kritische Aspekte explizit und frühzeitig modelliert werden (z.B. Zeit, Prioritäten oder Kommunikationsaspekte). Die Anwendung analytischer und generativer Verfahren auf diesen Modellen erlaubt die effiziente Entwicklung hochqualitativer Software
Modellbasierte Entwicklung von softwareintensiven Automotivesystemen
No full textThis thesis proposes the "COLA automotive approach". It enables seamless model-based development of software-intensive automotive systems along different levels of abstraction. This leads to a reduction of complexity and takes the principle of "separation of concerns" into account. The both syntactical and semantical well-defined domain-specific modelling language COLA is used to design such systems and hence is the basis for further activities. For example, model analysis, model transformation, and semantics preserving deployment can be performed. The capabilities of the COLA-IDE are completed by an export of simulatable requirements specification documents and a traceability analysis. By means of several case studies, the approach has been evaluated and its feasibility has been shown.Diese Arbeit schlägt den "COLA Automotive Ansatz" vor. Dieser ermöglicht eine durchgängige modellbasierte Entwicklung von softwareintensiven Automotivesystemen entlang unterschiedlicher Abstraktionsebenen. Diese führen zu einer Reduzierung der Komplexität und tragen dem Prinzip "Separation of Concerns" Rechnung. Die sowohl syntaktisch als auch semantisch formal definierte domänenspezifische Modellierungssprache COLA dient zur Beschreibung dieser Systeme und bildet somit das Fundament für weitergehende Aktivitäten. So können beispielsweise Modellanalysen, Modelltransformationen und ein semantikerhaltendes automatisches Deployment durchgeführt werden. Eine Ausleitung simulierbarer Lastenhefte sowie eine Nachverfolgbarkeitsanalyse runden die Fähigkeiten der COLA-IDE ab. Anhand mehrerer Fallstudien wurde der Ansatz evaluiert und dessen Tragfähigkeit bestätigt
Modellbasierte Entwicklung von Energiemanagement-Methoden für Flugzeug-Energiesysteme
Full text linkSeit Jahrzehnten werden konventionell hydraulisch oder pneumatisch betriebene Flugzeugsysteme
durch elektrisch betriebene Systeme ersetzt. Das resultierende „More Electric Aircraft“ war in
bisherigen Studien zwar effizienter, jedoch deutlich schwerer als ein konventionelles Flugzeug.
Basierend auf ökonomischen Modellen wird in der vorliegenden Arbeit die modellbasierte
Entwicklung eines intelligenten Energiemanagements für Flugzeugsysteme demonstriert. Das
Energiemanagement ermöglicht eine deutliche Reduktion der Systemmasse, verbessert die
Energieeffizienz und kann damit den Treibstoffverbrauch eines „More Electric Aircraft“ beträchtlich
reduzieren. Insbesondere durch die integrierte und frühzeitige Entwicklung des Energiemanagements
mit dem elektrischen System in der Modellbeschreibungssprache Modelica
lassen sich die Systemkomponenten mit realistischen Lastprofilen dimensionieren und dadurch die
Systemmasse reduzieren. Anhand eines elektrischen Referenzsystems wird das Optimierungspotenzial
des Energiemanagements bezüglich Massenreduktion und Energieeffizienzsteigerung
quantifiziert und am Systemmodell validiert
Solving modeling problems with machine learning - a classification scheme of model learning approaches for technical systems
No full textS.21-29The manual creation and maintenance of appropriate behavior models is a key problem of model-based development for technical systems such as vehicles or production systems. Currently, two main approaches are considered promising to overcome this bottleneck: (a) The fields of software and system engineering try to develop better methods and tools to synthesize models manually. (b) The field of machine learning tries to learn such models automatically, by analyzing observations from running systems. While software and system engineering approaches are suited for new systems for which modeling expertise is at hand, machine learning approaches are suited for the handling of running systems such as monitoring, diagnosis, and system optimization. Given this background our contributions are as follows: To organize existing research, Section 2 introduces a classification scheme of models and model learning algorithms. Section 3 reports on two different case studies to illustrate the power of the machine learning approach
Modeling for automated test generation - A comparison
No full textS.57-69In this contribution, we compare and analyze different methodologies of modeling for test generation. As an example, we use an industrial requirement specification given in natural language, which describes a safety function in a hybrid car. We model these requirements with three different paradigms and languages: as the specification imposes several timing constraints, we choose abstract State Machines, Timed Automata and UML2 State Machines to formalize the given requirements. From these models, we employ different tools for generating test cases, and compare the resulting test suites with respect to coverage and fault detection capabilities. We discuss the process of designing the models and the implications for professional software testing
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
- …
