Real time constraints in system level specifications improving the verification flow of complex systems. - In: Proceedings, (2005), S. 283-294
Complex real time systems like large system on chips need to be verified to assure quality and save time. Today verification activities are re-stricted to the register transfer level or one design step above. A complete flow from early specifications down to physical implementation is still not available. An improved system level design cycle is required to overcome this limitation. In this paper we propose an extended methodology of the system level design cycle to support early validation and formal verification of temporal properties in system specifications.
Entwurfsverfahren für eingebettete Systeme zum Einsatz in der Mechatronik. - In: Informatik 2005 - Informatik live!, (2005), S. 688-692
Musikvertrieb mit Potato Web Services : Kaufanreize für Musik über die Web Services des PotatoSystems. - In: Datenschutz und Datensicherheit, ISSN 1614-0702, Bd. 29 (2005), 3, S. 125-129
A case study for partitioned modelling of a control system. - In: Proceedings of the 24th IASTED International Conference on Modelling, Identification, and Control, (2005), S. 525-530
Design of embedded control systems using hybrid Petri nets. - In: Design of embedded control systems, (2005), S. 139-149
Embedded control system with a special hybrid Petri net class using an object-oriented modeling and simulation tool and the extension of hybrid Petri nets with the concept of time intervals for analyzing of time contraints shows the potential of this approach.
Sharing systems for future HiFi systems. - In: Proceedings of the Fourth International Conference on WEB Delivering of Music, 2004, WEDELMUSIC 2004, (2004), S. 128-135
http://dx.doi.org/10.1109/WDM.2004.1358109
Das PotatoSystem - mehr als Content Management und Bezahlservice für digitale Musik. - In: Von e-Learning bis e-Payment 2004, (2004), S. 113-122
Verifikation von Spezifikationsmodellen mit Intervall-Petri-Netzen. - In: Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen, (2004), S. 184-193
Verification method for modelling cooperating processes with coloured sequence diagrams. - In: Proceedings of the 23rd IASTED International Conference on Modelling, Identification, and Control, (2004), S. 524-528
Implementing mixed discrete-continuous models into real-time environments. - In: Proceedings of the 23rd IASTED International Conference on Modelling, Identification, and Control, (2004), S. 583-588