home *** CD-ROM | disk | FTP | other *** search
/ NetNews Usenet Archive 1992 #18 / NN_1992_18.iso / spool / comp / lsi / 528 < prev    next >
Encoding:
Internet Message Format  |  1992-08-14  |  4.3 KB
  1. Path: sparky!uunet!zaphod.mps.ohio-state.edu!sol.ctr.columbia.edu!ira.uka.de!uka!i80s19!kropf
  2. From: kropf@i80s19.ira.uka.de (ThomasKropf)
  3. Newsgroups: comp.lsi
  4. Subject: CFP GI/ITG-Workshop (German)
  5. Date: 14 Aug 1992 07:03:49 GMT
  6. Organization: University of Karlsruhe, FRG
  7. Lines: 114
  8. Distribution: de
  9. Message-ID: <16flslINNq7m@iraul1.ira.uka.de>
  10. NNTP-Posting-Host: i80s19.ira.uka.de
  11. Keywords: call for papers
  12.  
  13.  
  14.  
  15.                       CALL FOR PAPERS
  16.                       ===============
  17.  
  18.                       GI/ITG-Workshop (*) 
  19.  
  20.        "FORMALE METHODEN ZUM ENTWURF KORREKTER SYSTEME"
  21.  
  22.                      21.-23. Maerz 1993
  23.           Treff Hotel, Bad Herrenalb, Schwarzwald
  24.  
  25. ___________________________________________________________
  26.  
  27. Veranstalter:    GI/ITG  Fachgruppe  "Methoden des Entwurfs
  28.                  und der Verifikation digitaler Schaltungen 
  29.                  und Systeme"
  30. ___________________________________________________________
  31.  
  32. Herkoemmliche Methoden  wie Simulation  reichen zur Sicher-
  33. stellung der Entwurfsfehlerfreiheit komplexer Systeme nicht 
  34. mehr aus. Deshalb haben  in letzter  Zeit formale Techniken 
  35. zum Entwurf korrekter Schaltungen und  Systemen zunehmendes 
  36. Interesse gefunden.  Ziel dieses Workshops ist es, Forscher 
  37. und Anwender aus Universitaet und Industrie zusammenzufueh-
  38. ren, die an der Anwendung formaler Methoden fuer den Schal-
  39. tungsentwurf  interessiert sind.  In Vortraegen und Diskus-
  40. sionen sollen neueste Ergebnisse ausgetauscht und Werkzeuge 
  41. vorgestellt werden. Anwendungsbezogene Beitraege sind hier-
  42. bei ebenso willkommen wie theoretische Grundlagen. 
  43. ___________________________________________________________
  44.  
  45. THEMENSCHWERPUNKTE
  46.  
  47. o Spezifikation
  48.   Systemspezifikation, Hardware-Beschreibungssprachen, 
  49.   Schnittstellenspezifikation
  50.  
  51. o Modellierung
  52.   Verhaltensmodellierung asynchroner Systeme,
  53.   "trace theory", Nebenlaeufigkeit
  54.  
  55. o Synthese
  56.   interaktive formale Synthese, transformationale Synthese, 
  57.   High-Level-Synthese
  58.  
  59. o Zeitverifikation
  60.   Bestimmung kritischer Pfade ("false path" Problematik), 
  61.   Hazarderkennung, asynchrone Verifikation
  62.  
  63. o funktionale Verifikation
  64.   Einsatz von Theorembeweisern (HOL, OTTER, ...),
  65.   Temporale Logik, Rueckuebersetzung
  66.  
  67. o endliche Automaten 
  68.   symbolische Automatentraversierung,
  69.   binaere Entscheidungsdiagramme (BDDs)
  70.  
  71. o Validierungsmethoden
  72.   Simulationsplanung, 
  73.   probabilistische Verfahren zur Korrektheitsueberpruefung
  74.  
  75. o praktische Erfahrungsberichte
  76.   Einsatz formaler Methoden und Werkzeuge in der Industrie
  77. ___________________________________________________________
  78.  
  79. Interessenten sind  herzlich  eingeladen,  3  Kopien eines 
  80. Kurzmanuskripts (ca. 1000 Worte)  in Deutsch oder Englisch 
  81. bis zum  30.  November  1992 (+)  an den  Tagungsleiter zu 
  82. senden. 
  83.  
  84. Die Benachrichtigung der Autoren ueber Annahme oder Ableh-
  85. nung  erfolgt  bis zum  31. Januar 1993.  Die angenommenen 
  86. Beitraege werden  an die Workshop-Teilnehmer verteilt.  Es 
  87. ist geplant,  waehrend des Workshops  die besten Beitraege 
  88. auszuwaehlen,  die dann  in Form eines ausfuehrlichen Bei-
  89. trages in einem Konferenzband veroeffentlicht werden.
  90.  
  91. Um eine ergiebige Diskussion der Vortraege  sowie Kontakte 
  92. und informelle Gespraeche  unter den Anwesenden zu ermoeg-
  93. lichen,  ist  die Zahl der  Teilnehmer auf 80 Personen be-
  94. grenzt.
  95. ___________________________________________________________
  96.  
  97. TAGUNGSLEITER
  98.  
  99. Prof. Dr.-Ing. D. Schmid
  100. Universitaet Karlsruhe,   Institut fuer Rechnerentwurf und
  101. Fehlertoleranz, Postfach 6980, W-7500 Karlsruhe
  102. Tel. (0721) 608 3960,  FAX (0721) 370 455
  103. ___________________________________________________________
  104.  
  105. PROGRAMMKOMITEE (+)
  106.  
  107. H. Eveking Uni Frankfurt       P. Marwedel Uni Dortmund
  108. T. Filkorn SIEMENS Muenchen    F.J. Rammig Uni-GH Paderborn
  109. W. Grass   Uni Passau          D. Schmid   Uni Karlsruhe
  110. T. Kropf   Uni Karlsruhe       B. Straube  EAS Dresden
  111. R. Kumar   Uni Karlsruhe       E. Tid'en   SIEMENS Muenchen
  112. H.M. Lipp  Uni Karlsruhe
  113. ___________________________________________________________
  114.  
  115. WEITERE INFORMATIONEN BEI:
  116.  
  117. Thomas Kropf
  118. Universitaet Karlsruhe,   Institut fuer Rechnerentwurf und
  119. Fehlertoleranz, Postfach 6980, W-7500 Karlsruhe
  120. Tel. (0721) 608 4220, FAX (0721) 370 455
  121. email: kropf@ira.uka.de
  122. ___________________________________________________________
  123.  
  124. (*) Genehmigung durch die GI/ITG steht noch aus.
  125. (+) Aenderungen noch moeglich
  126.  
  127.