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. © 2014 Springer International Publishing Switzerland.
CITATION STYLE
Sulistiono, W. E., & Liu, S. (2014). Applying sofl to constructing a smart traffic light specification. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 8332 LNCS, pp. 166–174). Springer Verlag. https://doi.org/10.1007/978-3-319-04915-1_12
Mendeley helps you to discover research relevant for your work.