CHESS: A model-driven engineering tool environment for aiding the development of complex industrial systems

2012 27th IEEE/ACM International Conference on Automated Software Engineering, ASE 2012 - Proceedings

Volumn , Issue , 2012, Pages 362-365

  Cicchetti, Antonio ^a   Ciccozzi, Federico ^a   Mazzini, Silvia ^b   Puri, Stefano ^b   Panunzio, Marco ^c   Zovi, Alessandro ^c   Vardanega, Tullio ^c  

^a MÄLARDALEN UNIVERSITY   (Sweden)

^b Intecs SpA   (Italy)

^c UNIVERSITY OF PADOVA   (Italy)

Author keywords

Back propagation; Code generation; Separation of concerns

Indexed keywords

ADVANCED DESIGNS; CODE GENERATION; COMPLEX INDUSTRIAL SYSTEMS; CROSS-DOMAIN MODELLING; DEVELOPMENT SOLUTIONS; DEVELOPMENT TASKS; INDUSTRIAL COMPLEX; INDUSTRIAL PRACTICES; MODEL-DRIVEN ENGINEERING; SEPARATION OF CONCERNS; SOFTWARE SYSTEMS;

DESIGN; SEPARATION;

SOFTWARE ENGINEERING;

EID: 84866946832     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/2351676.2351748     Document Type: Conference Paper

References (10)

1. M. Short. Development guidelines for dependable real-time embedded systems. In Computer Systems and Applications: AICCSA'08, pages 1032-1039, 2008.
2. S. Kent. Model driven engineering. In Proceedings of IFM'02, pages 286-298. Springer-Verlag, 2002.
3. J. Bézivin. On the Unification Power of Models. Software and System Modeling, 4(2):171-188, 2005.
4. R. Eramo, A. Pierantonio, J.R. Romero, and A. Vallecillo. Change Management in Multi-Viewpoint System Using ASP. In EDOCW, pages 433-440, 2008.
5. P. Mohagheghi, M. A. Fernandez, J. A. Martell, M. Fritzsche, and W. Gilani. MDE Adoption in Industry: Challenges and Success Criteria. In Models in Software Engineering, pages 54-59. 2009.
6. E. W. Dijkstra. On the role of scientific thought. In Selected writings on Computing: A Personal Perspective, pages 60-66. Springer-Verlag, 1982.
7. IEEE. Recommended Practice for Architectural Description of Software-Intensive Systems. IEEE Std 1471-2000, 2000.
8. J.M. Nahman. Dependability of Engineering Systems: Modeling and Evaluation. Eng. Online Lib. 2002.
9. B. Gallina and S. Punnekkat. Fi4fa: A formalism for incompletion, inconsistency, interference and impermanence failures analysis. In DANCE at SEAA, pages 493-500, 2011.
10. M. Bordin, M. Panunzio, and T. Vardanega. Fitting Schedulability Analysis Theory into Model-Driven Engineering. In ECRTS, pages 135-144, 2008.