System-level modeling in the ADEPT environment of a distributed computer system for real-time applications

The design of complex systems in safety-critical applications requires an integrated design and assessment environment. The paper presents the ADEPT environment for designing dependable systems from concept to implementation. An application of ADEPT to modeling a distributed computer system used in real-time embedded train control applications is described. Results from a performance analysis of the distributed computer system model are illustrated. Dependability results are also presented for a second example application.<
>