Applying sofl to constructing a smart traffic light specification

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 8332 LNCS, Issue , 2014, Pages 166-174

  Sulistiono, Wahyu Eko ^a   Liu, Shaoying ^a  

^a HOSEI UNIVERSITY   (Japan)

Author keywords

Formal specifications; Smart traffic light; SOFL

Indexed keywords

FORMAL LANGUAGES;

FORMAL ENGINEERING METHODS; FORMAL SPECIFICATION; SAFETY CRITICAL SYSTEMS; SMART TRAFFIC; SOFL; THREE-STEP MODELING; TRAFFIC LIGHT; TRAFFIC LOADS;

SPECIFICATIONS;

EID: 84897798382     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-319-04915-1_12     Document Type: Conference Paper

References (9)

1. 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)
2. 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)
3. 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)
4. Liu, S.: Formal Engineering for Industrial Software Development. Springer, Heidelberg (2004).
5. 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)
6. 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)
7. 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)
8. 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)
9. 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)