Practices for formal models as documents: Evolution of VDM application to “Mobile FeliCa” IC chip firmware

Taro Kurita, Fuyuki Ishikawa, Keijiro Araki

Research output: Chapter in Book/Report/Conference proceedingConference contribution

2 Citations (Scopus)

Abstract

This paper reports on the application of VDM to the development of the third generation of firmware for the Mobile FeliCa IC chip. The practices of VDM were improved by incorporating the experience gained in the previous development. The primary focus was maintainability and understandability, as the VDM specification was used as the sole reference document for various development activities. The resulting improvements eliminated deficiencies caused by misunderstandings, while keeping costs similar to before.

Original languageEnglish
Title of host publicationFM 2015
Subtitle of host publicationFormal Methods - 20th International Symposium, Proceedings
EditorsNikolaj Bjorner, Frank de Boer
PublisherSpringer Verlag
Pages593-596
Number of pages4
ISBN (Electronic)9783319192482
DOIs
Publication statusPublished - Jan 1 2015
Event20th International Symposium on Formal Methods, FM 2015 - Oslo, Norway
Duration: Jun 24 2015Jun 26 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9109
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Other

Other20th International Symposium on Formal Methods, FM 2015
CountryNorway
CityOslo
Period6/24/156/26/15

    Fingerprint

All Science Journal Classification (ASJC) codes

  • Theoretical Computer Science
  • Computer Science(all)

Cite this

Kurita, T., Ishikawa, F., & Araki, K. (2015). Practices for formal models as documents: Evolution of VDM application to “Mobile FeliCa” IC chip firmware. In N. Bjorner, & F. de Boer (Eds.), FM 2015: Formal Methods - 20th International Symposium, Proceedings (pp. 593-596). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9109). Springer Verlag. https://doi.org/10.1007/978-3-319-19249-9_40