Cyber physical systems - Convergence of physical and information sciences;Cyber-Physische Systeme - Konvergenz von Natur- und Informationswissenschaften

IT - Information Technology

Volumn 54, Issue 6, 2012, Pages 257-265

  Sztipanovits, Janos ^a  

^a VANDERBILT UNIVERSITY   (United States)

Author keywords

C.2 Computer Systems Organization: Computer Communication Networks ; D.2.2 Software: Software Engineering: Design Tools and Techniques ; D.4.7 Software: Operating Systems: Organization and Design Real time and embedded systems; control, networking, embedded software, systems engineering; H.1.1 Information Systems: Models and Principles: Systems and Information Theory General systems theory; I.6.5 Computing Methodologies: Simulation and Modeling: Model Development

Indexed keywords

COMPUTATION THEORY; COMPUTER OPERATING SYSTEMS; EMBEDDED SYSTEMS; REAL TIME SYSTEMS; SYSTEM THEORY; SYSTEMS ENGINEERING; VIBRATIONS (MECHANICAL);

C.2 [COMPUTER SYSTEM ORGANIZATION: COMPUTER-COMMUNICATION NETWORK]; COMPUTER COMMUNICATIONS NETWORKS; COMPUTER SYSTEM ORGANIZATION; CONTROL, NETWORKING, EMBEDDED SOFTWARE, SYSTEM ENGINEERING; D.2.2 [SOFTWARE: SOFTWARE ENGINEERING: DESIGN TOOL AND TECHNIQUE]; D.4.7 [SOFTWARE: OPERATING SYSTEM: ORGANIZATION AND DESIGN] REAL-TIME AND EMBEDDED SYSTEM;; DESIGN TOOLS AND TECHNIQUES; EMBEDDED SOFTWARE SYSTEMS; ENGINEERING DESIGN; GENERAL SYSTEMS THEORY; H.1.1 [INFORMATION SYSTEM: MODEL AND PRINCIPLE: SYSTEM AND INFORMATION THEORY] GENERAL SYSTEM THEORY; I.6.5 [COMPUTING METHODOLOGIES]: SIMULATION AND MODELING - MODEL DEVELOPMENT; I.6.5 [COMPUTING METHODOLOGY: SIMULATION AND MODELING: MODEL DEVELOPMENT]; INFORMATION SYSTEM MODEL; REAL-TIME AND EMBEDDED SYSTEMS; SOFTWARE/SOFTWARE ENGINEERING; SYSTEMS AND INFORMATION; SYSTEMS ORGANIZATION; SYSTEMS PRINCIPLES;

INFORMATION THEORY;

EID: 84879940828     PISSN: 16112776     EISSN: 21967032     Source Type: Journal    
DOI: 10.1524/itit.2012.0688     Document Type: Article

References (26)

1. R. Poovendran, K. Sampigethaya, S. K. Gupta, I. Lee, K. V. Prashad, D. Corman, and J. L. Paunica. "Special Issue on Cyber-Physical Systems." Proceedings of the IEEE, pp. 6-12, Vol. 100, No. 1, January, 2012.
2. K.-D. Kim and P. R. Kumar. "Cyber-Physical Systems: A Perspective at the Centennial." Proceedings of the IEEE, Centennial Issue, pp. 1287-1308, Vol. 100, No. 13, May 13th, 2012.
3. CPS-Virtual Organization Portal: http://www.cps-vo.org.
4. Archive of the CPS Principal Investigator Meeting 2010, http:// cps-vo.org/group/pimtg10.
5. Archive of the CPS Principal Investigator Meeting 2011, http:// cps-vo.org/group/pimtg11.
6. P. Eremenko. "Philosophical Underpinnings of Adaptive Vehicle Make." DARPA-BAA-12-15. Appendix 1, December 5, 2011, http://www.scribd.com/doc/84630374/4/APPENDIX-1- PHILOSOPHICAL-UNDERPINNINGS-OF-ADAPTIVEVEHICLE- MAKE.
7. G. Simko, T. Levendovszky, S. Neema, E. Jackson, T. Bapty, J. Porter, and J. Sztipanovits. "Foundation for Model Integration: Semantic Backplane." Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2012 August 12-15, 2012, Chicago, IL, USA.
8. Zs. Lattmann, A. Nagel, J. Scott, K. Smyth, C. vanBuskirk, J. Porter, S. Neema, T. Bapty, and J. Sztipanovits. "Towards Automate Evaluaiton of Vehicle Dynamics in System-Level Design." Proceedings of the ASME 2012 International Design Engineering Technical Conferences & Computers and Information in Engineering Conference IDETC/CIE 2012 August 12-15, 2012, Chicago, IL, USA.
9. Simulink: http://www.mathworks.com/products/simulink/.
10. Modelica: http://open-modelica.org/.
11. TrueTime: http://www3.control.lth.se/truetime/.
12. Pro/ENGINEER: http://www.ptc.com/product/creo/parametric.
13. Thermal Desktop: http://www.crtech.com/thermaldesktop.html.
14. J. Bezivin. "On the Unification Power of Models." Software and System Modeling (SoSym) 4(2):171-188.
15. E. K. Jackson and W. Schulte. "Model Generation for Horn Logic with Stratified Negation." Formal Techniques for Networked and Distributed Systems - FORTE 2008, Vol. 5048, K. Suzuki, T. Higashino, K. Yasumoto, and K. El-Fakih, Eds. Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 1-20.
16. E. Jackson and J. Sztipanovits. "Formalizing the Structural Semantics of Domain-Specific Modeling Languages." Software and Systems Modeling, pp. 451-478, September 2009.
17. K. Chen, J. Sztipanovits, and Sandeep Neema. "Compositional Specification of Behavioral Semantics." Design, Automation, and Test in Europe: The Most Influential Papers of 10 Years DATE, Rudy Lauwereins and Jan Madsen (Eds), Springer 2008.
18. S. Friedenthal. "A Practical Guide to SysML: The Systems Modeling Language." Morgan Kaufmann/The OMG Press, 2008.
19. AADL: http://www.aadl.info/aadl/currentsite/.
20. J. Sztipanovits, X. Koutsoukos, G. Karsai, G. Kottenstette, P. Antsaklis, V. Gupta, B. Goodwine, J. Baras, and S. Wang. "Toward a Science of Cyber-Physical System Integration." Proceeding of the IEEE, pp. 29-44, Vol. 100, No. 1, 2012.
21. N. Kottenstette, J. Hall, X. Koutsoukos, P. Antsaklis, and J. Sztipanovits. "Digital Control of Multiple Discrete Passive Plants Over Networks." International Journal of Systems, Control and Communications (IJSCC), 3(2):194-228, 2011.
22. D. Hill and P. Moylan. "Stability results for nonlinear feedback systems." Automatica, 13(4) 377-382, 1977.
23. J. C. Willems. "Dissipative dynamical systems part i: General theory." Archive for Rational Mechanics and Analysis, 45(5): 321-351, 1972.
24. M. Broy, F. Huber, B. Paech, B. Rumpe, and K. Spie. "Software and system modeling based on a unified formal semantic." Proceedings of the International Workshop RTSE'97, LNCS 1526.
25. R. Breu, R. Grosu, F. Huber, B. Rumpe, and W. Schwerin. "Towards a Precise Semantics for Object-Oriented Modeling Technique." Object-Oriented Technology, ECOOP'9, LNCS 1357.
26. J. Sztipanovits, and G. Karsai. "Model-Integrated Computing." IEEE Computer, April 1997, pp. 110-112.