Name
Abstract | ||
|---|---|---|
Zusammenfassung: Der Entwurf von komplexen eingebetteten Systemen ist durch die Grose und die Vielzahl der unter Echtzeit arbeitenden Komponenten haufig eine grose Herausforderung. Dabei spielt die Einhaltung zeitlicher Eigenschaften eine wichtige Rolle. Im Folgenden wird die formale Verifikation von eingebetteten Systemen mit Zeitintervall-PetriNetzen diskutiert. Message Sequence Charts des zu verifizierenden eingebetteten Systems werden mit Hilfe des Entwurfswerkzeugs „VisualObjectNet++“ in Intervall-Petri-Netze umgewandelt und anschliesend analysiert. |
Year | Venue | Field |
|---|---|---|
2004 | MBMV | Gynecology,Physics |
DocType | Citations | PageRank |
Conference | 0 | 0.34 |
References | Authors | |
0 | 4 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Vesselka Duridanova | 1 | 1 | 0.77 |
| Thorsten Hummel | 2 | 0 | 1.01 |
| Olga Fengler | 3 | 3 | 2.31 |
| Wolfgang Fengler | 4 | 11 | 9.42 |