Sulistiono, Wahyu Eko Similarity Check - Applying SOFL to Constructing a Smart Traffic Light Specification. Springer.

Preview

Text Similarity Check - Applying SOFL to Constructing a Smart Traffic Light Specification.pdf Download (639kB) | 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:	Other
Subjects:	Q Science > Q Science (General)
Divisions:	Fakultas Teknik (FT) > Prodi Teknik Informatika
Depositing User:	Mr Wahyu Eko Sulistiono
Date Deposited:	27 Jan 2023 08:09
Last Modified:	27 Jan 2023 08:09
URI:	http://repository.lppm.unila.ac.id/id/eprint/48097

Actions (login required)

View Item