Cited By
View all- Afzal ALe Goues CTimperley C(2022)Mithra: Anomaly Detection as an Oracle for Cyberphysical SystemsIEEE Transactions on Software Engineering10.1109/TSE.2021.312068048:11(4535-4552)Online publication date: 1-Nov-2022
Programming support for time-sensitive adaptation in cyberphysical systems
Abstract
Cyberphysical systems (CPS) integrate embedded sensors, actuators, and computing elements for controlling physical processes. Due to the intimate interactions with the surrounding environment, CPS software must continuously adapt to changing conditions. Enacting adaptation decisions is often subject to strict time requirements to ensure control stability, while CPS software must operate within the tight resource constraints that characterize CPS platforms. Developers are typically left without dedicated programming support to cope with these aspects. This results in either to neglect functional or timing issues that may potentially arise or to invest significant efforts to implement hand-crafted solutions. We provide programming constructs that allow developers to simplify the specification of adaptive processing and to rely on well-defined time semantics. Our evaluation shows that using these constructs simplifies implementations while reducing developers' effort, at the price of a modest memory and processing overhead.
References
[1]
M. Afanasov et al. Context-oriented programming for adaptive wireless sensor network software. In Proc. of DCOSS, 2014.
[2]
ArduPilot. www.ardupilot.com.
[3]
J. E. Bardram. The Java context awareness framework (JCAF) - A service infrastructure and programming framework for context-aware applications. In Proc. of PERVASIVE, 2005.
[4]
T. R. Bretschneider and K. Shetti. Uav-based gas pipeline leak detection. In Proc. of ARCS, 2015.
[5]
Y. Eustache and J. P. Diguet. Reconfiguration management in the context of rtos-based HW/SW embedded systems. J. Emb. Sys., 2008.
[6]
E. W. Frew et al. Adaptive receding horizon control for vision-based navigation of small unmanned aircraft. In Proc. of ACC, 2006.
[7]
S. Fritsch et al. Time-bounded adaptation for automotive system software. In Proc. of ICSE, 2008.
[8]
M. Garcia Valls et al. iland: An enhanced middleware for real-time reconfiguration of service oriented distributed real-time systems. IEEE Transactions on Industrial Informatics, 9(1):228--236, 2013.
[9]
M. H. Halstead. Elements of Software Science (Operating and Programming Systems Series). 1977.
[10]
R. Hirschfeld et al. Context-oriented programming. Journal of Object Technology, 2008.
[11]
M. Jackson. The world and the machine. In Proc. of ICSE, 1995.
[12]
T. Kamina et al. EventCJ: A context-oriented programming language with declarative event-based context transition. In Proc. of AOSD, 2011.
[13]
R. Keays et al. Context-oriented programming. In Proc. of MobiDe, 2003.
[14]
G. Kiczales et al. Aspect-oriented programming. In Proc. of ECOOP, 1997.
[15]
mBed on-line IDE. developer.mbed.org.
[16]
C. McGann et al. Adaptive control for autonomous underwater vehicles. In Proc. of the AAAI, 2008.
[17]
A. Mokhtari and A. Benallegue. Dynamic feedback controller of euler angles and wind parameters estimation for a quadrotor unmanned aerial vehicle. In Proc. of ICRA, 2004.
[18]
OpenROV. www.openrov.com.
[19]
A. Patil and N. Audsley. An application adaptive generic module-based reflective framework for real-time operating systems. In Proc. of RTSS, 2004.
[20]
F. J. Rammig et al. Designing self-adaptive embedded real-time software - towards system engineering of self-adaptation. In Proc. of SBESC, 2014.
[21]
J. C. Romero and M. Garcia-Valls. Scheduling component replacement for timely execution in dynamic systems. Software: Practice and Experience, 44(8):889--910, 2014.
[22]
G. Salvaneschi et al. Context-oriented programming: A software engineering perspective. J. Syst. Softw., 2012.
[23]
S. Sehic et al. COPAL-ML: A macro language for rapid development of context-aware applications in wireless sensor networks. In Proc. of SESENA, 2011.
[24]
J. A. Stankovic et al. Real-time communication and coordination in embedded sensor networks. Proceedings of the IEEE, 91(7), 2003.
[25]
J. A. Stankovic et al. Opportunities and obligations for physical computing systems. IEEE Computer, 38(11), 2005.
[26]
M. Trapp et al. Runtime adaptation in safety-critical automotive systems. In Proc. of SE, 2007.
Recommendations
Poster: Programming Support for Time-sensitive Software Adaptation in Cyberphysical Systems
EWSN '16: Proceedings of the 2016 International Conference on Embedded Wireless Systems and NetworksWe present programming constructs that allow developers to gain control on the timing aspect when enforcing adaptation decisions in Cyberphysical System (CPS) software. The operation of CPS often depends on environmental conditions; as a result, the ...
Cyberphysical systems
Essentially, the emerging term CyberPhysical Systems (CPS) is an architectural paradigm in which the pervasive sensing technologies represent a fundamental part. Originally defined in the computer sciences domain, the term CyberPhysical Systems has been ...
Cyberphysical Systems: Workload Modeling and Design Optimization
Built to interact with the physical world, a cyberphysical system (CPS) must be efficient, reliable, and safe. To optimize such systems, a science of CPS design considering workload characteristics (e.g., self-similarity and nonstationarity) must be ...
Comments
Information & Contributors
Information
Published In
November 2017
53 pages
Copyright © 2018 Authors.
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 04 January 2018
Published in SIGBED Volume 14, Issue 4
Check for updates
Qualifiers
- Research-article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 63Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 25 Jan 2025
Other Metrics
Citations
Cited By
View all- Afzal ALe Goues CTimperley C(2022)Mithra: Anomaly Detection as an Oracle for Cyberphysical SystemsIEEE Transactions on Software Engineering10.1109/TSE.2021.312068048:11(4535-4552)Online publication date: 1-Nov-2022
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in