Results (2)
Search Parameters:
Keyword: TLA+Open AccessArticle
8 Pages, 1,173 KB 
Using Formal Methods to Model a Smart School System via TLA+ and its TLC Model Checker for Validation
Abstract:
Formal methods are one of the efficient tools to verify and validate designs for different kinds of systems. Smart systems are attracting researchers’ attention due to the rapid spread of new technologies all over the world. Modeling a smart system requires connecting heterogeneous subsystems together to build it. Our contribution to this work is in…
Read More(This article belongs to the SP10 (Special Issue on Multidisciplinary Sciences and Engineering 2020-21) & Section Software Engineering in Computer Science (CSE))
Open AccessArticle
9 Pages, 592 KB
A Novel Way to Design ADS-B using UML and TLA+ with Security as a Focus
Abstract:
Automatic Dependent Surveillance-Broadcast (ADS-B) is the future of aviation. It is a vast system that provides situational awareness for the aviator and regulator at a very low cost and does so with the aid of multiple disparate systems working closely together and communicating with one another. ADS-B uses the Global Navigation Satellite System (GNSS/ GPS)…
Read More(This article belongs to the SP9 (Special Issue on Multidisciplinary Innovation in Engineering Science & Technology 2020) & Section Interdisciplinary Applications of Computer Science (CSI))