Sulistiono, Wahyu Eko Similarity Check - Applying SOFL to Constructing a Smart Traffic Light Specification. In: SOFL.
|
Text
Similarity Check - Applying SOFL to Constructing a Smart Traffic Light Specification.pdf Download (639kB) | Preview |
|
|
Text
Similarity Check - Applying SOFL to Constructing a Smart Traffic Light Specification p.pdf Download (3MB) | Preview |
Abstract
Smart Traffic Light (STL) is a system for controlling traffic lights based on patterns of traffic loads in related intersection. Since this is a safety�critical system, we need to construct an accurate specification to build a firm foundation for implementation of the system. In this paper, we describe how the SOFL formal engineering method is applied to construct a Smart Traffic Light specification through the three-step modeling approach of SOFL that helps us manage the complexity and difficulty of constructing a formal specification.
| Item Type: | Conference or Workshop Item (Paper) |
|---|---|
| Subjects: | Q Science > Q Science (General) |
| Divisions: | Fakultas Teknik (FT) > Prodi Teknik Informatika |
| Depositing User: | Mr Wahyu Eko Sulistiono |
| Date Deposited: | 20 Jan 2023 02:00 |
| Last Modified: | 20 Jan 2023 02:00 |
| URI: | http://repository.lppm.unila.ac.id/id/eprint/47887 |
Actions (login required)
 |
View Item |