|
|
Uni
 Fk. II
Informatik
theoretica
CSD
~jfaber
AVACS
Informationen zum AVACS-Projekt
I work at the project SFB/TR 14 AVACS
(Automatic Verification and Analysis of Complex Systems) at the moment. So,
you can find some material here according to my current activity.
Conference talks:
| Title |
State |
Note |
|
| Verifying CSP-OZ-DC Specifications with Complex Data Types
and Timing Parameters |
07/07/12 |
Talk given at IFM 2007 in Oxford |
[.pdf]
|
| Model Checking Data-Dependent Real-Time Properties of the
European Train Control System |
06/11/13 |
Talk given at FMCAD 2006 in San Jose (CA) |
[.pdf]
|
| Verifying Real-Time Aspects of the European Train Control
System |
06/08/30 |
Talk given at the German Verification Day 2006 in Bonn |
[.pdf]
|
Several prototypes implemented in the context of AVACS:
| Tool |
State |
Description |
|
| tf2Latex |
08/01/18 |
A simple script to translate XML test formulae to LaTeX. |
[.tgz]
|
| PEA Toolkit |
06/08/29 |
The pea toolkit has its own web site now. |
[link]
|
| Moby/PEA |
06/07/31 |
Moby/PEA is a graphical editor for Phase-Event-Automata (PEA).
It is available on the moby home page. |
[link]
|
| pea2tcs |
05/08/19 |
Transforms Phase-Event-Automata to Transition-Constraint-Systems. |
[.tgz]
|
| tcs2armc |
05/08/19 |
Transforms Transition-Constraint-Systems in XML-syntax to
ARMC2-syntax. |
[.tgz]
|
| simplifypeas |
05/08/19 |
Performs useful operations on Phase-Event-Automata like attaching of test automata or building of the parallel product. |
[.tgz]
|
| peatoolbox |
05/08/19 |
Comprises the above-mentioned tools and additionally a graphical editor for Phase-Event-Automata (Moby/PEA). |
[.tgz]
|
Talks, Posters, and case study documents (access is restricted to AVACS members; use same login data as on the official AVACS web page):
| Title |
State |
Note |
|
| From CSP-OZ-DC to Task Networks |
06/09/28 |
Talk given during the AVACS meeting in Oldenburg. |
[.pdf]
|
| Poster sketching the context of the ETCS case study in AVACS R1. |
06/03/30 |
Presented during the AVACS meeting in March '06. |
[.pdf]
|
| Case Study: Treatment of Emergency Messages - Informal Description |
04/10/27 |
|
[.pdf]
|
| Case Study: Treatment of Emergency Messages |
05/04/01 |
revised version |
[.pdf]
|
| Case Study: Placement of Movement Authorities - Informal Description |
04/10/27 |
|
[.pdf]
|
| Case Study: Placement of Movement Authorities |
05/02/24 |
RC1 |
[.pdf]
|
|
|
recommend page![[Logo]](http://theoretica.informatik.uni-oldenburg.de/pics/logos/logo-csd.gif){kind=logo}