Architecture-Centric Software Development for Cyber-Physical Systems

We discuss the problem of high-assurance development of cyber-physical systems. Specifically, we concentrate on the interaction between the development of the control system layer and platform-specific software engineering for system components. We argue that an architecture-centric approach allows us to streamline the development and increase the level of assurance for the resulting system. The case study of an unmanned ground vehicle illustrates the approach. Disciplines Computer Engineering | Computer Sciences Comments First Workshop on Cyber-Physical System Architectures and Design Methodologies (CPSArch 2014) October 17, 2014, New Delhi, India. This conference paper is available at ScholarlyCommons: http://repository.upenn.edu/cis_papers/778 Architecture-Centric Software Development for Cyber-Physical Systems Oleg Sokolsky, Miroslav Pajic, Nicola Bezzo, and Insup Lee PRECISE Center University of Pennsylvania Philadelphia, PA, USA {sokolsky, pajic, nicbezzo, lee}@seas.upenn.edu

[1]  E Feron,et al.  From Control Systems to Control Software , 2010, IEEE Control Systems.

[2]  Rajeev Alur,et al.  Symbolic analysis for improving simulation coverage of Simulink/Stateflow models , 2008, EMSOFT '08.

[3]  Vijay Kumar,et al.  A Design Environment for the Rapid Specification and Fabrication of Printable Robots , 2014, ISER.

[4]  Jörgen Hansson,et al.  System Architecture Virtual Integration: An Industrial Case Study , 2009 .

[5]  Stephen P. Boyd,et al.  CVXGEN: a code generator for embedded convex optimization , 2011, Optimization and Engineering.

[6]  Gabor Karsai,et al.  Toward a Science of Cyber–Physical System Integration , 2012, Proceedings of the IEEE.

[7]  Gabor Karsai,et al.  Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation , 2009, MoDELS.

[8]  Peter H. Feiler,et al.  The Architecture Analysis & Design Language (AADL): An Introduction , 2006 .

[9]  Edward A. Lee,et al.  Modeling Cyber–Physical Systems , 2012, Proceedings of the IEEE.

[10]  Eric Feron,et al.  From Design to Implementation: an Automated, Credible Autocoding Chain for Control Systems , 2013, ArXiv.

[11]  Simon Perry,et al.  SysML for Systems Engineering , 2008 .

[12]  Edward A. Lee,et al.  Ptolemy II, Heterogeneous Concurrent Modeling and Design in JAVA , 2001 .

[13]  Insup Lee,et al.  Demo abstract: ROSLab — A modular programming environment for robotic applications , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[14]  Morgan Quigley,et al.  ROS: an open-source Robot Operating System , 2009, ICRA 2009.

[15]  Paulo Tabuada,et al.  Robustness of attack-resilient state estimators , 2014, 2014 ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS).

[16]  Andrew W. Appel,et al.  Verified Software Toolchain , 2012, NASA Formal Methods.

[17]  Hugo Herbelin,et al.  The Coq proof assistant : reference manual, version 6.1 , 1997 .