Model-Integrated Development of Cyber-Physical Systems

Authors:
Gabor Karsai;Janos Sztipanovits
Affiliations:
Institute for Software-Integrated Systems, Vanderbilt University, Nashville, USA 37205;Institute for Software-Integrated Systems, Vanderbilt University, Nashville, USA 37205
Venue:
SEUS '08 Proceedings of the 6th IFIP WG 10.2 international workshop on Software Technologies for Embedded and Ubiquitous Systems
Year:
2008

Citing 4
Cited 4

Model Checking Programs

Automated Software Engineering
Distributed Hardware-in-the-Loop Simulator for Autonomous Continuous Dynamical Systems with Spatially Constrained Interactions

IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Software and Simulation Modeling for Real-Time Software-Intensive Systems

DS-RT '04 Proceedings of the 8th IEEE International Symposium on Distributed Simulation and Real-Time Applications
Model continuity in the design of dynamic distributed real-time systems

IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans

An event driven framework for assistive CPS environments

ACM SIGBED Review - Special Issue on the 2nd Joint Workshop on High Confidence Medical Devices, Software, and Systems (HCMDSS) and Medical Device Plug-and-Play (MD PnP) Interoperability
Research on modeling and analysis of CPS

ATC'11 Proceedings of the 8th international conference on Autonomic and trusted computing
BAND-AiDe: A Tool for Cyber-Physical Oriented Analysis and Design of Body Area Networks and Devices

ACM Transactions on Embedded Computing Systems (TECS) - Special Section on CAPA'09, Special Section on WHS'09, and Special Section VCPSS' 09
Control-theoretic cyber-physical system modeling and synthesis: A case study of an active direct methanol fuel cell

ACM Transactions on Embedded Computing Systems (TECS)

Quantified Score

Hi-index	0.00

Visualization

Abstract

Cyber-physical systems represent a new class of systems that integrate physics with computation. Their correct design is frequently of great importance as they are applied in safety- or business-critical contexts. This paper introduces a model-integrated development approach that addresses the development needs of such systems through the pervasive use of models. A complete model-based view is proposed that covers all aspects of the hardware and software components, as well as their interactions. Early experiments and work in progress are also reported.