Publikationen aus unserem Fachgebiet in der Hochschulbibliografie der TU Ilmenau

Anzahl der Treffer: 189
Erstellt: Thu, 28 Mar 2024 23:11:41 +0100 in 0.0931 sec


Nedelina, Anna Yu.; Eremeev, A. P.; Fengler, Wolfgang
Development of distributed planner for decision support systems. - In: 2nd International Conference on Dependability of Computer Systems, 2007, ISBN 978-0-7695-2850-2, (2007), S. 324-330

Based on a short outline of the state of the art in real time decision support systems (RTDSS) for planning and searching problems, the present paper introduces a planning approach for RTDSS and an architecture of a development planner (DIPLAN). DIPLAN utilizes a parallel version of the IDA* search algorithm based on heuristic methods of solution search. Finally, the obtained results are described.



https://doi.org/10.1109/DEPCOS-RELCOMEX.2007.18
Karatkevich, Andrei;
Dynamic analysis of petri net-based discrete systems. - Berlin : Springer. - XIII, 166 S.. - (Lecture notes in control and information sciences ; 356) ISBN 3-540-71464-2
Literaturverz. S. [145] - 159

Fengler, Wolfgang; Pacholik, Alexander; Mologina, Maria
Modeling technique for model based error localization and error removal based on extended UML activity diagrams. - In: IFAC Proceedings Volumes, ISSN 1474-6670, Bd. 39 (2006), 17, S. 65-72

This paper presents a formal error localization and error removal method for control systems based on extended UML activity diagrams. In technical systems function dependencies are described by a forward structure. Failures can be detected by non-occurred events (timeouts) and located by a stepwise search for the reason in terms of not started activities. - Keywords: Petri Nets, UML Activity Diagrams, Error Localization, Error Handling



https://doi.org/10.3182/20060926-3-PL-4904.00012
Däne, Bernd; Fengler, Wolfgang
Modelling hardware and software for fast serial interprocessor communication. - In: IFAC Proceedings Volumes, ISSN 1474-6670, Bd. 39 (2006), 17, S. 155-160

This article reports about a case study in model based design of embedded hardware and software. Practical example is a serial high speed communication system for interprocessor communication. The system uses communication ports that are integrated in processor devices but uses them in an unusual way. In order to validate the function by simulating the model it is necessary to model the function of the software under development, the hardware integrated in the processors and the hardware structures outside them. Simulation delivers qualitative and quantitative properties of the system. Finally these results are compared to measurements from the completed system. - Keywords: Embedded systems, models, validation, discrete event systems, communication, multiprocessor systems.



https://doi.org/10.3182/20060926-3-PL-4904.00026
Nützel, Jürgen;
Die informatorischen Aspekte virtueller Güter und Waren. - Ilmenau : Univ.-Verl. Ilmenau. - Online-Ressource (PDF-Datei: XII, 162 S., 1,69 MB) : Zugl.: Ilmenau, Techn. Univ., Habil.-Schr., 2005
Parallel als Druckausg. erschienen

http://www.db-thueringen.de/servlets/DocumentServlet?id=9809
Däne, Bernd; Berger, Falk
A multiprocessor DSP system for a high throughput control application. - 5 S. = 1,29 MB, TextPubl. entstand im Rahmen der Veranst.: EDERS 2004: the European DSP Education and Research Symposium, 16th November 2004, Birmingham, UK

http://www.db-thueringen.de/servlets/DocumentServlet?id=5772
Fengler, Wolfgang; Pacholik, Alexander; Vinogradov, Oleg
Development of language of time-constraints for the design of reactive systems. - In: Intellektualьnye sistemy i technologii, (2006), S. 90-91

Däne, Bernd; Berger, Falk; Pacholik, Alexander
Ein eingebettetes Multiprozessorsystem für die Steuerung von Nanomess- und Positioniermaschinen. - In: Maschinenbau von Makro bis Nano, 2005, [01.12], insges. 6 S.

http://www.db-thueringen.de/servlets/DocumentServlet?id=16757