ABSTRACT
Wider adoption, availability and ubiquity of wireless networking technologies, integrated sensors, actuators, and edge computing devices is facilitating a paradigm shift by allowing us to transition from traditional statically configured vertical silos of Cyber-Physical Systems (CPS) to next generation CPS that are more open, dynamic and extensible. Fractionated spacecraft, smart cities computing architectures, Unmanned Aerial Vehicle (UAV) clusters are all examples of extensible CPS wherein extensibility is implied by the dynamic aggregation of physical resources, affect of physical dynamics on availability of computing resources, and various multi-domain applications hosted on these systems. However, realization of extensible CPS requires resolving design-time and runtime challenges emanating from properties specific to these systems. In this paper, we first describe different properties of extensible CPS - dynamism, extensibility, remote deployment, security, heterogeneity and resilience. Then we identify different design-time challenges stemming from heterogeneity and resilience requirements. We particularly focus on software heterogeneity arising from availability of various communication middleware. We then present appropriate solutions in the context of a novel domain specific language and describe how this language and its features have evolved from our past work.
- Unified Component Model for Distributed, Real-Time and Embedded Systems RFP. http://www.omg.org/cgi-bin/doc?mars/2013-09-10.Google Scholar
- A. Alliance. Alljoyn. https://allseenalliance.org/.Google Scholar
- D. Balasubramanian, A. Dubey, W. Otte, T. Levendovszky, A. Gokhale, P. Kumar, W. Emfinger, and G. Karsai. Drems ml: A wide spectrum architecture design language for distributed computing platforms. Science of Computer Programming, 2015. Google ScholarDigital Library
- O. Brown and P. Eremenko. The Value Proposition for Fractionated Space Architectures. AIAA Paper 2006-7506, 2006.Google Scholar
- A. Dubey, W. Emfinger, A. Gokhale, G. Karsai, W. Otte, J. Parsons, C. Szabo, A. Coglio, E. Smith, and P. Bose. A Software Platform for Fractionated Spacecraft. In Proceedings of the IEEE Aerospace Conference, 2012, pages 1–20, Big Sky, MT, USA, Mar. 2012. IEEE.Google ScholarCross Ref
- M. Eysholdt and H. Behrens. Xtext: Implement your language faster than the quick and dirty way. In SPLASH, SPLASH ’10, pages 307–309, New York, NY, USA, 2010. ACM. ISBN 978-1-4503-0240-1.. URL http://doi.acm.org/10.1145/1869542.1869625. Google ScholarDigital Library
- P. Feiler, B. A. Lewis, and S. Vestal. The SAE Architecture Analysis & Design Language (AADL) A Standard for Engineering Performance Critical Systems. In Computer Aided Control System Design, pages 1206–1211, 2006..Google Scholar
- S. Fürst, J. Mössinger, S. Bunzel, T. Weber, F. Kirschke-Biller, P. Heitkämper, G. Kinkelin, K. Nishikawa, and K. Lange. Autosar–a worldwide standard is on the road. In 14th International VDI Congress Electronic Systems for Vehicles, Baden-Baden, 2009.Google Scholar
- T. Genßler, A. Christoph, M. Winter, O. Nierstrasz, S. Ducasse, R. Wuyts, G. Arévalo, B. Schönhage, P. Müller, and C. Stich. Components for Embedded Software: the PECOS Approach. In Proceedings of the 2002 International Conference on Compilers, Architecture, and Synthesis for Embedded Systems, pages 19–26. ACM, 2002. Google ScholarDigital Library
- G. T. Heineman and W. T. Councill, editors. Componentbased Software Engineering: Putting the Pieces Together. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2001. ISBN 0-201-70485-4. Google ScholarDigital Library
- U. Hunkeler, H. L. Truong, and A. Stanford-Clark. Mqtt-s?a publish/subscribe protocol for wireless sensor networks. In Communication systems software and middleware and workshops, 2008. comsware 2008. 3rd international conference on, pages 791–798. IEEE, 2008.Google Scholar
- R.-T. Innovations. RTI Data Distribution Service. http://www.rti.com/products/dds/index.html.Google Scholar
- G. Karsai, D. Balasubramanian, A. Dubey, and W. Otte. Distributed and managed: Research challenges and opportunities of the next generation cyber-physical systems. In 17th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2014, Reno, NV, USA, June 10-12, 2014, pages 1–8, 2014.. URL http://dx.doi.org/10.1109/ISORC.2014.36. Google ScholarDigital Library
- D. Moore, E. Olson, and A. Huang. Lightweight communications and marshalling for low-latency interprocess communication. 2009.Google Scholar
- S. Pradhan, A. Dubey, W. R. Otte, G. Karsai, and A. Gokhale. Towards a product line of heterogeneous distributed applications. ISIS, 15:117.Google Scholar
- S. Pradhan, W. Otte, A. Dubey, A. Gokhale, and G. Karsai. Towards a Resilient Deployment and Configuration Infrastructure for Fractionated Spacecraft. In Proceedings of the 5th Workshop on Adaptive and Reconfigurable Embedded Systems (APRES ’13), CPSWeek, Philadelphia, PA, USA, Apr. 2013. IEEE.Google ScholarDigital Library
- M. Quigley, K. Conley, B. Gerkey, J. Faust, T. Foote, J. Leibs, R. Wheeler, and A. Y. Ng. Ros: an open-source robot operating system. In ICRA workshop on open source software, volume 3, page 5, 2009.Google Scholar
- D. C. Schmidt, B. Natarajan, A. Gokhale, N. Wang, and C. Gill. TAO: A Pattern-Oriented Object Request Broker for Distributed Real-time and Embedded Systems. IEEE Distributed Systems Online, 3(2), Feb. 2002.Google Scholar
- S. Vinoski. Advanced message queuing protocol. IEEE Internet Computing, (6):87–89, 2006. Google ScholarDigital Library
- N. Wang, D. C. Schmidt, A. Gokhale, C. Rodrigues, B. Natarajan, J. P. Loyall, R. E. Schantz, and C. D. Gill. QoSenabled Middleware. In Q. Mahmoud, editor, Middleware for Communications, pages 131–162. Wiley and Sons, New York, 2004.Google Scholar
Index Terms
- CHARIOT: a domain specific language for extensible cyber-physical systems
Recommendations
A Platform-Independent Component Modeling Language for Distributed Real-time and Embedded Systems
This paper provides two contributions to the study of developing and applying domain-specific modeling languages (DSMLS) to distributed real-time and embedded (DRE) systems-particularly those systems using standards-based QoS-enabled component ...
A New Model Language for Cyber Physical Systems
ISCC-C '13: Proceedings of the 2013 International Conference on Information Science and Cloud Computing CompanionCyber Physical Systems are an emerging discipline that integrates computation and physical processes. With the computation field developed maturely, the major challenges of the implementation of CPSs are the informational abstraction of physical ...
Comments