Results (2)
Search Parameters:
Keyword: Smart systemsOpen 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 Special Issue on Multidisciplinary Sciences and Engineering 2020-21 & Section Software Engineering in Computer Science (CSE))
Open AccessArticle
9 Pages, 1,357 KB
Real Time Eye Tracking and Detection- A Driving Assistance System
Abstract:
Distraction, drowsiness, and fatigue are the main factors of car accidents recently. To solve such problems, an Eye-tracking system based on camera is proposed in this paper. The system detects the driver’s Distraction or sleepiness and gives an alert to the driver as an assistance system. The camera best position is chosen to be on…
Read More(This article belongs to the Special Issue on Recent Advances in Engineering Systems 2018-19 & Section Interdisciplinary Applications of Computer Science (CSI))