论文信息 - Architecture patterns for safe design • - 字舞流文

Architecture patterns for safe design •

ion abstraction ACside1 eng1 GEN1 TR1 DCside1 Side 1ion ACside1 eng1 GEN1 TR1 DCside1 Side 1 ACside2 eng2 GEN2 TR2 DCside2 Side 2 APU ACess hyd CSMG TRess DCess emergency normal

C. Seguin | C. Kehren | P. Bieber | C. Castel | C. Bougnol | J.-P. Heckmann | S. Metge | av. E. Belin

[1] Sylvain Metge,et al. Advanced Multi-System Simulation Capabilities with AltaRica , 2004 .

[2] Antoine Rauzy,et al. The AltaRica Formalism for Describing Concurrent Systems , 1999, Fundam. Informaticae.

[3] Sérgio Vale Aguiar Campos,et al. Symbolic Model Checking , 1993, CAV.

[4] Walter Zimmer,et al. Relationships between design patterns , 1995 .

[5] Zohar Manna,et al. The Temporal Logic of Reactive and Concurrent Systems , 1991, Springer New York.

[6] A. Rauzy,et al. AltaRica : Constraint automata as a description language , 1999 .

[7] Antoine Rauzy,et al. Mode automata and their compilation into fault trees , 2002, Reliab. Eng. Syst. Saf..