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.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Liu, S.: Formal engineering for industrial software development – an introduction to the SOFL specification language and method. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 7–8. Springer, Heidelberg (2004)
Liu, S.: A framework for developing dependable software systems using the SOFL formal engineering method. In: 2010 International Conference on Intelligent Computing and Integrated Systems (ICISS), pp. 561–567 (2010)
Liu, S., Asuka, M., Komaya, K., Nakamura, Y.: Applying SOFL to specify a railway crossing controller for industry. In: Proceedings of the 2nd IEEE Workshop on Industrial Strength Formal Specification Techniques 1998, pp. 16–27 (1998)
Liu, S.: Formal Engineering for Industrial Software Development. Springer, Heidelberg (2004)
Wang, Q., Hu, J., Wang, Y., Zhang, Y.: A simulation study for the communication subsystem of wireless traffic information service system. In: 7th International Conference on Information, Communications and Signal Processing 2009, ICICS 2009, pp. 1–6 (2009)
Wang, J., Liu, S., Qi, Y., Hou, D.: Developing an insulin pump system using the SOFL method. In: 14th Asia-Pacific Software Engineering Conference 2007, APSEC 2007, pp. 334–341 (2007)
Abdullah, A.B., Liu, S.: Hazard analysis for safety-critical systems using SOFL. In: 2013 IEEE Symposium on Computational Intelligence for Engineering Solutions, Singapore (2013)
Liu, S., Shibata, M., Sato, R.: Applying SOFL to develop a university information system. In: Proceedings of Sixth Asia Pacific Software Engineering Conference 1999, APSEC 1999, pp. 404–411 (1999)
Mat, A., Liu, S.: Applying SOFL to construct the formal specification of an automatic automobile driving simulation system. In: International Conference on Software Technology and Engineering, vol. 3308, pp. 42–48. World Scientific Publishing, Chennai (2009)
Acknowledgement
This work has been conducted as a part of “Research Initiative on Advanced Software Engineering in 2012” supported by Software Reliability Enhancement Center (SEC), Information Technology Promotion Agency Japan (IPA).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Springer International Publishing Switzerland
About this paper
Cite this paper
Sulistiono, W.E., Liu, S. (2014). Applying SOFL to Constructing a Smart Traffic Light Specification. In: Liu, S., Duan, Z. (eds) Structured Object-Oriented Formal Language and Method. SOFL+MSVL 2013. Lecture Notes in Computer Science(), vol 8332. Springer, Cham. https://doi.org/10.1007/978-3-319-04915-1_12
Download citation
DOI: https://doi.org/10.1007/978-3-319-04915-1_12
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-04914-4
Online ISBN: 978-3-319-04915-1
eBook Packages: Computer ScienceComputer Science (R0)