TEACHING ACTIVITIES
Real-time systems : architecture, microprocessors, real-time programming
- Software Engineering :
- Formal and semi-formal methods (SA-RT, Statecharts, Petri nets, VDM, ..)
- Systems engineering in software development
- Case tools
Reliability models and methods
Maintenance
TPM, FMECA, Fault tree