On the implications of plug-and-learn adaptive hardware components toward a cyberphysical systems perspective on evolvable and adaptive hardware

作者: Eric T. Matson , Garrison W. Greenwood , John C. Gallagher

DOI: 10.1109/ICES.2013.6613283

关键词:

摘要: Evolvable and Adaptive Hardware (EAH) Systems have been a subject of study for about two decades. This paper argues that viewing EAH devices in isolation from the larger systems which they serve as components is somewhat dangerous can subvert design hierarchies upon designers base verification validation efforts. The proposes augmenting with additional machinery to enable application model-checking related Cyber-Physical techniques extract evolving intra-module relationships formal purposes.

参考文章(25)
John C. Gallagher, Michael W. Oppenheimer, An Improved Evolvable Oscillator and Basis Function Set for Control of an Insect-Scale Flapping-Wing Micro Air Vehicle Journal of Computer Science and Technology. ,vol. 27, pp. 966- 978 ,(2012) , 10.1007/S11390-012-1277-1
Edmund M. Clarke, E. Allen Emerson, DESIGN AND SYNTHESIS OF SYNCHRONIZATION SKELETONS USING BRANCHING TIME TEMPORAL LOGIC 25 Years of Model Checking. ,vol. 131, pp. 196- 215 ,(2008) , 10.1007/978-3-540-69850-0_12
J. P. Queille, J. Sifakis, Specification and verification of concurrent systems in CESAR Proceedings of the 5th Colloquium on International Symposium on Programming. pp. 337- 351 ,(1982) , 10.1007/3-540-11494-7_22
Michael Huth, Mark Ryan, Logic in Computer Science Cambridge University Press. ,(2004) , 10.1017/CBO9780511810275
Eric T. Matson, Scott A. DeLoach, Raj Bhatnagar, Evaluation of properties in the transition of capability based agent organization Web Intelligence and Agent Systems: An International Journal. ,vol. 7, pp. 1- 21 ,(2009) , 10.3233/WIA-2009-0152
Fatos Xhafa, Leonard Barolli, Omar Hussain, Special issue on cyber physical systems Computing. ,vol. 95, pp. 923- 926 ,(2013) , 10.1007/S00607-013-0318-0
E. Allen Emerson, Edmund M. Clarke, Characterizing Correctness Properties of Parallel Programs Using Fixpoints international colloquium on automata, languages and programming. pp. 169- 181 ,(1980) , 10.1007/3-540-10003-2_69
Rajeev Alur, Mihalis Yannakakis, Model checking of hierarchical state machines ACM Transactions on Programming Languages and Systems. ,vol. 23, pp. 273- 303 ,(2001) , 10.1145/503502.503503
Eric T. Matson, Julia Taylor, Victor Raskin, Byung-Cheol Min, E. Cho Wilson, A natural language exchange model for enabling human, agent, robot and machine interaction international conference on automation, robotics and applications. pp. 340- 345 ,(2011) , 10.1109/ICARA.2011.6144906
Radha Poovendran, Krishna Sampigethaya, Sandeep Kumar S. Gupta, Insup Lee, K. Venkatesh Prasad, David Corman, James L. Paunicka, Special Issue on Cyber - Physical Systems [Scanning the Issue] Proceedings of the IEEE. ,vol. 100, pp. 6- 12 ,(2012) , 10.1109/JPROC.2011.2167449