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