Frantz Iwu

Learn More
This position paper from the Airbus Dependability Network (a strategic research partnership between Airbus and three leading European research institutions in the field of system safety) outlines an approach to modelling and safety analysis of technologically heterogeneous systems. The approach builds upon the idea of modelling failure propagation and(More)
We reflect on the formal development models applicable to embedded control systems in light of our experience with safety-critical applications from the aerospace domain. This leads us to propose two complementary enhancements to Parnas' four-variable model, one elaborating the structure outside the control computer, and the other elaborating the structure(More)
The aim of this paper is to present an approach to describe cryptographic protocols using agent-based simulation. This provides a framework to understand and model protocol behaviour and interaction in a simulation environment. Simulation techniques in the past have proven to be useful especially in areas where it is critical for testing to be carried out.(More)
  • 1