Applying Apache Hadoop to NASA's Big Climate Data.
http://events.linuxfoundation.org/sites/events/files/slides/ApacheCon_NASA_Hadoop.pdf.
D. Chen, Y. Chen, B. N. Brownlow, P. P. Kanjamala, C. A. G. Arredondo, B. L. Radspinner & M. A. Raveling (2017):
Real-Time or Near Real-Time Persisting Daily Healthcare Data Into HDFS and ElasticSearch Index Inside a Big Data Platform.
IEEE Transactions on Industrial Informatics 13(2),
pp. 595–606,
doi:10.1109/TII.2016.2645606.
A.M. K. Cheng (2002):
Real-Time Systems: Scheduling, Analysis, and Verification.
John Wiley & Sons, Inc.,
doi:10.1002/0471224626.
S.-T. Cheng, H.-C. Wang, Y.-J. Chen & C.-F. Chen (2015):
Performance Analysis Using Petri Net Based MapReduce Model in Heterogeneous Clusters.
In: Advances in Web-Based Learning,
LNCS 8390.
Springer,
pp. 170–179,
doi:10.1007/978-3-662-46315-4_18.
F. Dinu & T.S. E. Ng (2012):
Understanding the Effects and Implications of Compute Node Related Failures in Hadoop.
In: International Symposium on High-Performance Parallel and Distributed Computing,
pp. 187–198,
doi:10.1145/2287076.2287108.
S. Li, S. Hu, S. Wang, L. Su, T. Abdelzaher, I. Gupta & R. Pace (2014):
WOHA: Deadline-Aware Map-Reduce Workflow Scheduling Framework over Hadoop Clusters.
In: IEEE International Conference on Distributed Computing Systems,
pp. 93–103,
doi:10.1109/ICDCS.2014.18.
K. Ono, Y. Hirai, Y. Tanabe, N. Noda & M. Hagiya (2011):
Using Coq in Specification and Program Extraction of Hadoop Mapreduce Applications.
In: International Conference on Software Engineering and Formal Methods,
pp. 350–365,
doi:10.1007/978-3-642-24690-6_24.
J. A. Quiané-Ruiz & et al. (2011):
RAFTing MapReduce: Fast Recovery on the RAFT.
In: IEEE International Conference on Data Engineering,
pp. 589–600,
doi:10.1109/ICDE.2011.5767877.
G.S. Reddy, F. Yuzhang, L. Yang, S.D. Jin, J. Sun & R. Kanagasabai (2013):
Towards Formal Modeling and Verification of Cloud Architectures: A Case Study on Hadoop.
In: International World Congress on Services,
pp. 306–311,
doi:10.1109/SERVICES.2013.47.
M. C. Ruiz, J. Calleja & D. Cazorla (2015):
Petri Nets Formalization of Map/Reduce Paradigm to Optimise the Performance-Cost Tradeoff.
In: IEEE Trustcom/BigDataSE/ISPA 3,
pp. 92–99,
doi:10.1109/Trustcom.2015.617.
M. Soualhia, F. Khomh & S. Tahar (2017):
Task Scheduling in Big Data Platforms: A Systematic Literature Review.
Journal of Systems and Software 134,
pp. 170 – 189,
doi:10.1016/j.jss.2017.09.001.
W. Su, F. Yang, H. Zhu & Q. Li (2009):
Modeling MapReduce with CSP.
In: IEEE International Symposium on Theoretical Aspects of Software Engineering,
pp. 301–302,
doi:10.1109/TASE.2009.28.
J. Sun, Y. Liu, J. S. Dong & C. Chen (2009):
Integrating Specification and Programs for System Modeling and Verification.
In: IEEE International Symposium on Theoretical Aspects of Software Engineering,
pp. 127–135,
doi:10.1109/TASE.2009.32.
J. Sun, Y. Liu, J. S. Dong & J. Pang (2009):
PAT: Towards Flexible Verification under Fairness.
In: Computer Aided Verification,
LNCS 5643,
pp. 709–714,
doi:10.1007/3-540-10843-2_22.
Process Analysis Toolkit.
http://sav.sutd.edu.sg/PAT/.
Google Traces.
https://github.com/google/cluster-data.
W. Xie, H. Zhu, X. Wu, S. Xiang & J. Guo (2016):
Modeling and Verifying HDFS Using CSP.
In: IEEE Annual Computer Software and Applications Conference 1,
pp. 221–226,
doi:10.1109/COMPSAC.2016.158.