Logo des Repositoriums
 
Konferenzbeitrag

Entwurfsverfahren für eingebettete Systeme zum Einsatz in der Mechatronik

Lade...
Vorschaubild

Volltext URI

Dokumententyp

Text/Conference Paper

Zusatzinformation

Datum

2005

Zeitschriftentitel

ISSN der Zeitschrift

Bandtitel

Verlag

Gesellschaft für Informatik e.V.

Zusammenfassung

Beim 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.

Beschreibung

Fengler, Wolfgang; Däne, Bernd (2005): Entwurfsverfahren für eingebettete Systeme zum Einsatz in der Mechatronik. Informatik 2005 – Informatik Live! Band 2. Bonn: Gesellschaft für Informatik e.V.. PISSN: 1617-5468. ISBN: 3-88579-397-0. pp. 688-692. Regular Research Papers. Bonn. 19. bis 22. September 2005

Schlagwörter

Zitierform

DOI

Tags