View consistency in architectures for cyber-physical systems

Proceedings - 2011 IEEE/ACM 2nd International Conference on Cyber-Physical Systems, ICCPS 2011

Volumn , Issue , 2011, Pages 151-160

  Bhave, Ajinkya ^a   Krogh, Bruce H ^a   Garlan, David ^b   Schmerl, Bradley ^b  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b Carnegie Mellon University   (United States)

Author keywords

cyber physical systems; graph morphism; multi domain modeling; system architecture; view consistency

Indexed keywords

CYBER-PHYSICAL SYSTEMS; MORPHISMS; MULTI-DOMAIN MODELING; SYSTEM ARCHITECTURE; VIEW CONSISTENCY;

ARCHITECTURE; EMBEDDED SYSTEMS; MODEL CHECKING; SEMANTICS;

MODELS;

EID: 79961138655     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ICCPS.2011.17     Document Type: Conference Paper

References (22)

1. S. S. Bhattacharyya, E. Cheong, and I. Davis. Ptolemy II heterogeneous concurrent modeling and design in java. Technical report, 2003.
2. A. Bhave, D. Garlan, B. Krogh, and B.Schmerl. Multi-domain modeling of cyber-physical systems using architectural views. In Proc. of the Embedded Real Time Software and Systems Conf. (ERTS2 2010), 30 Nov. 2010.
3. A. Bhave, D. Garlan, B. Krogh, A. Rajhans, and B.Schmerl. Augmenting software architectures with physical components. In First Analytic Virtual Integration of Cyber-Physical Systems Workshop (RTSS 2010), 19-21 May 2010.
4. K. Chen. A Semantic Anchoring Infrastructure for Model-Integrated Computing. PhD thesis, Vanderbilt University, 2006.
5. K. Chen, J. Sztipanovits, and S. Abdelwahed. Toward a semantic anchoring infrastructure for domain-specific modeling languages. In 5th ACM InternationalConference on Embedded Software, volume September, 2005.
6. D. de Niz, G. Bhatia, and R. Rajkumar. Model-based development of embedded systems: The Sysweaver approach. IEEE Real Time Technology and Applications Symposium, pages 231-242, 2006. (Pubitemid 44539774)
7. M. R. Garey and D. S. Johnson. Computers and Intractability: A Guide to NP-Completeness. Freeman, 1979.
8. M. Groothuis and J. Broenink. Multi-view methodology for the design of embedded mechatronic control systems. In IEEE International Symposium on Computer Aided Control Systems Conference, pages 416- 421, 2006.
9. G. Hoffman, S. Waslander, and C. Tomlin. Quadrotor helicopter trajectory tracking control. In Proc. of the AIAA Guidance, Navigation, and Control Conference, 2008.
10. T. Johnson, C. J. J. Paredis, and R. M. Burkhart. Integrating models and simulations of continuous dynamics into sysml. In 6th International Modelica Conference, pages 135-145. Modelica Association, 2008.
11. C. S. L. P. Cordella, P. Foggia and M. Vento. Performance evaluation of the VF graph matching algorithm. In Int. Conf. Image Analysis and Processing, pages 1172-1177, 1999.
12. C. S. L. P. Cordella, P. Foggia and M. Vento. An improved algorithm for matching large graphs. In 3rd IAPR-TC15 Workshop Graph-Based Representations in Pattern Recognition, pages 149-159, 2001.
13. J. Magee and J. Kramer. Concurrency: State Models and Java Programming, Second Edition. Wiley, 2006.
14. M. Moriconi, X. Qian, and R. Riemenschneider. Correct architecture refinement. IEEE Transactions on Software Engineering, Special Issue on Software Architecture, 21(4):356372, 1995.
15. P. J. Mosterman and H. Vangheluwe. Computer automated multiparadigm modeling in control system design. IEEE Transactions on Control System Technology, 12:65-70, 2000.
16. J. Porter, P. Volgyesi, N.Kottenstette, H.Nine, G.Karsai, and J. Sztipanovits. An experimental model-based rapid prototyping environment for high-confidence embedded software. In RSP '09: Proceedings of the 2009 IEEE/IFIP International Symposium on Rapid System Prototyping, pages 3-10, Washington, DC, USA, 2009. IEEE Computer Society.
17. A. Rajhans, S.-W. Cheng, B. Schmerl, D. Garlan, B. H. Krogh, C. Agbi, and A. Bhave. An architectural approach to the design and analysis of cyber-physical systems. In Third International Workshop on Multi-Paradigm Modeling, Denver, Oct 2009.
18. W. Schamai, P. Fritzson, C. Paredis, and A. Pop. Towards a unified system modeling and simulation with ModelicaML: Modeling of executable behavior using graphical notations. In 7th International Modelica Conference, 2009.
19. B. Schmerl and D. Garlan. Acmestudio: Supporting style-centered architecture development. In In Proceedings of the 26th International Conference on Software Engineering, Edinburgh, May 2004.
20. J. Shi. Combined usage of UML and Simulink in the design of embedded systems: Investigating scenarios and structural and behavioral mapping. In 4th workshop of Object-oriented Modeling of Embedded Realtime Systems, 2007.
21. S. Waslander, G. Hoffmann, J. Jang, and C. Tomlin. Multi-agent quadrotor testbed control design: Integral sliding mode vs. reinforcement learning. In In Proceedings of the IEEE/RSJ International Conference on Intelligent Robotics and Systems 2005, pages 468-473, 2005.
22. A. Zündorf. Graph pattern-matching in progres. In 5th Int. Workshop on Graph Grammars and their Application to Computer Science, Lecture Notes in Computer Science, pages 454-468. Springer-Verlag, 1996.