Sulistiono, Wahyu Eko Applying SOFL to Constructing a Smart Traffic Light Specification. In: Structured Object Oriented Formal Language and Method - Third International Workshop.

Sulistiono and Liu - 2014 - Applying SOFL to Constructing a Smart Traffic Ligh.pdf

Download (616kB) | Preview


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 Dec 2022 07:03
Last Modified: 20 Dec 2022 07:03

Actions (login required)

View Item View Item