Please use this identifier to cite or link to this item: doi:10.22028/D291-23109
Title: Modeling and verification of reconfigurable discrete event control systems
Author(s): Zhang, Jiafeng
Language: English
Year of Publication: 2015
SWD key words: Modellierung
Verifikation
Petri-Netz
Free key words: Rekonfigurierbare Systeme
Ereignisdiskrete Systeme
Petrinetze
reconfigurable system
discrete event system
modeling
verification
Petri nets
DDC notations: 620 Engineering and machine engineering
Publikation type: Doctoral Thesis
Abstract: Most modern technological systems rely on complicated control technologies, computer technologies, and networked communication technologies. Their dynamic behavior is intricate due to the concurrence and conflict of various signals. Such complex systems are studied as discrete event control systems (DECSs), while the detailed continuous variable processes are abstracted. Dynamic reconfigurable systems are the trend of all future technological systems, such as flight control systems, vehicle electronic systems, and manufacturing systems. In order to meet control requirements continuously, such a dynamic reconfigurable system is able to actively adjust its configuration at runtime by modifying ist components, connections among components and data, while changes are detected in the internal/external execution environment. Model based design methodologies attract wide attention since they can detect system defect earlier, increase system reliability, and decrease time and cost on system development. An accurate, compact, and easy formal model to be analyzed is the first step of model based design methods. Formal verification is an expected effective method to completely check if a designed system meets all requirements and to improve the system design scheme. Considering the potential benefits of Timed Net Condition/Event Systems (TNCESs) in modeling and analyzing reconfigurable systems, this dissertation deals with formal modeling and verification of reconfigurable discrete event control systems (RDECSs) based on them.
Die meisten modernen technologischen Systeme benötigen aufwändige Steuerungs-, Rechner- und Kommunikationstechnologien. Aufgrund von Nebenläufigkeit und Konflikten ergibt sich ein kompliziertes dynamisches Verhalten. Derartige komplexe Systeme werden dadurch untersucht, dass man sie als ereignisdiskrete Steuerungssysteme (Discrete Event Control Systems, DECSs) betrachtet und dabei die detaillierten unterlagerten kontinuierlichen Prozesse abstrahiert. Um die Anforderungen an die Steuerung durchgängig erfüllen zu können adaptieren sich dynamische rekonfigurierbare Systeme zur Laufzeit durch Modifikation ihrer Komponenten, deren Verbindungen untereinander und der gespeicherten Daten, sobald Änderungen in der internen oder externen Umgebung festgestellt werden. Beispiele für dynamische Rekonfigurierbare Systeme finden sich in der Luftfahrt, im Automobilbereich aber auch in Fertigungssystemen. Modellbasierte Entwicklungsmethoden erfreuen sich zunehmender Beliebtheit, da sie es erlauben Fehler früher im Entwicklungsprozess aufzudecken und damit zu höherer Systemverfügbarkeit bei verkürzter Entwicklungszeit führen. Ein formales Modell des Systems bildet hierbei den ersten wichtigen Schritt. Durch formale Verifikation kann dieses Modell effektiv und vollständig überprüft und ggf. verbessert werden. Eine geeignete Modellform hierfür sind Timed Net Condition/Event Systems (TNCESs). Die vorliegende Dissertation befasst sich mit der Anwendung von TNCES zur Modellierung und Verifikation rekonfigurierbarer ereignisdiskreter Steuerungssysteme (RDECSs).
Link to this record: urn:nbn:de:bsz:291-scidok-63230
hdl:20.500.11880/23165
http://dx.doi.org/10.22028/D291-23109
Advisor: Frey, Georg
Date of oral examination: 31-Jul-2015
Date of registration: 16-Dec-2015
Faculty: NT - Naturwissenschaftlich- Technische Fakultät
Department: NT - Systems Engineering
Former Department: bis SS 2016: Fachrichtung 7.4 - Mechatronik
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
Modeling_and_Verification_of_Reconfigurable_Discrete_Event_Control_Systems_Jiafeng_Zhang.pdf3,68 MBAdobe PDFView/Open


Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.