HomepageHomepage




Programm


Home > Programm

Programm

 

Mittwoch 23. Februar 2011  
  ab 19:30 Social Event
     
Donnerstag 24. Februar 2011  
  09:00-10:00 Eröffnung & Eingeladener Vortrag
    Modeling, Analysis and Co-Design of Cyber-Physical Systems
Samarjit Chakraborty (TU München)
  10:00-10:15 Kaffeepause
  10:15-12:15 Session "Analyse und Verifikation"
    Control Performance-Aware System Level Design
N. Mühleis, M. Glaß, J.Teich (Uni Erlangen-Nürnberg)
    Situation Aware Scheduling for Energy-Efficient Real-Time Systems
F. Bodmann (Inchron GmbH), N. Mühleis (Uni Erlangen-Nürnberg), F. Slomka (Uni Ulm)
    Protocol Compliance Checking of SystemC TLM Models
M. Bwadkji, D. Große, R. Drechsler (Uni Bremen)
    Eigenschaftsbasierte Verifikation von MEMS
S. Lämmermann (Uni Tübingen), E. Markert (TU Chemnitz), A. Braun, J. Ruf, T. Kropf, W. Rosenstiel (Uni Tübingen)
  12:15-13:15 Mittagessen
  13:15-14:45 Session "Modellbasierte Ansätze"
    Modellbasierte Verhaltensanalyse leitfähiger textiler Strukturen unter realen Umgebungseinflüssen
U. Wetzker, W. Vermeiren, B. Fritzsche, S. Rülke (Fraunhofer IIS/EAS Dresden)
    Anwendung der multidisziplinären Kompatibilitätsmodellierungssprache (U)CML
M. Brandstätter (TU München)
    Modellbasierter Entwurf eingebetteter Software für heterogene Systeme mit UML und SystemC AMS
T. Arndt (Fraunhofer IIS/EAS Dresden)
  14:45-15:00 Kaffeepause
  15:00-16:30 Session "Anwendungen"
    Virtual Prototype of a Personal Medical Device – Simulation of a Multi Nature System
L. Pielawa, F. Poppen, A. Hein (OFFIS Oldenburg)
    Modeling of Aerodynamic Effects of Wind Turbine for Development of a Strain Gauge Sensor using VHDL-AMS
M. Shende, P. Wolf, E. Markert, C. Roßberg, G. Herrmann, U. Heinkel (TU Chemnitz)
    Entwurf eines translatorischen und rotatorischen Fahrreglers für autonome einachsige Personentransporter
M. Strand, K. Regenstein, T. Kerscher, M. Zöllner, R. Dillmann (FZI Karlsruhe)


zurück



  Universität Bremen | cpmns@informatik.uni-bremen.de | e