Abstract
New technologies such as cloud and multi-core computing, as well as the large number of devices connected to the Internet make concurrency and distribution the main pillars that computerized systems rely on. However, developing consistent concurrent and distributed systems characterized by high performance is notoriously difficult. This in turn makes assuring the correctness of such systems challenging, due to interleavings of actions that may lead to non-deterministic concurrency faults, possible failure of components and processes, but also due to possible resource restrictions and unpredictable latencies in network communication. The track on Verification and Validation of Distributed Systems aims to discuss key challenges that need to be addressed in order to enable the efficient and scalable assurance of distributed systems, as well as present methods and tools that bear the promise to achieve the latter.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Bergenhem, C., Meinke, K., Ström, F.: Quantitative safety analysis of a coordinated emergency brake protocol for vehicle platoons. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 386–404 (2018)
Cai, S., Gallina, B., Nyström D., Seceleanu, C.: Effective test suite design for detecting concurrency control faults in distributed transaction systems. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 355–374 (2018)
Nielson, H.R., Filé, G. (eds.): SAS 2007. LNCS, vol. 4634. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-74061-2
Konnov, I., Widder, J.: ByMC: Byzantine model checker. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 327–342 (2018)
Konnov, I., Veith, H., Widder, J.: On the completeness of bounded model checking for threshold-based distributed algorithms: reachability. Inf. Comput. 252, 95–109 (2017)
Joosten, S., Huisman, M.: Static code verification through process models. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 343–354. Springer, Cham (2018)
Martínez, M., Esparcia-Alcázar, A.I., Vos, T.E.J., Aho, P., Fons i Cors, J.: Towards automated testing of the Internet of Things: Results obtained with the TESTAR tool. In: Margaria, T., Steffen, B. (eds.) ISoLA 2018. LNCS, vol. 11246, pp. 375–385. Springer, Cham (2018)
Turon, A., Dreyer, D., Birkedal, L.: Unifying refinement and hoare-style reasoning in a logic for higher-order concurrency. In: Proceedings of the 18th ACM SIGPLAN International Conference on Functional Programming (ICFP 2013), pp. 377–390. ACM (2013)
Vain, J., Halling, E., Kanter, G., Anier, A., Pal, D.: Model-based testing of real-time distributed systems. In: Arnicans, G., Arnicane, V., Borzovs, J., Niedrite, L. (eds.) Communications in Computer and Information Science, vol. 615, pp. 272–286. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-40180-5_19
Wilcox, J.R., et al.: Verdi: a framework for implementing and formally verifying distributed systems. SIGPLAN Not. 50(6), 357–368 (2015)
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2018 Springer Nature Switzerland AG
About this paper
Cite this paper
Seceleanu, C. (2018). ISoLA 2018 - Verification and Validation of Distributed Systems: Track Introduction. In: Margaria, T., Steffen, B. (eds) Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems. ISoLA 2018. Lecture Notes in Computer Science(), vol 11246. Springer, Cham. https://doi.org/10.1007/978-3-030-03424-5_21
Download citation
DOI: https://doi.org/10.1007/978-3-030-03424-5_21
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-03423-8
Online ISBN: 978-3-030-03424-5
eBook Packages: Computer ScienceComputer Science (R0)