Logo des Repositoriums
 

Entwurfsverfahren für eingebettete Systeme zum Einsatz in der Mechatronik

Kurzanzeige
dc.contributor.authorFengler, Wolfgang
dc.contributor.authorDäne, Bernd
dc.contributor.editorCremers, Armin B.
dc.contributor.editorManthey, Rainer
dc.contributor.editorMartini, Peter
dc.contributor.editorSteinhage, Volker
dc.date.accessioned2019-10-11T07:57:28Z
dc.date.available2019-10-11T07:57:28Z
dc.date.issued2005
dc.description.abstractBeim Entwurf von Hard- und Software für eingebettete Systeme, die z.B. zur Steuerung mehrachsiger Präzisionsantriebe verwendet werden sollen, ist neben harten Echtzeitforderungen auch die Koexistenz unterschiedlicher Beschreibungsparadigmen und die Notwendigkeit formaler Exaktheit zu beachten. Das erfordert den Einsatz spezieller Beschreibungsmittel im modellbasierten Entwurf. Ein Beispiel sind Message Sequence Charts (MSC), die im vorliegenden Ansatz durch Anwendung eines Färbungskonzepts (analog zu Coloured Petri Nets) in gefärbte MSC mit wesentlich größerer Darstellungsmächtigkeit überführt werden. Durch Transformation der gefärbten MSC in Coloured Petri Nets werden deren Verfahren zur formalen Analyse zugänglich gemacht. Als weitere Modellierungsmittel, die durch Erweiterung des Petrinetz-Konzeptes entstanden sind, werden zeitintervall-bewertete Petrinetze, hybride Petrinetze und hybride Objektnetze einbezogen. Die Anwendung des Entwurfsverfahrens für einen planaren Mehrkoordinatenantrieb wird demonstriert.de
dc.identifier.isbn3-88579-397-0
dc.identifier.pissn1617-5468
dc.identifier.urihttps://dl.gi.de/handle/20.500.12116/28149
dc.language.isode
dc.publisherGesellschaft für Informatik e.V.
dc.relation.ispartofInformatik 2005 – Informatik Live! Band 2
dc.relation.ispartofseriesLecture Notes in Informatics (LNI) - Proceedings, Volume P-68
dc.titleEntwurfsverfahren für eingebettete Systeme zum Einsatz in der Mechatronikde
dc.typeText/Conference Paper
gi.citation.endPage692
gi.citation.publisherPlaceBonn
gi.citation.startPage688
gi.conference.date19. bis 22. September 2005
gi.conference.locationBonn
gi.conference.sessiontitleRegular Research Papers

Dateien

Originalbündel
1 - 1 von 1
Vorschaubild
Name:
GI-Proceedings.68-152.pdf
Größe:
186.11 KB
Format:
Adobe Portable Document Format
Herunterladen

Sammlungen

P068 - INFORMATIK 2005 - Informatik LIVE! - Band 2