FIT --- Fault Injection for TTA
Contents
The main objective of the FIT project is the experimental validation of the
system concepts of TTA (Time-Triggered Architectures), taking the prototype
TTP/C controller chip, developed within the ESPRIT project TTA, as the basis.
EC project under the guidance of Carinthia Institute of Technology.
Coordinator: Prof. Dr. Herbert Gruenbacher, Carinthia Tech
Institute - CTI
Project partners
Fault Injection by Simulation --- Workpackage 4 Solved by CTU and UWB
Authorised person: Prof.
Ing. Jan Hlavicka, DrSc. (in memoriam)
Members of the team:
| Hlavicka |
Jan |
researcher |
CTU |
| Racek |
Stanislav |
researcher |
UWB |
| Herout |
Pavel |
researcher |
UWB |
| Dudacek |
Karel |
researcher |
UWB |
| Grillinger |
Petr |
PhD. student |
UWB |
| Jezek |
Jan |
student |
UWB |
| Soukup |
Martin |
student |
UWB |
| Fartak |
Jiri |
student |
UWB |
| Krejzek |
Tomas |
student |
CTU |
| Jun |
Michal |
student |
CTU |
| Benesova |
Helena |
administrator |
UWB |
Available materials
- C-Based Reference Model of TTP/C
Protocol - MSc. Thesis that describes the internal workings of C-Sim
based reference model of TTP/C. This document can serve as a complete
interface description of all modules of the TTP/C model and describes also
some of the more complicated algorithms used within the model.
- Software Project of Simulation-based Fault
Injection for TTA - MSc. Thesis that describes the developed TTP/C model
from software engineering point of view. The document also introduces the
basics of fault injection and provides a brief tutorial for building
applications based on the TTP/C C-Sim model. The Sinewave application is used
as an example that demonstrates the posibilities of an executable TTP/C
model.
- Source code listings of the C-Sim model
of TTP/C - the source codes in this document match the version of
C-reference model described in the two MSc. theses above (i.e. v1.0, june
2001).
- Brief information about the published
source codes - this document is an excerpt from the second MSc. thesis.
It serves as a preface to the published source code listings and explains the
modular structure used within the whole project as well as code formating
rules.
- TTPOs Operating System Model -
description of the software structure and provided functionality. The
document can serve as a programmers manual for developing applications using
the C-Sim model of TTPOs.
- Latest version of the C-Sim Model —
a ZIP archive containing the source files of the C-Rerefence model and the
simulation framework for its execution. C-Sim is included in the package as
well.
- Latest version of C-Sim model
documentation — this documentation is generated by Doxygen from the
latest version of the source codes. The documentation is in the form of a
detailed programmer's reference book.
Executable applications
- The laser demo application, 2002/11/13.
This version still uses an old version of the C-model, an updated version is
currently not available. The application is compiled with verbose logging
capability. This slows the computation considerably, but every step of the
simulation is recorded in a text file called 'debug.txt'.
- The original SineWave application,
2002/11/07
- The SineWave robustness testing
application, 2002/11/07
- The Empty (Dummy) application,
2002/11/07
- The Brake-by-Wire 1-wheel
(BBW1)application, 2002/11/13. This version still uses an old version of
the C-model, an updated version is not planned.
- The Brake-by-Wire 4-wheel (BBW4)
application, 2002/11/13. This version still uses an old version of the
C-model, an updated version should be made available soon.
So far there is little or no documentation available for these applications.
Some information can be extracted from the available publications. Further
documentation will be added as it becomes available.
Associated Publications
- S. Racek, P. Herout - TTP/C C-Reference Model.
35th
Spring International Conference MOSIS 2001 - Modelling and Simulation of
System, Hradec nad Moravici - Czech Republic, May 2001, pp. 25-32, ISBN
80-85988-57-7.
- J. Hlavicka, S. Racek, P. Herout - Modeling a fault-tolerant
distributed system.
International Conference on Trends in
Communications, Eurocon´2001 -- IEEE Region 8, Bratislava, Slovakia, July
2001, pp. 544-547, ISBN 0-7803-6490-2.
- S. Racek - Transient Fault Sub-Model Used for TTP/C Protocol
Simulation.
23th International Autumn Colloquium ASIS 2001 - Advanced
Simulation of Systems, Velke Losiny - Czech Republic, Sept. 2001, pp. 53-58,
ISBN 80-85988-61-5.
- P. Grillinger - Simulation Model of TTP/C Protocol.
23th International Autumn Colloquium ASIS 2001 - Advanced Simulation of
Systems, Velke Losiny - Czech republic, Sept. 2001, ISBN 80-85988-61-5
- P. Herout - A Simulation-based Method of Massive Fault
Injection.
36th Spring International Conference MOSIS 2002 -
Modelling and Simulation of System, Roznov pod Radhostem - Czech Republic,
April 2002, pp. 215-221, ISBN 80-85988-71-2.
- J. Hlavicka, S. Racek - C-Sim - The C language Enhancement for
Discrete-Time Simulation.
DSN/IPDS2, Washington, U.S.A., June
2002
- A. Ademaj, P. Grillinger, P. Herout, J. Hlavicka - Fault
Tolerance Evaluation Using two Software Based Fault Injection Methods .
Proc. IEEE International On-Line Testing Workshop IOLTW 2002, pp. 21-25, Isle
of Benedor - France, ISBN 0-7695-1641-6.
- P. Grillinger, S. Racek - Simulation-based evaluation of TTP/C
controller reintegration time.
Applied Electronics 2002, Pilsen -
Czech republic, Sept. 2002, pp. 71-74, ISBN 80-7082-881-1.
- P. Grillinger, S. Racek - Transient faults robustness
evaluation of safety critical system using simulation. BEC 2002 - Baltic
Electronic Conference, Tallin - Estonia, Oct. 2002, pp. 257-260, ISBN
9985-59-292-1.
- P. Herout, S. Racek, J. Hlavicka - Model-Based Dependability
Evaluation Method for TTP/C Applications.
EDCC-4 - Fourth European
Dependable Computing Conference, Toulouse, France, October 2002, pp. 271-282,
ISBN 3-540-00012-7.
Related Links:
[ C-Sim home
page ], [
The European Comission ]
This page was last updated on 18.4.2005. For any questions and
recomendations contact administrators:
Pavel Herout (herout@kiv.zcu.cz), Petr Grillinger (pgrillin@kiv.zcu.cz)
