Knowledge-based runtime failure detection for industrial automation systems

CEUR Workshop Proceedings

Volumn 641, Issue , 2010, Pages 108-119

  Melik Merkumians, Martin ^a   Moser, Thomas ^a   Schatten, Alexander ^a   Zoitl, Alois ^a   Biffl, Stefan ^a  

^a VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

DESIGN MODELS; ENGINEERING KNOWLEDGE; ENGINEERING MODELS; FAILURE DETECTION; INDUSTRIAL AUTOMATION SYSTEM; REAL-WORLD; RUNTIMES;

AUTOMATION; EMBEDDED SYSTEMS; KNOWLEDGE BASED SYSTEMS; MACHINE DESIGN; SAFETY ENGINEERING;

MODELS;

EID: 84889061023     PISSN: 16130073     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (20)

1. Perez-Medina, J.L., Dupuy-Chessa, S., Front, A.: A Survey of Model Driven Engineering Tools for User Interface Design. Task Models and Diagrams for User Interface Design, LNCS 4849, pp. 84-97 (2010).
2. Chavarriaga, E., Macia, J.A.: A model-driven approach to building modern Semantic Web-Based User Interfaces. Advan. in Eng. Soft. 40, 1329-1334 (2009).
3. Sottet, J.S., Calvary, G., Favre, J.M., Coutaz, J., Demeure, A.: Towards Mapping and Model Transformation for Consistency of Plastic User Interfaces. CHI2006, Workshop on The Many Faces of Consistency in Cross-platform Design, (2006).
4. Iribarne, L., Padilla, N., Criado, J., Asensio, J.A., Ayala, R.: A Model Transformation Approach for Automatic Composition of COTS User Interfaces in Web-Based Information Systems. Information Systems Management, 27, 207-216 (2010).
5. Grundy, J., Hosking, J.: Developing adaptable user interfaces for component-based systems. Interacting with Computers, 14, 3, 175-194 (2002).
6. Alonso, D., Vicente-Chicote, C., Barais, O.: V3Studio: A Component-Based Architecture Modeling Language. In 15th IEEE Conf. ECBS, pp. 346-355, (2008).
7. Henriksson, J., Amann, U.: Component models for semantic web languages. Semantic techniques for the web, 233-275 (2009).
8. Blair, G., Bencomo, N., and France, R.B (eds.): Models@Run.Time. Special Issue, Computer, IEEE Computer Society (2009).
9. Garlan, D., Schmerl, B.: Using architectural models at runtime: Research challenges. Software Architecture, pp. 200-205 (2004).
10. Morin, B. and Barais, O. and Jezequel, J.M. and Fleurey, F. and Solberg, A.: Models at Runtime to Support Dynamic Adaptation. IEEE Computer, 42(10), pp. 44-51 (2009).
11. Mens, T.: Introduction and Roadmap: History and Challenges of Software Evolution. Software Evolution, pp. 1-11 (2008).
12. ISO, Information Technology | Open Distributed Processing | Trading Function: Specification. ISO/IEC 13235-1, ITU-T X.950.
13. Iribarne L, Troya JM, and Vallecillo A: A Trading Service for COTS Components. The Computer Journal. 4, 3, pp. 342-357 (2004).
14. Jouault, F., Allilaire, F., Bezivin, J., Kurtev, I.: ATL: A model transformation tool. Science of Computer Programming. 72 (1-2), 31-39 (2008).
15. Eclipse Fundation. Eclipse Graphical Modeling Framework (GMF), http://www.eclipse.org/modeling/gmf.
16. Muller, P.A. and Fleurey, F. and Jezequel, J.M.: Weaving executability into object- oriented meta-languages. Model Driven Engineering Languages and Systems, pp. 264-278 (2005).
17. Del Fabro, M.D. and Jouault, F.: Model transformation and weaving in the AMMA platform. In Workshop on Generative and Transformational Techniques in Software Engineering (GTTSE), Braga, Portugal, pp. 71-79 (2005).
18. Di Ruscio, D. and Jouault, F. and Kurtev, I. and Bezivin, J. and Pierantonio, A.: Extending AMMA for supporting dynamic semantics specifications of DSLs. Laboratoire D'Informatique de Nantes-Atlantique. Research Report (2006).
19. Cicchetti, A., Di Ruscio, D., Eramo, R., Pierantonio, A.: Automating Co-evolution in Model-Driven Engineering. 12th Int. IEEE EDOC, pp. 222-231 (2008).
20. Wachsmuth, G.: Meta model Adaptation and Model Co-adaptation. ECOOP 2007, LNCS 4609, pp. 600-624 (2007).