5 Hits in 3.4 sec

Automated Test Case Generation for the Paxos Single-decree Protocol using a Coloured Petri Net Model

Rui Wang, Lars Michael Kristensen, Hein Meling, Volker Stolz
2019 Journal of Logical and Algebraic Methods in Programming  
To evaluate our model-based testing approach, we have implemented the Paxos protocol in the Go programming language using the quorum abstractions provided by the Gorums framework.  ...  The reason we chose CPNs as the foundation for our testing approach is that CPNs have a strong track record for modeling distributed systems and are able to create parametric models and perform model validation  ...  Furthermore, our Paxos CPN testing model can also serve as a basis for MBT of multi-decree Paxos and other fault-tolerant distributed systems implemented with the abstractions of the Gorums framework.  ... 
doi:10.1016/j.jlamp.2019.02.004 fatcat:f5hkzed6vrfxroce3sp7mpdbpi

Proceedings of the PhD Symposium at iFM'18 on Formal Methods: Algorithms, Tools and Applications (PhD-iFM'18)

Erika Ábrahám, Silvia Lizeth Taipa Tarifa, Erika Ábrahám, Silvia Lizeth Taipa Tarifa
2018 Conference proceedings (Universitetet i Oslo. Institutt for informatikk)  
We investigate the use of Coloured Petri Nets (CPNs) for MBT of complex fault-tolerant distributed systems and protocols.  ...  Moreover, implementing test suites for such distributed systems and protocols is also a complex and time-consuming task. Model-based testing (MBT) is a promising approach to software testing.  ...  SMR is a core technique for developing fault-tolerant distributed systems and protocols that can tolerate a bounded number of server failures.  ... 
doi:10.18154/rwth-conv-236485 fatcat:zs3dnnvm7namrmvuvswg5df4we

Recommendations for the quantitative analysis of landslide risk

J. Corominas, C. van Westen, P. Frattini, L. Cascini, J.-P. Malet, S. Fotopoulou, F. Catani, M. Van Den Eeckhaut, O. Mavrouli, F. Agliardi, K. Pitilakis, M. G. Winter (+5 others)
2013 Bulletin of Engineering Geology and the Environment  
as for the verification and validation of the results.  ...  Methods used to determine the spatial distribution of landslide intensity, the characterisation of the elements at risk, the assessment of the potential degree of damage and the quantification of the vulnerability  ...  Testing the performance of models is a multi-criteria problem encompassing (1) the adequacy (conceptual and mathematical) of the model at describing the system, (2) the robustness of the model to small  ... 
doi:10.1007/s10064-013-0538-8 fatcat:ctn4hwggszgzzc4nabop76ssoq

Operating in an Empirical Vacuum: The Ellerth and Faragher Affirmative Defense

Anne Lawton
Article published in the Colum. J. Gender & Law.  ...  ., Sexual Harassment in the Armed Forces: A Test of an Integrated Model, II Mil. Psycho!.  ...  Fitzgerald, Sexual Harassment: A Preliminary Test of an Integrative Model, 27 J. Applied Soc. Psycho!.  ... 
doi:10.17613/2rv3-w484 fatcat:5kgl6caiezee5nlxdq4n2ja4ve

Post-disaster geotechnical response for hilly terrain: a case study from the Canterbury Earthquake Sequence [article]

Katherine Yates, University Of Canterbury
The extensive slope failure induced by the 22nd February 200 earthquake was unprecedented; and ground motions experienced significantly exceeded the probabilistic seismic hazard model for Canterbury.  ...  Analysis of interview dialogue highlighted the temporal evolution of priorities and tasks during emergency response to coseismic slope failure, which was further developed into a phased conceptual model  ...  Given the high seismic hazard in New Zealand and the location of significant active faults near populated centres, it is beneficial to learn from the response undertaken following the Christchurch Earthquake  ... 
doi:10.26021/9171 fatcat:amixucmk55abril5tai42ebkhe