View Consistency in Architectures for Cyber-Physical Systems

  title={View Consistency in Architectures for Cyber-Physical Systems},
  author={Ajinkya Bhave and Bruce H. Krogh and David Garlan and Bradley R. Schmerl},
  journal={2011 IEEE/ACM Second International Conference on Cyber-Physical Systems},
Current methods for modeling, analysis, and design of cyber-physical systems lack a unifying framework due to the complexity and heterogeneity of the constituent elements and their interactions. Our approach is to define relationships between system models at the architectural level, which captures the structural interdependencies and some semantic interdependencies between representations without attempting to comprehend all of the details of any particular modeling formalism. This paper… CONTINUE READING
Highly Cited
This paper has 118 citations. REVIEW CITATIONS


Publications citing this paper.
Showing 1-10 of 49 extracted citations

Functional modeling compiler for system-level design of automotive cyber-physical systems

2014 IEEE/ACM International Conference on Computer-Aided Design (ICCAD) • 2014
View 5 Excerpts
Highly Influenced

Is My Software Consistent with the Real World?

2017 IEEE 18th International Symposium on High Assurance Systems Engineering (HASE) • 2017
View 4 Excerpts
Highly Influenced

A Preliminary Study on Architecting Cyber-Physical Systems

View 5 Excerpts
Method Support
Highly Influenced

Architectural abstractions for hybrid programs

2015 18th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) • 2015
View 17 Excerpts
Highly Influenced

Using parameters in architectural views to support heterogeneous design and verification

IEEE Conference on Decision and Control and European Control Conference • 2011
View 3 Excerpts
Highly Influenced

118 Citations

Citations per Year
Semantic Scholar estimates that this publication has 118 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.
Showing 1-10 of 23 references

AcmeStudio: supporting style-centered architecture development

Proceedings. 26th International Conference on Software Engineering • 2004
View 5 Excerpts
Highly Influenced