Using parameters in architectural views to support heterogeneous design and verification

Proceedings of the IEEE Conference on Decision and Control

Volumn , Issue , 2011, Pages 2705-2710

  Rajhans, Akshay ^a   Bhave, Ajinkya ^a   Loos, Sarah ^b   Krogh, Bruce H ^a   Platzer, André ^b   Garlan, David ^a  

^a CARNEGIE MELLON UNIVERSITY   (United States)

^b NONE   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EMBEDDED SYSTEMS; FORMAL LOGIC; SEMANTICS; SPECIFICATIONS;

ANALYSIS AND VERIFICATIONS; ARCHITECTURAL FRAMEWORKS; ARCHITECTURAL LEVELS; FORMAL REPRESENTATIONS; HETEROGENEOUS VERIFICATIONS; MODELING FORMALISMS; SEMANTIC INFORMATION; SYSTEM-LEVEL SPECIFICATIONS;

DESIGN;

EID: 84860701628     PISSN: 07431546     EISSN: 25762370     Source Type: Conference Proceeding    
DOI: 10.1109/CDC.2011.6161408     Document Type: Conference Paper

References (19)

1. F. Balarin, Y. Watanabe, H. Hsieh, L. Lavagno, C. Passerone, and A. Sangiovanni-Vincentelli. Metropolis: an integrated electronic system design environment. Computer, 36(4):45-52, April 2003.
2. S. S. Bhattacharyya, E. Cheong, and I. Davis. Ptolemy II heterogeneous concurrent modeling and design in Java. Technical report, University of California, Berkeley, 2003.
3. 2 2010), 19-21 May 2010.
4. A. Bhave, B. H. Krogh, D. Garlan, and B. Schmerl. View consistency in architectures for cyber-physical systems. In Proc. of Second International Conference on Cyber-Physical Systems, ICCPS, 2011.
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. P. Clements, F. Bachmann, L. Bass, D. Garlan, J. Ivers, R. Little, R. Nord, and J. Stafford. Documenting Software Architectures: Views and Beyond. Addison-Wesley, 2002.
7. J. Davis. GME: The Generic Modeling Environment. In Companion of the 18th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, OOPSLA '03, New York, NY, USA, 2003. ACM.
8. Z. Gu, S. Kodase, S. Wang, and K. Shin. A model-based approach to system-level dependency and real-time analysis of embedded software. In Proceedings of the 9th IEEE Real-Time and Embedded Technology and Applications Symposium, 2003., pages 78 - 85, May 2003.
9. R. Kumar, B. H. Krogh, and P. Feiler. An ontology-based approach to heterogeneous verification of embedded control systems. In M. Morari and L. Thiele, editors, Hybrid Systems: Computation and Control, volume 3414 of Lecture Notes in Computer Science, pages 370-385. Springer Berlin / Heidelberg, 2005.
10. A. Ledeczi, J. Davis, S. Neema, and A. Agrawal. Modeling methodology for integrated simulation of embedded systems. ACM Trans. Model. Comput. Simul., 13:82-103, January 2003.
11. J. Leung, T. Mandl, E. Lee, E. Latronico, C. Shelton, S. Tripakis, and B. Lickly. Scalable semantic annotation using lattice-based ontologies. In 12th International Conference on Model Driven Engineering Languages and Systems, pages 393-407. ACM/IEEE, October 2009.
12. S. M. Loos, A. Platzer, and L. Nistor. Adaptive cruise control: Hybrid, distributed, and now formally verified. In M. Butler and W. Schulte, editors, FM, LNCS. Springer, 2011.
13. T. Murray, M. Cojocari, and H. Fu. Measuring the performance of IEEE 802.11p using ns-2 simulator for vehicular networks. In IEEE Conf. on Electro/Information Technology, pages 498-503, 2008.
14. A. Pinto, L. P. Carloni, R. Passerone, and A. Sangiovanni-Vincentelli. Interchange semantics for hybrid system models. In Proc. of 5th MATHMOD, 2006.
15. A. Platzer. Logical Analysis of Hybrid Systems: Proving Theorems for Complex Dynamics. Springer, Heidelberg, 2010.
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 2009IEEE/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. A. Tarski. A Decision Method for Elementary Algebra and Geometry. University of California Press, Berkeley, 2nd edition, 1951.
19. H. L. M. Vangheluwe. DEVS as a common denominator for multi-formalism hybrid systems modeling. In Proceedings of the 2000 IEEE International Symposium on Computer-Aided Control System Design, Anchorage, Alaska, USA, 2007.