| The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip |
| Received:February 14, 2009 Revised:August 18, 2009 Download PDF |
| Taro Kurita,Yasumasa Nakatsugawa. The Application of VDM to the Industrial Development of Firmware for a Smart Card IC Chip. International Journal of Software and Informatics, 2009,3(2):343~355 |
| Hits: 4818 |
| Download times: 4558 |
|
|
| Abstract:We have applied the formal speci.cation language in the development of the .rmware of the smart card IC chip for embedding in mobile phone. We report on an in-dustrial application of formal methods to the development of a complex system, namely the .rmware for the “Mobile FeliCa” smart card IC chip. The use of formal techniques, specif-ically the Vienna Development Method (VDM), was aimed at raising the quality of system speci.cations by reducing ambiguity and improving communications between engineers. De-velopment data gathered during the life cycle con.rm the e.ectiveness of a lightweight formal method in contributing to the quality of the deliverables in early development stages. No software speci.cation problems have, to date, been reported since .rst release (over 100 million mobile phones have the chip embedded). |
| keywords:Formal Methods Formal Speci.cation Formal Modeling VDM VDM++ |
| View Full Text View/Add Comment Download reader |
|
|
|
