Abstract:
In this paper, the AIDED© Process is presented in detail, a new, innovative process for the
specification, development, implementation, and commissioning of high-assurance systems.
(For the definition of a high-assurance system within the scope of this paper, see section 3.)
The Process has been developed exclusively by the author of this paper, based on over 30
years of experience in the development of complex high-assurance systems in the railway
sector.
Author: Niklaus H. König
Leave a Reply