Catalogus : Details

Imke Helene Nachmann

Functional Modeling of Cyber-Physical Systems

ISBN:

978-3-8191-0081-9

Reeks:

Aachener Informatik-Berichte, Software Engineering
Uitgever: Prof. Dr. rer. nat. Bernhard Rumpe
Aachen

Volume:

Trefwoorden:

Cyber-Physical Systems; Functional Specification; Model-Driven Systems Engineering

Soort publicatie:

Dissertatie

Taal:

Engels

Pagina's:

294 pagina's

Prijs:

39,80 €

Verschijningsdatum:

Juli 2025

Download:

Beschikbare online documenten voor deze titel:

U heeft Adobe Reader, nodig, om deze bestanden te kunnen bekijken. Hier vindt u ondersteuning en informatie, bij het downloaden van PDF-bestanden.

Let u er a.u.b. op dat de online-bestanden niet drukbaar zijn.


	Document		Document
	Soort bestand		PDF
	Kosten		29,85 EUR
	Acties		Tonen en kopen van het bestand - 10,7 MB (11270452 Byte)
	Acties		Kopen en downloaden van het bestand - 10,7 MB (11270452 Byte)


	Document		Inhoudsopgave
	Soort bestand		PDF
	Kosten		gratis
	Acties		Het bestand tonen - 861 kB (882111 Byte)
	Acties		downloaden van het bestand - 861 kB (882111 Byte)

Gebruikersinstellingen voor geregistreerde online-bezoekers

Hier kunt u uw adresgegevens aanpassen en uw documenten inzien.

Gebruiker:	niet aangemeld
Acties:	aanmelden/registreren Paswoord vergeten?

Aanbevelen:

Wilt u dit boek aanbevelen?

Verlinking

Wilt u een link hebben van uw publicatie met onze online catalogus? Klik hier.

Samenvatting

Engineering Cyber-Physical Systems faces many challenges including the demand to integrate many different forms of functionalities and features. Traditional engineering processes are structured by the physical components and software modules of the final system and the engineering activities are concerned with evolving these components. In these approaches, the information, which components realize which functions and, in particular, which components interact in which way to implement a function, most often remains implicit. This hinders not only the collaboration of experts from different domains but also an agile approach to engineering which becomes efficient through automation, e.g. of V&V tasks. The shift towards functional requirements gives rise to a conceptual gap between their abstract descriptions and the very detailed descriptions of the system’s implementation. So far, the involved engineering domains have established an understanding of what a system’s function is, but these understandings have not been consolidated and integrated in a suitable interdisciplinary modeling technique. Therefore, we propose a functional development paradigm that promotes development by finding realizations of cyber-physical functions, which transform energy, matter, and data, rather than implementing physical products or software modules directly. Therein, we model a \cps as a network of interacting timed stream processing functions, which specify the desired logical behavior and the physical behavior. By applying this modeling technique to formalize the design process in mechanical engineering, we show how to integrate the functional understanding of software and mechanical systems, which paves the way for agile and holistic model-driven engineering of CPSs.