Review on cyber-physical systems

IEEE/CAA Journal of Automatica Sinica

Volumn 4, Issue 1, 2017, Pages 27-40

  Liu, Yang ^a   Peng, Yu ^a   Wang, Bailing ^a   Yao, Sirui ^a   Liu, Zihe ^a  

^a HARBIN INSTITUTE OF TECHNOLOGY   (China)

Author keywords

Cyber physical systems (CPS); Information processing; Software design; System model

Indexed keywords

COMPUTATION THEORY; CYBER PHYSICAL SYSTEM; DATA PROCESSING; EMBEDDED SYSTEMS;

COMMUNICATIONS AND CONTROL; CYBER-PHYSICAL SYSTEMS (CPS); INFORMATION PROCESSING TECHNOLOGY; NETWORK SYSTEMS; PHYSICAL SYSTEMS; PRESENT SITUATION; SYSTEM MODELING;

SOFTWARE DESIGN;

EID: 85010065711     PISSN: 23299266     EISSN: 23299274     Source Type: Journal    
DOI: 10.1109/JAS.2017.7510349     Document Type: Article

References (101)

1. Z. Song, Y. Q. Chen, C. R. Sastry, and N. C. Tas, Optimal Observation for Cyber-Physical Systems: A Fisher-Information-Matrix-Based Approach. London: Springer-Verlag, 2009.
2. R. Rajkumar, "A cyber-physical future, " Proc. IEEEE, vol. 100, no. Special Centennial Issue, pp. 1309-1312, May 2012.
3. C. Tricaud and Y. Q. Chen, "Optimal mobile actuator/sensor network motion strategy for parameter estimation in a class of cyber physical systems, " in Proc. 2009 American Control Conf., St. Louis, MO, 2009, pp. 367-372.
4. E. A. Lee, "Computing foundations and practice for cyber-physical systems: A preliminary report, " Tech. Rep. UCB/EECS-2007-72, University of California, Berkeley, May 2007.
5. J. F. He, "Cyber-physical systems, " Commun. China Comput. Feder., vol. 6, no. 1, pp. 25-29, 2010.
6. G. R. Gonzalez, M. M. Organero, and C. D. Kloos, "Early infrastructure of an internet of things in spaces for learning, " in Proc. 8th IEEE Int. Conf. Advanced Learning Technologies, Santander, Cantabria, 2008, pp. 381-383.
7. Y. Sun, B. McMillin, X. Q. Liu, and D. Cape, "Verifying noninterference in a cyber-physical system the advanced electric power grid, " in Proc. 7th Int. Conf. Quality Software, Portland, OR, 2007, pp. 363-369.
8. M. D. Ilic, L. Xie, U. A. Khan, and J. M. F. Moura, "Modeling of future cyber-physical energy systems for distributed sensing and control, " IEEE Trans. Syst. Man Cybernet. A: Syst. Human., vol. 40, no. 4, pp. 825-838, Jul. 2010.
9. F. M. Zhang, K. Szwaykowska, W. Wolf, and V. Mooney, "Task scheduling for control oriented requirements for cyber-physical systems, " in Proc. 2008 Real-Time Systems Symp., Barcelona, 2008, pp. 47-56.
10. P. L. Tan, J. Shu, and Z. H. Wu, "An architecture for cyber-physical systems, " J. Comput. Res. Dev., vol. 47, no. Suppl., pp. 312-316, Nov. 2010.
11. Y. F. Zhang, C. Gill, and C. Y. Lu, "Reconfigurable real-Time middleware for distributed cyber-physical systems with aperiodic events, " in Proc. 28th International Conf. Distributed Computing Systems, Beijing, China, 2008, pp. 581-588.
12. D. Faggioli, M. Bertogna, and F. Checconi, "Sporadic server revisited, " in Proc. 2010 ACM Symp. Applied Computing, Sierre, Switzerland, 2010, pp. 340-345.
13. Y. Tan, S. Goddard, and L. C. Ṕerez, "A prototype architecture for cyber-physical systems, " ACM SIGBED Rev., vol. 5, no. 1, Article No. 26, Jan. 2008.
14. T. L. Crenshaw, E. Gunter, C. L. Robinson, L. Sha, and P. R. Kumar, "The simplex reference model: limiting fault-propagation due to unreliable components in cyber-physical system architectures, " in Proc. 28th IEEE Int. Real-Time Systems Symp., Tucson, AZ, 2007, pp. 400-412.
15. K. J. Lin and M. Panahi, "A real-Time service-oriented framework to support sustainable cyber-physical systems, " in Proc. 8th IEEE Int. Conf. Industrial Informatics, Osaka, 2010, pp. 15-21.
16. F. Pasqualetti, F. Dörfler, and F. Bullo, "Attack detection and identification in cyber-physical systems, " IEEE Trans. Auto. Control, vol. 58, no. 11, pp. 2715-2729, Nov. 2013.
17. B. Stasonis, "Introducing the LXI specification-intent & benefits, " in Proc. of International Conference on Distributed Computing Systems (ICDCS), Piscataway, 2011, pp. 1-18.
18. R. A. Thacker, K. R. Jones, C. J. Myers, and H. Zheng, "Automatic abstraction for verification of cyber-physical systems, " in Pro. 1st ACM/IEEE Int. Conf. Cyber-Physical Systems, Stockholm, Sweden, 2010, pp. 12-21.
19. C. Qi and Y. He, "Design of data collection system based on CPS, " Comput. Syst. Appl., vol. 19, no. 6, pp. 5-8, Jul. 2010.
20. Y. F. Hu, F. M. Li, and X. H. Liu, "CPS: network system framework and key technologies, " J. Comput. Res. Dev., vol. 47, no. Suppl., pp. 304-311, Nov. 2010.
21. I. D. Chakeres, C. Danilov, T. R. Henderson, and J. P. Macker, "Connecting MANET multicast, " in Proc. IEEE Military Communications Conf., Orlando, FL, USA, 2007, pp. 1-7.
22. C. Y. Wan, C. Y. Li, R. H. Hwang, and Y. S. Chen, "Global connectivity for mobile IPv6-based ad hoc networks, " in Proc. 19th Int. Conf. Advanced Information Networking and Applications, Taipei, China, 2005, pp. 807-812.
23. K. Chandran, S. Raghunathan, S. Venkatesan, and R. Prakash, "A feedback based scheme for improving TCP performance in ad-hoc wireless networks, " in Proc. 18th Int. Conf. Distributed Computing System, Amsterdam, 1998, pp. 472-479.
24. A. G. Neonakis and R. Tafazolli, "On the relaying capability of nextgeneration GSM cellular networks, " IEEE Personal Commun., vol. 8, no. 1, pp. 40-47, Feb. 2001.
25. A. N. Zadeh, B. Jabbari, R. Pickhohz, and B. Vojcic, "Self-organizing packet radio ad hoc networks with overlay (SoPRANO), " IEEE Commun. Mag., vol. 40, no. 6, pp. 149-157, Jun. 2012.
26. W. Hu, C. M. Qiao, S. De, and O. Tonguz, "Integrated cellular and ad hoc relaying systems: iCAR, " IEEE J. Select. Areas Commun., vol. 19, no. 10, pp. 2105-2115, Oct. 2001.
27. B. Andersson, N. Pereira, and E. Tovar, "How a cyber-physical system can efficiently obtain a snapshot of physical information even in the presence of sensor faults, " in Proc. 2008 Int. Workshop on Intelligent Solutions in Embedded Systems, Regensburg, 2008, pp. 1-10.
28. A. A. Ćardenas, S. Amin, and S. Sastry, "Secure control: Towards survivable cyber-physical systems, " in Proc. 28th Int. Conf. Distributed Computing Systems Workshops, Beijing, China, 2008, pp. 495-500.
29. C. Singh and A. Sprintson, "Reliability assurance of cyber-physical power systems, " in Proc. 2010 IEEE Power and Energy Society General Meeting, Minneapolis, MN, 2010, pp. 1-6.
30. T. T. Gamage, B. M. McMillin, and T. P. Roth, "Enforcing information flow security properties in cyber-physical systems: A generalized framework based on compensation, " in Proc. 2010 IEEE 34th Annual Computer Software and Applications Conf. Workshops, Seoul, 2010, pp. 158-163.
31. Y. Zhang, I. L. Yen, F. B. Bastani, A. T. Tai, and S. Chau, "Optimal adaptive system health monitoring and diagnosis for resource constrained cyber-physical systems, " in Proc. 20th Int. Symp. Software Reliability Engineering, Mysuru, Karnataka, 2009, pp. 51-60.
32. Q. Y. Zhu, C. Rieger, and T. Basar, "A hierarchical security architecture for cyber-physical systems, " in Proc. 2011 4th Int. Symp. Resilient Control Systems, Boise, ID, 2011, pp. 15-20.
33. W. Jiang, W. H. Guo, and N. Sang, "Periodic real-Time message scheduling for confidentiality-Aware cyber-physical system in wireless networks, " in Proc. 5th Int. Conf. Frontier of Computer Science and Technology, Changchun, China, 2010, pp. 355-360.
34. F. Mueller, "Challenges for cyber-physical systems: security, timing analysis and soft error protection, " in High-Confidence Software Platforms for Cyber-Physical Systems (HCSP-CPS) Workshop, Alexandria, Virginia, 2006.
35. E. A. Lee, "Cyber physical systems: design challenges, " in Proc. The 11th IEEE Int. Symp. Object and Component-Oriented Real-Time Distributed Computing (ISORC), Orlando, FL, 2008, pp. 363-369.
36. U. Kremer, "Cyber-physical systems: A case for soft real-Time", Accessed on: May 1, 2013. [Online]. Available: http://www.research. rutgers.edu/uli/Sarana/documents/CPS-Uli.pdf
37. H. Al-Omari, F. Wolff, C. Papachristou, and D. McIntyre, "Avoiding delay jitter in cyber-physical systems using one way delay variations model, " in Proc. 2009 Int. Conf. Computational Science and Engineering, Vancouver, BC, 2009, pp. 295-302.
38. K. Pereira, "Cyber-Physical Systems", Accessed on: Nov. 1, 2013. [Online]. Available: http://www.International.rutgers.edu/
39. J. H. Shi, J. F. Wan, H. H. Yan, and H. Suo, "A survey of cyber-physical systems, " in Proc. 2011 Int. Conf. IEEE Wireless Communications and Signal Processing (WCSP), Nanjing, China, 2011.
40. T. Tidwell, X. Y. Gao, H. M. Huang, C. Y. Lu, S. Dyke, and C. Gill, "Towards configurable real-Time hybrid structural testing: A cyber-physical system approach", in Proc. IEEE Int. Symp. ObjectComponentService-Oriented Real-Time Distributed Computing, Tokyo, 2009, pp. 37-44.
41. Y. Peng, Q. H. Luo, and Z. Q. Liu, "An automatic evaluation system for IEEE1588 synchronization clock unit, " in Proc. 9th Int. Conf. Electronic Measurement & Instruments, Beijing, China, 2009, pp. 3-408-3-413.
42. S. Andrei and A. M. K. Cheng, "Optimizing automotive cyber-physical system specifications with multi-event dependencies, " in Proc. 10th Int. Symp. Symbolic and Numeric Algorithms for Scientific Computing, Timisoara, 2008, pp. 475-479.
43. K. D. Kang and S. H. Son, "Real-Time data services for cyber physical systems, " in Proc. 28th Int. Conf. Distributed Computing Systems Workshops, Beijing, China, 2008, pp. 483-488.
44. Y. Peng, Q. H. Luo, and X. Y. Peng, "Analysis of uncertain data processing methods in networking test framework, " Chin. J. Sci. Instr., vol. 31, no. 1, pp. 229-240, Jan. 2010.
45. M. C. Bujorianu, M. L. Bujorianu, and H. Barringer, "A unifying specification logic for cyber-physical systems, " in Proc. 17th Mediterranean Conf. Control and Automation, Thessaloniki, 2009, pp. 1166-1171.
46. L. Parolini, N. Tolia, B. Sinopoli, and B. H. Krogh, "A cyber-physical systems approach to energy management in data centers, " in Proc. 1st ACM/IEEE Int. Conf. Cyber-Physical Systems, Stockholm, Sweden, 2010, pp. 168-177.
47. H. Ahmadi, T. F. Abdelzaher, and I. Gupta, "Congestion control for spatio-Temporal data in cyber-physical systems, " in Proc. 1st ACM/IEEE Int. Conf. Cyber-Physical Systems, Stockholm, Sweden, 2010, pp. 89-98.
48. Z. J. Wang and L. L. Xie, "Cyber-physical systems: A survey, " Acta Automat. Sin., vol. 37, no. 10, pp. 1157-1166, Oct. 2011.
49. K. J. Park, M. K. Yoon, K. Kang, and C. G. Lee, "Scheduling and control co-design under end-To-end response time constraints in cyberphysical systems, " in Proc. 2011 IEEE Conf. Computer Communications Workshops, Shanghai, China, 2011, pp. 762-767.
50. M. Blanke, M. Kinnaert, J. Lunze, and M. Staroswiecki, Diagnosis and Fault-Tolerant Control. Berlin: Springer-Verlag, 2003.
51. F. Pasqualetti, F. Dörfler, and F. Bullo, "Cyber-physical attacks in power networks: models, fundamental limitations and monitor design, " in Proc. 2011 50th IEEE Conf. Decision and Control and European Control Conf., Orlando, FL, USA, 2011, pp. 2195-2201.
52. V. K. Singh and R. Jain, "Situation based control for cyber-physical environments, " in Proc. IEEE Military Communications Conf., Boston, MA, 2009, pp. 1-7.
53. J. L. Ny and G. J. Pappas, "Robustness analysis for the certification of digital controller implementations, " in Proc. 1st ACM/IEEE Int. Conf. Cyber-Physical Systems, Stockholm, Sweden, 2010, pp. 99-108.
54. S. Bak, A. Greer, and S. Mitra, "Hybrid cyberphysical system verification with simplex using discrete abstractions, " in Proc. 2010 16th IEEE Real-Time and Embedded Technology and Applications Symp., Stockholm, 2010, pp. 143-152.
55. G. Pota, A. Girard, and P. Tabuada, "Approximately bisimilar symbolic models for nonlinear control systems, " Automatica, vol. 44, no. 10, pp. 2508-2516, Oct. 2008.
56. D. Goswami, R. Schneider, A. Masrur, M. Lukasiewycz, S. Chakraborty, H. Voit, and A. Annaswamy, "Challenges in automotive cyber-physical systems design, " in Proc. 2012 Int. Conf. Embedded Computer Systems, Samos, 2012, pp. 346-354.
57. C. Gill, "Cyber-physical system software for HCMDSS, " in Proc. Joint Workshop on High Confidence Medical Devices, Software, and Systems Medical Device Plug-And-Play Interoperability, Boston, MA, 2007, pp. 176-177.
58. A. Dabholkar and A. Gokhale, "An approach to middleware specialization for cyber physical systems, " in Proc. 29th IEEE Int. Conf. Distributed Computing Systems Workshops, Montreal, QC, 2009, pp. 73-79.
59. H. Woo, J. L. Yi, J. C. Browne, A. K. Mok, E. Atkins, and F. Xie, "Design and development methodology for resilient cyber-physical systems, " in Proc. 28th Int. Conf. Distributed Computing Systems Workshops, Beijing, China, 2008, pp. 525-528.
60. P. A. Vicaire, E. Hoque, Z. H. Xie, and J. A. Stankovic, "Bundle: A group-based programming abstraction for cyber-physical systems, " IEEE Trans. Ind. Inform., vol. 8, no. 2, pp. 379-392, May 2012.
61. J. Lin, S. Sedigh, and A. Miller, "Towards integrated simulation of cyber-physical systems: A case study on intelligent water distribution, " in Proc. 8th IEEE Int. Conf. Dependable, Autonomic and Secure Computing, Chengdu, China, 2009, pp. 690-695.
62. T. Tidwell, R. Glaubius, C. D. Gill, and W. D. Smart, "Optimal time utility based scheduling policy design for cyber-physical systems, " Washington University, St. Louis, MO, WUCSE-2010-27, 2010.
63. R. R. Rajkumar, I. Lee, L. Sha, and J. Stankovic, "Cyber-physical systems: The next computing revolution, " in Proc. 47th Design Automation Conference, Anaheim, California, 2010, pp. 731-736.
64. R. F. Li, Y. Xie, R. Li, and L. Li, "Survey of cyber-physical systems, " J. Comp. Res. Dev., vol. 49, no. 6, pp. 1149-1161, Jun. 2012.
65. X. D. Zhang, T. Parisini, and M. M. Polycarpou, "Adaptive faulttolerant control of nonlinear uncertain systems: An information-based diagnostic approach, " IEEE Trans. Automat. Contr., vol. 49, no. 8, pp. 1259-1274, Aug. 2004.
66. W. Schamai, U. Pohlmann, P. Fritzson, C. J. J. Paredis, P. Helle, and C. Strobel, "Execution of UML state machines using modelica, " in Proc. 3rd Int. Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, Oslo, Norway, 2010, pp. 1-10.
67. J. Huang, F. Bastani, I. L. Yen, J. Dong, W. Zhang, F.-J. Wang, and H.-J. Hsu, "Extending service model to build an effective service composition framework for cyber-physical systems, " in Proc. 2009 IEEE Int. Conf. Service-Oriented Computing and Applications (SOCA), Taipei, China, 2009.
68. C. Neuman, "Challenges in security for cyber-physical systems, " DHS: S&T workshop on future directions in cyber-physical systems security. Jul. 2009.
69. N. Adam, "Workshop on future directions in cyber-physical systems security, " Report on workshop organized by Department of Homeland Security (DHS), Jan. 2010.
70. H. Tang, "Security analysis of a cyber-physical system, " M.S. Thesis, University of Missouri-Rolla, Rolla, 2007.
71. Y. Tan, M. C. Vuran, and S. Goddard, "Spatio-Temporal event model for cyber-physical systems, " in Proc. 29th IEEE Int. Conf. Distributed Computing Systems Workshops, Montreal, QC, 2009, pp. 44-50.
72. N. Kottenstette, G. Karsai, and J. Sztipanovits, "A passivity-based framework for resilient cyber physical systems, " in Proc. 2nd Int. Symp. Resilient Control Systems, Idaho Falls, ID, 2009, pp. 43-50.
73. C. Zimmer, B. Bhat, F. Mueller, and S. Mohan, "Time-based intrusion detection in cyber-physical systems, " in Proc. 1st ACM/IEEE Int. Conf. Cyber-Physical Systems, Stockholm, Sweden, 2010, pp. 109-118.
74. S. Little, D. Walter, K. Jones, and C. Myers, "Analog/mixed-signal circuit verification using models generated from simulation traces, " in Proc. 5th Int. Symp. Automated Technology for Verification and Analysis, Tokyo, Japan, 2007, pp. 114-128.
75. R. A. Thacker, C. J. Myers, K. Jones, and S. R. Little, "A new verification method for embedded systems, " in Proc. IEEE Int. Conf. Computer Design, Lake Tahoe, CA, 2009, pp. 193-200.
76. T. L. Crenshaw and S. Beyer, "UPBOT: A testbed for cyber-physical systems, " in Proc. 3rd Int. Conf. Cyber Security Experimentation and Test, Washington, DC, 2010, Article No. 1-8.
77. S. Kopparty, S. V. Krishnamurthy, M. Faloutsos, and S. K. Tripathi, "Split TCP for mobile ad hoc networks, " in Proc. IEEE Global Telecommunications Conf., Taipei, China, 2002, pp. 138-142.
78. X. Y. Li, Y. Y. Wang, X. S. Zhou, and D. F. Liang, "Approach for cyber-physical system simulation modeling, " J. Syst. Simul., vol. 26, no. 3, pp. 631-637, 2014.
79. T. W. Hnat, T. Sookoor, P. Hooimeijer, W. Weimer, and K. Whitehouse, "MacroLab: A vector-based macroprogramming framework for cyberphysical systems, " in Proc. 6th ACM Conf. Embedded Networked Sensor Systems, Raleigh, NC, USA, 2008, pp. 225-238.
80. T. Facchinetti and M. L. D. Vedova, "Real-Time modeling for direct load control in cyber-physical power systems, " IEEE Trans. Industr. Inf., vol. 7, no. 4, pp. 689-698, Nov. 2011.
81. M. D. Illic, L. Xie, U. A. Khan, and J. M. F. Moura, "Modeling future cyber-physical energy systems, " in Proc. 2008 IEEE Power & Energy Society General Meeting-Conversion and Delivery of Electrical Energy in the 21st Century, Pittsburgh, PA, 2008, pp. 1-9.
82. G. Karsai and J. Sztipanovits, "Model-integrated development of cyberphysical systems, " in Proc. 6th Int. Workshop on Software Technologies for Embedded and Ubiquitous Systems, Anacarpi, Capri Island, Italy, 2008, pp. 46-54.
83. E. A. Lee, "Cyber physical systems: design challenges, " in Proc. 2008 11th IEEE Int. Symp. Object Oriented Real-Time Distributed Computing, Orlando, FL, 2008, pp. 363-369.
84. E. Geisberger and M. Broy, Agenda CPS: Integrierte Forschungsagenda Cyber-Physical Systems. Berlin: Springer, 2012.
85. T. Padir, G. S. Fischer, S. Chernova, and M. A. Gennert, "A unified and integrated approach to teaching a two-course sequence in Robotics Engineering, " JRM, vol. 23, no. 5, pp. 748-758, Oct. 2011.
86. S. A. Edwards and E. A. Lee, "The case for the precision timed (PRET) machine, " in Proc. 44th ACM/IEEE Design Automation Conf. (DAC), San Diego, CA, 2007, pp. 264-265.
87. O. Avissar, R. Barua, and D. Stewart, "An optimal memory allocation scheme for scratch-pad-based embedded systems, " ACM Trans. Embedded Comput. Syst., vol. 1, no. 1, pp. 6-26, Aug. 2002.
88. T. A. Henzinger, B. Horowitz, and C. M. Kirsch, "Giotto: A timetriggered language for embedded programming, " Proc. IEEE, vol. 91, no. 1, pp. 84-99, Jan. 2003.
89. G. Berry, "The effectiveness of synchronous languages for the development of safety-critical systems, " Tech. Rep., Esterel Technologies, 2003.
90. E. A. Lee, S. Neuendorffer, and M. J. Wirthlin, "Actor-oriented design of embedded hardware and software systems, " J. Circuit. Syst. Comput., vol. 12, no. 3, pp. 231-260, Jun. 2003.
91. S. Johannessen, "Time synchronization in a local area network, " IEEE Contr. Syst., vol. 24, no. 2, pp. 61-69, Apr. 2004.
92. O. Tardieu and S. A. Edwards, "Scheduling-independent threads and exceptions in SHIM, " in Proc. 6th ACM & IEEE Int. Conf. Embedded Software, Seoul, Korea, 2006, pp. 142-151.
93. Y. Zhao, J. Liu, and E. A. Lee, "A programming model for timesynchronized distributed real-Time systems, " in Proc. 13th IEEE Real Time and Embedded Technology and Applications Symp., Bellevue, USA, 2007, pp. 259-268.
94. T. Abdelzaher, "Research challenges in distributed cyber-physical systems, " in Proc. IEEE/IFIP Int. Conf. Embedded and Ubiquitous Computing, Shanghai, China, 2008, pp. 5.
95. T. Ahola, P. Korpinen, J. Rakkola, T. Ramo, J. Salminen, and J. Savolainen, "Wearable FPGA based wireless sensor platform, " in Proc. 29th Annual Int. Conf. IEEE Engineering in Medicine and Biology Society, Lyon, 2007, pp. 2288-2291.
96. M. Rungger and P. Tabuada, "Abstracting and refining robustness for cyber-physical systems, " in Proc. 17th Int. Conf. Hybrid Systems: Computation and Control, Berlin, Germany, 2014, pp. 223-232.
97. K. R. Rohloff and T. Bacsar, "Deterministic and stochastic models for the detection of random constant scanning worms, " ACM Trans. Model. Comput. Simul., vol. 18, no. 2, Article No.8, Apr. 2008.
98. The CPS Steering Group, "Cyber-Physical Systems Executive Summary, " Accessed on: Sep. 21, 2010. [Online]. Available: http://iccps 2012.cse.wustl.edu/doc/CPS-Executive-Summary.pdf
99. W. Wolf, "Cyber-physical systems, " Computer, vol. 42, no. 3, pp. 88-89, Mar. 2009.
100. W. Wayne, "The good news and the bad news, " Accessed on: Jun. 9, 2010. [Online]. Available: http://www.computer.org/portal/site/computer
101. Presidents Council of Advisors on Science and Technology, "Leadership under challenge: information technology R&D in a competitive world. An assessment of the federal networking and information technology R&D program, " Accessed on: Aug. 30, 2011. [Online]. Available: http://ostpgov/pdf/nitrd/review.pdf