Modeling of self-adaptive systems with SCADE

Proceedings - IEEE International Symposium on Circuits and Systems

Volumn , Issue , 2007, Pages 2922-2925

  Güdemann, Matthias ^a   Angerer, Andreas ^a   Ortmeier, Frank ^a   Reif, Wolfgang ^a  

^a UNIVERSITY OF AUGSBURG   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

AUTOMATION; EMBEDDED SYSTEMS; FORMAL LANGUAGES; MATHEMATICAL MODELS; REDUNDANCY;

LUSTRE LANGUAGE; STANDARD MODELING TOOLS;

ADAPTIVE SYSTEMS;

EID: 34548828007     PISSN: 02714310     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/iscas.2007.377861     Document Type: Conference Paper

References (11)

1. J. O. Kephart and D. M. Chess, "The vision of autonomic computing," Computer, vol. 36, no. 1, pp. 41-50, 2003.
2. C. Müller-Schloer, "Organic computing: on the feasibility of controlled emergence," in CODES+ISSS '04. NY, USA: ACM Press, 2004.
3. R. Anthony, "Emergence: A paradigm for robust and scalable distributed applications," in Proceedings of ICAC '04. Washington, DC, USA: IEEE Computer Society, 2004, pp. 132-139.
4. A. Benveniste, P. Caspi, S. Edwards, N. Halbwachs, P. Le Guernic, and R. de Simone, 'The synchronous languages 12 years later," Proceedings of the IEEE, vol. 91, no. 1, January 2003.
5. N. Halbwachs, P. Caspi, P. Raymond, and D. Pilaud, "The synchronous data-flow programming language Lustre," Proceedings of the IEEE, vol. 79, no. 9, pp. 1305-1320, September 1991.
6. P. Caspi, A. Curie, A. Maignan, C. Sofronis, S. Tripakis, and P. Niebert, "From simulink to SCADE/Lustre to TTA: a layered approach for distributed embedded applications," in Proceedings of LCTES '03. New York, NY, USA: ACM Press, 2003, pp. 153-162.
7. P. A. Abdulla, J. Deneux, G. Stalmarck, H. Agren, and O. Akerlund, "Designing safe, reliable systems using SCADE," in Proceedings of ISOLA'04. Springer-Verlag, 2004.
8. M. Güdemann, F. Ortmeier, and W. Reif, "Formal modeling and verification of systems with self-x properties," in Autonomic and Trusted Computing 2006, Proceedings. Springer LNCS, 2006.
9. P. Caspi, C. Mazuet, R. Salem, and D. Weber, "Formal design of distributed control systems with Lustre," in Proceedings of SAFECOMP '99. London, UK: Springer-Verlag, 1999, pp. 396-409.
10. D. W. Vesley, D. J. Dugan, J. Fragole, J. M. IL and J. Railsback, Fault Tree Handbook with Aerospace Applications, NASA Office of Safety and Mission Assurance, NASA Headquarters, Washington DC 20546, August 2002.
11. O. Kupferman and M. Y Vardi, "Relating linear and branching model checking, Tech. Rep. TR98-301, 18, 1998.