Abstract
The paper discusses the design of complex embedded systems around intelligent physical worlds (IPW). Here, an IPW is an embodiment of control software functions wrapped around the raw physical processes to perform the core domain-specific adaptation activities. The IPW exhibits an intelligent behavior over a limited operating region of the system—in contrast with the traditional models where the physical world is basically dumb. To perform over a wider range of operating conditions, the IPW interacts with an intelligent computational world (ICW) to patch itself with suitable control parameters and rules/procedures relevant in those changed conditions. The modular decomposition of an application into IPW and ICW lowers the overall software complexity of building embedded systems.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Eberhart, R.C., Shi, Y.: Computational intelligence. In: Computational Intelligence: Concepts to Implementations, Chap. 2. Morgan Kaufman Publishers, San Francisco (2007)
Kabadayi S., Pridgen A., Julien C.: Virtual sensors: abstracting data from physical sensors. Technical Report 2006-01, University of Texas Austin (2006)
Hillier F.S., Lieberman G.J.: Non-linear programming and meta-heuristics. In: Introduction to Operations Research, Chaps. 12, 13, 8th edn., pp. 547–616. McGraw-Hill, NY (2005)
Diao Y., Hellerstein J.L., Kaiser G., Parekh S., Phung D.: Self-managing systems: a control theory foundation. IBM Research Report, RC23374 (W0410-080), Oct 2004
Ravindran K.: Dynamic protocol-level adaptations for performance and availability of distributed network services. In: Modeling Autonomic Communication Environments, Multicon Lecture Notes-no.6, pp. 191–209, Oct 2007
Li, B., Nahrstedt, K.: A control-based middleware framework for quality of service adaptations. IEEE JSAC 17(9), 1632–1650 (Sept 1999)
Lu C., Lu Y., Abdelzaher T.F., Stankovic J.A., Son S.H.: Feedback control architecture and design methodology for service delay guarantees in web servers. IEEE TPDS 17(7), 1014–1027 (Sept 2006)
Schaefer I., Heffter A.P.: Slicing for model reduction in adaptive embedded systems development. Workshop on Software Engineering for Adaptive and Self-managing Systems (SEAMS 2008), May 2008
Yi J., Woo H., Browne J.C., Mok A.K., Xie F., Atkins E., Lee C.G.: Incorporating resource safety verification to executable model-based development for embedded systems. IEEE Real-time and Embedded Technology and Applications Symposium, pp. 137–146 (2008)
Mikaelian T., Williams B.C., Sachenbacher M.: Probabilistic monitoring from mixed software and hardware specifications. In: Proceedings of ICAP’05 Workshop on Verification and Validation of Model-based Planning and Scheduling Systems (2005)
Ravindran K.: Information-theoretic treatment of sensor measurements in network systems. In: Proceedings of Network Operations and Management Symposium (NOMS’10), IEEE–IFIP, Osaka, Japan, April 2010
Rowe A., Bhatia G., Rajkumar R.: A model-based design approach for wireless sensor-actuator networks. In: Proceedings of Workshop on Analytic Virtual Integration of Cyber-Physical Systems (AVICPS’10), Nov 2010
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag London Limited
About this paper
Cite this paper
Ravindran, K. (2011). Model-Based Software Integration for Flexible Design of Cyber-Physical Systems. In: Gelenbe, E., Lent, R., Sakellari, G. (eds) Computer and Information Sciences II. Springer, London. https://doi.org/10.1007/978-1-4471-2155-8_61
Download citation
DOI: https://doi.org/10.1007/978-1-4471-2155-8_61
Published:
Publisher Name: Springer, London
Print ISBN: 978-1-4471-2154-1
Online ISBN: 978-1-4471-2155-8
eBook Packages: EngineeringEngineering (R0)